Execution Chart

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

Trace from the execution

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

--------------------
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-10-LTLCardinality-0
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-1
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-10
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-11
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-12
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-13
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-14
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-15
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-2
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-3
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-4
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-5
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-6
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-7
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-8
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-9

=== Now, execution of the tool begins

BK_START 1496463379624


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/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((("c8[0]<=c18[0]")U("(((((((aux6[0]+aux6[1])+aux6[2])+aux6[3])+aux6[4])+aux6[5])+aux6[6])+aux6[7])<=(((((((aux7[0]+aux7[1])+aux7[2])+aux7[3])+aux7[4])+aux7[5])+aux7[6])+aux7[7])")))
Formula 0 simplified : !("c8[0]<=c18[0]" U "(((((((aux6[0]+aux6[1])+aux6[2])+aux6[3])+aux6[4])+aux6[5])+aux6[6])+aux6[7])<=(((((((aux7[0]+aux7[1])+aux7[2])+aux7[3])+aux7[4])+aux7[5])+aux7[6])+aux7[7])")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1024 rows 208 cols
invariant : -1'c16[0] + -2'c15[0] + -2'c14[0] + -2'c13[0] + 1'aux9[0] + 1'aux9[1] + 1'aux9[2] + 1'aux9[3] + 1'aux9[4] + 1'aux9[5] + 1'aux9[6] + 1'aux9[7] + 1'aux10[0] + 1'aux10[1] + 1'aux10[2] + 1'aux10[3] + 1'aux10[4] + 1'aux10[5] + 1'aux10[6] + 1'aux10[7] + -1'aux11[0] + -1'aux11[1] + -1'aux11[2] + -1'aux11[3] + -1'aux11[4] + -1'aux11[5] + -1'aux11[6] + -1'aux11[7] + -4'c8[0] + -2'aux8[0] + -2'aux8[1] + -2'aux8[2] + -2'aux8[3] + -2'aux8[4] + -2'aux8[5] + -2'aux8[6] + -2'aux8[7] + 2'aux7[0] + 2'aux7[1] + 2'aux7[2] + 2'aux7[3] + 2'aux7[4] + 2'aux7[5] + 2'aux7[6] + 2'aux7[7]= 0
invariant : -4'c16[0] + 4'c15[0] + 3'c14[0] + 2'c13[0] + 1'aux11[0] + 1'aux11[1] + 1'aux11[2] + 1'aux11[3] + 1'aux11[4] + 1'aux11[5] + 1'aux11[6] + 1'aux11[7] + 4'in1[0] + 4'in1[1] + 4'in1[2] + 4'in1[3] + 4'in1[4] + 4'in1[5] + 4'in1[6] + 4'in1[7] + -4'c5[0] + 4'c7[0] + 4'c8[0] + 2'aux8[0] + 2'aux8[1] + 2'aux8[2] + 2'aux8[3] + 2'aux8[4] + 2'aux8[5] + 2'aux8[6] + 2'aux8[7] + 4'aux15[0] + 4'aux15[1] + 4'aux15[2] + 4'aux15[3] + 4'aux15[4] + 4'aux15[5] + 4'aux15[6] + 4'aux15[7] + -4'c17[0] + 4'out3[0] + 4'out3[1] + 4'out3[2] + 4'out3[3] + 4'out3[4] + 4'out3[5] + 4'out3[6] + 4'out3[7]= 40
invariant : -1'c16[0] + -2'c15[0] + -2'c14[0] + -2'c13[0] + 1'aux12[0] + 1'aux12[1] + 1'aux12[2] + 1'aux12[3] + 1'aux12[4] + 1'aux12[5] + 1'aux12[6] + 1'aux12[7]= 0
invariant : 1'c14[0] + 2'c13[0] + -1'aux11[0] + -1'aux11[1] + -1'aux11[2] + -1'aux11[3] + -1'aux11[4] + -1'aux11[5] + -1'aux11[6] + -1'aux11[7] + 2'c12[0]= 0
invariant : 1'c16[0] + 2'c15[0] + 1'c14[0] + -1'aux10[0] + -1'aux10[1] + -1'aux10[2] + -1'aux10[3] + -1'aux10[4] + -1'aux10[5] + -1'aux10[6] + -1'aux10[7] + 1'aux11[0] + 1'aux11[1] + 1'aux11[2] + 1'aux11[3] + 1'aux11[4] + 1'aux11[5] + 1'aux11[6] + 1'aux11[7] + 2'c11[0]= 0
invariant : 12'c16[0] + 4'c15[0] + 3'c14[0] + 2'c13[0] + 1'aux11[0] + 1'aux11[1] + 1'aux11[2] + 1'aux11[3] + 1'aux11[4] + 1'aux11[5] + 1'aux11[6] + 1'aux11[7] + 4'in1[0] + 4'in1[1] + 4'in1[2] + 4'in1[3] + 4'in1[4] + 4'in1[5] + 4'in1[6] + 4'in1[7] + -4'c5[0] + 4'c7[0] + 4'c8[0] + 2'aux8[0] + 2'aux8[1] + 2'aux8[2] + 2'aux8[3] + 2'aux8[4] + 2'aux8[5] + 2'aux8[6] + 2'aux8[7] + 4'aux16[0] + 4'aux16[1] + 4'aux16[2] + 4'aux16[3] + 4'aux16[4] + 4'aux16[5] + 4'aux16[6] + 4'aux16[7] + -4'aux15[0] + -4'aux15[1] + -4'aux15[2] + -4'aux15[3] + -4'aux15[4] + -4'aux15[5] + -4'aux15[6] + -4'aux15[7] + 4'c17[0] + -4'c19[0] + 4'out7[0] + 4'out7[1] + 4'out7[2] + 4'out7[3] + 4'out7[4] + 4'out7[5] + 4'out7[6] + 4'out7[7]= 40
invariant : -1'c14[0] + -2'c13[0] + 2'aux9[0] + 2'aux9[1] + 2'aux9[2] + 2'aux9[3] + 2'aux9[4] + 2'aux9[5] + 2'aux9[6] + 2'aux9[7] + -1'aux11[0] + -1'aux11[1] + -1'aux11[2] + -1'aux11[3] + -1'aux11[4] + -1'aux11[5] + -1'aux11[6] + -1'aux11[7] + -2'aux8[0] + -2'aux8[1] + -2'aux8[2] + -2'aux8[3] + -2'aux8[4] + -2'aux8[5] + -2'aux8[6] + -2'aux8[7] + 4'c9[0]= 0
invariant : 4'c16[0] + 4'c15[0] + 3'c14[0] + 2'c13[0] + 1'aux11[0] + 1'aux11[1] + 1'aux11[2] + 1'aux11[3] + 1'aux11[4] + 1'aux11[5] + 1'aux11[6] + 1'aux11[7] + 4'in1[0] + 4'in1[1] + 4'in1[2] + 4'in1[3] + 4'in1[4] + 4'in1[5] + 4'in1[6] + 4'in1[7] + -4'c5[0] + 4'c7[0] + 4'c8[0] + 2'aux8[0] + 2'aux8[1] + 2'aux8[2] + 2'aux8[3] + 2'aux8[4] + 2'aux8[5] + 2'aux8[6] + 2'aux8[7] + 4'c17[0] + 4'out1[0] + 4'out1[1] + 4'out1[2] + 4'out1[3] + 4'out1[4] + 4'out1[5] + 4'out1[6] + 4'out1[7]= 40
invariant : -2'c16[0] + -2'c15[0] + -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'aux14[0] + 1'aux14[1] + 1'aux14[2] + 1'aux14[3] + 1'aux14[4] + 1'aux14[5] + 1'aux14[6] + 1'aux14[7]= 0
invariant : -4'c16[0] + -1'aux16[0] + -1'aux16[1] + -1'aux16[2] + -1'aux16[3] + -1'aux16[4] + -1'aux16[5] + -1'aux16[6] + -1'aux16[7] + 2'aux15[0] + 2'aux15[1] + 2'aux15[2] + 2'aux15[3] + 2'aux15[4] + 2'aux15[5] + 2'aux15[6] + 2'aux15[7] + -2'c17[0] + 2'c19[0] + 1'c20[0]= 0
invariant : 2'c16[0] + -1'aux15[0] + -1'aux15[1] + -1'aux15[2] + -1'aux15[3] + -1'aux15[4] + -1'aux15[5] + -1'aux15[6] + -1'aux15[7] + 2'c17[0] + 1'c18[0]= 0
invariant : -4'c16[0] + 4'c15[0] + 3'c14[0] + 2'c13[0] + 1'aux11[0] + 1'aux11[1] + 1'aux11[2] + 1'aux11[3] + 1'aux11[4] + 1'aux11[5] + 1'aux11[6] + 1'aux11[7] + 4'in1[0] + 4'in1[1] + 4'in1[2] + 4'in1[3] + 4'in1[4] + 4'in1[5] + 4'in1[6] + 4'in1[7] + -4'c5[0] + 4'c7[0] + 4'c8[0] + 2'aux8[0] + 2'aux8[1] + 2'aux8[2] + 2'aux8[3] + 2'aux8[4] + 2'aux8[5] + 2'aux8[6] + 2'aux8[7] + 4'aux15[0] + 4'aux15[1] + 4'aux15[2] + 4'aux15[3] + 4'aux15[4] + 4'aux15[5] + 4'aux15[6] + 4'aux15[7] + -4'c17[0] + 4'c19[0] + 4'out5[0] + 4'out5[1] + 4'out5[2] + 4'out5[3] + 4'out5[4] + 4'out5[5] + 4'out5[6] + 4'out5[7]= 40
invariant : -2'in1[0] + -2'in1[1] + -2'in1[2] + -2'in1[3] + -2'in1[4] + -2'in1[5] + -2'in1[6] + -2'in1[7] + 2'c5[0] + -2'c7[0] + -1'c8[0] + 1'in4[0] + 1'in4[1] + 1'in4[2] + 1'in4[3] + 1'in4[4] + 1'in4[5] + 1'in4[6] + 1'in4[7]= 0
invariant : -1'c16[0] + -2'c15[0] + -2'c14[0] + -2'c13[0] + 1'aux9[0] + 1'aux9[1] + 1'aux9[2] + 1'aux9[3] + 1'aux9[4] + 1'aux9[5] + 1'aux9[6] + 1'aux9[7] + 1'aux10[0] + 1'aux10[1] + 1'aux10[2] + 1'aux10[3] + 1'aux10[4] + 1'aux10[5] + 1'aux10[6] + 1'aux10[7] + -1'aux11[0] + -1'aux11[1] + -1'aux11[2] + -1'aux11[3] + -1'aux11[4] + -1'aux11[5] + -1'aux11[6] + -1'aux11[7] + -4'in1[0] + -4'in1[1] + -4'in1[2] + -4'in1[3] + -4'in1[4] + -4'in1[5] + -4'in1[6] + -4'in1[7] + 8'c5[0] + -4'c7[0] + -4'c8[0] + -2'aux8[0] + -2'aux8[1] + -2'aux8[2] + -2'aux8[3] + -2'aux8[4] + -2'aux8[5] + -2'aux8[6] + -2'aux8[7] + 2'aux5[0] + 2'aux5[1] + 2'aux5[2] + 2'aux5[3] + 2'aux5[4] + 2'aux5[5] + 2'aux5[6] + 2'aux5[7]= 0
invariant : -2'c7[0] + -2'c8[0] + -1'aux8[0] + -1'aux8[1] + -1'aux8[2] + -1'aux8[3] + -1'aux8[4] + -1'aux8[5] + -1'aux8[6] + -1'aux8[7] + 1'aux6[0] + 1'aux6[1] + 1'aux6[2] + 1'aux6[3] + 1'aux6[4] + 1'aux6[5] + 1'aux6[6] + 1'aux6[7]= 0
invariant : 1'aux9[5] + 1'aux10[5] + 1'aux11[5] + 1'aux12[5] + 1'in1[5] + 1'in2[5] + 1'in3[5] + 1'in4[5] + 1'aux8[5] + 1'aux7[5] + 1'aux6[5] + 1'aux5[5] + 1'aux16[5] + 1'aux15[5] + 1'aux14[5] + 1'aux13[5] + 1'out1[5] + 1'out2[5] + 1'out3[5] + 1'out4[5] + 1'out5[5] + 1'out6[5] + 1'out7[5] + 1'out8[5]= 10
invariant : 1'aux9[1] + 1'aux10[1] + 1'aux11[1] + 1'aux12[1] + 1'in1[1] + 1'in2[1] + 1'in3[1] + 1'in4[1] + 1'aux8[1] + 1'aux7[1] + 1'aux6[1] + 1'aux5[1] + 1'aux16[1] + 1'aux15[1] + 1'aux14[1] + 1'aux13[1] + 1'out1[1] + 1'out2[1] + 1'out3[1] + 1'out4[1] + 1'out5[1] + 1'out6[1] + 1'out7[1] + 1'out8[1]= 10
invariant : 1'aux9[0] + 1'aux10[0] + 1'aux11[0] + 1'aux12[0] + 1'in1[0] + 1'in2[0] + 1'in3[0] + 1'in4[0] + 1'aux8[0] + 1'aux7[0] + 1'aux6[0] + 1'aux5[0] + 1'aux16[0] + 1'aux15[0] + 1'aux14[0] + 1'aux13[0] + 1'out1[0] + 1'out2[0] + 1'out3[0] + 1'out4[0] + 1'out5[0] + 1'out6[0] + 1'out7[0] + 1'out8[0]= 10
invariant : 12'c16[0] + 4'c15[0] + 3'c14[0] + 2'c13[0] + -4'aux9[0] + -4'aux9[1] + -4'aux9[2] + -4'aux9[3] + -4'aux9[4] + -4'aux9[5] + -4'aux9[6] + -4'aux10[0] + -4'aux10[1] + -4'aux10[2] + -4'aux10[3] + -4'aux10[4] + -4'aux10[5] + -4'aux10[6] + -3'aux11[0] + -3'aux11[1] + -3'aux11[2] + -3'aux11[3] + -3'aux11[4] + -3'aux11[5] + -3'aux11[6] + 1'aux11[7] + -4'aux12[0] + -4'aux12[1] + -4'aux12[2] + -4'aux12[3] + -4'aux12[4] + -4'aux12[5] + -4'aux12[6] + 4'in1[7] + -4'c5[0] + 4'c7[0] + 4'c8[0] + -4'in2[0] + -4'in2[1] + -4'in2[2] + -4'in2[3] + -4'in2[4] + -4'in2[5] + -4'in2[6] + -4'in3[0] + -4'in3[1] + -4'in3[2] + -4'in3[3] + -4'in3[4] + -4'in3[5] + -4'in3[6] + -4'in4[0] + -4'in4[1] + -4'in4[2] + -4'in4[3] + -4'in4[4] + -4'in4[5] + -4'in4[6] + -2'aux8[0] + -2'aux8[1] + -2'aux8[2] + -2'aux8[3] + -2'aux8[4] + -2'aux8[5] + -2'aux8[6] + 2'aux8[7] + -4'aux7[0] + -4'aux7[1] + -4'aux7[2] + -4'aux7[3] + -4'aux7[4] + -4'aux7[5] + -4'aux7[6] + -4'aux6[0] + -4'aux6[1] + -4'aux6[2] + -4'aux6[3] + -4'aux6[4] + -4'aux6[5] + -4'aux6[6] + -4'aux5[0] + -4'aux5[1] + -4'aux5[2] + -4'aux5[3] + -4'aux5[4] + -4'aux5[5] + -4'aux5[6] + 4'aux16[7] + -8'aux15[0] + -8'aux15[1] + -8'aux15[2] + -8'aux15[3] + -8'aux15[4] + -8'aux15[5] + -8'aux15[6] + -4'aux15[7] + -4'aux14[0] + -4'aux14[1] + -4'aux14[2] + -4'aux14[3] + -4'aux14[4] + -4'aux14[5] + -4'aux14[6] + -4'aux13[0] + -4'aux13[1] + -4'aux13[2] + -4'aux13[3] + -4'aux13[4] + -4'aux13[5] + -4'aux13[6] + 4'c17[0] + -4'c19[0] + -4'out1[0] + -4'out1[1] + -4'out1[2] + -4'out1[3] + -4'out1[4] + -4'out1[5] + -4'out1[6] + -4'out2[0] + -4'out2[1] + -4'out2[2] + -4'out2[3] + -4'out2[4] + -4'out2[5] + -4'out2[6] + -4'out3[0] + -4'out3[1] + -4'out3[2] + -4'out3[3] + -4'out3[4] + -4'out3[5] + -4'out3[6] + -4'out4[0] + -4'out4[1] + -4'out4[2] + -4'out4[3] + -4'out4[4] + -4'out4[5] + -4'out4[6] + -4'out5[0] + -4'out5[1] + -4'out5[2] + -4'out5[3] + -4'out5[4] + -4'out5[5] + -4'out5[6] + -4'out6[0] + -4'out6[1] + -4'out6[2] + -4'out6[3] + -4'out6[4] + -4'out6[5] + -4'out6[6] + -4'out7[0] + -4'out7[1] + -4'out7[2] + -4'out7[3] + -4'out7[4] + -4'out7[5] + -4'out7[6] + 4'out8[7]= -240
invariant : -1'in1[0] + -1'in1[1] + -1'in1[2] + -1'in1[3] + -1'in1[4] + -1'in1[5] + -1'in1[6] + -1'in1[7] + 2'c5[0] + 1'c6[0]= 0
invariant : -1'in1[0] + -1'in1[1] + -1'in1[2] + -1'in1[3] + -1'in1[4] + -1'in1[5] + -1'in1[6] + -1'in1[7] + 1'in3[0] + 1'in3[1] + 1'in3[2] + 1'in3[3] + 1'in3[4] + 1'in3[5] + 1'in3[6] + 1'in3[7]= 0
invariant : 1'aux9[6] + 1'aux10[6] + 1'aux11[6] + 1'aux12[6] + 1'in1[6] + 1'in2[6] + 1'in3[6] + 1'in4[6] + 1'aux8[6] + 1'aux7[6] + 1'aux6[6] + 1'aux5[6] + 1'aux16[6] + 1'aux15[6] + 1'aux14[6] + 1'aux13[6] + 1'out1[6] + 1'out2[6] + 1'out3[6] + 1'out4[6] + 1'out5[6] + 1'out6[6] + 1'out7[6] + 1'out8[6]= 10
invariant : -2'in1[0] + -2'in1[1] + -2'in1[2] + -2'in1[3] + -2'in1[4] + -2'in1[5] + -2'in1[6] + -2'in1[7] + 2'c5[0] + -2'c7[0] + -1'c8[0] + 1'in2[0] + 1'in2[1] + 1'in2[2] + 1'in2[3] + 1'in2[4] + 1'in2[5] + 1'in2[6] + 1'in2[7]= 0
invariant : -4'c16[0] + 4'c15[0] + 3'c14[0] + 2'c13[0] + 1'aux11[0] + 1'aux11[1] + 1'aux11[2] + 1'aux11[3] + 1'aux11[4] + 1'aux11[5] + 1'aux11[6] + 1'aux11[7] + 4'in1[0] + 4'in1[1] + 4'in1[2] + 4'in1[3] + 4'in1[4] + 4'in1[5] + 4'in1[6] + 4'in1[7] + -4'c5[0] + 4'c7[0] + 4'c8[0] + 2'aux8[0] + 2'aux8[1] + 2'aux8[2] + 2'aux8[3] + 2'aux8[4] + 2'aux8[5] + 2'aux8[6] + 2'aux8[7] + 4'aux15[0] + 4'aux15[1] + 4'aux15[2] + 4'aux15[3] + 4'aux15[4] + 4'aux15[5] + 4'aux15[6] + 4'aux15[7] + -4'c17[0] + 4'out4[0] + 4'out4[1] + 4'out4[2] + 4'out4[3] + 4'out4[4] + 4'out4[5] + 4'out4[6] + 4'out4[7]= 40
invariant : -2'c15[0] + -2'c14[0] + -1'aux15[0] + -1'aux15[1] + -1'aux15[2] + -1'aux15[3] + -1'aux15[4] + -1'aux15[5] + -1'aux15[6] + -1'aux15[7] + 1'aux13[0] + 1'aux13[1] + 1'aux13[2] + 1'aux13[3] + 1'aux13[4] + 1'aux13[5] + 1'aux13[6] + 1'aux13[7]= 0
invariant : -4'c16[0] + 4'c15[0] + 3'c14[0] + 2'c13[0] + 1'aux11[0] + 1'aux11[1] + 1'aux11[2] + 1'aux11[3] + 1'aux11[4] + 1'aux11[5] + 1'aux11[6] + 1'aux11[7] + 4'in1[0] + 4'in1[1] + 4'in1[2] + 4'in1[3] + 4'in1[4] + 4'in1[5] + 4'in1[6] + 4'in1[7] + -4'c5[0] + 4'c7[0] + 4'c8[0] + 2'aux8[0] + 2'aux8[1] + 2'aux8[2] + 2'aux8[3] + 2'aux8[4] + 2'aux8[5] + 2'aux8[6] + 2'aux8[7] + 4'aux15[0] + 4'aux15[1] + 4'aux15[2] + 4'aux15[3] + 4'aux15[4] + 4'aux15[5] + 4'aux15[6] + 4'aux15[7] + -4'c17[0] + 4'c19[0] + 4'out6[0] + 4'out6[1] + 4'out6[2] + 4'out6[3] + 4'out6[4] + 4'out6[5] + 4'out6[6] + 4'out6[7]= 40
invariant : -1'c16[0] + -2'c15[0] + -1'c14[0] + -1'aux9[0] + -1'aux9[1] + -1'aux9[2] + -1'aux9[3] + -1'aux9[4] + -1'aux9[5] + -1'aux9[6] + -1'aux9[7] + 1'aux10[0] + 1'aux10[1] + 1'aux10[2] + 1'aux10[3] + 1'aux10[4] + 1'aux10[5] + 1'aux10[6] + 1'aux10[7] + 2'c110[0]= 0
invariant : 4'c16[0] + 4'c15[0] + 3'c14[0] + 2'c13[0] + 1'aux11[0] + 1'aux11[1] + 1'aux11[2] + 1'aux11[3] + 1'aux11[4] + 1'aux11[5] + 1'aux11[6] + 1'aux11[7] + 4'in1[0] + 4'in1[1] + 4'in1[2] + 4'in1[3] + 4'in1[4] + 4'in1[5] + 4'in1[6] + 4'in1[7] + -4'c5[0] + 4'c7[0] + 4'c8[0] + 2'aux8[0] + 2'aux8[1] + 2'aux8[2] + 2'aux8[3] + 2'aux8[4] + 2'aux8[5] + 2'aux8[6] + 2'aux8[7] + 4'c17[0] + 4'out2[0] + 4'out2[1] + 4'out2[2] + 4'out2[3] + 4'out2[4] + 4'out2[5] + 4'out2[6] + 4'out2[7]= 40
invariant : 1'aux9[4] + 1'aux10[4] + 1'aux11[4] + 1'aux12[4] + 1'in1[4] + 1'in2[4] + 1'in3[4] + 1'in4[4] + 1'aux8[4] + 1'aux7[4] + 1'aux6[4] + 1'aux5[4] + 1'aux16[4] + 1'aux15[4] + 1'aux14[4] + 1'aux13[4] + 1'out1[4] + 1'out2[4] + 1'out3[4] + 1'out4[4] + 1'out5[4] + 1'out6[4] + 1'out7[4] + 1'out8[4]= 10
invariant : 1'aux9[2] + 1'aux10[2] + 1'aux11[2] + 1'aux12[2] + 1'in1[2] + 1'in2[2] + 1'in3[2] + 1'in4[2] + 1'aux8[2] + 1'aux7[2] + 1'aux6[2] + 1'aux5[2] + 1'aux16[2] + 1'aux15[2] + 1'aux14[2] + 1'aux13[2] + 1'out1[2] + 1'out2[2] + 1'out3[2] + 1'out4[2] + 1'out5[2] + 1'out6[2] + 1'out7[2] + 1'out8[2]= 10
invariant : 1'aux9[3] + 1'aux10[3] + 1'aux11[3] + 1'aux12[3] + 1'in1[3] + 1'in2[3] + 1'in3[3] + 1'in4[3] + 1'aux8[3] + 1'aux7[3] + 1'aux6[3] + 1'aux5[3] + 1'aux16[3] + 1'aux15[3] + 1'aux14[3] + 1'aux13[3] + 1'out1[3] + 1'out2[3] + 1'out3[3] + 1'out4[3] + 1'out5[3] + 1'out6[3] + 1'out7[3] + 1'out8[3]= 10
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
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -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 LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 4:16:21 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 4:16:21 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 03, 2017 4:16:22 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1518 ms
Jun 03, 2017 4:16:22 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 40 places.
Jun 03, 2017 4:16:22 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 03, 2017 4:16:22 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :input->aux9,aux10,aux11,aux12,in1,in2,in3,in4,aux8,aux7,aux6,aux5,aux16,aux15,aux14,aux13,out1,out2,out3,out4,out5,out6,out7,out8,
Dot->c16,c15,c14,c13,c5,c6,c7,c8,c9,c110,c11,c12,c17,c18,c19,c20,

Jun 03, 2017 4:16:22 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 16 transitions.
Jun 03, 2017 4:16:22 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 03, 2017 4:16:22 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 228 ms
Jun 03, 2017 4:16:22 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 30 ms
Jun 03, 2017 4:16:22 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 03, 2017 4:16:24 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 31 place invariants in 135 ms
Jun 03, 2017 4:16:42 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 208 variables to be positive in 18586 ms
Jun 03, 2017 4:16:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1024 transitions.
Jun 03, 2017 4:16:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1024 took 5999 ms. Total solver calls (SAT/UNSAT): 158(79/79)
Jun 03, 2017 4:16:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1/1024 took 16210 ms. Total solver calls (SAT/UNSAT): 316(158/158)
Jun 03, 2017 4:17:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/1024 took 19713 ms. Total solver calls (SAT/UNSAT): 474(237/237)
Jun 03, 2017 4:17:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/1024 took 27585 ms. Total solver calls (SAT/UNSAT): 632(316/316)
Jun 03, 2017 4:17:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/1024 took 35190 ms. Total solver calls (SAT/UNSAT): 790(395/395)
Jun 03, 2017 4:17:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/1024 took 42587 ms. Total solver calls (SAT/UNSAT): 948(474/474)
Jun 03, 2017 4:17:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/1024 took 52262 ms. Total solver calls (SAT/UNSAT): 1106(553/553)
Jun 03, 2017 4:17:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/1024 took 58637 ms. Total solver calls (SAT/UNSAT): 1264(632/632)
Jun 03, 2017 4:17:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/1024 took 63783 ms. Total solver calls (SAT/UNSAT): 1422(711/711)
Jun 03, 2017 4:17:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/1024 took 68051 ms. Total solver calls (SAT/UNSAT): 1580(790/790)
Jun 03, 2017 4:17:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/1024 took 74336 ms. Total solver calls (SAT/UNSAT): 1738(869/869)
Jun 03, 2017 4:18:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1024 took 79366 ms. Total solver calls (SAT/UNSAT): 1896(948/948)
Jun 03, 2017 4:18:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/1024 took 84625 ms. Total solver calls (SAT/UNSAT): 2054(1027/1027)
Jun 03, 2017 4:18:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/1024 took 93301 ms. Total solver calls (SAT/UNSAT): 2212(1106/1106)
Jun 03, 2017 4:18:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/1024 took 104121 ms. Total solver calls (SAT/UNSAT): 2370(1185/1185)
Jun 03, 2017 4:18:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/1024 took 108335 ms. Total solver calls (SAT/UNSAT): 2528(1264/1264)
Jun 03, 2017 4:18:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/1024 took 112163 ms. Total solver calls (SAT/UNSAT): 2686(1343/1343)
Jun 03, 2017 4:18:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/1024 took 116898 ms. Total solver calls (SAT/UNSAT): 2844(1422/1422)
Jun 03, 2017 4:18:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/1024 took 124131 ms. Total solver calls (SAT/UNSAT): 3002(1501/1501)
Jun 03, 2017 4:18:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/1024 took 132215 ms. Total solver calls (SAT/UNSAT): 3160(1580/1580)
Jun 03, 2017 4:19:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/1024 took 137451 ms. Total solver calls (SAT/UNSAT): 3318(1659/1659)
Jun 03, 2017 4:19:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/1024 took 148300 ms. Total solver calls (SAT/UNSAT): 3476(1738/1738)
Jun 03, 2017 4:19:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/1024 took 154989 ms. Total solver calls (SAT/UNSAT): 3634(1817/1817)
Jun 03, 2017 4:19:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1024 took 159769 ms. Total solver calls (SAT/UNSAT): 3792(1896/1896)
Jun 03, 2017 4:19:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/1024 took 166325 ms. Total solver calls (SAT/UNSAT): 3950(1975/1975)
Jun 03, 2017 4:19:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/1024 took 174528 ms. Total solver calls (SAT/UNSAT): 4108(2054/2054)
Jun 03, 2017 4:19:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/1024 took 180017 ms. Total solver calls (SAT/UNSAT): 4266(2133/2133)
Jun 03, 2017 4:19:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/1024 took 188984 ms. Total solver calls (SAT/UNSAT): 4424(2212/2212)
Jun 03, 2017 4:20:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/1024 took 198850 ms. Total solver calls (SAT/UNSAT): 4582(2291/2291)
Jun 03, 2017 4:20:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/1024 took 205218 ms. Total solver calls (SAT/UNSAT): 4740(2370/2370)
Jun 03, 2017 4:20:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/1024 took 214146 ms. Total solver calls (SAT/UNSAT): 4898(2449/2449)
Jun 03, 2017 4:20:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/1024 took 218758 ms. Total solver calls (SAT/UNSAT): 5056(2528/2528)
Jun 03, 2017 4:20:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/1024 took 224658 ms. Total solver calls (SAT/UNSAT): 5214(2607/2607)
Jun 03, 2017 4:20:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/1024 took 233104 ms. Total solver calls (SAT/UNSAT): 5372(2686/2686)
Jun 03, 2017 4:20:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/1024 took 244351 ms. Total solver calls (SAT/UNSAT): 5530(2765/2765)
Jun 03, 2017 4:20:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/1024 took 251702 ms. Total solver calls (SAT/UNSAT): 5688(2844/2844)
Jun 03, 2017 4:21:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/1024 took 259831 ms. Total solver calls (SAT/UNSAT): 5846(2923/2923)
Jun 03, 2017 4:21:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/1024 took 264054 ms. Total solver calls (SAT/UNSAT): 6004(3002/3002)
Jun 03, 2017 4:21:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/1024 took 268287 ms. Total solver calls (SAT/UNSAT): 6162(3081/3081)
Jun 03, 2017 4:21:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/1024 took 273532 ms. Total solver calls (SAT/UNSAT): 6320(3160/3160)
Jun 03, 2017 4:21:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/1024 took 277759 ms. Total solver calls (SAT/UNSAT): 6478(3239/3239)
Jun 03, 2017 4:21:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/1024 took 286654 ms. Total solver calls (SAT/UNSAT): 6636(3318/3318)
Jun 03, 2017 4:21:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/1024 took 295640 ms. Total solver calls (SAT/UNSAT): 6794(3397/3397)
Jun 03, 2017 4:21:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1024 took 304112 ms. Total solver calls (SAT/UNSAT): 6952(3476/3476)
Jun 03, 2017 4:21:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/1024 took 310072 ms. Total solver calls (SAT/UNSAT): 7110(3555/3555)
Jun 03, 2017 4:22:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/1024 took 320229 ms. Total solver calls (SAT/UNSAT): 7268(3634/3634)
Jun 03, 2017 4:22:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/1024 took 325981 ms. Total solver calls (SAT/UNSAT): 7426(3713/3713)
Jun 03, 2017 4:22:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/1024 took 333437 ms. Total solver calls (SAT/UNSAT): 7584(3792/3792)
Jun 03, 2017 4:22:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/1024 took 342024 ms. Total solver calls (SAT/UNSAT): 7742(3871/3871)
Jun 03, 2017 4:22:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/1024 took 347093 ms. Total solver calls (SAT/UNSAT): 7900(3950/3950)
Jun 03, 2017 4:22:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/1024 took 352888 ms. Total solver calls (SAT/UNSAT): 8058(4029/4029)
Jun 03, 2017 4:22:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/1024 took 361177 ms. Total solver calls (SAT/UNSAT): 8216(4108/4108)
Jun 03, 2017 4:22:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/1024 took 367542 ms. Total solver calls (SAT/UNSAT): 8374(4187/4187)
Jun 03, 2017 4:22:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/1024 took 373953 ms. Total solver calls (SAT/UNSAT): 8532(4266/4266)
Jun 03, 2017 4:23:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/1024 took 379280 ms. Total solver calls (SAT/UNSAT): 8690(4345/4345)
Jun 03, 2017 4:23:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/1024 took 385233 ms. Total solver calls (SAT/UNSAT): 8848(4424/4424)
Jun 03, 2017 4:23:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/1024 took 394330 ms. Total solver calls (SAT/UNSAT): 9006(4503/4503)
Jun 03, 2017 4:23:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/1024 took 405075 ms. Total solver calls (SAT/UNSAT): 9164(4582/4582)
Jun 03, 2017 4:23:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/1024 took 409081 ms. Total solver calls (SAT/UNSAT): 9322(4661/4661)
Jun 03, 2017 4:23:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/1024 took 417299 ms. Total solver calls (SAT/UNSAT): 9480(4740/4740)
Jun 03, 2017 4:23:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/1024 took 421842 ms. Total solver calls (SAT/UNSAT): 9638(4819/4819)
Jun 03, 2017 4:23:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/1024 took 427667 ms. Total solver calls (SAT/UNSAT): 9796(4898/4898)
Jun 03, 2017 4:23:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/1024 took 436666 ms. Total solver calls (SAT/UNSAT): 9954(4977/4977)
Jun 03, 2017 4:24:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/1024 took 442058 ms. Total solver calls (SAT/UNSAT): 10112(5056/5056)
Jun 03, 2017 4:24:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/1024 took 443271 ms. Total solver calls (SAT/UNSAT): 10804(5372/5432)
Jun 03, 2017 4:24:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/1024 took 444465 ms. Total solver calls (SAT/UNSAT): 11496(5688/5808)
Jun 03, 2017 4:24:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/1024 took 445652 ms. Total solver calls (SAT/UNSAT): 12188(6004/6184)
Jun 03, 2017 4:24:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/1024 took 446841 ms. Total solver calls (SAT/UNSAT): 12880(6320/6560)
Jun 03, 2017 4:24:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/1024 took 448039 ms. Total solver calls (SAT/UNSAT): 13572(6636/6936)
Jun 03, 2017 4:24:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/1024 took 449212 ms. Total solver calls (SAT/UNSAT): 14264(6952/7312)
Jun 03, 2017 4:24:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/1024 took 450416 ms. Total solver calls (SAT/UNSAT): 14956(7268/7688)
Jun 03, 2017 4:24:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/1024 took 451593 ms. Total solver calls (SAT/UNSAT): 15648(7584/8064)
Jun 03, 2017 4:24:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/1024 took 452781 ms. Total solver calls (SAT/UNSAT): 16340(7900/8440)
Jun 03, 2017 4:24:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/1024 took 453969 ms. Total solver calls (SAT/UNSAT): 17032(8216/8816)
Jun 03, 2017 4:24:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/1024 took 455154 ms. Total solver calls (SAT/UNSAT): 17724(8532/9192)
Jun 03, 2017 4:24:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/1024 took 456337 ms. Total solver calls (SAT/UNSAT): 18416(8848/9568)
Jun 03, 2017 4:24:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/1024 took 457519 ms. Total solver calls (SAT/UNSAT): 19108(9164/9944)
Jun 03, 2017 4:24:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/1024 took 458705 ms. Total solver calls (SAT/UNSAT): 19800(9480/10320)
Jun 03, 2017 4:24:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/1024 took 459885 ms. Total solver calls (SAT/UNSAT): 20492(9796/10696)
Jun 03, 2017 4:24:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/1024 took 461070 ms. Total solver calls (SAT/UNSAT): 21184(10112/11072)
Jun 03, 2017 4:24:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/1024 took 464129 ms. Total solver calls (SAT/UNSAT): 21342(10191/11151)
Jun 03, 2017 4:24:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/1024 took 470976 ms. Total solver calls (SAT/UNSAT): 21500(10270/11230)
Jun 03, 2017 4:24:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/1024 took 473078 ms. Total solver calls (SAT/UNSAT): 21658(10349/11309)
Jun 03, 2017 4:24:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/1024 took 475553 ms. Total solver calls (SAT/UNSAT): 21816(10428/11388)
Jun 03, 2017 4:24:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/1024 took 478865 ms. Total solver calls (SAT/UNSAT): 21974(10507/11467)
Jun 03, 2017 4:24:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/1024 took 484380 ms. Total solver calls (SAT/UNSAT): 22132(10586/11546)
Jun 03, 2017 4:24:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/1024 took 489617 ms. Total solver calls (SAT/UNSAT): 22290(10665/11625)
Jun 03, 2017 4:24:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/1024 took 491783 ms. Total solver calls (SAT/UNSAT): 22448(10744/11704)
Jun 03, 2017 4:24:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/1024 took 494158 ms. Total solver calls (SAT/UNSAT): 22606(10823/11783)
Jun 03, 2017 4:25:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/1024 took 497978 ms. Total solver calls (SAT/UNSAT): 22764(10902/11862)
Jun 03, 2017 4:25:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/1024 took 500253 ms. Total solver calls (SAT/UNSAT): 22922(10981/11941)
Jun 03, 2017 4:25:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/1024 took 502312 ms. Total solver calls (SAT/UNSAT): 23080(11060/12020)
Jun 03, 2017 4:25:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/1024 took 504530 ms. Total solver calls (SAT/UNSAT): 23238(11139/12099)
Jun 03, 2017 4:25:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/1024 took 507160 ms. Total solver calls (SAT/UNSAT): 23396(11218/12178)
Jun 03, 2017 4:25:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/1024 took 510389 ms. Total solver calls (SAT/UNSAT): 23554(11297/12257)
Jun 03, 2017 4:25:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/1024 took 514224 ms. Total solver calls (SAT/UNSAT): 23712(11376/12336)
Jun 03, 2017 4:25:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/1024 took 516368 ms. Total solver calls (SAT/UNSAT): 23870(11455/12415)
Jun 03, 2017 4:25:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/1024 took 519087 ms. Total solver calls (SAT/UNSAT): 24028(11534/12494)
Jun 03, 2017 4:25:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/1024 took 521492 ms. Total solver calls (SAT/UNSAT): 24186(11613/12573)
Jun 03, 2017 4:25:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/1024 took 527647 ms. Total solver calls (SAT/UNSAT): 24344(11692/12652)
Jun 03, 2017 4:25:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1024 took 531303 ms. Total solver calls (SAT/UNSAT): 24502(11771/12731)
Jun 03, 2017 4:25:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/1024 took 533759 ms. Total solver calls (SAT/UNSAT): 24660(11850/12810)
Jun 03, 2017 4:25:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/1024 took 536982 ms. Total solver calls (SAT/UNSAT): 24818(11929/12889)
Jun 03, 2017 4:25:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/1024 took 541099 ms. Total solver calls (SAT/UNSAT): 24976(12008/12968)
Jun 03, 2017 4:25:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/1024 took 544378 ms. Total solver calls (SAT/UNSAT): 25134(12087/13047)
Jun 03, 2017 4:25:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/1024 took 547344 ms. Total solver calls (SAT/UNSAT): 25292(12166/13126)
Jun 03, 2017 4:25:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/1024 took 551247 ms. Total solver calls (SAT/UNSAT): 25450(12245/13205)
Jun 03, 2017 4:25:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/1024 took 553866 ms. Total solver calls (SAT/UNSAT): 25608(12324/13284)
Jun 03, 2017 4:25:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/1024 took 556217 ms. Total solver calls (SAT/UNSAT): 25766(12403/13363)
Jun 03, 2017 4:26:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/1024 took 558558 ms. Total solver calls (SAT/UNSAT): 25924(12482/13442)
Jun 03, 2017 4:26:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/1024 took 561223 ms. Total solver calls (SAT/UNSAT): 26082(12561/13521)
Jun 03, 2017 4:26:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/1024 took 564138 ms. Total solver calls (SAT/UNSAT): 26240(12640/13600)
Jun 03, 2017 4:26:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/1024 took 566561 ms. Total solver calls (SAT/UNSAT): 26398(12719/13679)
Jun 03, 2017 4:26:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/1024 took 570369 ms. Total solver calls (SAT/UNSAT): 26556(12798/13758)
Jun 03, 2017 4:26:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/1024 took 573965 ms. Total solver calls (SAT/UNSAT): 26714(12877/13837)
Jun 03, 2017 4:26:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/1024 took 575580 ms. Total solver calls (SAT/UNSAT): 26872(12956/13916)
Jun 03, 2017 4:26:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/1024 took 581863 ms. Total solver calls (SAT/UNSAT): 27030(13035/13995)
Jun 03, 2017 4:26:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/1024 took 585681 ms. Total solver calls (SAT/UNSAT): 27188(13114/14074)
Jun 03, 2017 4:26:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/1024 took 588500 ms. Total solver calls (SAT/UNSAT): 27346(13193/14153)
Jun 03, 2017 4:26:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/1024 took 591415 ms. Total solver calls (SAT/UNSAT): 27504(13272/14232)
Jun 03, 2017 4:26:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/1024 took 594149 ms. Total solver calls (SAT/UNSAT): 27662(13351/14311)
Jun 03, 2017 4:26:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/1024 took 597076 ms. Total solver calls (SAT/UNSAT): 27820(13430/14390)
Jun 03, 2017 4:26:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/1024 took 599714 ms. Total solver calls (SAT/UNSAT): 27978(13509/14469)
Jun 03, 2017 4:26:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/1024 took 602136 ms. Total solver calls (SAT/UNSAT): 28136(13588/14548)
Jun 03, 2017 4:26:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/1024 took 607700 ms. Total solver calls (SAT/UNSAT): 28294(13667/14627)
Jun 03, 2017 4:26:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/1024 took 613031 ms. Total solver calls (SAT/UNSAT): 28452(13746/14706)
Jun 03, 2017 4:26:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/1024 took 615157 ms. Total solver calls (SAT/UNSAT): 28610(13825/14785)
Jun 03, 2017 4:27:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/1024 took 618129 ms. Total solver calls (SAT/UNSAT): 28768(13904/14864)
Jun 03, 2017 4:27:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/1024 took 621843 ms. Total solver calls (SAT/UNSAT): 28926(13983/14943)
Jun 03, 2017 4:27:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/1024 took 624721 ms. Total solver calls (SAT/UNSAT): 29084(14062/15022)
Jun 03, 2017 4:27:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/1024 took 627441 ms. Total solver calls (SAT/UNSAT): 29242(14141/15101)
Jun 03, 2017 4:27:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/1024 took 631122 ms. Total solver calls (SAT/UNSAT): 29400(14220/15180)
Jun 03, 2017 4:27:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/1024 took 636858 ms. Total solver calls (SAT/UNSAT): 29558(14299/15259)
Jun 03, 2017 4:27:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/1024 took 640107 ms. Total solver calls (SAT/UNSAT): 29716(14378/15338)
Jun 03, 2017 4:27:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/1024 took 643187 ms. Total solver calls (SAT/UNSAT): 29874(14457/15417)
Jun 03, 2017 4:27:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/1024 took 646343 ms. Total solver calls (SAT/UNSAT): 30032(14536/15496)
Jun 03, 2017 4:27:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/1024 took 649034 ms. Total solver calls (SAT/UNSAT): 30190(14615/15575)
Jun 03, 2017 4:27:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/1024 took 652306 ms. Total solver calls (SAT/UNSAT): 30348(14694/15654)
Jun 03, 2017 4:27:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/1024 took 654734 ms. Total solver calls (SAT/UNSAT): 30506(14773/15733)
Jun 03, 2017 4:27:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/1024 took 660909 ms. Total solver calls (SAT/UNSAT): 30664(14852/15812)
Jun 03, 2017 4:27:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/1024 took 663367 ms. Total solver calls (SAT/UNSAT): 30822(14931/15891)
Jun 03, 2017 4:27:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/1024 took 665049 ms. Total solver calls (SAT/UNSAT): 30980(15010/15970)
Jun 03, 2017 4:27:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/1024 took 670910 ms. Total solver calls (SAT/UNSAT): 31138(15089/16049)
Jun 03, 2017 4:27:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/1024 took 672742 ms. Total solver calls (SAT/UNSAT): 31296(15168/16128)
Jun 03, 2017 4:27:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/1024 took 674012 ms. Total solver calls (SAT/UNSAT): 31988(15484/16504)
Jun 03, 2017 4:27:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/1024 took 675280 ms. Total solver calls (SAT/UNSAT): 32680(15800/16880)
Jun 03, 2017 4:27:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/1024 took 676535 ms. Total solver calls (SAT/UNSAT): 33372(16116/17256)
Jun 03, 2017 4:28:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/1024 took 677793 ms. Total solver calls (SAT/UNSAT): 34064(16432/17632)
Jun 03, 2017 4:28:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/1024 took 679059 ms. Total solver calls (SAT/UNSAT): 34756(16748/18008)
Jun 03, 2017 4:28:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/1024 took 680322 ms. Total solver calls (SAT/UNSAT): 35448(17064/18384)
Jun 03, 2017 4:28:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/1024 took 681586 ms. Total solver calls (SAT/UNSAT): 36140(17380/18760)
Jun 03, 2017 4:28:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/1024 took 682844 ms. Total solver calls (SAT/UNSAT): 36832(17696/19136)
Jun 03, 2017 4:28:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/1024 took 683848 ms. Total solver calls (SAT/UNSAT): 37351(17933/19418)
Jun 03, 2017 4:28:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/1024 took 696315 ms. Total solver calls (SAT/UNSAT): 37697(18091/19606)
Jun 03, 2017 4:28:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/1024 took 697637 ms. Total solver calls (SAT/UNSAT): 38389(18407/19982)
Jun 03, 2017 4:28:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/1024 took 698917 ms. Total solver calls (SAT/UNSAT): 39081(18723/20358)
Jun 03, 2017 4:28:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/1024 took 700183 ms. Total solver calls (SAT/UNSAT): 39773(19039/20734)
Jun 03, 2017 4:28:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/1024 took 701447 ms. Total solver calls (SAT/UNSAT): 40465(19355/21110)
Jun 03, 2017 4:28:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/1024 took 702722 ms. Total solver calls (SAT/UNSAT): 41157(19671/21486)
Jun 03, 2017 4:28:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/1024 took 703985 ms. Total solver calls (SAT/UNSAT): 41849(19987/21862)
Jun 03, 2017 4:28:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/1024 took 709678 ms. Total solver calls (SAT/UNSAT): 42526(20303/22223)
Jun 03, 2017 4:28:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/1024 took 712789 ms. Total solver calls (SAT/UNSAT): 42684(20382/22302)
Jun 03, 2017 4:28:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/1024 took 716984 ms. Total solver calls (SAT/UNSAT): 42842(20461/22381)
Jun 03, 2017 4:28:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/1024 took 723649 ms. Total solver calls (SAT/UNSAT): 43000(20540/22460)
Jun 03, 2017 4:28:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/1024 took 728124 ms. Total solver calls (SAT/UNSAT): 43158(20619/22539)
Jun 03, 2017 4:28:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/1024 took 734651 ms. Total solver calls (SAT/UNSAT): 43316(20698/22618)
Jun 03, 2017 4:29:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/1024 took 738015 ms. Total solver calls (SAT/UNSAT): 43474(20777/22697)
Jun 03, 2017 4:29:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/1024 took 743043 ms. Total solver calls (SAT/UNSAT): 43632(20856/22776)
Jun 03, 2017 4:29:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/1024 took 746347 ms. Total solver calls (SAT/UNSAT): 43790(20935/22855)
Jun 03, 2017 4:29:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/1024 took 751445 ms. Total solver calls (SAT/UNSAT): 43948(21014/22934)
Jun 03, 2017 4:29:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/1024 took 756669 ms. Total solver calls (SAT/UNSAT): 44106(21093/23013)
Jun 03, 2017 4:29:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/1024 took 762276 ms. Total solver calls (SAT/UNSAT): 44264(21172/23092)
Jun 03, 2017 4:29:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/1024 took 765552 ms. Total solver calls (SAT/UNSAT): 44422(21251/23171)
Jun 03, 2017 4:29:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/1024 took 768802 ms. Total solver calls (SAT/UNSAT): 44580(21330/23250)
Jun 03, 2017 4:29:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/1024 took 773018 ms. Total solver calls (SAT/UNSAT): 44738(21409/23329)
Jun 03, 2017 4:29:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/1024 took 778042 ms. Total solver calls (SAT/UNSAT): 44896(21488/23408)
Jun 03, 2017 4:29:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/1024 took 784241 ms. Total solver calls (SAT/UNSAT): 45054(21567/23487)
Jun 03, 2017 4:29:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/1024 took 788892 ms. Total solver calls (SAT/UNSAT): 45212(21646/23566)
Jun 03, 2017 4:29:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/1024 took 796358 ms. Total solver calls (SAT/UNSAT): 45370(21725/23645)
Jun 03, 2017 4:30:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/1024 took 801454 ms. Total solver calls (SAT/UNSAT): 45528(21804/23724)
Jun 03, 2017 4:30:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/1024 took 807442 ms. Total solver calls (SAT/UNSAT): 45686(21883/23803)
Jun 03, 2017 4:30:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/1024 took 811590 ms. Total solver calls (SAT/UNSAT): 45844(21962/23882)
Jun 03, 2017 4:30:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/1024 took 818861 ms. Total solver calls (SAT/UNSAT): 46002(22041/23961)
Jun 03, 2017 4:30:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/1024 took 823995 ms. Total solver calls (SAT/UNSAT): 46160(22120/24040)
Jun 03, 2017 4:30:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/1024 took 827014 ms. Total solver calls (SAT/UNSAT): 46318(22199/24119)
Jun 03, 2017 4:30:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/1024 took 831023 ms. Total solver calls (SAT/UNSAT): 46476(22278/24198)
Jun 03, 2017 4:30:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/1024 took 838809 ms. Total solver calls (SAT/UNSAT): 46634(22357/24277)
Jun 03, 2017 4:30:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/1024 took 844910 ms. Total solver calls (SAT/UNSAT): 46792(22436/24356)
Jun 03, 2017 4:30:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/1024 took 851167 ms. Total solver calls (SAT/UNSAT): 46950(22515/24435)
Jun 03, 2017 4:30:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/1024 took 854418 ms. Total solver calls (SAT/UNSAT): 47108(22594/24514)
Jun 03, 2017 4:31:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/1024 took 859289 ms. Total solver calls (SAT/UNSAT): 47266(22673/24593)
Jun 03, 2017 4:31:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/1024 took 864106 ms. Total solver calls (SAT/UNSAT): 47424(22752/24672)
Jun 03, 2017 4:31:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/1024 took 868310 ms. Total solver calls (SAT/UNSAT): 47582(22831/24751)
Jun 03, 2017 4:31:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/1024 took 873311 ms. Total solver calls (SAT/UNSAT): 47740(22910/24830)
Jun 03, 2017 4:31:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/1024 took 876007 ms. Total solver calls (SAT/UNSAT): 47898(22989/24909)
Jun 03, 2017 4:31:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/1024 took 882262 ms. Total solver calls (SAT/UNSAT): 48056(23068/24988)
Jun 03, 2017 4:31:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/1024 took 888384 ms. Total solver calls (SAT/UNSAT): 48214(23147/25067)
Jun 03, 2017 4:31:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/1024 took 892558 ms. Total solver calls (SAT/UNSAT): 48372(23226/25146)
Jun 03, 2017 4:31:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/1024 took 896434 ms. Total solver calls (SAT/UNSAT): 48530(23305/25225)
Jun 03, 2017 4:31:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/1024 took 907399 ms. Total solver calls (SAT/UNSAT): 48688(23384/25304)
Jun 03, 2017 4:31:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/1024 took 912081 ms. Total solver calls (SAT/UNSAT): 48846(23463/25383)
Jun 03, 2017 4:31:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/1024 took 916043 ms. Total solver calls (SAT/UNSAT): 49004(23542/25462)
Jun 03, 2017 4:32:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/1024 took 919983 ms. Total solver calls (SAT/UNSAT): 49162(23621/25541)
Jun 03, 2017 4:32:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/1024 took 924061 ms. Total solver calls (SAT/UNSAT): 49320(23700/25620)
Jun 03, 2017 4:32:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/1024 took 928825 ms. Total solver calls (SAT/UNSAT): 49478(23779/25699)
Jun 03, 2017 4:32:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/1024 took 935485 ms. Total solver calls (SAT/UNSAT): 49636(23858/25778)
Jun 03, 2017 4:32:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/1024 took 941319 ms. Total solver calls (SAT/UNSAT): 49794(23937/25857)
Jun 03, 2017 4:32:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/1024 took 945211 ms. Total solver calls (SAT/UNSAT): 49952(24016/25936)
Jun 03, 2017 4:32:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/1024 took 948354 ms. Total solver calls (SAT/UNSAT): 50110(24095/26015)
Jun 03, 2017 4:32:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/1024 took 953715 ms. Total solver calls (SAT/UNSAT): 50268(24174/26094)
Jun 03, 2017 4:32:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/1024 took 957541 ms. Total solver calls (SAT/UNSAT): 50426(24253/26173)
Jun 03, 2017 4:32:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/1024 took 961454 ms. Total solver calls (SAT/UNSAT): 50584(24332/26252)
Jun 03, 2017 4:32:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/1024 took 965947 ms. Total solver calls (SAT/UNSAT): 50742(24411/26331)
Jun 03, 2017 4:32:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/1024 took 969937 ms. Total solver calls (SAT/UNSAT): 50900(24490/26410)
Jun 03, 2017 4:32:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/1024 took 976074 ms. Total solver calls (SAT/UNSAT): 51058(24569/26489)
Jun 03, 2017 4:33:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/1024 took 981747 ms. Total solver calls (SAT/UNSAT): 51216(24648/26568)
Jun 03, 2017 4:33:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/1024 took 984500 ms. Total solver calls (SAT/UNSAT): 51374(24727/26647)
Jun 03, 2017 4:33:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/1024 took 991802 ms. Total solver calls (SAT/UNSAT): 51532(24806/26726)
Jun 03, 2017 4:33:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/1024 took 997544 ms. Total solver calls (SAT/UNSAT): 51690(24885/26805)
Jun 03, 2017 4:33:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/1024 took 1000975 ms. Total solver calls (SAT/UNSAT): 51848(24964/26884)
Jun 03, 2017 4:33:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/1024 took 1007491 ms. Total solver calls (SAT/UNSAT): 52006(25043/26963)
Jun 03, 2017 4:33:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/1024 took 1013018 ms. Total solver calls (SAT/UNSAT): 52164(25122/27042)
Jun 03, 2017 4:33:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/1024 took 1016533 ms. Total solver calls (SAT/UNSAT): 52322(25201/27121)
Jun 03, 2017 4:33:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/1024 took 1022213 ms. Total solver calls (SAT/UNSAT): 52480(25280/27200)
Jun 03, 2017 4:33:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/1024 took 1023533 ms. Total solver calls (SAT/UNSAT): 53172(25596/27576)
Jun 03, 2017 4:33:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/1024 took 1024847 ms. Total solver calls (SAT/UNSAT): 53864(25912/27952)
Jun 03, 2017 4:33:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/1024 took 1026145 ms. Total solver calls (SAT/UNSAT): 54556(26228/28328)
Jun 03, 2017 4:33:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/1024 took 1027442 ms. Total solver calls (SAT/UNSAT): 55248(26544/28704)
Jun 03, 2017 4:33:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/1024 took 1028741 ms. Total solver calls (SAT/UNSAT): 55940(26860/29080)
Jun 03, 2017 4:33:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/1024 took 1030040 ms. Total solver calls (SAT/UNSAT): 56632(27176/29456)
Jun 03, 2017 4:33:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/1024 took 1031343 ms. Total solver calls (SAT/UNSAT): 57324(27492/29832)
Jun 03, 2017 4:33:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/1024 took 1032633 ms. Total solver calls (SAT/UNSAT): 58016(27808/30208)
Jun 03, 2017 4:33:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/1024 took 1033933 ms. Total solver calls (SAT/UNSAT): 58708(28124/30584)
Jun 03, 2017 4:33:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/1024 took 1035220 ms. Total solver calls (SAT/UNSAT): 59400(28440/30960)
Jun 03, 2017 4:33:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/1024 took 1036509 ms. Total solver calls (SAT/UNSAT): 60092(28756/31336)
Jun 03, 2017 4:34:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/1024 took 1037817 ms. Total solver calls (SAT/UNSAT): 60784(29072/31712)
Jun 03, 2017 4:34:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/1024 took 1039111 ms. Total solver calls (SAT/UNSAT): 61476(29388/32088)
Jun 03, 2017 4:34:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/1024 took 1040402 ms. Total solver calls (SAT/UNSAT): 62168(29704/32464)
Jun 03, 2017 4:34:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/1024 took 1041696 ms. Total solver calls (SAT/UNSAT): 62860(30020/32840)
Jun 03, 2017 4:34:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/1024 took 1042982 ms. Total solver calls (SAT/UNSAT): 63552(30336/33216)
Jun 03, 2017 4:34:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/1024 took 1049600 ms. Total solver calls (SAT/UNSAT): 63710(30415/33295)
Jun 03, 2017 4:34:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/1024 took 1054779 ms. Total solver calls (SAT/UNSAT): 63868(30494/33374)
Jun 03, 2017 4:34:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/1024 took 1061255 ms. Total solver calls (SAT/UNSAT): 64026(30573/33453)
Jun 03, 2017 4:34:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/1024 took 1067887 ms. Total solver calls (SAT/UNSAT): 64184(30652/33532)
Jun 03, 2017 4:34:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/1024 took 1073555 ms. Total solver calls (SAT/UNSAT): 64342(30731/33611)
Jun 03, 2017 4:34:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/1024 took 1079688 ms. Total solver calls (SAT/UNSAT): 64500(30810/33690)
Jun 03, 2017 4:34:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/1024 took 1084797 ms. Total solver calls (SAT/UNSAT): 64658(30889/33769)
Jun 03, 2017 4:34:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/1024 took 1091663 ms. Total solver calls (SAT/UNSAT): 64816(30968/33848)
Jun 03, 2017 4:34:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/1024 took 1096540 ms. Total solver calls (SAT/UNSAT): 64974(31047/33927)
Jun 03, 2017 4:35:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/1024 took 1102458 ms. Total solver calls (SAT/UNSAT): 65132(31126/34006)
Jun 03, 2017 4:35:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/1024 took 1107258 ms. Total solver calls (SAT/UNSAT): 65290(31205/34085)
Jun 03, 2017 4:35:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/1024 took 1113871 ms. Total solver calls (SAT/UNSAT): 65448(31284/34164)
Jun 03, 2017 4:35:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/1024 took 1118987 ms. Total solver calls (SAT/UNSAT): 65606(31363/34243)
Jun 03, 2017 4:35:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/1024 took 1123663 ms. Total solver calls (SAT/UNSAT): 65764(31442/34322)
Jun 03, 2017 4:35:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/1024 took 1130613 ms. Total solver calls (SAT/UNSAT): 65922(31521/34401)
Jun 03, 2017 4:35:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/1024 took 1136028 ms. Total solver calls (SAT/UNSAT): 66080(31600/34480)
Jun 03, 2017 4:35:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/1024 took 1140473 ms. Total solver calls (SAT/UNSAT): 66238(31679/34559)
Jun 03, 2017 4:35:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/1024 took 1146869 ms. Total solver calls (SAT/UNSAT): 66396(31758/34638)
Jun 03, 2017 4:36:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/1024 took 1157246 ms. Total solver calls (SAT/UNSAT): 66554(31837/34717)
Jun 03, 2017 4:36:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/1024 took 1166661 ms. Total solver calls (SAT/UNSAT): 66712(31916/34796)
Jun 03, 2017 4:36:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/1024 took 1171097 ms. Total solver calls (SAT/UNSAT): 66870(31995/34875)
Jun 03, 2017 4:36:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/1024 took 1176530 ms. Total solver calls (SAT/UNSAT): 67028(32074/34954)
Jun 03, 2017 4:36:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/1024 took 1182596 ms. Total solver calls (SAT/UNSAT): 67186(32153/35033)
Jun 03, 2017 4:36:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/1024 took 1188778 ms. Total solver calls (SAT/UNSAT): 67344(32232/35112)
Jun 03, 2017 4:36:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/1024 took 1197679 ms. Total solver calls (SAT/UNSAT): 67502(32311/35191)
Jun 03, 2017 4:36:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/1024 took 1203951 ms. Total solver calls (SAT/UNSAT): 67660(32390/35270)
Jun 03, 2017 4:36:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/1024 took 1214220 ms. Total solver calls (SAT/UNSAT): 67818(32469/35349)
Jun 03, 2017 4:37:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/1024 took 1221457 ms. Total solver calls (SAT/UNSAT): 67976(32548/35428)
Jun 03, 2017 4:37:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/1024 took 1227261 ms. Total solver calls (SAT/UNSAT): 68134(32627/35507)
Jun 03, 2017 4:37:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/1024 took 1233127 ms. Total solver calls (SAT/UNSAT): 68292(32706/35586)
Jun 03, 2017 4:37:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/1024 took 1238355 ms. Total solver calls (SAT/UNSAT): 68450(32785/35665)
Jun 03, 2017 4:37:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/1024 took 1245705 ms. Total solver calls (SAT/UNSAT): 68608(32864/35744)
Jun 03, 2017 4:37:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/1024 took 1251474 ms. Total solver calls (SAT/UNSAT): 68766(32943/35823)
Jun 03, 2017 4:37:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/1024 took 1257728 ms. Total solver calls (SAT/UNSAT): 68924(33022/35902)
Jun 03, 2017 4:37:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/1024 took 1264588 ms. Total solver calls (SAT/UNSAT): 69082(33101/35981)
Jun 03, 2017 4:37:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/1024 took 1271132 ms. Total solver calls (SAT/UNSAT): 69240(33180/36060)
Jun 03, 2017 4:37:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/1024 took 1276831 ms. Total solver calls (SAT/UNSAT): 69398(33259/36139)
Jun 03, 2017 4:38:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/1024 took 1282117 ms. Total solver calls (SAT/UNSAT): 69556(33338/36218)
Jun 03, 2017 4:38:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/1024 took 1291611 ms. Total solver calls (SAT/UNSAT): 69714(33417/36297)
Jun 03, 2017 4:38:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/1024 took 1296337 ms. Total solver calls (SAT/UNSAT): 69872(33496/36376)
Jun 03, 2017 4:38:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/1024 took 1301905 ms. Total solver calls (SAT/UNSAT): 70030(33575/36455)
Jun 03, 2017 4:38:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/1024 took 1309038 ms. Total solver calls (SAT/UNSAT): 70188(33654/36534)
Jun 03, 2017 4:38:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/1024 took 1315640 ms. Total solver calls (SAT/UNSAT): 70346(33733/36613)
Jun 03, 2017 4:38:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/1024 took 1321349 ms. Total solver calls (SAT/UNSAT): 70504(33812/36692)
Jun 03, 2017 4:38:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/1024 took 1327137 ms. Total solver calls (SAT/UNSAT): 70662(33891/36771)
Jun 03, 2017 4:38:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/1024 took 1335039 ms. Total solver calls (SAT/UNSAT): 70820(33970/36850)
Jun 03, 2017 4:39:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/1024 took 1340644 ms. Total solver calls (SAT/UNSAT): 70978(34049/36929)
Jun 03, 2017 4:39:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/1024 took 1345643 ms. Total solver calls (SAT/UNSAT): 71136(34128/37008)
Jun 03, 2017 4:39:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/1024 took 1354361 ms. Total solver calls (SAT/UNSAT): 71294(34207/37087)
Jun 03, 2017 4:39:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/1024 took 1360584 ms. Total solver calls (SAT/UNSAT): 71452(34286/37166)
Jun 03, 2017 4:39:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/1024 took 1366609 ms. Total solver calls (SAT/UNSAT): 71610(34365/37245)
Jun 03, 2017 4:39:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/1024 took 1374629 ms. Total solver calls (SAT/UNSAT): 71768(34444/37324)
Jun 03, 2017 4:39:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/1024 took 1384268 ms. Total solver calls (SAT/UNSAT): 71926(34523/37403)
Jun 03, 2017 4:39:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/1024 took 1392555 ms. Total solver calls (SAT/UNSAT): 72084(34602/37482)
Jun 03, 2017 4:40:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/1024 took 1402026 ms. Total solver calls (SAT/UNSAT): 72242(34681/37561)
Jun 03, 2017 4:40:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/1024 took 1408297 ms. Total solver calls (SAT/UNSAT): 72400(34760/37640)
Jun 03, 2017 4:40:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/1024 took 1414349 ms. Total solver calls (SAT/UNSAT): 72558(34839/37719)
Jun 03, 2017 4:40:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/1024 took 1419982 ms. Total solver calls (SAT/UNSAT): 72716(34918/37798)
Jun 03, 2017 4:40:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/1024 took 1427311 ms. Total solver calls (SAT/UNSAT): 72874(34997/37877)
Jun 03, 2017 4:40:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/1024 took 1435033 ms. Total solver calls (SAT/UNSAT): 73032(35076/37956)
Jun 03, 2017 4:40:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/1024 took 1441448 ms. Total solver calls (SAT/UNSAT): 73190(35155/38035)
Jun 03, 2017 4:40:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/1024 took 1445633 ms. Total solver calls (SAT/UNSAT): 73348(35234/38114)
Jun 03, 2017 4:40:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/1024 took 1451013 ms. Total solver calls (SAT/UNSAT): 73506(35313/38193)
Jun 03, 2017 4:41:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/1024 took 1458083 ms. Total solver calls (SAT/UNSAT): 73664(35392/38272)
Jun 03, 2017 4:41:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/1024 took 1459405 ms. Total solver calls (SAT/UNSAT): 74356(35708/38648)
Jun 03, 2017 4:41:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/1024 took 1460720 ms. Total solver calls (SAT/UNSAT): 75048(36024/39024)
Jun 03, 2017 4:41:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/1024 took 1462009 ms. Total solver calls (SAT/UNSAT): 75740(36340/39400)
Jun 03, 2017 4:41:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/1024 took 1463304 ms. Total solver calls (SAT/UNSAT): 76432(36656/39776)
Jun 03, 2017 4:41:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/1024 took 1464599 ms. Total solver calls (SAT/UNSAT): 77124(36972/40152)
Jun 03, 2017 4:41:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/1024 took 1465899 ms. Total solver calls (SAT/UNSAT): 77816(37288/40528)
Jun 03, 2017 4:41:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/1024 took 1467213 ms. Total solver calls (SAT/UNSAT): 78508(37604/40904)
Jun 03, 2017 4:41:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/1024 took 1468509 ms. Total solver calls (SAT/UNSAT): 79200(37920/41280)
Jun 03, 2017 4:41:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/1024 took 1469807 ms. Total solver calls (SAT/UNSAT): 79892(38236/41656)
Jun 03, 2017 4:41:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/1024 took 1471100 ms. Total solver calls (SAT/UNSAT): 80584(38552/42032)
Jun 03, 2017 4:41:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/1024 took 1472394 ms. Total solver calls (SAT/UNSAT): 81276(38868/42408)
Jun 03, 2017 4:41:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/1024 took 1473691 ms. Total solver calls (SAT/UNSAT): 81968(39184/42784)
Jun 03, 2017 4:41:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/1024 took 1474989 ms. Total solver calls (SAT/UNSAT): 82660(39500/43160)
Jun 03, 2017 4:41:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/1024 took 1476311 ms. Total solver calls (SAT/UNSAT): 83352(39816/43536)
Jun 03, 2017 4:41:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/1024 took 1477606 ms. Total solver calls (SAT/UNSAT): 84044(40132/43912)
Jun 03, 2017 4:41:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/1024 took 1478901 ms. Total solver calls (SAT/UNSAT): 84736(40448/44288)
Jun 03, 2017 4:41:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/1024 took 1511747 ms. Total solver calls (SAT/UNSAT): 84864(40527/44337)
Jun 03, 2017 4:42:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/1024 took 1541943 ms. Total solver calls (SAT/UNSAT): 84992(40606/44386)
Jun 03, 2017 4:42:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/1024 took 1570805 ms. Total solver calls (SAT/UNSAT): 85120(40685/44435)
Jun 03, 2017 4:43:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/1024 took 1598884 ms. Total solver calls (SAT/UNSAT): 85248(40764/44484)
Jun 03, 2017 4:43:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/1024 took 1629361 ms. Total solver calls (SAT/UNSAT): 85376(40843/44533)
Jun 03, 2017 4:44:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/1024 took 1656950 ms. Total solver calls (SAT/UNSAT): 85504(40922/44582)
Jun 03, 2017 4:44:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/1024 took 1684839 ms. Total solver calls (SAT/UNSAT): 85632(41001/44631)
Jun 03, 2017 4:45:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/1024 took 1712378 ms. Total solver calls (SAT/UNSAT): 85760(41080/44680)
Jun 03, 2017 4:45:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/1024 took 1738872 ms. Total solver calls (SAT/UNSAT): 85888(41159/44729)
Jun 03, 2017 4:46:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/1024 took 1768783 ms. Total solver calls (SAT/UNSAT): 86016(41238/44778)
Jun 03, 2017 4:46:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/1024 took 1796977 ms. Total solver calls (SAT/UNSAT): 86144(41317/44827)
Jun 03, 2017 4:47:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/1024 took 1824741 ms. Total solver calls (SAT/UNSAT): 86272(41396/44876)
Jun 03, 2017 4:47:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/1024 took 1849315 ms. Total solver calls (SAT/UNSAT): 86400(41475/44925)
Jun 03, 2017 4:47:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/1024 took 1876423 ms. Total solver calls (SAT/UNSAT): 86528(41554/44974)
Jun 03, 2017 4:48:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/1024 took 1904555 ms. Total solver calls (SAT/UNSAT): 86656(41633/45023)
Jun 03, 2017 4:49:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/1024 took 1937926 ms. Total solver calls (SAT/UNSAT): 86784(41712/45072)
Jun 03, 2017 4:49:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/1024 took 1968751 ms. Total solver calls (SAT/UNSAT): 86912(41791/45121)
Jun 03, 2017 4:49:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/1024 took 1995801 ms. Total solver calls (SAT/UNSAT): 87040(41870/45170)
Jun 03, 2017 4:50:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/1024 took 2024784 ms. Total solver calls (SAT/UNSAT): 87168(41949/45219)
Jun 03, 2017 4:50:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/1024 took 2055132 ms. Total solver calls (SAT/UNSAT): 87296(42028/45268)
Jun 03, 2017 4:51:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/1024 took 2084284 ms. Total solver calls (SAT/UNSAT): 87424(42107/45317)
Jun 03, 2017 4:51:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/1024 took 2113749 ms. Total solver calls (SAT/UNSAT): 87552(42186/45366)
Jun 03, 2017 4:52:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/1024 took 2145380 ms. Total solver calls (SAT/UNSAT): 87680(42265/45415)
Jun 03, 2017 4:52:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/1024 took 2175497 ms. Total solver calls (SAT/UNSAT): 87808(42344/45464)
Jun 03, 2017 4:53:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/1024 took 2203992 ms. Total solver calls (SAT/UNSAT): 87936(42423/45513)
Jun 03, 2017 4:53:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/1024 took 2233417 ms. Total solver calls (SAT/UNSAT): 88064(42502/45562)
Jun 03, 2017 4:54:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/1024 took 2263058 ms. Total solver calls (SAT/UNSAT): 88192(42581/45611)
Jun 03, 2017 4:54:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/1024 took 2294203 ms. Total solver calls (SAT/UNSAT): 88320(42660/45660)
Jun 03, 2017 4:55:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/1024 took 2325465 ms. Total solver calls (SAT/UNSAT): 88448(42739/45709)
Jun 03, 2017 4:55:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/1024 took 2353223 ms. Total solver calls (SAT/UNSAT): 88576(42818/45758)
Jun 03, 2017 4:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/1024 took 2383504 ms. Total solver calls (SAT/UNSAT): 88704(42897/45807)
Jun 03, 2017 4:56:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/1024 took 2412478 ms. Total solver calls (SAT/UNSAT): 88832(42976/45856)
Jun 03, 2017 4:57:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/1024 took 2445452 ms. Total solver calls (SAT/UNSAT): 88960(43055/45905)
Jun 03, 2017 4:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/1024 took 2475444 ms. Total solver calls (SAT/UNSAT): 89088(43134/45954)
Jun 03, 2017 4:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/1024 took 2503877 ms. Total solver calls (SAT/UNSAT): 89216(43213/46003)
Jun 03, 2017 4:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/1024 took 2535054 ms. Total solver calls (SAT/UNSAT): 89344(43292/46052)
Jun 03, 2017 4:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/1024 took 2563373 ms. Total solver calls (SAT/UNSAT): 89472(43371/46101)
Jun 03, 2017 4:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/1024 took 2590893 ms. Total solver calls (SAT/UNSAT): 89600(43450/46150)
Jun 03, 2017 5:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/1024 took 2619827 ms. Total solver calls (SAT/UNSAT): 89728(43529/46199)
Jun 03, 2017 5:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/1024 took 2651280 ms. Total solver calls (SAT/UNSAT): 89856(43608/46248)
Jun 03, 2017 5:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/1024 took 2683111 ms. Total solver calls (SAT/UNSAT): 89984(43687/46297)
Jun 03, 2017 5:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/1024 took 2712859 ms. Total solver calls (SAT/UNSAT): 90112(43766/46346)
Jun 03, 2017 5:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/1024 took 2742982 ms. Total solver calls (SAT/UNSAT): 90240(43845/46395)
Jun 03, 2017 5:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/1024 took 2767917 ms. Total solver calls (SAT/UNSAT): 90368(43924/46444)
Jun 03, 2017 5:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/1024 took 2801619 ms. Total solver calls (SAT/UNSAT): 90496(44003/46493)
Jun 03, 2017 5:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/1024 took 2835654 ms. Total solver calls (SAT/UNSAT): 90624(44082/46542)
Jun 03, 2017 5:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/1024 took 2868802 ms. Total solver calls (SAT/UNSAT): 90752(44161/46591)
Jun 03, 2017 5:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/1024 took 2901258 ms. Total solver calls (SAT/UNSAT): 90880(44240/46640)
Jun 03, 2017 5:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/1024 took 2927451 ms. Total solver calls (SAT/UNSAT): 91008(44319/46689)
Jun 03, 2017 5:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/1024 took 2960969 ms. Total solver calls (SAT/UNSAT): 91136(44398/46738)
Jun 03, 2017 5:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/1024 took 2988321 ms. Total solver calls (SAT/UNSAT): 91264(44477/46787)
Jun 03, 2017 5:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/1024 took 3019515 ms. Total solver calls (SAT/UNSAT): 91392(44556/46836)
Jun 03, 2017 5:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/1024 took 3052930 ms. Total solver calls (SAT/UNSAT): 91520(44635/46885)
Jun 03, 2017 5:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/1024 took 3079013 ms. Total solver calls (SAT/UNSAT): 91648(44714/46934)
Jun 03, 2017 5:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/1024 took 3111826 ms. Total solver calls (SAT/UNSAT): 91776(44793/46983)
Jun 03, 2017 5:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/1024 took 3142279 ms. Total solver calls (SAT/UNSAT): 91904(44872/47032)
Jun 03, 2017 5:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/1024 took 3171812 ms. Total solver calls (SAT/UNSAT): 92032(44951/47081)
Jun 03, 2017 5:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/1024 took 3203063 ms. Total solver calls (SAT/UNSAT): 92160(45030/47130)
Jun 03, 2017 5:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/1024 took 3234423 ms. Total solver calls (SAT/UNSAT): 92288(45109/47179)
Jun 03, 2017 5:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/1024 took 3262605 ms. Total solver calls (SAT/UNSAT): 92416(45188/47228)
Jun 03, 2017 5:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/1024 took 3294458 ms. Total solver calls (SAT/UNSAT): 92544(45267/47277)
Jun 03, 2017 5:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/1024 took 3323168 ms. Total solver calls (SAT/UNSAT): 92672(45346/47326)
Jun 03, 2017 5:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/1024 took 3353883 ms. Total solver calls (SAT/UNSAT): 92800(45425/47375)
Jun 03, 2017 5:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/1024 took 3388765 ms. Total solver calls (SAT/UNSAT): 92928(45504/47424)
Jun 03, 2017 5:13:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/1024 took 3389879 ms. Total solver calls (SAT/UNSAT): 93500(45820/47680)
Jun 03, 2017 5:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/1024 took 3390977 ms. Total solver calls (SAT/UNSAT): 94072(46136/47936)
Jun 03, 2017 5:13:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/1024 took 3392162 ms. Total solver calls (SAT/UNSAT): 94644(46452/48192)
Jun 03, 2017 5:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/1024 took 3393243 ms. Total solver calls (SAT/UNSAT): 95216(46768/48448)
Jun 03, 2017 5:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/1024 took 3394338 ms. Total solver calls (SAT/UNSAT): 95788(47084/48704)
Jun 03, 2017 5:13:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/1024 took 3395358 ms. Total solver calls (SAT/UNSAT): 96217(47321/48896)
Jun 03, 2017 5:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/1024 took 3396510 ms. Total solver calls (SAT/UNSAT): 96789(47637/49152)
Jun 03, 2017 5:13:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/1024 took 3397730 ms. Total solver calls (SAT/UNSAT): 97361(47953/49408)
Jun 03, 2017 5:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/1024 took 3398917 ms. Total solver calls (SAT/UNSAT): 97933(48269/49664)
Jun 03, 2017 5:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/1024 took 3400007 ms. Total solver calls (SAT/UNSAT): 98505(48585/49920)
Jun 03, 2017 5:13:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/1024 took 3401109 ms. Total solver calls (SAT/UNSAT): 99077(48901/50176)
Jun 03, 2017 5:13:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/1024 took 3402191 ms. Total solver calls (SAT/UNSAT): 99649(49217/50432)
Jun 03, 2017 5:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/1024 took 3403287 ms. Total solver calls (SAT/UNSAT): 100221(49533/50688)
Jun 03, 2017 5:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/1024 took 3404375 ms. Total solver calls (SAT/UNSAT): 100793(49849/50944)
Jun 03, 2017 5:13:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/1024 took 3405468 ms. Total solver calls (SAT/UNSAT): 101365(50165/51200)
Jun 03, 2017 5:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/1024 took 3406717 ms. Total solver calls (SAT/UNSAT): 101937(50481/51456)
Jun 03, 2017 5:13:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/1024 took 3407861 ms. Total solver calls (SAT/UNSAT): 102336(50718/51618)
Jun 03, 2017 5:13:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/1024 took 3409156 ms. Total solver calls (SAT/UNSAT): 102720(50955/51765)
Jun 03, 2017 5:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/1024 took 3410487 ms. Total solver calls (SAT/UNSAT): 103104(51192/51912)
Jun 03, 2017 5:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/1024 took 3412031 ms. Total solver calls (SAT/UNSAT): 103488(51429/52059)
Jun 03, 2017 5:13:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/1024 took 3413378 ms. Total solver calls (SAT/UNSAT): 103872(51666/52206)
Jun 03, 2017 5:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/1024 took 3414673 ms. Total solver calls (SAT/UNSAT): 104256(51903/52353)
Jun 03, 2017 5:13:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/1024 took 3415967 ms. Total solver calls (SAT/UNSAT): 104640(52140/52500)
Jun 03, 2017 5:13:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/1024 took 3417258 ms. Total solver calls (SAT/UNSAT): 105024(52377/52647)
Jun 03, 2017 5:13:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/1024 took 3418631 ms. Total solver calls (SAT/UNSAT): 105408(52614/52794)
Jun 03, 2017 5:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/1024 took 3419999 ms. Total solver calls (SAT/UNSAT): 105792(52851/52941)
Jun 03, 2017 5:13:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/1024 took 3421282 ms. Total solver calls (SAT/UNSAT): 106176(53088/53088)
Jun 03, 2017 5:13:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/1024 took 3422582 ms. Total solver calls (SAT/UNSAT): 106560(53325/53235)
Jun 03, 2017 5:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/1024 took 3424006 ms. Total solver calls (SAT/UNSAT): 106944(53562/53382)
Jun 03, 2017 5:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/1024 took 3425470 ms. Total solver calls (SAT/UNSAT): 107328(53799/53529)
Jun 03, 2017 5:13:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/1024 took 3426860 ms. Total solver calls (SAT/UNSAT): 107712(54036/53676)
Jun 03, 2017 5:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1024 took 3428129 ms. Total solver calls (SAT/UNSAT): 108096(54273/53823)
Jun 03, 2017 5:13:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/1024 took 3429419 ms. Total solver calls (SAT/UNSAT): 108480(54510/53970)
Jun 03, 2017 5:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/1024 took 3430704 ms. Total solver calls (SAT/UNSAT): 108864(54747/54117)
Jun 03, 2017 5:13:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/1024 took 3431708 ms. Total solver calls (SAT/UNSAT): 109120(54905/54215)
Jun 03, 2017 5:13:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/1024 took 3433083 ms. Total solver calls (SAT/UNSAT): 109504(55142/54362)
Jun 03, 2017 5:13:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/1024 took 3434512 ms. Total solver calls (SAT/UNSAT): 109888(55379/54509)
Jun 03, 2017 5:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/1024 took 3435523 ms. Total solver calls (SAT/UNSAT): 110144(55537/54607)
Jun 03, 2017 5:13:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/1024 took 3436646 ms. Total solver calls (SAT/UNSAT): 110509(55853/54656)
Jun 03, 2017 5:14:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/1024 took 3437704 ms. Total solver calls (SAT/UNSAT): 110983(56327/54656)
Jun 03, 2017 5:14:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/1024 took 3438731 ms. Total solver calls (SAT/UNSAT): 111457(56801/54656)
Jun 03, 2017 5:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/1024 took 3439774 ms. Total solver calls (SAT/UNSAT): 111931(57275/54656)
Jun 03, 2017 5:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/1024 took 3440801 ms. Total solver calls (SAT/UNSAT): 112405(57749/54656)
Jun 03, 2017 5:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/1024 took 3441848 ms. Total solver calls (SAT/UNSAT): 112879(58223/54656)
Jun 03, 2017 5:14:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/1024 took 3442881 ms. Total solver calls (SAT/UNSAT): 113353(58697/54656)
Jun 03, 2017 5:14:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/1024 took 3443966 ms. Total solver calls (SAT/UNSAT): 113827(59171/54656)
Jun 03, 2017 5:14:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/1024 took 3445025 ms. Total solver calls (SAT/UNSAT): 114301(59645/54656)
Jun 03, 2017 5:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/1024 took 3446072 ms. Total solver calls (SAT/UNSAT): 114775(60119/54656)
Jun 03, 2017 5:14:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/1024 took 3447104 ms. Total solver calls (SAT/UNSAT): 115249(60593/54656)
Jun 03, 2017 5:14:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/1024 took 3448283 ms. Total solver calls (SAT/UNSAT): 115847(60909/54938)
Jun 03, 2017 5:14:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/1024 took 3449593 ms. Total solver calls (SAT/UNSAT): 116539(61225/55314)
Jun 03, 2017 5:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/1024 took 3450904 ms. Total solver calls (SAT/UNSAT): 117231(61541/55690)
Jun 03, 2017 5:14:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/1024 took 3452209 ms. Total solver calls (SAT/UNSAT): 117923(61857/56066)
Jun 03, 2017 5:14:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/1024 took 3453519 ms. Total solver calls (SAT/UNSAT): 118615(62173/56442)
Jun 03, 2017 5:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/1024 took 3454816 ms. Total solver calls (SAT/UNSAT): 119307(62489/56818)
Jun 03, 2017 5:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/1024 took 3456130 ms. Total solver calls (SAT/UNSAT): 119999(62805/57194)
Jun 03, 2017 5:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/1024 took 3457428 ms. Total solver calls (SAT/UNSAT): 120691(63121/57570)
Jun 03, 2017 5:14:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/1024 took 3458740 ms. Total solver calls (SAT/UNSAT): 121383(63437/57946)
Jun 03, 2017 5:14:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/1024 took 3460057 ms. Total solver calls (SAT/UNSAT): 122075(63753/58322)
Jun 03, 2017 5:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/1024 took 3461366 ms. Total solver calls (SAT/UNSAT): 122767(64069/58698)
Jun 03, 2017 5:14:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/1024 took 3462690 ms. Total solver calls (SAT/UNSAT): 123459(64385/59074)
Jun 03, 2017 5:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/1024 took 3464002 ms. Total solver calls (SAT/UNSAT): 124151(64701/59450)
Jun 03, 2017 5:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/1024 took 3465102 ms. Total solver calls (SAT/UNSAT): 124670(64938/59732)
Jun 03, 2017 5:14:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/1024 took 3466173 ms. Total solver calls (SAT/UNSAT): 125189(65175/60014)
Jun 03, 2017 5:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/1024 took 3467533 ms. Total solver calls (SAT/UNSAT): 125881(65491/60390)
Jun 03, 2017 5:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/1024 took 3468624 ms. Total solver calls (SAT/UNSAT): 126400(65728/60672)
Jun 03, 2017 5:14:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/1024 took 3473473 ms. Total solver calls (SAT/UNSAT): 126558(65807/60751)
Jun 03, 2017 5:14:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/1024 took 3478868 ms. Total solver calls (SAT/UNSAT): 126716(65886/60830)
Jun 03, 2017 5:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/1024 took 3484263 ms. Total solver calls (SAT/UNSAT): 126874(65965/60909)
Jun 03, 2017 5:14:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/1024 took 3491628 ms. Total solver calls (SAT/UNSAT): 127032(66044/60988)
Jun 03, 2017 5:15:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/1024 took 3497968 ms. Total solver calls (SAT/UNSAT): 127190(66123/61067)
Jun 03, 2017 5:15:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :837/1024 took 3506289 ms. Total solver calls (SAT/UNSAT): 127348(66202/61146)
Jun 03, 2017 5:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/1024 took 3512455 ms. Total solver calls (SAT/UNSAT): 127506(66281/61225)
Jun 03, 2017 5:15:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :839/1024 took 3521526 ms. Total solver calls (SAT/UNSAT): 127664(66360/61304)
Jun 03, 2017 5:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/1024 took 3528746 ms. Total solver calls (SAT/UNSAT): 127822(66439/61383)
Jun 03, 2017 5:15:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/1024 took 3536577 ms. Total solver calls (SAT/UNSAT): 127980(66518/61462)
Jun 03, 2017 5:15:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/1024 took 3542100 ms. Total solver calls (SAT/UNSAT): 128138(66597/61541)
Jun 03, 2017 5:15:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/1024 took 3551090 ms. Total solver calls (SAT/UNSAT): 128296(66676/61620)
Jun 03, 2017 5:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/1024 took 3559003 ms. Total solver calls (SAT/UNSAT): 128454(66755/61699)
Jun 03, 2017 5:16:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/1024 took 3569439 ms. Total solver calls (SAT/UNSAT): 128612(66834/61778)
Jun 03, 2017 5:16:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/1024 took 3575753 ms. Total solver calls (SAT/UNSAT): 128770(66913/61857)

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_PermAdmissibility-COL-10.tgz
mv S_PermAdmissibility-COL-10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PermAdmissibility-COL-10, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-blw7-149441652100374"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.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 ;