Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_PermAdmissibility-PT-20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-blw7-149441652200438
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-0
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-1
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-10
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-11
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-12
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-13
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-14
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-15
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-2
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-3
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-4
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-5
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-6
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-7
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-8
FORMULA_NAME PermAdmissibility-COL-20-LTLFireability-9

=== Now, execution of the tool begins

BK_START 1496483676653


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(X(X(G(X(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((("aux14_0>=1")&&("c19>=1"))&&("aux16_4>=1"))||((("c19>=1")&&("aux14_0>=1"))&&("aux16_3>=1")))||((("aux16_2>=1")&&("c19>=1"))&&("aux14_0>=1")))||((("c19>=1")&&("aux14_0>=1"))&&("aux16_1>=1")))||((("aux16_0>=1")&&("aux14_0>=1"))&&("c19>=1")))||((("aux14_2>=1")&&("c19>=1"))&&("aux16_3>=1")))||((("c19>=1")&&("aux14_2>=1"))&&("aux16_4>=1")))||((("aux14_2>=1")&&("c19>=1"))&&("aux16_1>=1")))||((("aux14_2>=1")&&("c19>=1"))&&("aux16_2>=1")))||((("aux16_7>=1")&&("c19>=1"))&&("aux14_1>=1")))||((("c19>=1")&&("aux14_2>=1"))&&("aux16_0>=1")))||((("aux16_5>=1")&&("aux14_1>=1"))&&("c19>=1")))||((("c19>=1")&&("aux14_1>=1"))&&("aux16_6>=1")))||((("aux16_3>=1")&&("aux14_1>=1"))&&("c19>=1")))||((("aux14_1>=1")&&("c19>=1"))&&("aux16_4>=1")))||((("aux16_1>=1")&&("aux14_1>=1"))&&("c19>=1")))||((("aux16_2>=1")&&("aux14_1>=1"))&&("c19>=1")))||((("aux16_7>=1")&&("c19>=1"))&&("aux14_0>=1")))||((("c19>=1")&&("aux14_1>=1"))&&("aux16_0>=1")))||((("aux14_0>=1")&&("c19>=1"))&&("aux16_5>=1")))||((("aux16_6>=1")&&("c19>=1"))&&("aux14_0>=1")))||((("c19>=1")&&("aux14_5>=1"))&&("aux16_0>=1")))||((("c19>=1")&&("aux14_4>=1"))&&("aux16_7>=1")))||((("c19>=1")&&("aux14_4>=1"))&&("aux16_6>=1")))||((("aux16_5>=1")&&("aux14_4>=1"))&&("c19>=1")))||((("aux16_4>=1")&&("c19>=1"))&&("aux14_5>=1")))||((("aux14_5>=1")&&("c19>=1"))&&("aux16_3>=1")))||((("aux16_2>=1")&&("aux14_5>=1"))&&("c19>=1")))||((("aux14_5>=1")&&("c19>=1"))&&("aux16_1>=1")))||((("aux16_0>=1")&&("aux14_6>=1"))&&("c19>=1")))||((("aux16_7>=1")&&("aux14_5>=1"))&&("c19>=1")))||((("aux14_5>=1")&&("c19>=1"))&&("aux16_6>=1")))||((("aux16_5>=1")&&("c19>=1"))&&("aux14_5>=1")))||((("aux16_4>=1")&&("aux14_6>=1"))&&("c19>=1")))||((("c19>=1")&&("aux14_6>=1"))&&("aux16_3>=1")))||((("aux16_2>=1")&&("c19>=1"))&&("aux14_6>=1")))||((("c19>=1")&&("aux14_6>=1"))&&("aux16_1>=1")))||((("aux16_7>=1")&&("aux14_2>=1"))&&("c19>=1")))||((("aux16_0>=1")&&("aux14_3>=1"))&&("c19>=1")))||((("c19>=1")&&("aux14_2>=1"))&&("aux16_5>=1")))||((("aux14_2>=1")&&("c19>=1"))&&("aux16_6>=1")))||((("aux16_3>=1")&&("c19>=1"))&&("aux14_3>=1")))||((("aux16_4>=1")&&("aux14_3>=1"))&&("c19>=1")))||((("aux16_1>=1")&&("c19>=1"))&&("aux14_3>=1")))||((("c19>=1")&&("aux14_3>=1"))&&("aux16_2>=1")))||((("c19>=1")&&("aux14_3>=1"))&&("aux16_7>=1")))||((("aux16_0>=1")&&("c19>=1"))&&("aux14_4>=1")))||((("aux14_3>=1")&&("c19>=1"))&&("aux16_5>=1")))||((("c19>=1")&&("aux14_3>=1"))&&("aux16_6>=1")))||((("aux16_3>=1")&&("c19>=1"))&&("aux14_4>=1")))||((("aux14_4>=1")&&("c19>=1"))&&("aux16_4>=1")))||((("aux16_1>=1")&&("c19>=1"))&&("aux14_4>=1")))||((("aux16_2>=1")&&("c19>=1"))&&("aux14_4>=1")))||((("aux14_6>=1")&&("c19>=1"))&&("aux16_5>=1")))||((("aux16_6>=1")&&("aux14_6>=1"))&&("c19>=1")))||((("aux14_6>=1")&&("c19>=1"))&&("aux16_7>=1")))||((("aux14_7>=1")&&("c19>=1"))&&("aux16_0>=1")))||((("c19>=1")&&("aux14_7>=1"))&&("aux16_1>=1")))||((("c19>=1")&&("aux14_7>=1"))&&("aux16_2>=1")))||((("c19>=1")&&("aux14_7>=1"))&&("aux16_3>=1")))||((("aux14_7>=1")&&("c19>=1"))&&("aux16_4>=1")))||((("aux16_5>=1")&&("aux14_7>=1"))&&("c19>=1")))||((("aux16_6>=1")&&("c19>=1"))&&("aux14_7>=1")))||((("aux16_7>=1")&&("c19>=1"))&&("aux14_7>=1")))))))))
Formula 0 simplified : !FXXGX(("aux14_0>=1" & "aux16_4>=1" & "c19>=1") | ("aux14_0>=1" & "aux16_3>=1" & "c19>=1") | ("aux14_0>=1" & "aux16_2>=1" & "c19>=1") | ("aux14_0>=1" & "aux16_1>=1" & "c19>=1") | ("aux14_0>=1" & "aux16_0>=1" & "c19>=1") | ("aux14_2>=1" & "aux16_3>=1" & "c19>=1") | ("aux14_2>=1" & "aux16_4>=1" & "c19>=1") | ("aux14_2>=1" & "aux16_1>=1" & "c19>=1") | ("aux14_2>=1" & "aux16_2>=1" & "c19>=1") | ("aux14_1>=1" & "aux16_7>=1" & "c19>=1") | ("aux14_2>=1" & "aux16_0>=1" & "c19>=1") | ("aux14_1>=1" & "aux16_5>=1" & "c19>=1") | ("aux14_1>=1" & "aux16_6>=1" & "c19>=1") | ("aux14_1>=1" & "aux16_3>=1" & "c19>=1") | ("aux14_1>=1" & "aux16_4>=1" & "c19>=1") | ("aux14_1>=1" & "aux16_1>=1" & "c19>=1") | ("aux14_1>=1" & "aux16_2>=1" & "c19>=1") | ("aux14_0>=1" & "aux16_7>=1" & "c19>=1") | ("aux14_1>=1" & "aux16_0>=1" & "c19>=1") | ("aux14_0>=1" & "aux16_5>=1" & "c19>=1") | ("aux14_0>=1" & "aux16_6>=1" & "c19>=1") | ("aux14_5>=1" & "aux16_0>=1" & "c19>=1") | ("aux14_4>=1" & "aux16_7>=1" & "c19>=1") | ("aux14_4>=1" & "aux16_6>=1" & "c19>=1") | ("aux14_4>=1" & "aux16_5>=1" & "c19>=1") | ("aux14_5>=1" & "aux16_4>=1" & "c19>=1") | ("aux14_5>=1" & "aux16_3>=1" & "c19>=1") | ("aux14_5>=1" & "aux16_2>=1" & "c19>=1") | ("aux14_5>=1" & "aux16_1>=1" & "c19>=1") | ("aux14_6>=1" & "aux16_0>=1" & "c19>=1") | ("aux14_5>=1" & "aux16_7>=1" & "c19>=1") | ("aux14_5>=1" & "aux16_6>=1" & "c19>=1") | ("aux14_5>=1" & "aux16_5>=1" & "c19>=1") | ("aux14_6>=1" & "aux16_4>=1" & "c19>=1") | ("aux14_6>=1" & "aux16_3>=1" & "c19>=1") | ("aux14_6>=1" & "aux16_2>=1" & "c19>=1") | ("aux14_6>=1" & "aux16_1>=1" & "c19>=1") | ("aux14_2>=1" & "aux16_7>=1" & "c19>=1") | ("aux14_3>=1" & "aux16_0>=1" & "c19>=1") | ("aux14_2>=1" & "aux16_5>=1" & "c19>=1") | ("aux14_2>=1" & "aux16_6>=1" & "c19>=1") | ("aux14_3>=1" & "aux16_3>=1" & "c19>=1") | ("aux14_3>=1" & "aux16_4>=1" & "c19>=1") | ("aux14_3>=1" & "aux16_1>=1" & "c19>=1") | ("aux14_3>=1" & "aux16_2>=1" & "c19>=1") | ("aux14_3>=1" & "aux16_7>=1" & "c19>=1") | ("aux14_4>=1" & "aux16_0>=1" & "c19>=1") | ("aux14_3>=1" & "aux16_5>=1" & "c19>=1") | ("aux14_3>=1" & "aux16_6>=1" & "c19>=1") | ("aux14_4>=1" & "aux16_3>=1" & "c19>=1") | ("aux14_4>=1" & "aux16_4>=1" & "c19>=1") | ("aux14_4>=1" & "aux16_1>=1" & "c19>=1") | ("aux14_4>=1" & "aux16_2>=1" & "c19>=1") | ("aux14_6>=1" & "aux16_5>=1" & "c19>=1") | ("aux14_6>=1" & "aux16_6>=1" & "c19>=1") | ("aux14_6>=1" & "aux16_7>=1" & "c19>=1") | ("aux14_7>=1" & "aux16_0>=1" & "c19>=1") | ("aux14_7>=1" & "aux16_1>=1" & "c19>=1") | ("aux14_7>=1" & "aux16_2>=1" & "c19>=1") | ("aux14_7>=1" & "aux16_3>=1" & "c19>=1") | ("aux14_7>=1" & "aux16_4>=1" & "c19>=1") | ("aux14_7>=1" & "aux16_5>=1" & "c19>=1") | ("aux14_7>=1" & "aux16_6>=1" & "c19>=1") | ("aux14_7>=1" & "aux16_7>=1" & "c19>=1"))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 40
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out3_0 + 1'out3_1 + 1'out3_6 + 1'out3_7 + 1'out3_2 + 1'out3_3 + 1'out3_4 + 1'out3_5= 0
invariant : -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out8_1 + 1'out8_0 + 1'out8_3 + 1'out8_2 + 1'out8_6 + 1'out8_7 + 1'out8_4 + 1'out8_5= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + 2'c14= 0
invariant : -2'c20 + -2'out7_1 + -2'out7_0 + -2'out7_3 + -2'out7_2 + -2'out7_5 + -2'out7_4 + -2'out7_7 + -2'out7_6 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'aux6_0 + -1'c12 + -1'aux6_5 + -1'aux6_1 + -1'aux6_4 + -2'c13 + -2'in3_5 + -2'in3_4 + 2'c5= -40
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 9:54:38 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 9:54:38 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 85 ms
Jun 03, 2017 9:54:38 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 9:54:38 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 9:54:38 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 119 ms
Jun 03, 2017 9:54:38 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 21 ms
Jun 03, 2017 9:54:38 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 6 ms
Jun 03, 2017 9:54:39 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 143 ms
Jun 03, 2017 9:54:48 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 9309 ms
Jun 03, 2017 9:54:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 9:54:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 465 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 9:54:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1475 ms. Total solver calls (SAT/UNSAT): 408(237/171)
Jun 03, 2017 9:54:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/592 took 2503 ms. Total solver calls (SAT/UNSAT): 680(395/285)
Jun 03, 2017 9:54:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/592 took 4038 ms. Total solver calls (SAT/UNSAT): 1088(632/456)
Jun 03, 2017 9:54:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/592 took 5476 ms. Total solver calls (SAT/UNSAT): 1496(869/627)
Jun 03, 2017 9:54:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 6513 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 03, 2017 9:54:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7953 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 03, 2017 9:54:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 8971 ms. Total solver calls (SAT/UNSAT): 2448(1422/1026)
Jun 03, 2017 9:54:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/592 took 9985 ms. Total solver calls (SAT/UNSAT): 2720(1580/1140)
Jun 03, 2017 9:54:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 10990 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 03, 2017 9:55:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 12440 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 03, 2017 9:55:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 13870 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 03, 2017 9:55:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 15341 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 03, 2017 9:55:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 16459 ms. Total solver calls (SAT/UNSAT): 4488(2607/1881)
Jun 03, 2017 9:55:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/592 took 17473 ms. Total solver calls (SAT/UNSAT): 4760(2765/1995)
Jun 03, 2017 9:55:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/592 took 18871 ms. Total solver calls (SAT/UNSAT): 5168(3002/2166)
Jun 03, 2017 9:55:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/592 took 20321 ms. Total solver calls (SAT/UNSAT): 5576(3239/2337)
Jun 03, 2017 9:55:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/592 took 21945 ms. Total solver calls (SAT/UNSAT): 5984(3476/2508)
Jun 03, 2017 9:55:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 23210 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 03, 2017 9:55:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 24284 ms. Total solver calls (SAT/UNSAT): 6528(3792/2736)
Jun 03, 2017 9:55:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 25716 ms. Total solver calls (SAT/UNSAT): 6936(4029/2907)
Jun 03, 2017 9:55:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 27131 ms. Total solver calls (SAT/UNSAT): 7344(4266/3078)
Jun 03, 2017 9:55:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 28649 ms. Total solver calls (SAT/UNSAT): 7752(4503/3249)
Jun 03, 2017 9:55:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/592 took 29792 ms. Total solver calls (SAT/UNSAT): 8024(4661/3363)
Jun 03, 2017 9:55:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/592 took 30802 ms. Total solver calls (SAT/UNSAT): 8326(4819/3507)
Jun 03, 2017 9:55:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 31831 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 03, 2017 9:55:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 33171 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 03, 2017 9:55:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 34456 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 03, 2017 9:55:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 35716 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 03, 2017 9:55:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 37125 ms. Total solver calls (SAT/UNSAT): 10440(5925/4515)
Jun 03, 2017 9:55:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 38389 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 03, 2017 9:55:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 39845 ms. Total solver calls (SAT/UNSAT): 11346(6399/4947)
Jun 03, 2017 9:55:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/592 took 40891 ms. Total solver calls (SAT/UNSAT): 11648(6557/5091)
Jun 03, 2017 9:55:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/592 took 42268 ms. Total solver calls (SAT/UNSAT): 12101(6794/5307)
Jun 03, 2017 9:55:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/592 took 43567 ms. Total solver calls (SAT/UNSAT): 12554(7031/5523)
Jun 03, 2017 9:55:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/592 took 45032 ms. Total solver calls (SAT/UNSAT): 13007(7268/5739)
Jun 03, 2017 9:55:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/592 took 46345 ms. Total solver calls (SAT/UNSAT): 13460(7505/5955)
Jun 03, 2017 9:55:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/592 took 47629 ms. Total solver calls (SAT/UNSAT): 13913(7742/6171)
Jun 03, 2017 9:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/592 took 49036 ms. Total solver calls (SAT/UNSAT): 14366(7979/6387)
Jun 03, 2017 9:55:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/592 took 50510 ms. Total solver calls (SAT/UNSAT): 14789(8216/6573)
Jun 03, 2017 9:55:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/592 took 51540 ms. Total solver calls (SAT/UNSAT): 15061(8374/6687)
Jun 03, 2017 9:55:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/592 took 52889 ms. Total solver calls (SAT/UNSAT): 15499(8611/6888)
Jun 03, 2017 9:55:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/592 took 54199 ms. Total solver calls (SAT/UNSAT): 15952(8848/7104)
Jun 03, 2017 9:55:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/592 took 55481 ms. Total solver calls (SAT/UNSAT): 16405(9085/7320)
Jun 03, 2017 9:55:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/592 took 56869 ms. Total solver calls (SAT/UNSAT): 16858(9322/7536)
Jun 03, 2017 9:55:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/592 took 58363 ms. Total solver calls (SAT/UNSAT): 17311(9559/7752)
Jun 03, 2017 9:55:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 59368 ms. Total solver calls (SAT/UNSAT): 17613(9717/7896)
Jun 03, 2017 9:55:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/592 took 60397 ms. Total solver calls (SAT/UNSAT): 17885(9875/8010)
Jun 03, 2017 9:55:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 61937 ms. Total solver calls (SAT/UNSAT): 18293(10112/8181)
Jun 03, 2017 9:55:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/592 took 63399 ms. Total solver calls (SAT/UNSAT): 18701(10349/8352)
Jun 03, 2017 9:55:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/592 took 64719 ms. Total solver calls (SAT/UNSAT): 19109(10586/8523)
Jun 03, 2017 9:55:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/592 took 66053 ms. Total solver calls (SAT/UNSAT): 19517(10823/8694)
Jun 03, 2017 9:55:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/592 took 67349 ms. Total solver calls (SAT/UNSAT): 19925(11060/8865)
Jun 03, 2017 9:55:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 68384 ms. Total solver calls (SAT/UNSAT): 20197(11218/8979)
Jun 03, 2017 9:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 69698 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 03, 2017 9:55:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 71000 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 03, 2017 9:56:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 72297 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 03, 2017 9:56:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 73600 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 03, 2017 9:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 74882 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 03, 2017 9:56:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 76194 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 03, 2017 9:56:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 77473 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 03, 2017 9:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 78759 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 03, 2017 9:56:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 80171 ms. Total solver calls (SAT/UNSAT): 23944(13351/10593)
Jun 03, 2017 9:56:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 81475 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 03, 2017 9:56:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 82777 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 03, 2017 9:56:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 84074 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 03, 2017 9:56:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 85360 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 03, 2017 9:56:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 86828 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 03, 2017 9:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 87829 ms. Total solver calls (SAT/UNSAT): 26256(14694/11562)
Jun 03, 2017 9:56:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/592 took 89072 ms. Total solver calls (SAT/UNSAT): 26598(14931/11667)
Jun 03, 2017 9:56:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/592 took 90263 ms. Total solver calls (SAT/UNSAT): 26907(15168/11739)
Jun 03, 2017 9:56:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 91355 ms. Total solver calls (SAT/UNSAT): 27216(15405/11811)
Jun 03, 2017 9:56:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/592 took 92425 ms. Total solver calls (SAT/UNSAT): 27525(15642/11883)
Jun 03, 2017 9:56:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/592 took 93453 ms. Total solver calls (SAT/UNSAT): 27834(15879/11955)
Jun 03, 2017 9:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/592 took 94480 ms. Total solver calls (SAT/UNSAT): 28143(16116/12027)
Jun 03, 2017 9:56:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/592 took 95493 ms. Total solver calls (SAT/UNSAT): 28452(16353/12099)
Jun 03, 2017 9:56:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 96515 ms. Total solver calls (SAT/UNSAT): 28761(16590/12171)
Jun 03, 2017 9:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/592 took 97607 ms. Total solver calls (SAT/UNSAT): 29070(16827/12243)
Jun 03, 2017 9:56:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/592 took 98648 ms. Total solver calls (SAT/UNSAT): 29379(17064/12315)
Jun 03, 2017 9:56:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/592 took 99768 ms. Total solver calls (SAT/UNSAT): 29688(17301/12387)
Jun 03, 2017 9:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/592 took 100960 ms. Total solver calls (SAT/UNSAT): 29997(17538/12459)
Jun 03, 2017 9:56:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/592 took 102273 ms. Total solver calls (SAT/UNSAT): 30405(17775/12630)
Jun 03, 2017 9:56:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/592 took 103629 ms. Total solver calls (SAT/UNSAT): 30780(18012/12768)
Jun 03, 2017 9:56:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/592 took 104743 ms. Total solver calls (SAT/UNSAT): 31089(18249/12840)
Jun 03, 2017 9:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/592 took 105783 ms. Total solver calls (SAT/UNSAT): 31398(18486/12912)
Jun 03, 2017 9:56:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 106926 ms. Total solver calls (SAT/UNSAT): 31707(18723/12984)
Jun 03, 2017 9:56:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/592 took 108005 ms. Total solver calls (SAT/UNSAT): 32016(18960/13056)
Jun 03, 2017 9:56:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/592 took 109171 ms. Total solver calls (SAT/UNSAT): 32325(19197/13128)
Jun 03, 2017 9:56:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/592 took 110417 ms. Total solver calls (SAT/UNSAT): 32634(19434/13200)
Jun 03, 2017 9:56:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/592 took 111450 ms. Total solver calls (SAT/UNSAT): 32943(19671/13272)
Jun 03, 2017 9:56:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/592 took 112543 ms. Total solver calls (SAT/UNSAT): 33273(19921/13352)
Jun 03, 2017 9:56:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/592 took 113558 ms. Total solver calls (SAT/UNSAT): 33552(20131/13421)
Jun 03, 2017 9:56:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/592 took 114669 ms. Total solver calls (SAT/UNSAT): 33832(20352/13480)
Jun 03, 2017 9:56:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/592 took 115691 ms. Total solver calls (SAT/UNSAT): 34141(20589/13552)
Jun 03, 2017 9:56:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/592 took 116793 ms. Total solver calls (SAT/UNSAT): 34571(20819/13752)
Jun 03, 2017 9:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/592 took 117801 ms. Total solver calls (SAT/UNSAT): 34938(21049/13889)
Jun 03, 2017 9:56:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/592 took 118803 ms. Total solver calls (SAT/UNSAT): 35252(21256/13996)
Jun 03, 2017 9:56:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 119932 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 03, 2017 9:56:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 121229 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 03, 2017 9:56:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 122501 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 03, 2017 9:56:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/592 took 123580 ms. Total solver calls (SAT/UNSAT): 37082(22151/14931)
Jun 03, 2017 9:56:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/592 took 124602 ms. Total solver calls (SAT/UNSAT): 37464(22332/15132)
Jun 03, 2017 9:56:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/592 took 125709 ms. Total solver calls (SAT/UNSAT): 37845(22562/15283)
Jun 03, 2017 9:56:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 127113 ms. Total solver calls (SAT/UNSAT): 38385(22835/15550)
Jun 03, 2017 9:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 128516 ms. Total solver calls (SAT/UNSAT): 38904(23072/15832)
Jun 03, 2017 9:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 129924 ms. Total solver calls (SAT/UNSAT): 39423(23309/16114)
Jun 03, 2017 9:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 131296 ms. Total solver calls (SAT/UNSAT): 39942(23546/16396)
Jun 03, 2017 9:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 132714 ms. Total solver calls (SAT/UNSAT): 40461(23783/16678)
Jun 03, 2017 9:57:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 134034 ms. Total solver calls (SAT/UNSAT): 40980(24020/16960)
Jun 03, 2017 9:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 135318 ms. Total solver calls (SAT/UNSAT): 41499(24257/17242)
Jun 03, 2017 9:57:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 136596 ms. Total solver calls (SAT/UNSAT): 42018(24494/17524)
Jun 03, 2017 9:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 137863 ms. Total solver calls (SAT/UNSAT): 42537(24731/17806)
Jun 03, 2017 9:57:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 139133 ms. Total solver calls (SAT/UNSAT): 43056(24968/18088)
Jun 03, 2017 9:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 140434 ms. Total solver calls (SAT/UNSAT): 43575(25205/18370)
Jun 03, 2017 9:57:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 141949 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 03, 2017 9:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 143294 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 03, 2017 9:57:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 144680 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 03, 2017 9:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 145751 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 03, 2017 9:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 146942 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 03, 2017 9:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 148061 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 03, 2017 9:57:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 149574 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 03, 2017 9:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 150889 ms. Total solver calls (SAT/UNSAT): 47043(26864/20179)
Jun 03, 2017 9:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 152247 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 03, 2017 9:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 153534 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 03, 2017 9:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 154790 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 03, 2017 9:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 156216 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 03, 2017 9:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 157279 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 03, 2017 9:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 158365 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 03, 2017 9:57:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 159414 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 03, 2017 9:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 160511 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 03, 2017 9:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 161708 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 03, 2017 9:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 162769 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 03, 2017 9:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 163823 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 03, 2017 9:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 164886 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 03, 2017 9:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 165976 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 03, 2017 9:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 167153 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 03, 2017 9:57:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 168228 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 03, 2017 9:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 169281 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 03, 2017 9:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 170340 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 03, 2017 9:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 171519 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 03, 2017 9:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 172587 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 03, 2017 9:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 173620 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 03, 2017 9:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 174767 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 03, 2017 9:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 175837 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 03, 2017 9:57:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 177143 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 03, 2017 9:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 178446 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 03, 2017 9:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 179742 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 03, 2017 9:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 181154 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 03, 2017 9:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 182207 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 03, 2017 9:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 183279 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 03, 2017 9:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 184355 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 03, 2017 9:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 185432 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 03, 2017 9:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 186496 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 03, 2017 9:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 187558 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 03, 2017 9:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 188618 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 03, 2017 9:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 190048 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 03, 2017 9:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 191363 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 03, 2017 9:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 192670 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 03, 2017 9:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 193964 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 03, 2017 9:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 195260 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 03, 2017 9:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 196569 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 03, 2017 9:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 197877 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 03, 2017 9:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 199181 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 03, 2017 9:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 200562 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 03, 2017 9:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 201857 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 03, 2017 9:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 203133 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 03, 2017 9:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 204444 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 03, 2017 9:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 205745 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 03, 2017 9:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 207057 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 03, 2017 9:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 208381 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 03, 2017 9:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 209684 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 03, 2017 9:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 211221 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 03, 2017 9:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 212295 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 03, 2017 9:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 213392 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 03, 2017 9:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 214482 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 03, 2017 9:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 215560 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 03, 2017 9:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 216955 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 03, 2017 9:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 218224 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 03, 2017 9:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 219297 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 03, 2017 9:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 220374 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 03, 2017 9:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 221461 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 03, 2017 9:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 222563 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 03, 2017 9:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 223643 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 03, 2017 9:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 224714 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 03, 2017 9:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 225762 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 03, 2017 9:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 226830 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 03, 2017 9:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 227947 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 03, 2017 9:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 229018 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 03, 2017 9:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 230115 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 03, 2017 9:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 231192 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 03, 2017 9:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 232260 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 03, 2017 9:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 233332 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 03, 2017 9:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 234423 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 03, 2017 9:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 235500 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 03, 2017 9:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 236592 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 03, 2017 9:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 237672 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 03, 2017 9:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 238762 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 03, 2017 9:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 239860 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 03, 2017 9:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 240950 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 03, 2017 9:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 242034 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 03, 2017 9:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 243129 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 03, 2017 9:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 244214 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 03, 2017 9:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 245288 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 03, 2017 9:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 246365 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 03, 2017 9:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 246919 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 9:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 9:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1162 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 9:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2296 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 9:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3427 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 9:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4597 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 9:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5758 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 9:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6911 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 9:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8047 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 9:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9232 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 9:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10370 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 9:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11530 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 9:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12694 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 9:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13871 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 03, 2017 9:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 15013 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 03, 2017 9:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16161 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 03, 2017 9:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 17327 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 03, 2017 9:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 18502 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 03, 2017 9:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 19667 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 03, 2017 9:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 20818 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 03, 2017 9:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 21980 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 03, 2017 9:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 23095 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 03, 2017 9:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 24190 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 03, 2017 9:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 25256 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 03, 2017 9:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 26403 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 03, 2017 9:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 27538 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 03, 2017 9:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 28729 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 03, 2017 9:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 29919 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 03, 2017 9:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 31102 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 03, 2017 9:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 32290 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 03, 2017 9:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 33455 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 03, 2017 9:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 34559 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 03, 2017 9:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 35644 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 03, 2017 9:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 36715 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 03, 2017 9:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 37803 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 03, 2017 9:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 38943 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 03, 2017 9:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 40055 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 03, 2017 9:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 41226 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 03, 2017 9:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 42410 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 03, 2017 9:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 43592 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 03, 2017 9:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 44778 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 03, 2017 9:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 45946 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 03, 2017 9:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 47040 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 03, 2017 9:59:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 48165 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 03, 2017 9:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 49266 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 03, 2017 9:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 50386 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 03, 2017 9:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 51506 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 03, 2017 9:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 52626 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 03, 2017 9:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 53754 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 03, 2017 9:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 54894 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 03, 2017 9:59:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 55998 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 03, 2017 9:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 57118 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 03, 2017 9:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 58237 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 03, 2017 9:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 59375 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 03, 2017 9:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 60547 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 03, 2017 9:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 61655 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 03, 2017 9:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 62796 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 03, 2017 9:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 63922 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 03, 2017 10:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 65050 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 03, 2017 10:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 66162 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 03, 2017 10:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 67290 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 03, 2017 10:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 68407 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 03, 2017 10:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 69533 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 03, 2017 10:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 70657 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 03, 2017 10:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 71722 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 03, 2017 10:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 72875 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 03, 2017 10:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 74036 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 03, 2017 10:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 75205 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 03, 2017 10:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 76362 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 03, 2017 10:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 77506 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 03, 2017 10:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 78683 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 03, 2017 10:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 79896 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 03, 2017 10:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 81002 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 03, 2017 10:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 82170 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 03, 2017 10:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 83353 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 03, 2017 10:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 84498 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 03, 2017 10:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 85646 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 03, 2017 10:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/592 took 86682 ms. Total solver calls (SAT/UNSAT): 33211(15256/17955)
Jun 03, 2017 10:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 87727 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 03, 2017 10:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 88764 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 03, 2017 10:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/592 took 89785 ms. Total solver calls (SAT/UNSAT): 34650(15736/18914)
Jun 03, 2017 10:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/592 took 90818 ms. Total solver calls (SAT/UNSAT): 35082(15976/19106)
Jun 03, 2017 10:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 92224 ms. Total solver calls (SAT/UNSAT): 35691(16264/19427)
Jun 03, 2017 10:00:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 93541 ms. Total solver calls (SAT/UNSAT): 36210(16546/19664)
Jun 03, 2017 10:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 94844 ms. Total solver calls (SAT/UNSAT): 36729(16828/19901)
Jun 03, 2017 10:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 96190 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 03, 2017 10:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 97197 ms. Total solver calls (SAT/UNSAT): 37644(17330/20314)
Jun 03, 2017 10:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 98535 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 03, 2017 10:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 99859 ms. Total solver calls (SAT/UNSAT): 38731(17906/20825)
Jun 03, 2017 10:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 101190 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 03, 2017 10:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 102509 ms. Total solver calls (SAT/UNSAT): 39769(18470/21299)
Jun 03, 2017 10:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 103812 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 03, 2017 10:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 105140 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 03, 2017 10:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 106452 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 03, 2017 10:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 107807 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 03, 2017 10:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 109128 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 03, 2017 10:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 110439 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 03, 2017 10:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 111761 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 03, 2017 10:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 113141 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 03, 2017 10:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 114486 ms. Total solver calls (SAT/UNSAT): 44395(21008/23387)
Jun 03, 2017 10:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 115802 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 03, 2017 10:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 117106 ms. Total solver calls (SAT/UNSAT): 45388(21572/23816)
Jun 03, 2017 10:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 118394 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 03, 2017 10:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 119708 ms. Total solver calls (SAT/UNSAT): 46351(22136/24215)
Jun 03, 2017 10:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 121029 ms. Total solver calls (SAT/UNSAT): 46870(22418/24452)
Jun 03, 2017 10:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 122353 ms. Total solver calls (SAT/UNSAT): 47389(22700/24689)
Jun 03, 2017 10:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 123678 ms. Total solver calls (SAT/UNSAT): 47908(22982/24926)
Jun 03, 2017 10:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 124993 ms. Total solver calls (SAT/UNSAT): 48427(23264/25163)
Jun 03, 2017 10:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 126319 ms. Total solver calls (SAT/UNSAT): 48946(23546/25400)
Jun 03, 2017 10:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 127610 ms. Total solver calls (SAT/UNSAT): 49420(23828/25592)
Jun 03, 2017 10:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 128925 ms. Total solver calls (SAT/UNSAT): 49894(24110/25784)
Jun 03, 2017 10:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 130236 ms. Total solver calls (SAT/UNSAT): 50368(24392/25976)
Jun 03, 2017 10:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 131546 ms. Total solver calls (SAT/UNSAT): 50842(24674/26168)
Jun 03, 2017 10:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 132834 ms. Total solver calls (SAT/UNSAT): 51316(24956/26360)
Jun 03, 2017 10:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 134128 ms. Total solver calls (SAT/UNSAT): 51790(25238/26552)
Jun 03, 2017 10:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 135421 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 03, 2017 10:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 136730 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 03, 2017 10:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 138042 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 03, 2017 10:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 139327 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 03, 2017 10:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 140614 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 03, 2017 10:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 141912 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 03, 2017 10:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 143242 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 03, 2017 10:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 144595 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 03, 2017 10:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 145928 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 03, 2017 10:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 147265 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 03, 2017 10:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 148564 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 03, 2017 10:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 149888 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 03, 2017 10:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 151177 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 03, 2017 10:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 152464 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 03, 2017 10:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 153764 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 03, 2017 10:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 155084 ms. Total solver calls (SAT/UNSAT): 59569(29750/29819)
Jun 03, 2017 10:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 156458 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 03, 2017 10:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 157782 ms. Total solver calls (SAT/UNSAT): 60607(30314/30293)
Jun 03, 2017 10:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 159121 ms. Total solver calls (SAT/UNSAT): 61126(30596/30530)
Jun 03, 2017 10:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 160448 ms. Total solver calls (SAT/UNSAT): 61645(30878/30767)
Jun 03, 2017 10:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 161784 ms. Total solver calls (SAT/UNSAT): 62164(31160/31004)
Jun 03, 2017 10:01:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 163114 ms. Total solver calls (SAT/UNSAT): 62683(31442/31241)
Jun 03, 2017 10:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 164438 ms. Total solver calls (SAT/UNSAT): 63202(31724/31478)
Jun 03, 2017 10:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 165726 ms. Total solver calls (SAT/UNSAT): 63721(32006/31715)
Jun 03, 2017 10:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 167050 ms. Total solver calls (SAT/UNSAT): 64240(32288/31952)
Jun 03, 2017 10:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 168375 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 03, 2017 10:01:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 169695 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 03, 2017 10:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 171004 ms. Total solver calls (SAT/UNSAT): 65797(33134/32663)
Jun 03, 2017 10:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 172335 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 03, 2017 10:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 173682 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 03, 2017 10:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 175019 ms. Total solver calls (SAT/UNSAT): 67354(33980/33374)
Jun 03, 2017 10:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 176348 ms. Total solver calls (SAT/UNSAT): 67843(34262/33581)
Jun 03, 2017 10:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 177687 ms. Total solver calls (SAT/UNSAT): 68317(34544/33773)
Jun 03, 2017 10:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 179100 ms. Total solver calls (SAT/UNSAT): 68791(34826/33965)
Jun 03, 2017 10:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 180478 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 03, 2017 10:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 181789 ms. Total solver calls (SAT/UNSAT): 69784(35390/34394)
Jun 03, 2017 10:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 183098 ms. Total solver calls (SAT/UNSAT): 70288(35672/34616)
Jun 03, 2017 10:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 184463 ms. Total solver calls (SAT/UNSAT): 70762(35954/34808)
Jun 03, 2017 10:02:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 185833 ms. Total solver calls (SAT/UNSAT): 71236(36236/35000)
Jun 03, 2017 10:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 187161 ms. Total solver calls (SAT/UNSAT): 71710(36518/35192)
Jun 03, 2017 10:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 188501 ms. Total solver calls (SAT/UNSAT): 72184(36800/35384)
Jun 03, 2017 10:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 189871 ms. Total solver calls (SAT/UNSAT): 72658(37082/35576)
Jun 03, 2017 10:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 191222 ms. Total solver calls (SAT/UNSAT): 73132(37364/35768)
Jun 03, 2017 10:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 192587 ms. Total solver calls (SAT/UNSAT): 73606(37646/35960)
Jun 03, 2017 10:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 193955 ms. Total solver calls (SAT/UNSAT): 74080(37928/36152)
Jun 03, 2017 10:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 195299 ms. Total solver calls (SAT/UNSAT): 74554(38210/36344)
Jun 03, 2017 10:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 196632 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 03, 2017 10:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 197994 ms. Total solver calls (SAT/UNSAT): 75502(38774/36728)
Jun 03, 2017 10:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 199346 ms. Total solver calls (SAT/UNSAT): 75976(39056/36920)
Jun 03, 2017 10:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 200668 ms. Total solver calls (SAT/UNSAT): 76450(39338/37112)
Jun 03, 2017 10:02:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 202004 ms. Total solver calls (SAT/UNSAT): 76924(39620/37304)
Jun 03, 2017 10:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 203379 ms. Total solver calls (SAT/UNSAT): 77398(39902/37496)
Jun 03, 2017 10:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 204717 ms. Total solver calls (SAT/UNSAT): 77872(40184/37688)
Jun 03, 2017 10:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 206052 ms. Total solver calls (SAT/UNSAT): 78346(40466/37880)
Jun 03, 2017 10:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 206477 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 10:02:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 10:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1063 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 10:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3050 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 03, 2017 10:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4052 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 03, 2017 10:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 5052 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 03, 2017 10:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 7016 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 03, 2017 10:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9009 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 03, 2017 10:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 10011 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 03, 2017 10:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 11979 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 03, 2017 10:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 13935 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 03, 2017 10:02:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 15814 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 03, 2017 10:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 17687 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 03, 2017 10:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 19561 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 03, 2017 10:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 21440 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 03, 2017 10:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 23317 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 03, 2017 10:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/592) took 25181 ms. Total solver calls (SAT/UNSAT): 15067(15067/0)
Jun 03, 2017 10:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/592) took 27036 ms. Total solver calls (SAT/UNSAT): 16198(16198/0)
Jun 03, 2017 10:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 28860 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 03, 2017 10:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/592) took 30689 ms. Total solver calls (SAT/UNSAT): 18448(18448/0)
Jun 03, 2017 10:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/592) took 32483 ms. Total solver calls (SAT/UNSAT): 19567(19567/0)
Jun 03, 2017 10:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/592) took 34270 ms. Total solver calls (SAT/UNSAT): 20682(20682/0)
Jun 03, 2017 10:02:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 36053 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 03, 2017 10:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 37821 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 03, 2017 10:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 39574 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 03, 2017 10:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 41384 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 03, 2017 10:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 43158 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 03, 2017 10:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 44926 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 03, 2017 10:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 46664 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 03, 2017 10:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 48402 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 03, 2017 10:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 50106 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 03, 2017 10:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 51961 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 03, 2017 10:03:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 53763 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 03, 2017 10:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 55560 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 03, 2017 10:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 57241 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 03, 2017 10:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 59040 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 03, 2017 10:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 60716 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 03, 2017 10:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 62473 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 03, 2017 10:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 64159 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 03, 2017 10:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 65918 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 03, 2017 10:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 67692 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 03, 2017 10:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 69363 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 03, 2017 10:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 71011 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 03, 2017 10:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 72698 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 03, 2017 10:03:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 74357 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 03, 2017 10:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 76023 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 03, 2017 10:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 77648 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 03, 2017 10:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 79249 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 03, 2017 10:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 80904 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 03, 2017 10:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 82444 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 03, 2017 10:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 84113 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 03, 2017 10:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 85629 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 03, 2017 10:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 87250 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 03, 2017 10:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 88764 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 03, 2017 10:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 90357 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 03, 2017 10:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 91908 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 03, 2017 10:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 93465 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 03, 2017 10:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 95016 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 03, 2017 10:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 96596 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 03, 2017 10:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 98141 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 03, 2017 10:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 99710 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 03, 2017 10:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 101277 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 03, 2017 10:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 102881 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 03, 2017 10:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 104593 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 03, 2017 10:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 106196 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 03, 2017 10:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 107857 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 03, 2017 10:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 109594 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 03, 2017 10:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 111364 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 03, 2017 10:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 113092 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 03, 2017 10:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 114823 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 03, 2017 10:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 116552 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 03, 2017 10:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 118205 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 03, 2017 10:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 119834 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 03, 2017 10:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 121456 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 03, 2017 10:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 123037 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 03, 2017 10:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 124647 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 03, 2017 10:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 126274 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 03, 2017 10:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 127877 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 03, 2017 10:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 129521 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 03, 2017 10:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 131218 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 03, 2017 10:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 132886 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 03, 2017 10:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 134475 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 03, 2017 10:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 136038 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 03, 2017 10:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 137582 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 03, 2017 10:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 139063 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 03, 2017 10:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 140516 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 03, 2017 10:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 141984 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 03, 2017 10:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 143427 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 03, 2017 10:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 144858 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 03, 2017 10:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 146334 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 03, 2017 10:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 147785 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 03, 2017 10:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 149244 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 03, 2017 10:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 150647 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 03, 2017 10:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 152090 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 03, 2017 10:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 153501 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 03, 2017 10:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 154909 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 03, 2017 10:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 156316 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 03, 2017 10:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 157681 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 03, 2017 10:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 158965 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 03, 2017 10:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 160228 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 03, 2017 10:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 161483 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 03, 2017 10:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 162749 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 03, 2017 10:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 164014 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 03, 2017 10:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 165257 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 03, 2017 10:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 166540 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 03, 2017 10:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 167768 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 03, 2017 10:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 169056 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 03, 2017 10:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 170304 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 03, 2017 10:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 171514 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 03, 2017 10:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 172757 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 03, 2017 10:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 173953 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 03, 2017 10:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 175131 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 03, 2017 10:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 176338 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 03, 2017 10:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 177532 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 03, 2017 10:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 178697 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 03, 2017 10:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 179943 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 03, 2017 10:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 181185 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 03, 2017 10:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 182486 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 03, 2017 10:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 183841 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 03, 2017 10:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 185589 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 03, 2017 10:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 187012 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 03, 2017 10:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 188218 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 03, 2017 10:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 189448 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 03, 2017 10:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 190677 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 03, 2017 10:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 191853 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 03, 2017 10:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 193507 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 03, 2017 10:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 194763 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 03, 2017 10:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 195920 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 03, 2017 10:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 197043 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 03, 2017 10:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/592) took 198126 ms. Total solver calls (SAT/UNSAT): 117558(117558/0)
Jun 03, 2017 10:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/592) took 199602 ms. Total solver calls (SAT/UNSAT): 118575(118575/0)
Jun 03, 2017 10:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/592) took 201077 ms. Total solver calls (SAT/UNSAT): 119583(119583/0)
Jun 03, 2017 10:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/592) took 202576 ms. Total solver calls (SAT/UNSAT): 120582(120582/0)
Jun 03, 2017 10:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/592) took 204094 ms. Total solver calls (SAT/UNSAT): 121572(121572/0)
Jun 03, 2017 10:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 205271 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 03, 2017 10:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/592) took 206303 ms. Total solver calls (SAT/UNSAT): 122878(122878/0)
Jun 03, 2017 10:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(269/592) took 207323 ms. Total solver calls (SAT/UNSAT): 123525(123525/0)
Jun 03, 2017 10:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/592) took 208346 ms. Total solver calls (SAT/UNSAT): 124168(124168/0)
Jun 03, 2017 10:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/592) took 209361 ms. Total solver calls (SAT/UNSAT): 124807(124807/0)
Jun 03, 2017 10:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/592) took 210432 ms. Total solver calls (SAT/UNSAT): 125442(125442/0)
Jun 03, 2017 10:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(277/592) took 211445 ms. Total solver calls (SAT/UNSAT): 126073(126073/0)
Jun 03, 2017 10:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 212491 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 03, 2017 10:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/592) took 213533 ms. Total solver calls (SAT/UNSAT): 127323(127323/0)
Jun 03, 2017 10:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(283/592) took 214565 ms. Total solver calls (SAT/UNSAT): 127942(127942/0)
Jun 03, 2017 10:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(286/592) took 216069 ms. Total solver calls (SAT/UNSAT): 128863(128863/0)
Jun 03, 2017 10:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(289/592) took 217535 ms. Total solver calls (SAT/UNSAT): 129775(129775/0)
Jun 03, 2017 10:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/592) took 218538 ms. Total solver calls (SAT/UNSAT): 130378(130378/0)
Jun 03, 2017 10:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(294/592) took 220004 ms. Total solver calls (SAT/UNSAT): 131275(131275/0)
Jun 03, 2017 10:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/592) took 221389 ms. Total solver calls (SAT/UNSAT): 132163(132163/0)
Jun 03, 2017 10:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(300/592) took 222753 ms. Total solver calls (SAT/UNSAT): 133042(133042/0)
Jun 03, 2017 10:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/592) took 224040 ms. Total solver calls (SAT/UNSAT): 133912(133912/0)
Jun 03, 2017 10:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/592) took 225337 ms. Total solver calls (SAT/UNSAT): 134773(134773/0)
Jun 03, 2017 10:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/592) took 226608 ms. Total solver calls (SAT/UNSAT): 135625(135625/0)
Jun 03, 2017 10:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(312/592) took 227838 ms. Total solver calls (SAT/UNSAT): 136468(136468/0)
Jun 03, 2017 10:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/592) took 229153 ms. Total solver calls (SAT/UNSAT): 137302(137302/0)
Jun 03, 2017 10:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/592) took 230587 ms. Total solver calls (SAT/UNSAT): 138127(138127/0)
Jun 03, 2017 10:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(321/592) took 232031 ms. Total solver calls (SAT/UNSAT): 138943(138943/0)
Jun 03, 2017 10:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/592) took 233513 ms. Total solver calls (SAT/UNSAT): 139750(139750/0)
Jun 03, 2017 10:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/592) took 234941 ms. Total solver calls (SAT/UNSAT): 140548(140548/0)
Jun 03, 2017 10:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/592) took 236304 ms. Total solver calls (SAT/UNSAT): 141337(141337/0)
Jun 03, 2017 10:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/592) took 237720 ms. Total solver calls (SAT/UNSAT): 142117(142117/0)
Jun 03, 2017 10:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/592) took 239153 ms. Total solver calls (SAT/UNSAT): 142888(142888/0)
Jun 03, 2017 10:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/592) took 240505 ms. Total solver calls (SAT/UNSAT): 143650(143650/0)
Jun 03, 2017 10:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/592) took 241764 ms. Total solver calls (SAT/UNSAT): 144403(144403/0)
Jun 03, 2017 10:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/592) took 243085 ms. Total solver calls (SAT/UNSAT): 145147(145147/0)
Jun 03, 2017 10:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(348/592) took 244535 ms. Total solver calls (SAT/UNSAT): 145882(145882/0)
Jun 03, 2017 10:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/592) took 245683 ms. Total solver calls (SAT/UNSAT): 146367(146367/0)
Jun 03, 2017 10:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(352/592) took 246837 ms. Total solver calls (SAT/UNSAT): 146848(146848/0)
Jun 03, 2017 10:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/592) took 247985 ms. Total solver calls (SAT/UNSAT): 147325(147325/0)
Jun 03, 2017 10:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(356/592) took 249110 ms. Total solver calls (SAT/UNSAT): 147798(147798/0)
Jun 03, 2017 10:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(358/592) took 250205 ms. Total solver calls (SAT/UNSAT): 148267(148267/0)
Jun 03, 2017 10:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/592) took 251299 ms. Total solver calls (SAT/UNSAT): 148732(148732/0)
Jun 03, 2017 10:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/592) took 252373 ms. Total solver calls (SAT/UNSAT): 149193(149193/0)
Jun 03, 2017 10:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(364/592) took 253453 ms. Total solver calls (SAT/UNSAT): 149650(149650/0)
Jun 03, 2017 10:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/592) took 254525 ms. Total solver calls (SAT/UNSAT): 150103(150103/0)
Jun 03, 2017 10:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(368/592) took 255586 ms. Total solver calls (SAT/UNSAT): 150552(150552/0)
Jun 03, 2017 10:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/592) took 256640 ms. Total solver calls (SAT/UNSAT): 150997(150997/0)
Jun 03, 2017 10:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(372/592) took 257694 ms. Total solver calls (SAT/UNSAT): 151438(151438/0)
Jun 03, 2017 10:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(374/592) took 258733 ms. Total solver calls (SAT/UNSAT): 151875(151875/0)
Jun 03, 2017 10:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(376/592) took 259775 ms. Total solver calls (SAT/UNSAT): 152308(152308/0)
Jun 03, 2017 10:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(378/592) took 260796 ms. Total solver calls (SAT/UNSAT): 152737(152737/0)
Jun 03, 2017 10:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/592) took 261850 ms. Total solver calls (SAT/UNSAT): 153162(153162/0)
Jun 03, 2017 10:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/592) took 262953 ms. Total solver calls (SAT/UNSAT): 153583(153583/0)
Jun 03, 2017 10:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(385/592) took 264154 ms. Total solver calls (SAT/UNSAT): 154207(154207/0)
Jun 03, 2017 10:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(388/592) took 265239 ms. Total solver calls (SAT/UNSAT): 154822(154822/0)
Jun 03, 2017 10:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(391/592) took 266425 ms. Total solver calls (SAT/UNSAT): 155428(155428/0)
Jun 03, 2017 10:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(394/592) took 267517 ms. Total solver calls (SAT/UNSAT): 156025(156025/0)
Jun 03, 2017 10:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(397/592) took 268525 ms. Total solver calls (SAT/UNSAT): 156613(156613/0)
Jun 03, 2017 10:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/592) took 269944 ms. Total solver calls (SAT/UNSAT): 157192(157192/0)
Jun 03, 2017 10:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(403/592) took 271342 ms. Total solver calls (SAT/UNSAT): 157762(157762/0)
Jun 03, 2017 10:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(406/592) took 272682 ms. Total solver calls (SAT/UNSAT): 158323(158323/0)
Jun 03, 2017 10:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(409/592) took 274022 ms. Total solver calls (SAT/UNSAT): 158875(158875/0)
Jun 03, 2017 10:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/592) took 275402 ms. Total solver calls (SAT/UNSAT): 159418(159418/0)
Jun 03, 2017 10:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/592) took 276804 ms. Total solver calls (SAT/UNSAT): 159952(159952/0)
Jun 03, 2017 10:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(418/592) took 278201 ms. Total solver calls (SAT/UNSAT): 160477(160477/0)
Jun 03, 2017 10:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(421/592) took 279245 ms. Total solver calls (SAT/UNSAT): 160993(160993/0)
Jun 03, 2017 10:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/592) took 280529 ms. Total solver calls (SAT/UNSAT): 161667(161667/0)
Jun 03, 2017 10:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/592) took 281776 ms. Total solver calls (SAT/UNSAT): 162325(162325/0)
Jun 03, 2017 10:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/592) took 282949 ms. Total solver calls (SAT/UNSAT): 162967(162967/0)
Jun 03, 2017 10:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(437/592) took 284058 ms. Total solver calls (SAT/UNSAT): 163593(163593/0)
Jun 03, 2017 10:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/592) took 285198 ms. Total solver calls (SAT/UNSAT): 164203(164203/0)
Jun 03, 2017 10:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 286322 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 03, 2017 10:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(449/592) took 287401 ms. Total solver calls (SAT/UNSAT): 165375(165375/0)
Jun 03, 2017 10:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(454/592) took 288586 ms. Total solver calls (SAT/UNSAT): 166075(166075/0)
Jun 03, 2017 10:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(459/592) took 289783 ms. Total solver calls (SAT/UNSAT): 166750(166750/0)
Jun 03, 2017 10:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(464/592) took 290968 ms. Total solver calls (SAT/UNSAT): 167400(167400/0)
Jun 03, 2017 10:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(469/592) took 292103 ms. Total solver calls (SAT/UNSAT): 168025(168025/0)
Jun 03, 2017 10:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(474/592) took 293206 ms. Total solver calls (SAT/UNSAT): 168625(168625/0)
Jun 03, 2017 10:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(480/592) took 294407 ms. Total solver calls (SAT/UNSAT): 169312(169312/0)
Jun 03, 2017 10:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(486/592) took 295584 ms. Total solver calls (SAT/UNSAT): 169963(169963/0)
Jun 03, 2017 10:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(492/592) took 296694 ms. Total solver calls (SAT/UNSAT): 170578(170578/0)
Jun 03, 2017 10:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(498/592) took 297737 ms. Total solver calls (SAT/UNSAT): 171157(171157/0)
Jun 03, 2017 10:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(504/592) took 298757 ms. Total solver calls (SAT/UNSAT): 171700(171700/0)
Jun 03, 2017 10:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(511/592) took 299760 ms. Total solver calls (SAT/UNSAT): 172288(172288/0)
Jun 03, 2017 10:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(517/592) took 300846 ms. Total solver calls (SAT/UNSAT): 172753(172753/0)
Jun 03, 2017 10:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(523/592) took 301911 ms. Total solver calls (SAT/UNSAT): 173182(173182/0)
Jun 03, 2017 10:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(529/592) took 302973 ms. Total solver calls (SAT/UNSAT): 173575(173575/0)
Jun 03, 2017 10:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(537/592) took 303986 ms. Total solver calls (SAT/UNSAT): 174043(174043/0)
Jun 03, 2017 10:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(547/592) took 305037 ms. Total solver calls (SAT/UNSAT): 174538(174538/0)
Jun 03, 2017 10:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(560/592) took 306046 ms. Total solver calls (SAT/UNSAT): 175032(175032/0)
Jun 03, 2017 10:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(585/592) took 307052 ms. Total solver calls (SAT/UNSAT): 175507(175507/0)
Jun 03, 2017 10:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 307106 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 10:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PermAdmissibility-PT-20"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_PermAdmissibility-PT-20.tgz
mv S_PermAdmissibility-PT-20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PermAdmissibility-PT-20, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-blw7-149441652200438"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;