***************************************************************************
                       CABEAN 1.0.2 
 Please check http://satoss.uni.lu/software/CABEAN/ for the latest release.
 Please send any feedback to <cui.su@uni.lu>
***************************************************************************

Command line: ./cabean -compositional 2 toy.ispl
======================== find attractor #1 : 1 states ========================
: 4 nodes 1 leaves 1 minterms
0-0-0-  1

======================== find attractor #2 : 1 states ========================
: 4 nodes 1 leaves 1 minterms
1-1-0-  1

======================== find attractor #3 : 1 states ========================
: 4 nodes 1 leaves 1 minterms
1-1-1-  1

number of attractors = 3
time for attractor detection=0.001 seconds