*************************************************************************** CABEAN 2.0.0 Please check http://satoss.uni.lu/software/CABEAN/ for the latest release. Please send any feedback to *************************************************************************** Command line: ./cabean -compositional 2 -control TTC -tin 3 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.002 seconds =================== TEMPORARY TARGET COTNROL (DECOMP) =================== ************************************************************ TARGET ATTRACTOR #3 ************************************************************ Control set 1: x1=1 x3=1 Control set 2: x2=1 x3=1 Time for temporary target control = 0.001 seconds