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 PermAdmissibility-PT-20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486700438
=====================================================================

--------------------
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 1496329704670


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 01, 2017 3:08:26 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 3:08:26 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 125 ms
Jun 01, 2017 3:08:26 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 3:08:26 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 3:08:26 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 133 ms
Jun 01, 2017 3:08:26 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 29 ms
Jun 01, 2017 3:08:26 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 10 ms
Jun 01, 2017 3:08:27 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 150 ms
Jun 01, 2017 3:08:36 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8687 ms
Jun 01, 2017 3:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 3:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 429 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 3:08:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1724 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 01, 2017 3:08:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3032 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 01, 2017 3:08:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4310 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 01, 2017 3:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 5593 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 01, 2017 3:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 6885 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 01, 2017 3:08:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 8159 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 01, 2017 3:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 9445 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 01, 2017 3:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 10739 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 01, 2017 3:08:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 12121 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 01, 2017 3:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 13513 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 01, 2017 3:08:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 14894 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 01, 2017 3:08:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 16280 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 01, 2017 3:08:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 17660 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 01, 2017 3:08:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 19059 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 01, 2017 3:08:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 20436 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 01, 2017 3:08:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 21436 ms. Total solver calls (SAT/UNSAT): 6528(3792/2736)
Jun 01, 2017 3:08:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 22838 ms. Total solver calls (SAT/UNSAT): 6936(4029/2907)
Jun 01, 2017 3:09:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 24225 ms. Total solver calls (SAT/UNSAT): 7344(4266/3078)
Jun 01, 2017 3:09:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 25597 ms. Total solver calls (SAT/UNSAT): 7752(4503/3249)
Jun 01, 2017 3:09:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 26948 ms. Total solver calls (SAT/UNSAT): 8175(4740/3435)
Jun 01, 2017 3:09:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 28217 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 01, 2017 3:09:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 29492 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 01, 2017 3:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 30778 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 01, 2017 3:09:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 32035 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 01, 2017 3:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 33306 ms. Total solver calls (SAT/UNSAT): 10440(5925/4515)
Jun 01, 2017 3:09:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 34574 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 01, 2017 3:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 35865 ms. Total solver calls (SAT/UNSAT): 11346(6399/4947)
Jun 01, 2017 3:09:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 37144 ms. Total solver calls (SAT/UNSAT): 11799(6636/5163)
Jun 01, 2017 3:09:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 38434 ms. Total solver calls (SAT/UNSAT): 12252(6873/5379)
Jun 01, 2017 3:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 39720 ms. Total solver calls (SAT/UNSAT): 12705(7110/5595)
Jun 01, 2017 3:09:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 40990 ms. Total solver calls (SAT/UNSAT): 13158(7347/5811)
Jun 01, 2017 3:09:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 42245 ms. Total solver calls (SAT/UNSAT): 13611(7584/6027)
Jun 01, 2017 3:09:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 43534 ms. Total solver calls (SAT/UNSAT): 14064(7821/6243)
Jun 01, 2017 3:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 44841 ms. Total solver calls (SAT/UNSAT): 14502(8058/6444)
Jun 01, 2017 3:09:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 46180 ms. Total solver calls (SAT/UNSAT): 14925(8295/6630)
Jun 01, 2017 3:09:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 47494 ms. Total solver calls (SAT/UNSAT): 15348(8532/6816)
Jun 01, 2017 3:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 48766 ms. Total solver calls (SAT/UNSAT): 15801(8769/7032)
Jun 01, 2017 3:09:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 50042 ms. Total solver calls (SAT/UNSAT): 16254(9006/7248)
Jun 01, 2017 3:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 51312 ms. Total solver calls (SAT/UNSAT): 16707(9243/7464)
Jun 01, 2017 3:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 52605 ms. Total solver calls (SAT/UNSAT): 17160(9480/7680)
Jun 01, 2017 3:09:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 53882 ms. Total solver calls (SAT/UNSAT): 17613(9717/7896)
Jun 01, 2017 3:09:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 55180 ms. Total solver calls (SAT/UNSAT): 18021(9954/8067)
Jun 01, 2017 3:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 56474 ms. Total solver calls (SAT/UNSAT): 18429(10191/8238)
Jun 01, 2017 3:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 57768 ms. Total solver calls (SAT/UNSAT): 18837(10428/8409)
Jun 01, 2017 3:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 59063 ms. Total solver calls (SAT/UNSAT): 19245(10665/8580)
Jun 01, 2017 3:09:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 60359 ms. Total solver calls (SAT/UNSAT): 19653(10902/8751)
Jun 01, 2017 3:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 61659 ms. Total solver calls (SAT/UNSAT): 20061(11139/8922)
Jun 01, 2017 3:09:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 62947 ms. Total solver calls (SAT/UNSAT): 20469(11376/9093)
Jun 01, 2017 3:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 64258 ms. Total solver calls (SAT/UNSAT): 20877(11613/9264)
Jun 01, 2017 3:09:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 65562 ms. Total solver calls (SAT/UNSAT): 21285(11850/9435)
Jun 01, 2017 3:09:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 66849 ms. Total solver calls (SAT/UNSAT): 21693(12087/9606)
Jun 01, 2017 3:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 68124 ms. Total solver calls (SAT/UNSAT): 22116(12324/9792)
Jun 01, 2017 3:09:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 69408 ms. Total solver calls (SAT/UNSAT): 22569(12561/10008)
Jun 01, 2017 3:09:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 70702 ms. Total solver calls (SAT/UNSAT): 22977(12798/10179)
Jun 01, 2017 3:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 71972 ms. Total solver calls (SAT/UNSAT): 23400(13035/10365)
Jun 01, 2017 3:09:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 73277 ms. Total solver calls (SAT/UNSAT): 23808(13272/10536)
Jun 01, 2017 3:09:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 74574 ms. Total solver calls (SAT/UNSAT): 24216(13509/10707)
Jun 01, 2017 3:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 75865 ms. Total solver calls (SAT/UNSAT): 24624(13746/10878)
Jun 01, 2017 3:09:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 77163 ms. Total solver calls (SAT/UNSAT): 25032(13983/11049)
Jun 01, 2017 3:09:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 78464 ms. Total solver calls (SAT/UNSAT): 25440(14220/11220)
Jun 01, 2017 3:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 79759 ms. Total solver calls (SAT/UNSAT): 25848(14457/11391)
Jun 01, 2017 3:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 81044 ms. Total solver calls (SAT/UNSAT): 26256(14694/11562)
Jun 01, 2017 3:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/592 took 82159 ms. Total solver calls (SAT/UNSAT): 26598(14931/11667)
Jun 01, 2017 3:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/592 took 83175 ms. Total solver calls (SAT/UNSAT): 26907(15168/11739)
Jun 01, 2017 3:10:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 84196 ms. Total solver calls (SAT/UNSAT): 27216(15405/11811)
Jun 01, 2017 3:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/592 took 85207 ms. Total solver calls (SAT/UNSAT): 27525(15642/11883)
Jun 01, 2017 3:10:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/592 took 86233 ms. Total solver calls (SAT/UNSAT): 27834(15879/11955)
Jun 01, 2017 3:10:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/592 took 87259 ms. Total solver calls (SAT/UNSAT): 28143(16116/12027)
Jun 01, 2017 3:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/592 took 88271 ms. Total solver calls (SAT/UNSAT): 28452(16353/12099)
Jun 01, 2017 3:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 89610 ms. Total solver calls (SAT/UNSAT): 28864(16669/12195)
Jun 01, 2017 3:10:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/592 took 90627 ms. Total solver calls (SAT/UNSAT): 29173(16906/12267)
Jun 01, 2017 3:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 91659 ms. Total solver calls (SAT/UNSAT): 29482(17143/12339)
Jun 01, 2017 3:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 92689 ms. Total solver calls (SAT/UNSAT): 29791(17380/12411)
Jun 01, 2017 3:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 93805 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 01, 2017 3:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 95105 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 01, 2017 3:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 96215 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 01, 2017 3:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 97238 ms. Total solver calls (SAT/UNSAT): 31192(18328/12864)
Jun 01, 2017 3:10:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/592 took 98261 ms. Total solver calls (SAT/UNSAT): 31501(18565/12936)
Jun 01, 2017 3:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/592 took 99303 ms. Total solver calls (SAT/UNSAT): 31810(18802/13008)
Jun 01, 2017 3:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 100331 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 01, 2017 3:10:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 101361 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 01, 2017 3:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 102398 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 01, 2017 3:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 103437 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 01, 2017 3:10:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/592 took 104454 ms. Total solver calls (SAT/UNSAT): 33397(20013/13384)
Jun 01, 2017 3:10:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/592 took 105476 ms. Total solver calls (SAT/UNSAT): 33722(20266/13456)
Jun 01, 2017 3:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 106534 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 01, 2017 3:10:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/592 took 107545 ms. Total solver calls (SAT/UNSAT): 34399(20727/13672)
Jun 01, 2017 3:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/592 took 108592 ms. Total solver calls (SAT/UNSAT): 34794(20957/13837)
Jun 01, 2017 3:10:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/592 took 109614 ms. Total solver calls (SAT/UNSAT): 35154(21187/13967)
Jun 01, 2017 3:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 111010 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 01, 2017 3:10:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 112291 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 01, 2017 3:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 113569 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 01, 2017 3:10:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 114996 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 01, 2017 3:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 116099 ms. Total solver calls (SAT/UNSAT): 37644(22447/15197)
Jun 01, 2017 3:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/592 took 117202 ms. Total solver calls (SAT/UNSAT): 38039(22677/15362)
Jun 01, 2017 3:10:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 118474 ms. Total solver calls (SAT/UNSAT): 38558(22914/15644)
Jun 01, 2017 3:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 119762 ms. Total solver calls (SAT/UNSAT): 39077(23151/15926)
Jun 01, 2017 3:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 121061 ms. Total solver calls (SAT/UNSAT): 39596(23388/16208)
Jun 01, 2017 3:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/592 took 122329 ms. Total solver calls (SAT/UNSAT): 40115(23625/16490)
Jun 01, 2017 3:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 123614 ms. Total solver calls (SAT/UNSAT): 40634(23862/16772)
Jun 01, 2017 3:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 124897 ms. Total solver calls (SAT/UNSAT): 41153(24099/17054)
Jun 01, 2017 3:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 126151 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 01, 2017 3:10:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 127437 ms. Total solver calls (SAT/UNSAT): 42191(24573/17618)
Jun 01, 2017 3:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 128887 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 01, 2017 3:10:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 130202 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 01, 2017 3:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 131557 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 01, 2017 3:10:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 132634 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 01, 2017 3:10:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 134025 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 01, 2017 3:10:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 135404 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 01, 2017 3:10:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 136482 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 01, 2017 3:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 137538 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 01, 2017 3:10:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 138613 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 01, 2017 3:10:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 140000 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 01, 2017 3:10:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 141279 ms. Total solver calls (SAT/UNSAT): 47043(26864/20179)
Jun 01, 2017 3:10:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 142582 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 01, 2017 3:11:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 143882 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 01, 2017 3:11:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 145166 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 01, 2017 3:11:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 146557 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 01, 2017 3:11:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 147635 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 01, 2017 3:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 148707 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 01, 2017 3:11:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 149779 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 01, 2017 3:11:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 150863 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 01, 2017 3:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 151917 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 01, 2017 3:11:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 152964 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 01, 2017 3:11:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 154000 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 01, 2017 3:11:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 155056 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 01, 2017 3:11:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 156154 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 01, 2017 3:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 157226 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 01, 2017 3:11:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 158309 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 01, 2017 3:11:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 159382 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 01, 2017 3:11:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 160465 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 01, 2017 3:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 161541 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 01, 2017 3:11:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 162607 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 01, 2017 3:11:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 163650 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 01, 2017 3:11:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 164727 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 01, 2017 3:11:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 165796 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 01, 2017 3:11:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 167118 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 01, 2017 3:11:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 168437 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 01, 2017 3:11:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 169749 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 01, 2017 3:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 171156 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 01, 2017 3:11:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 172196 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 01, 2017 3:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 173270 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 01, 2017 3:11:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 174350 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 01, 2017 3:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 175425 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 01, 2017 3:11:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 176485 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 01, 2017 3:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 177559 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 01, 2017 3:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 178629 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 01, 2017 3:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 180053 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 01, 2017 3:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 181352 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 01, 2017 3:11:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 182664 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 01, 2017 3:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 183969 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 01, 2017 3:11:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 185276 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 01, 2017 3:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 186587 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 01, 2017 3:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 187920 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 01, 2017 3:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 189241 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 01, 2017 3:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 190558 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 01, 2017 3:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 191881 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 01, 2017 3:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 193173 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 01, 2017 3:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 194480 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 01, 2017 3:11:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 195800 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 01, 2017 3:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 197137 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 01, 2017 3:11:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 198467 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 01, 2017 3:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 199822 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 01, 2017 3:11:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 200823 ms. Total solver calls (SAT/UNSAT): 67685(36660/31025)
Jun 01, 2017 3:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 201895 ms. Total solver calls (SAT/UNSAT): 68001(36818/31183)
Jun 01, 2017 3:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 203023 ms. Total solver calls (SAT/UNSAT): 68317(36976/31341)
Jun 01, 2017 3:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 204092 ms. Total solver calls (SAT/UNSAT): 68633(37134/31499)
Jun 01, 2017 3:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 205176 ms. Total solver calls (SAT/UNSAT): 68949(37292/31657)
Jun 01, 2017 3:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 206223 ms. Total solver calls (SAT/UNSAT): 69265(37450/31815)
Jun 01, 2017 3:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 207529 ms. Total solver calls (SAT/UNSAT): 69784(37687/32097)
Jun 01, 2017 3:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 208944 ms. Total solver calls (SAT/UNSAT): 70288(37924/32364)
Jun 01, 2017 3:12:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 210013 ms. Total solver calls (SAT/UNSAT): 70604(38082/32522)
Jun 01, 2017 3:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 211161 ms. Total solver calls (SAT/UNSAT): 70920(38240/32680)
Jun 01, 2017 3:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 212202 ms. Total solver calls (SAT/UNSAT): 71236(38398/32838)
Jun 01, 2017 3:12:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/592 took 213336 ms. Total solver calls (SAT/UNSAT): 71552(38556/32996)
Jun 01, 2017 3:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 214411 ms. Total solver calls (SAT/UNSAT): 71868(38714/33154)
Jun 01, 2017 3:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 215502 ms. Total solver calls (SAT/UNSAT): 72184(38872/33312)
Jun 01, 2017 3:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 216563 ms. Total solver calls (SAT/UNSAT): 72500(39030/33470)
Jun 01, 2017 3:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 217647 ms. Total solver calls (SAT/UNSAT): 72816(39188/33628)
Jun 01, 2017 3:12:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 218738 ms. Total solver calls (SAT/UNSAT): 73132(39346/33786)
Jun 01, 2017 3:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 219803 ms. Total solver calls (SAT/UNSAT): 73448(39504/33944)
Jun 01, 2017 3:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 220926 ms. Total solver calls (SAT/UNSAT): 73764(39662/34102)
Jun 01, 2017 3:12:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 221973 ms. Total solver calls (SAT/UNSAT): 74080(39820/34260)
Jun 01, 2017 3:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 223062 ms. Total solver calls (SAT/UNSAT): 74396(39978/34418)
Jun 01, 2017 3:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 224120 ms. Total solver calls (SAT/UNSAT): 74712(40136/34576)
Jun 01, 2017 3:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 225212 ms. Total solver calls (SAT/UNSAT): 75028(40294/34734)
Jun 01, 2017 3:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/592 took 226286 ms. Total solver calls (SAT/UNSAT): 75344(40452/34892)
Jun 01, 2017 3:12:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 227381 ms. Total solver calls (SAT/UNSAT): 75660(40610/35050)
Jun 01, 2017 3:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 228469 ms. Total solver calls (SAT/UNSAT): 75976(40768/35208)
Jun 01, 2017 3:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/592 took 229572 ms. Total solver calls (SAT/UNSAT): 76292(40926/35366)
Jun 01, 2017 3:12:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 230655 ms. Total solver calls (SAT/UNSAT): 76608(41084/35524)
Jun 01, 2017 3:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 231742 ms. Total solver calls (SAT/UNSAT): 76924(41242/35682)
Jun 01, 2017 3:12:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 232819 ms. Total solver calls (SAT/UNSAT): 77240(41400/35840)
Jun 01, 2017 3:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 233915 ms. Total solver calls (SAT/UNSAT): 77556(41558/35998)
Jun 01, 2017 3:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 234945 ms. Total solver calls (SAT/UNSAT): 77872(41716/36156)
Jun 01, 2017 3:12:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 236033 ms. Total solver calls (SAT/UNSAT): 78188(41874/36314)
Jun 01, 2017 3:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 237131 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 3:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 237131 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 3:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 3:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1113 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 3:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2242 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 3:12:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3362 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 3:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4493 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 3:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5658 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 01, 2017 3:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6803 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 01, 2017 3:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 7935 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 01, 2017 3:12:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9087 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 01, 2017 3:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10194 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 01, 2017 3:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11296 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 01, 2017 3:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12383 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 01, 2017 3:12:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13473 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 01, 2017 3:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14563 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 01, 2017 3:12:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 15686 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 01, 2017 3:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 16829 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 01, 2017 3:12:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 17960 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 01, 2017 3:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 19176 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 01, 2017 3:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 20270 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 01, 2017 3:12:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 21399 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 01, 2017 3:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 22495 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 01, 2017 3:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 23580 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 01, 2017 3:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 24608 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 01, 2017 3:12:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 25707 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 01, 2017 3:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 26856 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 01, 2017 3:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 27976 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 01, 2017 3:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 29152 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 01, 2017 3:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 30323 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 01, 2017 3:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 31448 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 01, 2017 3:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 32587 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 01, 2017 3:13:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 33649 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 01, 2017 3:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 34703 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 01, 2017 3:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 35769 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 01, 2017 3:13:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 36849 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 01, 2017 3:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 37916 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 01, 2017 3:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 38997 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 01, 2017 3:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 40123 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 01, 2017 3:13:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 41308 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 01, 2017 3:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 42421 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 01, 2017 3:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 43576 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 01, 2017 3:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 44713 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 01, 2017 3:13:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 45785 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 01, 2017 3:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 46884 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 01, 2017 3:13:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 47992 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 01, 2017 3:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 49100 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 01, 2017 3:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 50221 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 01, 2017 3:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 51332 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 3:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 52446 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 01, 2017 3:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 53563 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 3:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 54684 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 3:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 55789 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 01, 2017 3:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 56918 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 3:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 58033 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 01, 2017 3:13:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 59165 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 3:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 60283 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 01, 2017 3:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 61388 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 3:13:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 62467 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 01, 2017 3:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 63572 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 3:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 64679 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 01, 2017 3:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 65755 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 01, 2017 3:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 66861 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 01, 2017 3:13:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 67967 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 01, 2017 3:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 69071 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 01, 2017 3:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 70101 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 01, 2017 3:13:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 71226 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 01, 2017 3:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 72337 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 01, 2017 3:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 73405 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 01, 2017 3:13:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 74474 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 01, 2017 3:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 75532 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 01, 2017 3:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 76606 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 01, 2017 3:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 77736 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 01, 2017 3:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 78822 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 01, 2017 3:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 79889 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 01, 2017 3:13:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 80955 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 01, 2017 3:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 82020 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 01, 2017 3:13:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 83162 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 01, 2017 3:13:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/592 took 84193 ms. Total solver calls (SAT/UNSAT): 33211(15256/17955)
Jun 01, 2017 3:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 85214 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 01, 2017 3:13:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 86251 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 01, 2017 3:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/592 took 87308 ms. Total solver calls (SAT/UNSAT): 34686(15756/18930)
Jun 01, 2017 3:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/592 took 88338 ms. Total solver calls (SAT/UNSAT): 35118(15996/19122)
Jun 01, 2017 3:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 89691 ms. Total solver calls (SAT/UNSAT): 35691(16264/19427)
Jun 01, 2017 3:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 90960 ms. Total solver calls (SAT/UNSAT): 36210(16546/19664)
Jun 01, 2017 3:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 92253 ms. Total solver calls (SAT/UNSAT): 36729(16828/19901)
Jun 01, 2017 3:14:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 93562 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 01, 2017 3:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 94654 ms. Total solver calls (SAT/UNSAT): 37680(17350/20330)
Jun 01, 2017 3:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 95920 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 01, 2017 3:14:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 97159 ms. Total solver calls (SAT/UNSAT): 38731(17906/20825)
Jun 01, 2017 3:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 98406 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 01, 2017 3:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 99699 ms. Total solver calls (SAT/UNSAT): 39769(18470/21299)
Jun 01, 2017 3:14:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 100947 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 01, 2017 3:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 102208 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 01, 2017 3:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 103517 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 01, 2017 3:14:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 104792 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 01, 2017 3:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 106082 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 01, 2017 3:14:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 107392 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 01, 2017 3:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 108663 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 01, 2017 3:14:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 109958 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 01, 2017 3:14:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 111156 ms. Total solver calls (SAT/UNSAT): 44395(21008/23387)
Jun 01, 2017 3:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 112435 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 01, 2017 3:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 113738 ms. Total solver calls (SAT/UNSAT): 45388(21572/23816)
Jun 01, 2017 3:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 115021 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 01, 2017 3:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 116243 ms. Total solver calls (SAT/UNSAT): 46351(22136/24215)
Jun 01, 2017 3:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 117524 ms. Total solver calls (SAT/UNSAT): 46870(22418/24452)
Jun 01, 2017 3:14:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 118819 ms. Total solver calls (SAT/UNSAT): 47389(22700/24689)
Jun 01, 2017 3:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 120121 ms. Total solver calls (SAT/UNSAT): 47908(22982/24926)
Jun 01, 2017 3:14:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 121431 ms. Total solver calls (SAT/UNSAT): 48427(23264/25163)
Jun 01, 2017 3:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 122675 ms. Total solver calls (SAT/UNSAT): 48946(23546/25400)
Jun 01, 2017 3:14:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 123977 ms. Total solver calls (SAT/UNSAT): 49420(23828/25592)
Jun 01, 2017 3:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 125285 ms. Total solver calls (SAT/UNSAT): 49894(24110/25784)
Jun 01, 2017 3:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 126521 ms. Total solver calls (SAT/UNSAT): 50368(24392/25976)
Jun 01, 2017 3:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 127769 ms. Total solver calls (SAT/UNSAT): 50842(24674/26168)
Jun 01, 2017 3:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 128980 ms. Total solver calls (SAT/UNSAT): 51316(24956/26360)
Jun 01, 2017 3:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 130168 ms. Total solver calls (SAT/UNSAT): 51790(25238/26552)
Jun 01, 2017 3:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 131375 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 01, 2017 3:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 132571 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 01, 2017 3:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 133842 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 01, 2017 3:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 135107 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 01, 2017 3:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 136357 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 01, 2017 3:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 137652 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 01, 2017 3:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 138973 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 01, 2017 3:14:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 140320 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 01, 2017 3:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 141607 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 01, 2017 3:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 142891 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 01, 2017 3:14:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 144183 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 01, 2017 3:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 145529 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 01, 2017 3:15:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 146729 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 01, 2017 3:15:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 147917 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 01, 2017 3:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 149195 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 01, 2017 3:15:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 150445 ms. Total solver calls (SAT/UNSAT): 59569(29750/29819)
Jun 01, 2017 3:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 151731 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 01, 2017 3:15:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 152966 ms. Total solver calls (SAT/UNSAT): 60607(30314/30293)
Jun 01, 2017 3:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 154259 ms. Total solver calls (SAT/UNSAT): 61126(30596/30530)
Jun 01, 2017 3:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 155562 ms. Total solver calls (SAT/UNSAT): 61645(30878/30767)
Jun 01, 2017 3:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 156813 ms. Total solver calls (SAT/UNSAT): 62164(31160/31004)
Jun 01, 2017 3:15:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 158060 ms. Total solver calls (SAT/UNSAT): 62683(31442/31241)
Jun 01, 2017 3:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 159296 ms. Total solver calls (SAT/UNSAT): 63202(31724/31478)
Jun 01, 2017 3:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 160575 ms. Total solver calls (SAT/UNSAT): 63721(32006/31715)
Jun 01, 2017 3:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 161842 ms. Total solver calls (SAT/UNSAT): 64240(32288/31952)
Jun 01, 2017 3:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 163089 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 01, 2017 3:15:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 164329 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 01, 2017 3:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 165568 ms. Total solver calls (SAT/UNSAT): 65797(33134/32663)
Jun 01, 2017 3:15:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 166843 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 01, 2017 3:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 168088 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 01, 2017 3:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 169345 ms. Total solver calls (SAT/UNSAT): 67354(33980/33374)
Jun 01, 2017 3:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 170668 ms. Total solver calls (SAT/UNSAT): 67843(34262/33581)
Jun 01, 2017 3:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 171999 ms. Total solver calls (SAT/UNSAT): 68317(34544/33773)
Jun 01, 2017 3:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 173360 ms. Total solver calls (SAT/UNSAT): 68791(34826/33965)
Jun 01, 2017 3:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 174642 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 01, 2017 3:15:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 175892 ms. Total solver calls (SAT/UNSAT): 69784(35390/34394)
Jun 01, 2017 3:15:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 177164 ms. Total solver calls (SAT/UNSAT): 70288(35672/34616)
Jun 01, 2017 3:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 178481 ms. Total solver calls (SAT/UNSAT): 70762(35954/34808)
Jun 01, 2017 3:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 179765 ms. Total solver calls (SAT/UNSAT): 71236(36236/35000)
Jun 01, 2017 3:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 181078 ms. Total solver calls (SAT/UNSAT): 71710(36518/35192)
Jun 01, 2017 3:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 182341 ms. Total solver calls (SAT/UNSAT): 72184(36800/35384)
Jun 01, 2017 3:15:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 183672 ms. Total solver calls (SAT/UNSAT): 72658(37082/35576)
Jun 01, 2017 3:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 184949 ms. Total solver calls (SAT/UNSAT): 73132(37364/35768)
Jun 01, 2017 3:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 186276 ms. Total solver calls (SAT/UNSAT): 73606(37646/35960)
Jun 01, 2017 3:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 187575 ms. Total solver calls (SAT/UNSAT): 74080(37928/36152)
Jun 01, 2017 3:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 188820 ms. Total solver calls (SAT/UNSAT): 74554(38210/36344)
Jun 01, 2017 3:15:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 190173 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 01, 2017 3:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 191509 ms. Total solver calls (SAT/UNSAT): 75502(38774/36728)
Jun 01, 2017 3:15:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 192898 ms. Total solver calls (SAT/UNSAT): 75976(39056/36920)
Jun 01, 2017 3:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 194200 ms. Total solver calls (SAT/UNSAT): 76450(39338/37112)
Jun 01, 2017 3:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 195569 ms. Total solver calls (SAT/UNSAT): 76924(39620/37304)
Jun 01, 2017 3:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 196929 ms. Total solver calls (SAT/UNSAT): 77398(39902/37496)
Jun 01, 2017 3:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 198291 ms. Total solver calls (SAT/UNSAT): 77872(40184/37688)
Jun 01, 2017 3:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 199652 ms. Total solver calls (SAT/UNSAT): 78346(40466/37880)
Jun 01, 2017 3:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 200080 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 3:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 3:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1004 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 3:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 2986 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 01, 2017 3:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 3992 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 01, 2017 3:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 5000 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 01, 2017 3:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 6964 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 01, 2017 3:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 8952 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 01, 2017 3:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 9960 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 01, 2017 3:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 10966 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 01, 2017 3:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 12966 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 01, 2017 3:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 14938 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 01, 2017 3:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 15949 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 01, 2017 3:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 16982 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 01, 2017 3:16:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 18012 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 01, 2017 3:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 19974 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 01, 2017 3:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 21975 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 01, 2017 3:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 22987 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 01, 2017 3:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 23997 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 01, 2017 3:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 25006 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 01, 2017 3:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 26998 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 01, 2017 3:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 28965 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 01, 2017 3:16:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 30904 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 01, 2017 3:16:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 32803 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 01, 2017 3:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 34676 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 01, 2017 3:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 36505 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 01, 2017 3:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 38291 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 01, 2017 3:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 39426 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 01, 2017 3:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 41246 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 01, 2017 3:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 43147 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 01, 2017 3:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 44962 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 01, 2017 3:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 46795 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 01, 2017 3:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 48640 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 01, 2017 3:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 50448 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 01, 2017 3:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 52219 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 01, 2017 3:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 54009 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 01, 2017 3:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 55785 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 01, 2017 3:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 57569 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 01, 2017 3:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 59250 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 01, 2017 3:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 61067 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 01, 2017 3:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 62763 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 01, 2017 3:16:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 64515 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 01, 2017 3:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 66179 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 01, 2017 3:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 67914 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 01, 2017 3:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 69688 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 01, 2017 3:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 71435 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 01, 2017 3:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 73159 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 01, 2017 3:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 74939 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 01, 2017 3:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 76649 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 01, 2017 3:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 78352 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 01, 2017 3:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 80026 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 01, 2017 3:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 81699 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 01, 2017 3:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 83435 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 01, 2017 3:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 85040 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 01, 2017 3:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 86751 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 01, 2017 3:17:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 88343 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 01, 2017 3:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 90094 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 01, 2017 3:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 91704 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 01, 2017 3:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 93355 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 01, 2017 3:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 94945 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 01, 2017 3:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 96579 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 01, 2017 3:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 98206 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 01, 2017 3:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 99897 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 01, 2017 3:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 101552 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 01, 2017 3:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 103285 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 01, 2017 3:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 104972 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 01, 2017 3:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 106607 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 01, 2017 3:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 108244 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 01, 2017 3:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 109761 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 01, 2017 3:17:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 111403 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 01, 2017 3:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 113107 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 01, 2017 3:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 114798 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 01, 2017 3:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 116482 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 01, 2017 3:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 118203 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 01, 2017 3:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 119885 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 01, 2017 3:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 121563 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 01, 2017 3:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 123265 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 01, 2017 3:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 124997 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 01, 2017 3:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 126636 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 01, 2017 3:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 128287 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 01, 2017 3:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 129916 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 01, 2017 3:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 131540 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 01, 2017 3:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 133165 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 01, 2017 3:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 134771 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 01, 2017 3:18:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 136346 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 01, 2017 3:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 137896 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 01, 2017 3:18:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 139401 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 01, 2017 3:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 140916 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 01, 2017 3:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 142488 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 01, 2017 3:18:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 143996 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 01, 2017 3:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 145548 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 01, 2017 3:18:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 147257 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 01, 2017 3:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/592) took 148383 ms. Total solver calls (SAT/UNSAT): 85852(85852/0)
Jun 01, 2017 3:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 149488 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 01, 2017 3:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/592) took 150597 ms. Total solver calls (SAT/UNSAT): 86697(86697/0)
Jun 01, 2017 3:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 151696 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 01, 2017 3:18:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/592) took 152789 ms. Total solver calls (SAT/UNSAT): 87538(87538/0)
Jun 01, 2017 3:18:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 153889 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 01, 2017 3:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 154988 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 01, 2017 3:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 156089 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 01, 2017 3:18:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/592) took 157176 ms. Total solver calls (SAT/UNSAT): 89208(89208/0)
Jun 01, 2017 3:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 158247 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 01, 2017 3:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/592) took 159329 ms. Total solver calls (SAT/UNSAT): 90037(90037/0)
Jun 01, 2017 3:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 160406 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 01, 2017 3:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/592) took 161439 ms. Total solver calls (SAT/UNSAT): 90862(90862/0)
Jun 01, 2017 3:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/592) took 162884 ms. Total solver calls (SAT/UNSAT): 91683(91683/0)
Jun 01, 2017 3:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/592) took 164317 ms. Total solver calls (SAT/UNSAT): 92500(92500/0)
Jun 01, 2017 3:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/592) took 165765 ms. Total solver calls (SAT/UNSAT): 93313(93313/0)
Jun 01, 2017 3:18:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/592) took 167122 ms. Total solver calls (SAT/UNSAT): 94122(94122/0)
Jun 01, 2017 3:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/592) took 168502 ms. Total solver calls (SAT/UNSAT): 94927(94927/0)
Jun 01, 2017 3:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/592) took 169812 ms. Total solver calls (SAT/UNSAT): 95728(95728/0)
Jun 01, 2017 3:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/592) took 171129 ms. Total solver calls (SAT/UNSAT): 96525(96525/0)
Jun 01, 2017 3:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/592) took 172455 ms. Total solver calls (SAT/UNSAT): 97318(97318/0)
Jun 01, 2017 3:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/592) took 173797 ms. Total solver calls (SAT/UNSAT): 98107(98107/0)
Jun 01, 2017 3:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/592) took 175095 ms. Total solver calls (SAT/UNSAT): 98892(98892/0)
Jun 01, 2017 3:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/592) took 176391 ms. Total solver calls (SAT/UNSAT): 99673(99673/0)
Jun 01, 2017 3:18:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/592) took 177655 ms. Total solver calls (SAT/UNSAT): 100450(100450/0)
Jun 01, 2017 3:18:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/592) took 178955 ms. Total solver calls (SAT/UNSAT): 101223(101223/0)
Jun 01, 2017 3:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/592) took 180218 ms. Total solver calls (SAT/UNSAT): 101992(101992/0)
Jun 01, 2017 3:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/592) took 181466 ms. Total solver calls (SAT/UNSAT): 102757(102757/0)
Jun 01, 2017 3:18:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/592) took 182738 ms. Total solver calls (SAT/UNSAT): 103518(103518/0)
Jun 01, 2017 3:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/592) took 183995 ms. Total solver calls (SAT/UNSAT): 104275(104275/0)
Jun 01, 2017 3:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/592) took 185246 ms. Total solver calls (SAT/UNSAT): 105028(105028/0)
Jun 01, 2017 3:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/592) took 186493 ms. Total solver calls (SAT/UNSAT): 105777(105777/0)
Jun 01, 2017 3:19:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/592) took 187735 ms. Total solver calls (SAT/UNSAT): 106522(106522/0)
Jun 01, 2017 3:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/592) took 189017 ms. Total solver calls (SAT/UNSAT): 107263(107263/0)
Jun 01, 2017 3:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/592) took 190301 ms. Total solver calls (SAT/UNSAT): 108000(108000/0)
Jun 01, 2017 3:19:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/592) took 191581 ms. Total solver calls (SAT/UNSAT): 108733(108733/0)
Jun 01, 2017 3:19:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/592) took 192792 ms. Total solver calls (SAT/UNSAT): 109462(109462/0)
Jun 01, 2017 3:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/592) took 193990 ms. Total solver calls (SAT/UNSAT): 110187(110187/0)
Jun 01, 2017 3:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/592) took 195188 ms. Total solver calls (SAT/UNSAT): 110908(110908/0)
Jun 01, 2017 3:19:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/592) took 196377 ms. Total solver calls (SAT/UNSAT): 111625(111625/0)
Jun 01, 2017 3:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/592) took 197566 ms. Total solver calls (SAT/UNSAT): 112338(112338/0)
Jun 01, 2017 3:19:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/592) took 198725 ms. Total solver calls (SAT/UNSAT): 113047(113047/0)
Jun 01, 2017 3:19:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/592) took 199875 ms. Total solver calls (SAT/UNSAT): 113752(113752/0)
Jun 01, 2017 3:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/592) took 201040 ms. Total solver calls (SAT/UNSAT): 114453(114453/0)
Jun 01, 2017 3:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(244/592) took 202180 ms. Total solver calls (SAT/UNSAT): 115150(115150/0)
Jun 01, 2017 3:19:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/592) took 203305 ms. Total solver calls (SAT/UNSAT): 115843(115843/0)
Jun 01, 2017 3:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/592) took 204406 ms. Total solver calls (SAT/UNSAT): 116532(116532/0)
Jun 01, 2017 3:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/592) took 205515 ms. Total solver calls (SAT/UNSAT): 117217(117217/0)
Jun 01, 2017 3:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/592) took 206948 ms. Total solver calls (SAT/UNSAT): 118237(118237/0)
Jun 01, 2017 3:19:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/592) took 208349 ms. Total solver calls (SAT/UNSAT): 119248(119248/0)
Jun 01, 2017 3:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/592) took 209786 ms. Total solver calls (SAT/UNSAT): 120250(120250/0)
Jun 01, 2017 3:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/592) took 211213 ms. Total solver calls (SAT/UNSAT): 121243(121243/0)
Jun 01, 2017 3:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 212686 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 01, 2017 3:19:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 214171 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 01, 2017 3:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/592) took 215640 ms. Total solver calls (SAT/UNSAT): 124168(124168/0)
Jun 01, 2017 3:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 217113 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 01, 2017 3:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 218124 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 01, 2017 3:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 219594 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 01, 2017 3:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/592) took 220624 ms. Total solver calls (SAT/UNSAT): 127323(127323/0)
Jun 01, 2017 3:19:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/592) took 222091 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Jun 01, 2017 3:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/592) took 223518 ms. Total solver calls (SAT/UNSAT): 129168(129168/0)
Jun 01, 2017 3:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/592) took 224923 ms. Total solver calls (SAT/UNSAT): 130077(130077/0)
Jun 01, 2017 3:19:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/592) took 226300 ms. Total solver calls (SAT/UNSAT): 130977(130977/0)
Jun 01, 2017 3:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(296/592) took 227607 ms. Total solver calls (SAT/UNSAT): 131868(131868/0)
Jun 01, 2017 3:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/592) took 228903 ms. Total solver calls (SAT/UNSAT): 132750(132750/0)
Jun 01, 2017 3:19:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/592) took 230165 ms. Total solver calls (SAT/UNSAT): 133623(133623/0)
Jun 01, 2017 3:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(305/592) took 231420 ms. Total solver calls (SAT/UNSAT): 134487(134487/0)
Jun 01, 2017 3:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/592) took 232649 ms. Total solver calls (SAT/UNSAT): 135342(135342/0)
Jun 01, 2017 3:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/592) took 233848 ms. Total solver calls (SAT/UNSAT): 136188(136188/0)
Jun 01, 2017 3:19:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/592) took 234940 ms. Total solver calls (SAT/UNSAT): 137025(137025/0)
Jun 01, 2017 3:19:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/592) took 236151 ms. Total solver calls (SAT/UNSAT): 137853(137853/0)
Jun 01, 2017 3:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/592) took 237348 ms. Total solver calls (SAT/UNSAT): 138672(138672/0)
Jun 01, 2017 3:19:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/592) took 238557 ms. Total solver calls (SAT/UNSAT): 139482(139482/0)
Jun 01, 2017 3:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/592) took 239812 ms. Total solver calls (SAT/UNSAT): 140283(140283/0)
Jun 01, 2017 3:19:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(329/592) took 241034 ms. Total solver calls (SAT/UNSAT): 141075(141075/0)
Jun 01, 2017 3:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(332/592) took 242304 ms. Total solver calls (SAT/UNSAT): 141858(141858/0)
Jun 01, 2017 3:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(334/592) took 243387 ms. Total solver calls (SAT/UNSAT): 142375(142375/0)
Jun 01, 2017 3:19:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/592) took 244685 ms. Total solver calls (SAT/UNSAT): 142888(142888/0)
Jun 01, 2017 3:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(338/592) took 245975 ms. Total solver calls (SAT/UNSAT): 143397(143397/0)
Jun 01, 2017 3:20:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(340/592) took 247098 ms. Total solver calls (SAT/UNSAT): 143902(143902/0)
Jun 01, 2017 3:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/592) took 248225 ms. Total solver calls (SAT/UNSAT): 144403(144403/0)
Jun 01, 2017 3:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/592) took 249395 ms. Total solver calls (SAT/UNSAT): 144900(144900/0)
Jun 01, 2017 3:20:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(346/592) took 250595 ms. Total solver calls (SAT/UNSAT): 145393(145393/0)
Jun 01, 2017 3:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(349/592) took 251800 ms. Total solver calls (SAT/UNSAT): 146125(146125/0)
Jun 01, 2017 3:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(352/592) took 252975 ms. Total solver calls (SAT/UNSAT): 146848(146848/0)
Jun 01, 2017 3:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/592) took 254084 ms. Total solver calls (SAT/UNSAT): 147562(147562/0)
Jun 01, 2017 3:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(358/592) took 255218 ms. Total solver calls (SAT/UNSAT): 148267(148267/0)
Jun 01, 2017 3:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(361/592) took 256297 ms. Total solver calls (SAT/UNSAT): 148963(148963/0)
Jun 01, 2017 3:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(364/592) took 257377 ms. Total solver calls (SAT/UNSAT): 149650(149650/0)
Jun 01, 2017 3:20:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(367/592) took 258431 ms. Total solver calls (SAT/UNSAT): 150328(150328/0)
Jun 01, 2017 3:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/592) took 259488 ms. Total solver calls (SAT/UNSAT): 150997(150997/0)
Jun 01, 2017 3:20:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(373/592) took 260545 ms. Total solver calls (SAT/UNSAT): 151657(151657/0)
Jun 01, 2017 3:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(376/592) took 261590 ms. Total solver calls (SAT/UNSAT): 152308(152308/0)
Jun 01, 2017 3:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/592) took 262622 ms. Total solver calls (SAT/UNSAT): 152950(152950/0)
Jun 01, 2017 3:20:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/592) took 263795 ms. Total solver calls (SAT/UNSAT): 153583(153583/0)
Jun 01, 2017 3:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(385/592) took 264813 ms. Total solver calls (SAT/UNSAT): 154207(154207/0)
Jun 01, 2017 3:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(388/592) took 265967 ms. Total solver calls (SAT/UNSAT): 154822(154822/0)
Jun 01, 2017 3:20:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(391/592) took 267160 ms. Total solver calls (SAT/UNSAT): 155428(155428/0)
Jun 01, 2017 3:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(394/592) took 268285 ms. Total solver calls (SAT/UNSAT): 156025(156025/0)
Jun 01, 2017 3:20:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(397/592) took 269355 ms. Total solver calls (SAT/UNSAT): 156613(156613/0)
Jun 01, 2017 3:20:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/592) took 270399 ms. Total solver calls (SAT/UNSAT): 157192(157192/0)
Jun 01, 2017 3:20:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(404/592) took 271725 ms. Total solver calls (SAT/UNSAT): 157950(157950/0)
Jun 01, 2017 3:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(408/592) took 273027 ms. Total solver calls (SAT/UNSAT): 158692(158692/0)
Jun 01, 2017 3:20:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/592) took 274378 ms. Total solver calls (SAT/UNSAT): 159418(159418/0)
Jun 01, 2017 3:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/592) took 275408 ms. Total solver calls (SAT/UNSAT): 159952(159952/0)
Jun 01, 2017 3:20:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(418/592) took 276416 ms. Total solver calls (SAT/UNSAT): 160477(160477/0)
Jun 01, 2017 3:20:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(421/592) took 277420 ms. Total solver calls (SAT/UNSAT): 160993(160993/0)
Jun 01, 2017 3:20:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/592) took 278661 ms. Total solver calls (SAT/UNSAT): 161667(161667/0)
Jun 01, 2017 3:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/592) took 279919 ms. Total solver calls (SAT/UNSAT): 162325(162325/0)
Jun 01, 2017 3:20:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/592) took 281120 ms. Total solver calls (SAT/UNSAT): 162967(162967/0)
Jun 01, 2017 3:20:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/592) took 282184 ms. Total solver calls (SAT/UNSAT): 163438(163438/0)
Jun 01, 2017 3:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(439/592) took 283407 ms. Total solver calls (SAT/UNSAT): 163900(163900/0)
Jun 01, 2017 3:20:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(442/592) took 284579 ms. Total solver calls (SAT/UNSAT): 164353(164353/0)
Jun 01, 2017 3:20:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 285716 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 01, 2017 3:20:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(448/592) took 286821 ms. Total solver calls (SAT/UNSAT): 165232(165232/0)
Jun 01, 2017 3:20:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(451/592) took 287843 ms. Total solver calls (SAT/UNSAT): 165658(165658/0)
Jun 01, 2017 3:20:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/592) took 289154 ms. Total solver calls (SAT/UNSAT): 166212(166212/0)
Jun 01, 2017 3:20:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(459/592) took 290334 ms. Total solver calls (SAT/UNSAT): 166750(166750/0)
Jun 01, 2017 3:20:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(463/592) took 291547 ms. Total solver calls (SAT/UNSAT): 167272(167272/0)
Jun 01, 2017 3:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(467/592) took 292846 ms. Total solver calls (SAT/UNSAT): 167778(167778/0)
Jun 01, 2017 3:20:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(471/592) took 294053 ms. Total solver calls (SAT/UNSAT): 168268(168268/0)
Jun 01, 2017 3:20:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(475/592) took 295224 ms. Total solver calls (SAT/UNSAT): 168742(168742/0)
Jun 01, 2017 3:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(479/592) took 296318 ms. Total solver calls (SAT/UNSAT): 169200(169200/0)
Jun 01, 2017 3:20:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(483/592) took 297395 ms. Total solver calls (SAT/UNSAT): 169642(169642/0)
Jun 01, 2017 3:20:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(487/592) took 298399 ms. Total solver calls (SAT/UNSAT): 170068(170068/0)
Jun 01, 2017 3:20:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(492/592) took 299552 ms. Total solver calls (SAT/UNSAT): 170578(170578/0)
Jun 01, 2017 3:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(498/592) took 300573 ms. Total solver calls (SAT/UNSAT): 171157(171157/0)
Jun 01, 2017 3:20:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/592) took 301706 ms. Total solver calls (SAT/UNSAT): 171787(171787/0)
Jun 01, 2017 3:20:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(512/592) took 302744 ms. Total solver calls (SAT/UNSAT): 172368(172368/0)
Jun 01, 2017 3:20:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(520/592) took 303805 ms. Total solver calls (SAT/UNSAT): 172972(172972/0)
Jun 01, 2017 3:20:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(528/592) took 304884 ms. Total solver calls (SAT/UNSAT): 173512(173512/0)
Jun 01, 2017 3:20:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(537/592) took 305897 ms. Total solver calls (SAT/UNSAT): 174043(174043/0)
Jun 01, 2017 3:21:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(547/592) took 306913 ms. Total solver calls (SAT/UNSAT): 174538(174538/0)
Jun 01, 2017 3:21:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(560/592) took 307964 ms. Total solver calls (SAT/UNSAT): 175032(175032/0)
Jun 01, 2017 3:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(583/592) took 308978 ms. Total solver calls (SAT/UNSAT): 175492(175492/0)
Jun 01, 2017 3:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 309078 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 3:21:02 PM 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="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/PermAdmissibility-PT-20.tgz
mv 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 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 r040-blw7-149440486700438"
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 ;