***************************************************************************
                       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 -control OT -sin 1 -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 seconds

====== ONE-STEP TEMPORARY SOURCE-TARGET CONTROL (DECOMP) ======

source - 1 target - 3

PATH 1 - #perturbations: 2
	Control set: x2=1 x3=1 

PATH 2 - #perturbations: 2
	Control set: x1=1 x3=1 
execution time for control = 0.001 seconds