***************************************************************************
                       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 AST -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

========= ATTRACTOR-BASED SEQUENTIAL TEMPORARY SOURCE-TARGET CONTROL (DECOMP) =========

source - 1 target - 3

PATH 1 - #perturbations: 2
Sequence of the attractors: 1 -> 3
	STEP 1
		Control set 1: x2=1 x3=1 
		Control set 2: x1=1 x3=1 

PATH 2 - #perturbations: 2
Sequence of the attractors: 1 -> 2 -> 3
	STEP 1
		Control set 1: x2=1 
		Control set 2: x1=1 
	STEP 2
		Control set 1: x3=1 
execution time of control=0.002 seconds