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_DotAndBoxes-COL-5, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-blw3-149441614200176
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496411344235


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 : !(((X("(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Chosed[0]+Chosed[1])+Chosed[2])+Chosed[3])+Chosed[4])+Chosed[5])+Chosed[6])+Chosed[7])+Chosed[8])+Chosed[9])+Chosed[10])+Chosed[11])+Chosed[12])+Chosed[13])+Chosed[14])+Chosed[15])+Chosed[16])+Chosed[17])+Chosed[18])+Chosed[19])+Chosed[20])+Chosed[21])+Chosed[22])+Chosed[23])+Chosed[24])+Chosed[25])+Chosed[26])+Chosed[27])+Chosed[28])+Chosed[29])+Chosed[30])+Chosed[31])+Chosed[32])+Chosed[33])+Chosed[34])+Chosed[35])+Chosed[36])+Chosed[37])+Chosed[38])+Chosed[39])+Chosed[40])+Chosed[41])+Chosed[42])+Chosed[43])+Chosed[44])+Chosed[45])+Chosed[46])+Chosed[47])+Chosed[48])+Chosed[49])+Chosed[50])+Chosed[51])+Chosed[52])+Chosed[53])+Chosed[54])+Chosed[55])+Chosed[56])+Chosed[57])+Chosed[58])+Chosed[59])+Chosed[60])+Chosed[61])+Chosed[62])+Chosed[63])+Chosed[64])+Chosed[65])+Chosed[66])+Chosed[67])+Chosed[68])+Chosed[69])+Chosed[70])+Chosed[71])+Chosed[72])+Chosed[73])+Chosed[74])+Chosed[75])+Chosed[76])+Chosed[77])+Chosed[78])+Chosed[79])+Chosed[80])+Chosed[81])+Chosed[82])+Chosed[83])+Chosed[84])+Chosed[85])+Chosed[86])+Chosed[87])+Chosed[88])+Chosed[89])+Chosed[90])+Chosed[91])+Chosed[92])+Chosed[93])+Chosed[94])+Chosed[95])+Chosed[96])+Chosed[97])+Chosed[98])+Chosed[99])>=1"))U(X(G("(((((((((((((((((((((((((((((((((((((((((((((((((OccupiedPositions[0]+OccupiedPositions[1])+OccupiedPositions[2])+OccupiedPositions[3])+OccupiedPositions[4])+OccupiedPositions[5])+OccupiedPositions[6])+OccupiedPositions[7])+OccupiedPositions[8])+OccupiedPositions[9])+OccupiedPositions[10])+OccupiedPositions[11])+OccupiedPositions[12])+OccupiedPositions[13])+OccupiedPositions[14])+OccupiedPositions[15])+OccupiedPositions[16])+OccupiedPositions[17])+OccupiedPositions[18])+OccupiedPositions[19])+OccupiedPositions[20])+OccupiedPositions[21])+OccupiedPositions[22])+OccupiedPositions[23])+OccupiedPositions[24])+OccupiedPositions[25])+OccupiedPositions[26])+OccupiedPositions[27])+OccupiedPositions[28])+OccupiedPositions[29])+OccupiedPositions[30])+OccupiedPositions[31])+OccupiedPositions[32])+OccupiedPositions[33])+OccupiedPositions[34])+OccupiedPositions[35])+OccupiedPositions[36])+OccupiedPositions[37])+OccupiedPositions[38])+OccupiedPositions[39])+OccupiedPositions[40])+OccupiedPositions[41])+OccupiedPositions[42])+OccupiedPositions[43])+OccupiedPositions[44])+OccupiedPositions[45])+OccupiedPositions[46])+OccupiedPositions[47])+OccupiedPositions[48])+OccupiedPositions[49])>=2")))))
Formula 0 simplified : !(X"(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Chosed[0]+Chosed[1])+Chosed[2])+Chosed[3])+Chosed[4])+Chosed[5])+Chosed[6])+Chosed[7])+Chosed[8])+Chosed[9])+Chosed[10])+Chosed[11])+Chosed[12])+Chosed[13])+Chosed[14])+Chosed[15])+Chosed[16])+Chosed[17])+Chosed[18])+Chosed[19])+Chosed[20])+Chosed[21])+Chosed[22])+Chosed[23])+Chosed[24])+Chosed[25])+Chosed[26])+Chosed[27])+Chosed[28])+Chosed[29])+Chosed[30])+Chosed[31])+Chosed[32])+Chosed[33])+Chosed[34])+Chosed[35])+Chosed[36])+Chosed[37])+Chosed[38])+Chosed[39])+Chosed[40])+Chosed[41])+Chosed[42])+Chosed[43])+Chosed[44])+Chosed[45])+Chosed[46])+Chosed[47])+Chosed[48])+Chosed[49])+Chosed[50])+Chosed[51])+Chosed[52])+Chosed[53])+Chosed[54])+Chosed[55])+Chosed[56])+Chosed[57])+Chosed[58])+Chosed[59])+Chosed[60])+Chosed[61])+Chosed[62])+Chosed[63])+Chosed[64])+Chosed[65])+Chosed[66])+Chosed[67])+Chosed[68])+Chosed[69])+Chosed[70])+Chosed[71])+Chosed[72])+Chosed[73])+Chosed[74])+Chosed[75])+Chosed[76])+Chosed[77])+Chosed[78])+Chosed[79])+Chosed[80])+Chosed[81])+Chosed[82])+Chosed[83])+Chosed[84])+Chosed[85])+Chosed[86])+Chosed[87])+Chosed[88])+Chosed[89])+Chosed[90])+Chosed[91])+Chosed[92])+Chosed[93])+Chosed[94])+Chosed[95])+Chosed[96])+Chosed[97])+Chosed[98])+Chosed[99])>=1" U XG"(((((((((((((((((((((((((((((((((((((((((((((((((OccupiedPositions[0]+OccupiedPositions[1])+OccupiedPositions[2])+OccupiedPositions[3])+OccupiedPositions[4])+OccupiedPositions[5])+OccupiedPositions[6])+OccupiedPositions[7])+OccupiedPositions[8])+OccupiedPositions[9])+OccupiedPositions[10])+OccupiedPositions[11])+OccupiedPositions[12])+OccupiedPositions[13])+OccupiedPositions[14])+OccupiedPositions[15])+OccupiedPositions[16])+OccupiedPositions[17])+OccupiedPositions[18])+OccupiedPositions[19])+OccupiedPositions[20])+OccupiedPositions[21])+OccupiedPositions[22])+OccupiedPositions[23])+OccupiedPositions[24])+OccupiedPositions[25])+OccupiedPositions[26])+OccupiedPositions[27])+OccupiedPositions[28])+OccupiedPositions[29])+OccupiedPositions[30])+OccupiedPositions[31])+OccupiedPositions[32])+OccupiedPositions[33])+OccupiedPositions[34])+OccupiedPositions[35])+OccupiedPositions[36])+OccupiedPositions[37])+OccupiedPositions[38])+OccupiedPositions[39])+OccupiedPositions[40])+OccupiedPositions[41])+OccupiedPositions[42])+OccupiedPositions[43])+OccupiedPositions[44])+OccupiedPositions[45])+OccupiedPositions[46])+OccupiedPositions[47])+OccupiedPositions[48])+OccupiedPositions[49])>=2")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 10472 rows 360 cols
invariant : 1'Idle[0] + 1'Idle[1] + -1'FreePositions[0] + -1'FreePositions[4] + -1'FreePositions[9] + -1'FreePositions[14] + -1'FreePositions[19] + -1'FreePositions[20] + -1'FreePositions[21] + -1'FreePositions[22] + -1'FreePositions[23] + -1'FreePositions[24] + -1'FreePositions[25] + -1'FreePositions[29] + -1'FreePositions[34] + -1'FreePositions[39] + -1'FreePositions[44] + -1'FreePositions[45] + -1'FreePositions[46] + -1'FreePositions[47] + -1'FreePositions[48] + -1'FreePositions[49] + 1'Chosed[1] + 1'Chosed[2] + 1'Chosed[3] + 1'Chosed[5] + 1'Chosed[6] + 1'Chosed[7] + 1'Chosed[8] + 1'Chosed[10] + 1'Chosed[11] + 1'Chosed[12] + 1'Chosed[13] + 1'Chosed[15] + 1'Chosed[16] + 1'Chosed[17] + 1'Chosed[18] + 1'Chosed[26] + 1'Chosed[27] + 1'Chosed[28] + 1'Chosed[30] + 1'Chosed[31] + 1'Chosed[32] + 1'Chosed[33] + 1'Chosed[35] + 1'Chosed[36] + 1'Chosed[37] + 1'Chosed[38] + 1'Chosed[40] + 1'Chosed[41] + 1'Chosed[42] + 1'Chosed[43] + 1'Chosed[51] + 1'Chosed[52] + 1'Chosed[53] + 1'Chosed[55] + 1'Chosed[56] + 1'Chosed[57] + 1'Chosed[58] + 1'Chosed[60] + 1'Chosed[61] + 1'Chosed[62] + 1'Chosed[63] + 1'Chosed[65] + 1'Chosed[66] + 1'Chosed[67] + 1'Chosed[68] + 1'Chosed[76] + 1'Chosed[77] + 1'Chosed[78] + 1'Chosed[80] + 1'Chosed[81] + 1'Chosed[82] + 1'Chosed[83] + 1'Chosed[85] + 1'Chosed[86] + 1'Chosed[87] + 1'Chosed[88] + 1'Chosed[90] + 1'Chosed[91] + 1'Chosed[92] + 1'Chosed[93] + 1'Eval1[1] + 1'Eval1[2] + 1'Eval1[3] + 1'Eval1[4] + 1'Eval1[5] + 1'Eval1[6] + 1'Eval1[7] + 1'Eval1[8] + 1'Eval1[9] + 1'Eval1[10] + 1'Eval1[11] + 1'Eval1[12] + 1'Eval1[13] + 1'Eval1[14] + 1'Eval1[15] + 1'Eval1[16] + 1'Eval1[17] + 1'Eval1[18] + 1'Eval1[19] + 1'Eval1[20] + 1'Eval1[21] + 1'Eval1[22] + 1'Eval1[23] + 1'Eval1[26] + 1'Eval1[27] + 1'Eval1[28] + 1'Eval1[29] + 1'Eval1[30] + 1'Eval1[31] + 1'Eval1[32] + 1'Eval1[33] + 1'Eval1[34] + 1'Eval1[35] + 1'Eval1[36] + 1'Eval1[37] + 1'Eval1[38] + 1'Eval1[39] + 1'Eval1[40] + 1'Eval1[41] + 1'Eval1[42] + 1'Eval1[43] + 1'Eval1[44] + 1'Eval1[45] + 1'Eval1[46] + 1'Eval1[47] + 1'Eval1[48] + 1'Eval1[51] + 1'Eval1[52] + 1'Eval1[53] + 1'Eval1[54] + 1'Eval1[55] + 1'Eval1[56] + 1'Eval1[57] + 1'Eval1[58] + 1'Eval1[59] + 1'Eval1[60] + 1'Eval1[61] + 1'Eval1[62] + 1'Eval1[63] + 1'Eval1[64] + 1'Eval1[65] + 1'Eval1[66] + 1'Eval1[67] + 1'Eval1[68] + 1'Eval1[69] + 1'Eval1[70] + 1'Eval1[71] + 1'Eval1[72] + 1'Eval1[73] + 1'Eval1[76] + 1'Eval1[77] + 1'Eval1[78] + 1'Eval1[79] + 1'Eval1[80] + 1'Eval1[81] + 1'Eval1[82] + 1'Eval1[83] + 1'Eval1[84] + 1'Eval1[85] + 1'Eval1[86] + 1'Eval1[87] + 1'Eval1[88] + 1'Eval1[89] + 1'Eval1[90] + 1'Eval1[91] + 1'Eval1[92] + 1'Eval1[93] + 1'Eval1[94] + 1'Eval1[95] + 1'Eval1[96] + 1'Eval1[97] + 1'Eval1[98] + 1'End[0] + 1'End[1]= -19
invariant : 1'FreePositions[29] + 1'Chosed[29] + 1'Chosed[79]= 1
invariant : 1'Eval1[24]= 0
invariant : 1'FreePositions[34] + 1'Chosed[34] + 1'Chosed[84]= 1
invariant : 1'FreePositions[29] + 1'OccupiedPositions[29]= 1
invariant : 1'FreePositions[44] + 1'Chosed[44] + 1'Chosed[94]= 1
invariant : 1'Eval1[74]= 0
invariant : 1'FreePositions[34] + 1'OccupiedPositions[34]= 1
invariant : 1'FreePositions[18] + 1'OccupiedPositions[18]= 1
invariant : 1'FreePositions[48] + 1'OccupiedPositions[48]= 1
invariant : 1'FreePositions[2] + 1'OccupiedPositions[2]= 1
invariant : 1'FreePositions[23] + 1'OccupiedPositions[23]= 1
invariant : 1'FreePositions[37] + 1'OccupiedPositions[37]= 1
invariant : 1'FreePositions[8] + 1'OccupiedPositions[8]= 1
invariant : 1'FreePositions[46] + 1'Chosed[46] + 1'Chosed[96]= 1
invariant : 1'FreePositions[13] + 1'OccupiedPositions[13]= 1
invariant : 1'FreePositions[41] + 1'OccupiedPositions[41]= 1
invariant : 1'FreePositions[45] + 1'Chosed[45] + 1'Chosed[95]= 1
invariant : 1'FreePositions[26] + 1'OccupiedPositions[26]= 1
invariant : 1'FreePositions[3] + 1'OccupiedPositions[3]= 1
invariant : 1'FreePositions[6] + 1'OccupiedPositions[6]= 1
invariant : 1'IsWinner[2] + 1'IsWinner[3]= 1
invariant : 1'FreePositions[36] + 1'OccupiedPositions[36]= 1
invariant : 1'FreePositions[15] + 1'OccupiedPositions[15]= 1
invariant : 1'FreePositions[22] + 1'Chosed[22] + 1'Chosed[72]= 1
invariant : 1'Eval1[49]= 0
invariant : 1'FreePositions[45] + 1'OccupiedPositions[45]= 1
invariant : 1'FreePositions[32] + 1'OccupiedPositions[32]= 1
invariant : 1'FreePositions[39] + 1'OccupiedPositions[39]= 1
invariant : 1'Eval1[99]= 0
invariant : 1'FreePositions[24] + 1'OccupiedPositions[24]= 1
invariant : 1'FreePositions[39] + 1'Chosed[39] + 1'Chosed[89]= 1
invariant : 1'FreePositions[4] + 1'OccupiedPositions[4]= 1
invariant : 1'FreePositions[25] + 1'Chosed[25] + 1'Chosed[75] + 1'Eval1[25] + 1'Eval1[75]= 1
invariant : 1'FreePositions[46] + 1'OccupiedPositions[46]= 1
invariant : 1'FreePositions[1] + 1'OccupiedPositions[1]= 1
invariant : 1'FreePositions[22] + 1'OccupiedPositions[22]= 1
invariant : 1'FreePositions[44] + 1'OccupiedPositions[44]= 1
invariant : 1'FreePositions[28] + 1'OccupiedPositions[28]= 1
invariant : 1'FreePositions[4] + 1'Chosed[4] + 1'Chosed[54]= 1
invariant : 1'FreePositions[7] + 1'OccupiedPositions[7]= 1
invariant : 1'FreePositions[19] + 1'Chosed[19] + 1'Chosed[69]= 1
invariant : 1'FreePositions[12] + 1'OccupiedPositions[12]= 1
invariant : 1'FreePositions[31] + 1'OccupiedPositions[31]= 1
invariant : 1'FreePositions[33] + 1'OccupiedPositions[33]= 1
invariant : 1'FreePositions[21] + 1'Chosed[21] + 1'Chosed[71]= 1
invariant : 1'FreePositions[5] + 1'OccupiedPositions[5]= 1
invariant : 1'FreePositions[35] + 1'OccupiedPositions[35]= 1
invariant : 1'FreePositions[9] + 1'OccupiedPositions[9]= 1
invariant : 1'FreePositions[47] + 1'Chosed[47] + 1'Chosed[97]= 1
invariant : 1'FreePositions[40] + 1'OccupiedPositions[40]= 1
invariant : 1'FreePositions[16] + 1'OccupiedPositions[16]= 1
invariant : 1'FreePositions[20] + 1'Chosed[20] + 1'Chosed[70]= 1
invariant : 1'FreePositions[38] + 1'OccupiedPositions[38]= 1
invariant : 1'FreePositions[30] + 1'OccupiedPositions[30]= 1
invariant : 1'FreePositions[23] + 1'Chosed[23] + 1'Chosed[73]= 1
invariant : 1'FreePositions[43] + 1'OccupiedPositions[43]= 1
invariant : 1'FreePositions[48] + 1'Chosed[48] + 1'Chosed[98]= 1
invariant : 1'IsWinner[0] + 1'IsWinner[1]= 1
invariant : 1'FreePositions[42] + 1'OccupiedPositions[42]= 1
invariant : 1'FreePositions[17] + 1'OccupiedPositions[17]= 1
invariant : 1'FreePositions[47] + 1'OccupiedPositions[47]= 1
invariant : 1'FreePositions[10] + 1'OccupiedPositions[10]= 1
invariant : 1'FreePositions[9] + 1'Chosed[9] + 1'Chosed[59]= 1
invariant : 1'FreePositions[49] + 1'Chosed[49] + 1'Chosed[99]= 1
invariant : 1'FreePositions[11] + 1'OccupiedPositions[11]= 1
invariant : 1'FreePositions[0] + 1'Chosed[0] + 1'Chosed[50] + 1'Eval1[0] + 1'Eval1[50]= 1
invariant : 1'FreePositions[24] + 1'Chosed[24] + 1'Chosed[74]= 1
invariant : 1'FreePositions[14] + 1'Chosed[14] + 1'Chosed[64]= 1
invariant : 1'FreePositions[20] + 1'OccupiedPositions[20]= 1
invariant : 1'FreePositions[21] + 1'OccupiedPositions[21]= 1
invariant : 1'FreePositions[19] + 1'OccupiedPositions[19]= 1
invariant : 1'FreePositions[49] + 1'OccupiedPositions[49]= 1
invariant : 1'Score[0] + 1'Score[1] + 1'Score[2] + 1'Score[3] + 1'Score[4] + 1'Score[5] + 1'Score[6] + 1'Score[7] + 1'Score[8] + 1'Score[9] + 1'Score[10] + 1'Score[11] + 1'Score[12] + 1'Score[13] + 1'Score[14] + 1'Score[15] + 1'Score[16] + 1'Score[17] + 1'Score[18] + 1'Score[19] + 1'Score[20] + 1'Score[21] + 1'Score[22] + 1'Score[23] + 1'Score[24] + 1'Score[25]= 1
invariant : 1'FreePositions[25] + 1'OccupiedPositions[25]= 1
invariant : 1'FreePositions[14] + 1'OccupiedPositions[14]= 1
invariant : 1'FreePositions[27] + 1'OccupiedPositions[27]= 1
invariant : 1'FreePositions[0] + 1'OccupiedPositions[0]= 1
invariant : 1'Score[26] + 1'Score[27] + 1'Score[28] + 1'Score[29] + 1'Score[30] + 1'Score[31] + 1'Score[32] + 1'Score[33] + 1'Score[34] + 1'Score[35] + 1'Score[36] + 1'Score[37] + 1'Score[38] + 1'Score[39] + 1'Score[40] + 1'Score[41] + 1'Score[42] + 1'Score[43] + 1'Score[44] + 1'Score[45] + 1'Score[46] + 1'Score[47] + 1'Score[48] + 1'Score[49] + 1'Score[50] + 1'Score[51]= 1
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 02, 2017 1:49:05 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 1:49:05 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 02, 2017 1:49:07 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1601 ms
Jun 02, 2017 1:49:07 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 8 places.
Jun 02, 2017 1:49:07 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 1:49:07 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Played->Chosed,Eval1,
Player->Idle,End,
Positions->FreePositions,OccupiedPositions,
PlayerCount->Score,
PlayerBool->IsWinner,

Jun 02, 2017 1:49:07 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 8 transitions.
Jun 02, 2017 1:49:07 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 1:49:08 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 1738 instantiations of transitions. Total transitions/syncs built is 848
Jun 02, 2017 1:49:08 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 4 constant array cells/variables (out of 360 variables) in type DotAndBoxes_COL_5
Jun 02, 2017 1:49:08 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Eval1[24,49,74,99],
Jun 02, 2017 1:49:08 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 20 expressions due to constant valuations.
Jun 02, 2017 1:49:08 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 763 ms
Jun 02, 2017 1:49:08 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 27 ms
Jun 02, 2017 1:49:08 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 5 ms
Jun 02, 2017 1:49:17 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 79 place invariants in 1004 ms
Jun 02, 2017 2:22:56 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 360 variables to be positive in 2019779 ms
Jun 02, 2017 2:22:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 10472 transitions.
Jun 02, 2017 2:22:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/10472 took 2043 ms. Total solver calls (SAT/UNSAT): 3426(1/3425)
Jun 02, 2017 2:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1/10472 took 4198 ms. Total solver calls (SAT/UNSAT): 6852(2/6850)
Jun 02, 2017 2:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/10472 took 6802 ms. Total solver calls (SAT/UNSAT): 11110(3/11107)
Jun 02, 2017 2:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/10472 took 9418 ms. Total solver calls (SAT/UNSAT): 15368(4/15364)
Jun 02, 2017 2:23:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/10472 took 10649 ms. Total solver calls (SAT/UNSAT): 19602(4/19598)
Jun 02, 2017 2:23:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/10472 took 11734 ms. Total solver calls (SAT/UNSAT): 23092(4/23088)
Jun 02, 2017 2:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/10472 took 12961 ms. Total solver calls (SAT/UNSAT): 27326(4/27322)
Jun 02, 2017 2:23:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/10472 took 14019 ms. Total solver calls (SAT/UNSAT): 30816(4/30812)
Jun 02, 2017 2:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/10472 took 15312 ms. Total solver calls (SAT/UNSAT): 35050(4/35046)
Jun 02, 2017 2:23:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/10472 took 16365 ms. Total solver calls (SAT/UNSAT): 38540(4/38536)
Jun 02, 2017 2:23:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/10472 took 17559 ms. Total solver calls (SAT/UNSAT): 42774(4/42770)
Jun 02, 2017 2:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/10472 took 19765 ms. Total solver calls (SAT/UNSAT): 50498(4/50494)
Jun 02, 2017 2:23:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/10472 took 20827 ms. Total solver calls (SAT/UNSAT): 53988(4/53984)
Jun 02, 2017 2:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/10472 took 22075 ms. Total solver calls (SAT/UNSAT): 58222(4/58218)
Jun 02, 2017 2:23:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/10472 took 23086 ms. Total solver calls (SAT/UNSAT): 61712(4/61708)
Jun 02, 2017 2:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/10472 took 24282 ms. Total solver calls (SAT/UNSAT): 65946(4/65942)
Jun 02, 2017 2:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/10472 took 26424 ms. Total solver calls (SAT/UNSAT): 73670(4/73666)
Jun 02, 2017 2:23:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/10472 took 28613 ms. Total solver calls (SAT/UNSAT): 81394(4/81390)
Jun 02, 2017 2:23:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/10472 took 30843 ms. Total solver calls (SAT/UNSAT): 89118(4/89114)
Jun 02, 2017 2:23:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/10472 took 31897 ms. Total solver calls (SAT/UNSAT): 92608(4/92604)
Jun 02, 2017 2:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/10472 took 33115 ms. Total solver calls (SAT/UNSAT): 96842(4/96838)
Jun 02, 2017 2:23:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/10472 took 34161 ms. Total solver calls (SAT/UNSAT): 100332(4/100328)
Jun 02, 2017 2:23:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/10472 took 35434 ms. Total solver calls (SAT/UNSAT): 104566(4/104562)
Jun 02, 2017 2:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/10472 took 36500 ms. Total solver calls (SAT/UNSAT): 108056(4/108052)
Jun 02, 2017 2:23:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/10472 took 37776 ms. Total solver calls (SAT/UNSAT): 112290(4/112286)
Jun 02, 2017 2:23:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/10472 took 38791 ms. Total solver calls (SAT/UNSAT): 115780(4/115776)
Jun 02, 2017 2:23:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/10472 took 39954 ms. Total solver calls (SAT/UNSAT): 120014(4/120010)
Jun 02, 2017 2:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/10472 took 40979 ms. Total solver calls (SAT/UNSAT): 123504(4/123500)
Jun 02, 2017 2:23:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/10472 took 42240 ms. Total solver calls (SAT/UNSAT): 127738(4/127734)
Jun 02, 2017 2:23:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/10472 took 43281 ms. Total solver calls (SAT/UNSAT): 131228(4/131224)
Jun 02, 2017 2:23:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/10472 took 44450 ms. Total solver calls (SAT/UNSAT): 135462(4/135458)
Jun 02, 2017 2:23:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/10472 took 46574 ms. Total solver calls (SAT/UNSAT): 143186(4/143182)
Jun 02, 2017 2:23:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/10472 took 48711 ms. Total solver calls (SAT/UNSAT): 150910(4/150906)
Jun 02, 2017 2:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/10472 took 50838 ms. Total solver calls (SAT/UNSAT): 158634(4/158630)
Jun 02, 2017 2:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/10472 took 52961 ms. Total solver calls (SAT/UNSAT): 166358(4/166354)
Jun 02, 2017 2:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/10472 took 55079 ms. Total solver calls (SAT/UNSAT): 174082(4/174078)
Jun 02, 2017 2:23:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/10472 took 57192 ms. Total solver calls (SAT/UNSAT): 181806(4/181802)
Jun 02, 2017 2:23:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/10472 took 59366 ms. Total solver calls (SAT/UNSAT): 189530(4/189526)
Jun 02, 2017 2:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/10472 took 61543 ms. Total solver calls (SAT/UNSAT): 197254(4/197250)
Jun 02, 2017 2:24:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/10472 took 63695 ms. Total solver calls (SAT/UNSAT): 204978(4/204974)
Jun 02, 2017 2:24:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/10472 took 65863 ms. Total solver calls (SAT/UNSAT): 212702(4/212698)
Jun 02, 2017 2:24:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/10472 took 68064 ms. Total solver calls (SAT/UNSAT): 220453(4/220449)
Jun 02, 2017 2:24:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/10472 took 69075 ms. Total solver calls (SAT/UNSAT): 223970(4/223966)
Jun 02, 2017 2:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/10472 took 70277 ms. Total solver calls (SAT/UNSAT): 228231(4/228227)
Jun 02, 2017 2:24:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/10472 took 71343 ms. Total solver calls (SAT/UNSAT): 231748(4/231744)
Jun 02, 2017 2:24:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/10472 took 72562 ms. Total solver calls (SAT/UNSAT): 236009(4/236005)
Jun 02, 2017 2:24:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/10472 took 74819 ms. Total solver calls (SAT/UNSAT): 243787(4/243783)
Jun 02, 2017 2:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/10472 took 75882 ms. Total solver calls (SAT/UNSAT): 247304(4/247300)
Jun 02, 2017 2:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/10472 took 77109 ms. Total solver calls (SAT/UNSAT): 251565(4/251561)
Jun 02, 2017 2:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/10472 took 79273 ms. Total solver calls (SAT/UNSAT): 259343(4/259339)
Jun 02, 2017 2:24:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/10472 took 80274 ms. Total solver calls (SAT/UNSAT): 262860(4/262856)
Jun 02, 2017 2:24:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/10472 took 81568 ms. Total solver calls (SAT/UNSAT): 267121(4/267117)
Jun 02, 2017 2:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/10472 took 83752 ms. Total solver calls (SAT/UNSAT): 274899(4/274895)
Jun 02, 2017 2:24:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/10472 took 84752 ms. Total solver calls (SAT/UNSAT): 278416(4/278412)
Jun 02, 2017 2:24:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/10472 took 85949 ms. Total solver calls (SAT/UNSAT): 282677(4/282673)
Jun 02, 2017 2:24:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/10472 took 86984 ms. Total solver calls (SAT/UNSAT): 286194(4/286190)
Jun 02, 2017 2:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/10472 took 88242 ms. Total solver calls (SAT/UNSAT): 290455(4/290451)
Jun 02, 2017 2:24:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/10472 took 89282 ms. Total solver calls (SAT/UNSAT): 293972(4/293968)
Jun 02, 2017 2:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/10472 took 90516 ms. Total solver calls (SAT/UNSAT): 298233(4/298229)
Jun 02, 2017 2:24:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/10472 took 91521 ms. Total solver calls (SAT/UNSAT): 301750(4/301746)
Jun 02, 2017 2:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/10472 took 92752 ms. Total solver calls (SAT/UNSAT): 306011(4/306007)
Jun 02, 2017 2:24:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/10472 took 93804 ms. Total solver calls (SAT/UNSAT): 309528(4/309524)
Jun 02, 2017 2:24:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/10472 took 95008 ms. Total solver calls (SAT/UNSAT): 313789(4/313785)
Jun 02, 2017 2:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/10472 took 96100 ms. Total solver calls (SAT/UNSAT): 317306(4/317302)
Jun 02, 2017 2:24:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/10472 took 97358 ms. Total solver calls (SAT/UNSAT): 321567(4/321563)
Jun 02, 2017 2:24:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/10472 took 98377 ms. Total solver calls (SAT/UNSAT): 325084(4/325080)
Jun 02, 2017 2:24:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/10472 took 99571 ms. Total solver calls (SAT/UNSAT): 329345(4/329341)
Jun 02, 2017 2:24:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/10472 took 100572 ms. Total solver calls (SAT/UNSAT): 332862(4/332858)
Jun 02, 2017 2:24:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/10472 took 101752 ms. Total solver calls (SAT/UNSAT): 337123(4/337119)
Jun 02, 2017 2:24:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/10472 took 103935 ms. Total solver calls (SAT/UNSAT): 344901(4/344897)
Jun 02, 2017 2:24:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/10472 took 104956 ms. Total solver calls (SAT/UNSAT): 348418(4/348414)
Jun 02, 2017 2:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/10472 took 106213 ms. Total solver calls (SAT/UNSAT): 352679(4/352675)
Jun 02, 2017 2:24:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/10472 took 108443 ms. Total solver calls (SAT/UNSAT): 360457(4/360453)
Jun 02, 2017 2:24:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/10472 took 109488 ms. Total solver calls (SAT/UNSAT): 363974(4/363970)
Jun 02, 2017 2:24:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/10472 took 110742 ms. Total solver calls (SAT/UNSAT): 368235(4/368231)
Jun 02, 2017 2:24:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/10472 took 111807 ms. Total solver calls (SAT/UNSAT): 371752(4/371748)
Jun 02, 2017 2:24:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/10472 took 113082 ms. Total solver calls (SAT/UNSAT): 376013(4/376009)
Jun 02, 2017 2:24:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/10472 took 114124 ms. Total solver calls (SAT/UNSAT): 379530(4/379526)
Jun 02, 2017 2:24:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/10472 took 115369 ms. Total solver calls (SAT/UNSAT): 383791(4/383787)
Jun 02, 2017 2:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/10472 took 116400 ms. Total solver calls (SAT/UNSAT): 387308(4/387304)
Jun 02, 2017 2:24:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/10472 took 117618 ms. Total solver calls (SAT/UNSAT): 391569(4/391565)
Jun 02, 2017 2:24:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/10472 took 119800 ms. Total solver calls (SAT/UNSAT): 399347(4/399343)
Jun 02, 2017 2:24:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/10472 took 120839 ms. Total solver calls (SAT/UNSAT): 402864(4/402860)
Jun 02, 2017 2:24:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/10472 took 122065 ms. Total solver calls (SAT/UNSAT): 407125(4/407121)
Jun 02, 2017 2:24:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/10472 took 123106 ms. Total solver calls (SAT/UNSAT): 410642(4/410638)
Jun 02, 2017 2:25:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/10472 took 124350 ms. Total solver calls (SAT/UNSAT): 414903(4/414899)
Jun 02, 2017 2:25:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/10472 took 125369 ms. Total solver calls (SAT/UNSAT): 418420(4/418416)
Jun 02, 2017 2:25:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/10472 took 126597 ms. Total solver calls (SAT/UNSAT): 422681(4/422677)
Jun 02, 2017 2:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/10472 took 127604 ms. Total solver calls (SAT/UNSAT): 426198(4/426194)
Jun 02, 2017 2:25:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/10472 took 128790 ms. Total solver calls (SAT/UNSAT): 430459(4/430455)
Jun 02, 2017 2:25:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/10472 took 129790 ms. Total solver calls (SAT/UNSAT): 433976(4/433972)
Jun 02, 2017 2:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/10472 took 130979 ms. Total solver calls (SAT/UNSAT): 438237(4/438233)
Jun 02, 2017 2:25:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/10472 took 131980 ms. Total solver calls (SAT/UNSAT): 441754(4/441750)
Jun 02, 2017 2:25:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/10472 took 133173 ms. Total solver calls (SAT/UNSAT): 446015(4/446011)
Jun 02, 2017 2:25:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/10472 took 134176 ms. Total solver calls (SAT/UNSAT): 449532(4/449528)
Jun 02, 2017 2:25:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/10472 took 135458 ms. Total solver calls (SAT/UNSAT): 453793(4/453789)
Jun 02, 2017 2:25:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/10472 took 136466 ms. Total solver calls (SAT/UNSAT): 457310(4/457306)
Jun 02, 2017 2:25:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/10472 took 137658 ms. Total solver calls (SAT/UNSAT): 461571(4/461567)
Jun 02, 2017 2:25:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/10472 took 139850 ms. Total solver calls (SAT/UNSAT): 469349(4/469345)
Jun 02, 2017 2:25:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/10472 took 140877 ms. Total solver calls (SAT/UNSAT): 472866(4/472862)
Jun 02, 2017 2:25:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/10472 took 142124 ms. Total solver calls (SAT/UNSAT): 477127(4/477123)
Jun 02, 2017 2:25:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/10472 took 143129 ms. Total solver calls (SAT/UNSAT): 480644(4/480640)
Jun 02, 2017 2:25:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/10472 took 144323 ms. Total solver calls (SAT/UNSAT): 484905(4/484901)
Jun 02, 2017 2:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/10472 took 146504 ms. Total solver calls (SAT/UNSAT): 492683(4/492679)
Jun 02, 2017 2:25:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/10472 took 148668 ms. Total solver calls (SAT/UNSAT): 500461(4/500457)
Jun 02, 2017 2:25:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/10472 took 150852 ms. Total solver calls (SAT/UNSAT): 508239(4/508235)
Jun 02, 2017 2:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/10472 took 153050 ms. Total solver calls (SAT/UNSAT): 516017(4/516013)
Jun 02, 2017 2:25:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/10472 took 154055 ms. Total solver calls (SAT/UNSAT): 519534(4/519530)
Jun 02, 2017 2:25:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/10472 took 155258 ms. Total solver calls (SAT/UNSAT): 523795(4/523791)
Jun 02, 2017 2:25:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/10472 took 156260 ms. Total solver calls (SAT/UNSAT): 527312(4/527308)
Jun 02, 2017 2:25:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/10472 took 157451 ms. Total solver calls (SAT/UNSAT): 531573(4/531569)
Jun 02, 2017 2:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/10472 took 158456 ms. Total solver calls (SAT/UNSAT): 535090(4/535086)
Jun 02, 2017 2:25:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/10472 took 159644 ms. Total solver calls (SAT/UNSAT): 539351(4/539347)
Jun 02, 2017 2:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/10472 took 160644 ms. Total solver calls (SAT/UNSAT): 542868(4/542864)
Jun 02, 2017 2:25:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/10472 took 161891 ms. Total solver calls (SAT/UNSAT): 547129(4/547125)
Jun 02, 2017 2:25:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/10472 took 162942 ms. Total solver calls (SAT/UNSAT): 550646(4/550642)
Jun 02, 2017 2:25:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/10472 took 164197 ms. Total solver calls (SAT/UNSAT): 554907(4/554903)
Jun 02, 2017 2:25:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/10472 took 165251 ms. Total solver calls (SAT/UNSAT): 558424(4/558420)
Jun 02, 2017 2:25:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/10472 took 166498 ms. Total solver calls (SAT/UNSAT): 562685(4/562681)
Jun 02, 2017 2:25:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/10472 took 167563 ms. Total solver calls (SAT/UNSAT): 566202(4/566198)
Jun 02, 2017 2:25:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/10472 took 168820 ms. Total solver calls (SAT/UNSAT): 570463(4/570459)
Jun 02, 2017 2:25:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/10472 took 169855 ms. Total solver calls (SAT/UNSAT): 573980(4/573976)
Jun 02, 2017 2:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/10472 took 171097 ms. Total solver calls (SAT/UNSAT): 578241(4/578237)
Jun 02, 2017 2:25:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/10472 took 172138 ms. Total solver calls (SAT/UNSAT): 581758(4/581754)
Jun 02, 2017 2:25:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/10472 took 173382 ms. Total solver calls (SAT/UNSAT): 586019(4/586015)
Jun 02, 2017 2:25:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/10472 took 174428 ms. Total solver calls (SAT/UNSAT): 589536(4/589532)
Jun 02, 2017 2:25:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/10472 took 175668 ms. Total solver calls (SAT/UNSAT): 593797(4/593793)
Jun 02, 2017 2:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/10472 took 176703 ms. Total solver calls (SAT/UNSAT): 597314(4/597310)
Jun 02, 2017 2:25:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/10472 took 177892 ms. Total solver calls (SAT/UNSAT): 601575(4/601571)
Jun 02, 2017 2:25:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/10472 took 180100 ms. Total solver calls (SAT/UNSAT): 609353(4/609349)
Jun 02, 2017 2:25:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/10472 took 182356 ms. Total solver calls (SAT/UNSAT): 617131(4/617127)
Jun 02, 2017 2:25:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/10472 took 183383 ms. Total solver calls (SAT/UNSAT): 620648(4/620644)
Jun 02, 2017 2:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/10472 took 184589 ms. Total solver calls (SAT/UNSAT): 624909(4/624905)
Jun 02, 2017 2:26:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/10472 took 185596 ms. Total solver calls (SAT/UNSAT): 628426(4/628422)
Jun 02, 2017 2:26:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/10472 took 186773 ms. Total solver calls (SAT/UNSAT): 632687(4/632683)
Jun 02, 2017 2:26:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/10472 took 187802 ms. Total solver calls (SAT/UNSAT): 636204(4/636200)
Jun 02, 2017 2:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/10472 took 188994 ms. Total solver calls (SAT/UNSAT): 640465(4/640461)
Jun 02, 2017 2:26:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/10472 took 191177 ms. Total solver calls (SAT/UNSAT): 648243(4/648239)
Jun 02, 2017 2:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/10472 took 192201 ms. Total solver calls (SAT/UNSAT): 651760(4/651756)
Jun 02, 2017 2:26:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/10472 took 193380 ms. Total solver calls (SAT/UNSAT): 656021(4/656017)
Jun 02, 2017 2:26:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/10472 took 195603 ms. Total solver calls (SAT/UNSAT): 663799(4/663795)
Jun 02, 2017 2:26:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/10472 took 196620 ms. Total solver calls (SAT/UNSAT): 667316(4/667312)
Jun 02, 2017 2:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/10472 took 197786 ms. Total solver calls (SAT/UNSAT): 671577(4/671573)
Jun 02, 2017 2:26:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/10472 took 198817 ms. Total solver calls (SAT/UNSAT): 675094(4/675090)
Jun 02, 2017 2:26:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/10472 took 200067 ms. Total solver calls (SAT/UNSAT): 679355(4/679351)
Jun 02, 2017 2:26:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/10472 took 201096 ms. Total solver calls (SAT/UNSAT): 682872(4/682868)
Jun 02, 2017 2:26:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/10472 took 202323 ms. Total solver calls (SAT/UNSAT): 687133(4/687129)
Jun 02, 2017 2:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/10472 took 204459 ms. Total solver calls (SAT/UNSAT): 694911(4/694907)
Jun 02, 2017 2:26:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/10472 took 206581 ms. Total solver calls (SAT/UNSAT): 702689(4/702685)
Jun 02, 2017 2:26:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/10472 took 208736 ms. Total solver calls (SAT/UNSAT): 710467(4/710463)
Jun 02, 2017 2:26:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/10472 took 210910 ms. Total solver calls (SAT/UNSAT): 718245(4/718241)
Jun 02, 2017 2:26:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/10472 took 211937 ms. Total solver calls (SAT/UNSAT): 721762(4/721758)
Jun 02, 2017 2:26:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/10472 took 213134 ms. Total solver calls (SAT/UNSAT): 726023(4/726019)
Jun 02, 2017 2:26:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/10472 took 215303 ms. Total solver calls (SAT/UNSAT): 733801(4/733797)
Jun 02, 2017 2:26:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/10472 took 217481 ms. Total solver calls (SAT/UNSAT): 741579(4/741575)
Jun 02, 2017 2:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/10472 took 218500 ms. Total solver calls (SAT/UNSAT): 745096(4/745092)
Jun 02, 2017 2:26:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/10472 took 219680 ms. Total solver calls (SAT/UNSAT): 749357(4/749353)
Jun 02, 2017 2:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/10472 took 221884 ms. Total solver calls (SAT/UNSAT): 757135(4/757131)
Jun 02, 2017 2:26:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/10472 took 222958 ms. Total solver calls (SAT/UNSAT): 760652(4/760648)
Jun 02, 2017 2:26:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/10472 took 224176 ms. Total solver calls (SAT/UNSAT): 764913(4/764909)
Jun 02, 2017 2:26:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/10472 took 225246 ms. Total solver calls (SAT/UNSAT): 768430(4/768426)
Jun 02, 2017 2:26:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/10472 took 226504 ms. Total solver calls (SAT/UNSAT): 772691(4/772687)
Jun 02, 2017 2:26:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/10472 took 227557 ms. Total solver calls (SAT/UNSAT): 776208(4/776204)
Jun 02, 2017 2:26:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/10472 took 228811 ms. Total solver calls (SAT/UNSAT): 780469(4/780465)
Jun 02, 2017 2:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/10472 took 229847 ms. Total solver calls (SAT/UNSAT): 783986(4/783982)
Jun 02, 2017 2:26:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/10472 took 231056 ms. Total solver calls (SAT/UNSAT): 788247(4/788243)
Jun 02, 2017 2:26:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/10472 took 232068 ms. Total solver calls (SAT/UNSAT): 791764(4/791760)
Jun 02, 2017 2:26:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/10472 took 233244 ms. Total solver calls (SAT/UNSAT): 796025(4/796021)
Jun 02, 2017 2:26:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/10472 took 234266 ms. Total solver calls (SAT/UNSAT): 799542(4/799538)
Jun 02, 2017 2:26:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/10472 took 235500 ms. Total solver calls (SAT/UNSAT): 803803(4/803799)
Jun 02, 2017 2:26:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/10472 took 237691 ms. Total solver calls (SAT/UNSAT): 811581(4/811577)
Jun 02, 2017 2:26:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/10472 took 238717 ms. Total solver calls (SAT/UNSAT): 815098(4/815094)
Jun 02, 2017 2:26:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/10472 took 239938 ms. Total solver calls (SAT/UNSAT): 819359(4/819355)
Jun 02, 2017 2:26:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/10472 took 240944 ms. Total solver calls (SAT/UNSAT): 822876(4/822872)
Jun 02, 2017 2:26:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/10472 took 242147 ms. Total solver calls (SAT/UNSAT): 827110(4/827106)
Jun 02, 2017 2:27:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/10472 took 244320 ms. Total solver calls (SAT/UNSAT): 834834(4/834830)
Jun 02, 2017 2:27:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/10472 took 245333 ms. Total solver calls (SAT/UNSAT): 838324(4/838320)
Jun 02, 2017 2:27:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/10472 took 246538 ms. Total solver calls (SAT/UNSAT): 842558(4/842554)
Jun 02, 2017 2:27:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/10472 took 247546 ms. Total solver calls (SAT/UNSAT): 846048(4/846044)
Jun 02, 2017 2:27:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/10472 took 248742 ms. Total solver calls (SAT/UNSAT): 850282(4/850278)
Jun 02, 2017 2:27:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/10472 took 249744 ms. Total solver calls (SAT/UNSAT): 853772(4/853768)
Jun 02, 2017 2:27:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/10472 took 250946 ms. Total solver calls (SAT/UNSAT): 858006(4/858002)
Jun 02, 2017 2:27:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/10472 took 251961 ms. Total solver calls (SAT/UNSAT): 861496(4/861492)
Jun 02, 2017 2:27:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/10472 took 253183 ms. Total solver calls (SAT/UNSAT): 865730(4/865726)
Jun 02, 2017 2:27:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/10472 took 254199 ms. Total solver calls (SAT/UNSAT): 869220(4/869216)
Jun 02, 2017 2:27:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/10472 took 255405 ms. Total solver calls (SAT/UNSAT): 873454(4/873450)
Jun 02, 2017 2:27:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/10472 took 256416 ms. Total solver calls (SAT/UNSAT): 876944(4/876940)
Jun 02, 2017 2:27:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/10472 took 257628 ms. Total solver calls (SAT/UNSAT): 881178(4/881174)
Jun 02, 2017 2:27:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/10472 took 258638 ms. Total solver calls (SAT/UNSAT): 884668(4/884664)
Jun 02, 2017 2:27:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/10472 took 259839 ms. Total solver calls (SAT/UNSAT): 888902(4/888898)
Jun 02, 2017 2:27:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/10472 took 262018 ms. Total solver calls (SAT/UNSAT): 896626(4/896622)
Jun 02, 2017 2:27:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/10472 took 263021 ms. Total solver calls (SAT/UNSAT): 900116(4/900112)
Jun 02, 2017 2:27:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/10472 took 264223 ms. Total solver calls (SAT/UNSAT): 904350(4/904346)
Jun 02, 2017 2:27:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/10472 took 265233 ms. Total solver calls (SAT/UNSAT): 907840(4/907836)
Jun 02, 2017 2:27:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/10472 took 266419 ms. Total solver calls (SAT/UNSAT): 912074(4/912070)
Jun 02, 2017 2:27:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/10472 took 267432 ms. Total solver calls (SAT/UNSAT): 915564(4/915560)
Jun 02, 2017 2:27:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/10472 took 268641 ms. Total solver calls (SAT/UNSAT): 919798(4/919794)
Jun 02, 2017 2:27:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/10472 took 269647 ms. Total solver calls (SAT/UNSAT): 923288(4/923284)
Jun 02, 2017 2:27:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/10472 took 270856 ms. Total solver calls (SAT/UNSAT): 927522(4/927518)
Jun 02, 2017 2:27:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/10472 took 271868 ms. Total solver calls (SAT/UNSAT): 931012(4/931008)
Jun 02, 2017 2:27:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/10472 took 273093 ms. Total solver calls (SAT/UNSAT): 935246(4/935242)
Jun 02, 2017 2:27:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/10472 took 274104 ms. Total solver calls (SAT/UNSAT): 938736(4/938732)
Jun 02, 2017 2:27:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/10472 took 275313 ms. Total solver calls (SAT/UNSAT): 942970(4/942966)
Jun 02, 2017 2:27:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/10472 took 276325 ms. Total solver calls (SAT/UNSAT): 946460(4/946456)
Jun 02, 2017 2:27:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/10472 took 277535 ms. Total solver calls (SAT/UNSAT): 950694(4/950690)
Jun 02, 2017 2:27:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/10472 took 279720 ms. Total solver calls (SAT/UNSAT): 958418(4/958414)
Jun 02, 2017 2:27:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/10472 took 280726 ms. Total solver calls (SAT/UNSAT): 961908(4/961904)
Jun 02, 2017 2:27:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/10472 took 281930 ms. Total solver calls (SAT/UNSAT): 966142(4/966138)
Jun 02, 2017 2:27:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/10472 took 284129 ms. Total solver calls (SAT/UNSAT): 973866(4/973862)
Jun 02, 2017 2:27:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/10472 took 285134 ms. Total solver calls (SAT/UNSAT): 977356(4/977352)
Jun 02, 2017 2:27:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/10472 took 286334 ms. Total solver calls (SAT/UNSAT): 981590(4/981586)
Jun 02, 2017 2:27:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/10472 took 287420 ms. Total solver calls (SAT/UNSAT): 985080(4/985076)
Jun 02, 2017 2:27:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/10472 took 288629 ms. Total solver calls (SAT/UNSAT): 989314(4/989310)
Jun 02, 2017 2:27:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/10472 took 289691 ms. Total solver calls (SAT/UNSAT): 992804(4/992800)
Jun 02, 2017 2:27:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/10472 took 290891 ms. Total solver calls (SAT/UNSAT): 997038(4/997034)
Jun 02, 2017 2:27:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/10472 took 291908 ms. Total solver calls (SAT/UNSAT): 1000528(4/1000524)
Jun 02, 2017 2:27:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/10472 took 293103 ms. Total solver calls (SAT/UNSAT): 1004762(4/1004758)
Jun 02, 2017 2:27:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/10472 took 294108 ms. Total solver calls (SAT/UNSAT): 1008252(4/1008248)
Jun 02, 2017 2:27:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/10472 took 295320 ms. Total solver calls (SAT/UNSAT): 1012486(4/1012482)
Jun 02, 2017 2:27:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/10472 took 296352 ms. Total solver calls (SAT/UNSAT): 1015976(4/1015972)
Jun 02, 2017 2:27:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/10472 took 297585 ms. Total solver calls (SAT/UNSAT): 1020210(4/1020206)
Jun 02, 2017 2:27:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/10472 took 298651 ms. Total solver calls (SAT/UNSAT): 1023700(4/1023696)
Jun 02, 2017 2:27:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/10472 took 299862 ms. Total solver calls (SAT/UNSAT): 1027961(4/1027957)
Jun 02, 2017 2:27:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/10472 took 300891 ms. Total solver calls (SAT/UNSAT): 1031478(4/1031474)
Jun 02, 2017 2:27:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/10472 took 302106 ms. Total solver calls (SAT/UNSAT): 1035739(4/1035735)
Jun 02, 2017 2:27:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/10472 took 303126 ms. Total solver calls (SAT/UNSAT): 1039256(4/1039252)
Jun 02, 2017 2:28:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/10472 took 304338 ms. Total solver calls (SAT/UNSAT): 1043517(4/1043513)
Jun 02, 2017 2:28:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/10472 took 305370 ms. Total solver calls (SAT/UNSAT): 1047034(4/1047030)
Jun 02, 2017 2:28:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/10472 took 306576 ms. Total solver calls (SAT/UNSAT): 1051295(4/1051291)
Jun 02, 2017 2:28:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/10472 took 307586 ms. Total solver calls (SAT/UNSAT): 1054812(4/1054808)
Jun 02, 2017 2:28:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/10472 took 308800 ms. Total solver calls (SAT/UNSAT): 1059073(4/1059069)
Jun 02, 2017 2:28:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/10472 took 309823 ms. Total solver calls (SAT/UNSAT): 1062590(4/1062586)
Jun 02, 2017 2:28:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/10472 took 311037 ms. Total solver calls (SAT/UNSAT): 1066851(4/1066847)
Jun 02, 2017 2:28:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/10472 took 312053 ms. Total solver calls (SAT/UNSAT): 1070368(4/1070364)
Jun 02, 2017 2:28:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/10472 took 313259 ms. Total solver calls (SAT/UNSAT): 1074629(4/1074625)
Jun 02, 2017 2:28:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/10472 took 314278 ms. Total solver calls (SAT/UNSAT): 1078146(4/1078142)
Jun 02, 2017 2:28:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/10472 took 315497 ms. Total solver calls (SAT/UNSAT): 1082407(4/1082403)
Jun 02, 2017 2:28:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/10472 took 316520 ms. Total solver calls (SAT/UNSAT): 1085924(4/1085920)
Jun 02, 2017 2:28:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/10472 took 317762 ms. Total solver calls (SAT/UNSAT): 1090185(4/1090181)
Jun 02, 2017 2:28:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/10472 took 318780 ms. Total solver calls (SAT/UNSAT): 1093702(4/1093698)
Jun 02, 2017 2:28:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/10472 took 320010 ms. Total solver calls (SAT/UNSAT): 1097963(4/1097959)
Jun 02, 2017 2:28:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/10472 took 321060 ms. Total solver calls (SAT/UNSAT): 1101480(4/1101476)
Jun 02, 2017 2:28:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/10472 took 322276 ms. Total solver calls (SAT/UNSAT): 1105741(4/1105737)
Jun 02, 2017 2:28:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/10472 took 323303 ms. Total solver calls (SAT/UNSAT): 1109258(4/1109254)
Jun 02, 2017 2:28:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/10472 took 324526 ms. Total solver calls (SAT/UNSAT): 1113519(4/1113515)
Jun 02, 2017 2:28:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/10472 took 325549 ms. Total solver calls (SAT/UNSAT): 1117036(4/1117032)
Jun 02, 2017 2:28:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/10472 took 326779 ms. Total solver calls (SAT/UNSAT): 1121297(4/1121293)
Jun 02, 2017 2:28:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/10472 took 327801 ms. Total solver calls (SAT/UNSAT): 1124814(4/1124810)
Jun 02, 2017 2:28:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/10472 took 329018 ms. Total solver calls (SAT/UNSAT): 1129075(4/1129071)
Jun 02, 2017 2:28:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/10472 took 330040 ms. Total solver calls (SAT/UNSAT): 1132592(4/1132588)
Jun 02, 2017 2:28:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/10472 took 331238 ms. Total solver calls (SAT/UNSAT): 1136853(4/1136849)
Jun 02, 2017 2:28:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/10472 took 332275 ms. Total solver calls (SAT/UNSAT): 1140370(4/1140366)
Jun 02, 2017 2:28:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/10472 took 333511 ms. Total solver calls (SAT/UNSAT): 1144631(4/1144627)
Jun 02, 2017 2:28:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/10472 took 334567 ms. Total solver calls (SAT/UNSAT): 1148148(4/1148144)
Jun 02, 2017 2:28:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/10472 took 335749 ms. Total solver calls (SAT/UNSAT): 1152409(4/1152405)
Jun 02, 2017 2:28:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/10472 took 336751 ms. Total solver calls (SAT/UNSAT): 1155926(4/1155922)
Jun 02, 2017 2:28:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/10472 took 337927 ms. Total solver calls (SAT/UNSAT): 1160187(4/1160183)
Jun 02, 2017 2:28:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/10472 took 340088 ms. Total solver calls (SAT/UNSAT): 1167965(4/1167961)
Jun 02, 2017 2:28:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/10472 took 341111 ms. Total solver calls (SAT/UNSAT): 1171482(4/1171478)
Jun 02, 2017 2:28:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/10472 took 342369 ms. Total solver calls (SAT/UNSAT): 1175743(4/1175739)
Jun 02, 2017 2:28:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/10472 took 343422 ms. Total solver calls (SAT/UNSAT): 1179260(4/1179256)
Jun 02, 2017 2:28:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/10472 took 344687 ms. Total solver calls (SAT/UNSAT): 1183521(4/1183517)
Jun 02, 2017 2:28:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/10472 took 345729 ms. Total solver calls (SAT/UNSAT): 1187038(4/1187034)
Jun 02, 2017 2:28:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/10472 took 346949 ms. Total solver calls (SAT/UNSAT): 1191299(4/1191295)
Jun 02, 2017 2:28:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/10472 took 347973 ms. Total solver calls (SAT/UNSAT): 1194816(4/1194812)
Jun 02, 2017 2:28:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/10472 took 349239 ms. Total solver calls (SAT/UNSAT): 1199077(4/1199073)
Jun 02, 2017 2:28:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/10472 took 350293 ms. Total solver calls (SAT/UNSAT): 1202594(4/1202590)
Jun 02, 2017 2:28:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/10472 took 351557 ms. Total solver calls (SAT/UNSAT): 1206855(4/1206851)
Jun 02, 2017 2:28:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/10472 took 352627 ms. Total solver calls (SAT/UNSAT): 1210372(4/1210368)
Jun 02, 2017 2:28:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/10472 took 353884 ms. Total solver calls (SAT/UNSAT): 1214633(4/1214629)
Jun 02, 2017 2:28:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/10472 took 354914 ms. Total solver calls (SAT/UNSAT): 1218150(4/1218146)
Jun 02, 2017 2:28:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/10472 took 356134 ms. Total solver calls (SAT/UNSAT): 1222411(4/1222407)
Jun 02, 2017 2:28:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/10472 took 357144 ms. Total solver calls (SAT/UNSAT): 1225928(4/1225924)
Jun 02, 2017 2:28:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/10472 took 358470 ms. Total solver calls (SAT/UNSAT): 1230189(4/1230185)
Jun 02, 2017 2:28:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/10472 took 359496 ms. Total solver calls (SAT/UNSAT): 1233706(4/1233702)
Jun 02, 2017 2:28:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/10472 took 360707 ms. Total solver calls (SAT/UNSAT): 1237967(4/1237963)
Jun 02, 2017 2:28:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/10472 took 361718 ms. Total solver calls (SAT/UNSAT): 1241484(4/1241480)
Jun 02, 2017 2:28:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/10472 took 362939 ms. Total solver calls (SAT/UNSAT): 1245745(4/1245741)
Jun 02, 2017 2:29:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/10472 took 363964 ms. Total solver calls (SAT/UNSAT): 1249262(4/1249258)
Jun 02, 2017 2:29:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/10472 took 365154 ms. Total solver calls (SAT/UNSAT): 1253523(4/1253519)
Jun 02, 2017 2:29:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/10472 took 366159 ms. Total solver calls (SAT/UNSAT): 1257040(4/1257036)
Jun 02, 2017 2:29:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/10472 took 367376 ms. Total solver calls (SAT/UNSAT): 1261301(4/1261297)
Jun 02, 2017 2:29:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/10472 took 368402 ms. Total solver calls (SAT/UNSAT): 1264818(4/1264814)
Jun 02, 2017 2:29:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/10472 took 369623 ms. Total solver calls (SAT/UNSAT): 1269079(4/1269075)
Jun 02, 2017 2:29:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/10472 took 370650 ms. Total solver calls (SAT/UNSAT): 1272596(4/1272592)
Jun 02, 2017 2:29:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/10472 took 371871 ms. Total solver calls (SAT/UNSAT): 1276857(4/1276853)
Jun 02, 2017 2:29:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/10472 took 372897 ms. Total solver calls (SAT/UNSAT): 1280374(4/1280370)
Jun 02, 2017 2:29:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/10472 took 374119 ms. Total solver calls (SAT/UNSAT): 1284635(4/1284631)
Jun 02, 2017 2:29:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/10472 took 375147 ms. Total solver calls (SAT/UNSAT): 1288152(4/1288148)
Jun 02, 2017 2:29:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/10472 took 376378 ms. Total solver calls (SAT/UNSAT): 1292413(4/1292409)
Jun 02, 2017 2:29:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/10472 took 377412 ms. Total solver calls (SAT/UNSAT): 1295930(4/1295926)
Jun 02, 2017 2:29:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/10472 took 378642 ms. Total solver calls (SAT/UNSAT): 1300191(4/1300187)
Jun 02, 2017 2:29:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/10472 took 379676 ms. Total solver calls (SAT/UNSAT): 1303708(4/1303704)
Jun 02, 2017 2:29:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/10472 took 380896 ms. Total solver calls (SAT/UNSAT): 1307969(4/1307965)
Jun 02, 2017 2:29:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/10472 took 381923 ms. Total solver calls (SAT/UNSAT): 1311486(4/1311482)
Jun 02, 2017 2:29:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/10472 took 383139 ms. Total solver calls (SAT/UNSAT): 1315747(4/1315743)
Jun 02, 2017 2:29:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/10472 took 384155 ms. Total solver calls (SAT/UNSAT): 1319264(4/1319260)
Jun 02, 2017 2:29:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/10472 took 385356 ms. Total solver calls (SAT/UNSAT): 1323525(4/1323521)
Jun 02, 2017 2:29:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/10472 took 386384 ms. Total solver calls (SAT/UNSAT): 1327042(4/1327038)
Jun 02, 2017 2:29:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/10472 took 387569 ms. Total solver calls (SAT/UNSAT): 1331303(4/1331299)
Jun 02, 2017 2:29:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/10472 took 389755 ms. Total solver calls (SAT/UNSAT): 1339081(4/1339077)
Jun 02, 2017 2:29:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/10472 took 391938 ms. Total solver calls (SAT/UNSAT): 1346859(4/1346855)
Jun 02, 2017 2:29:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/10472 took 392955 ms. Total solver calls (SAT/UNSAT): 1350376(4/1350372)
Jun 02, 2017 2:29:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/10472 took 394170 ms. Total solver calls (SAT/UNSAT): 1354637(4/1354633)
Jun 02, 2017 2:29:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/10472 took 395189 ms. Total solver calls (SAT/UNSAT): 1358154(4/1358150)
Jun 02, 2017 2:29:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/10472 took 396402 ms. Total solver calls (SAT/UNSAT): 1362415(4/1362411)
Jun 02, 2017 2:29:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/10472 took 397423 ms. Total solver calls (SAT/UNSAT): 1365932(4/1365928)
Jun 02, 2017 2:29:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/10472 took 398628 ms. Total solver calls (SAT/UNSAT): 1370193(4/1370189)
Jun 02, 2017 2:29:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/10472 took 399651 ms. Total solver calls (SAT/UNSAT): 1373710(4/1373706)
Jun 02, 2017 2:29:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/10472 took 400886 ms. Total solver calls (SAT/UNSAT): 1377971(4/1377967)
Jun 02, 2017 2:29:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/10472 took 401908 ms. Total solver calls (SAT/UNSAT): 1381488(4/1381484)
Jun 02, 2017 2:29:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/10472 took 403164 ms. Total solver calls (SAT/UNSAT): 1385749(4/1385745)
Jun 02, 2017 2:29:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/10472 took 404211 ms. Total solver calls (SAT/UNSAT): 1389266(4/1389262)
Jun 02, 2017 2:29:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/10472 took 405375 ms. Total solver calls (SAT/UNSAT): 1393527(4/1393523)
Jun 02, 2017 2:29:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/10472 took 407539 ms. Total solver calls (SAT/UNSAT): 1401305(4/1401301)
Jun 02, 2017 2:29:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/10472 took 408566 ms. Total solver calls (SAT/UNSAT): 1404822(4/1404818)
Jun 02, 2017 2:29:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/10472 took 409774 ms. Total solver calls (SAT/UNSAT): 1409083(4/1409079)
Jun 02, 2017 2:29:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/10472 took 410785 ms. Total solver calls (SAT/UNSAT): 1412600(4/1412596)
Jun 02, 2017 2:29:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/10472 took 411975 ms. Total solver calls (SAT/UNSAT): 1416861(4/1416857)
Jun 02, 2017 2:29:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/10472 took 413058 ms. Total solver calls (SAT/UNSAT): 1420378(4/1420374)
Jun 02, 2017 2:29:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/10472 took 414352 ms. Total solver calls (SAT/UNSAT): 1424639(4/1424635)
Jun 02, 2017 2:29:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/10472 took 415383 ms. Total solver calls (SAT/UNSAT): 1428156(4/1428152)
Jun 02, 2017 2:29:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/10472 took 416612 ms. Total solver calls (SAT/UNSAT): 1432417(4/1432413)
Jun 02, 2017 2:29:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/10472 took 417642 ms. Total solver calls (SAT/UNSAT): 1435934(4/1435930)
Jun 02, 2017 2:29:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/10472 took 418831 ms. Total solver calls (SAT/UNSAT): 1440195(4/1440191)
Jun 02, 2017 2:29:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/10472 took 419835 ms. Total solver calls (SAT/UNSAT): 1443712(4/1443708)
Jun 02, 2017 2:29:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/10472 took 421019 ms. Total solver calls (SAT/UNSAT): 1447973(4/1447969)
Jun 02, 2017 2:29:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/10472 took 422124 ms. Total solver calls (SAT/UNSAT): 1451490(4/1451486)
Jun 02, 2017 2:29:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/10472 took 423413 ms. Total solver calls (SAT/UNSAT): 1455751(4/1455747)
Jun 02, 2017 2:30:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/10472 took 425632 ms. Total solver calls (SAT/UNSAT): 1463529(4/1463525)
Jun 02, 2017 2:30:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/10472 took 426746 ms. Total solver calls (SAT/UNSAT): 1467046(4/1467042)
Jun 02, 2017 2:30:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/10472 took 428052 ms. Total solver calls (SAT/UNSAT): 1471307(4/1471303)
Jun 02, 2017 2:30:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/10472 took 429167 ms. Total solver calls (SAT/UNSAT): 1474824(4/1474820)
Jun 02, 2017 2:30:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/10472 took 430491 ms. Total solver calls (SAT/UNSAT): 1479085(4/1479081)
Jun 02, 2017 2:30:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/10472 took 431597 ms. Total solver calls (SAT/UNSAT): 1482602(4/1482598)
Jun 02, 2017 2:30:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/10472 took 432807 ms. Total solver calls (SAT/UNSAT): 1486863(4/1486859)
Jun 02, 2017 2:30:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/10472 took 435014 ms. Total solver calls (SAT/UNSAT): 1494641(4/1494637)
Jun 02, 2017 2:30:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/10472 took 436040 ms. Total solver calls (SAT/UNSAT): 1498158(4/1498154)
Jun 02, 2017 2:30:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/10472 took 437265 ms. Total solver calls (SAT/UNSAT): 1502419(4/1502415)
Jun 02, 2017 2:30:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/10472 took 438293 ms. Total solver calls (SAT/UNSAT): 1505936(4/1505932)
Jun 02, 2017 2:30:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/10472 took 439521 ms. Total solver calls (SAT/UNSAT): 1510197(4/1510193)
Jun 02, 2017 2:30:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/10472 took 440609 ms. Total solver calls (SAT/UNSAT): 1513714(4/1513710)
Jun 02, 2017 2:30:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/10472 took 441848 ms. Total solver calls (SAT/UNSAT): 1517975(4/1517971)
Jun 02, 2017 2:30:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/10472 took 442885 ms. Total solver calls (SAT/UNSAT): 1521492(4/1521488)
Jun 02, 2017 2:30:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/10472 took 444120 ms. Total solver calls (SAT/UNSAT): 1525753(4/1525749)
Jun 02, 2017 2:30:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/10472 took 445158 ms. Total solver calls (SAT/UNSAT): 1529270(4/1529266)
Jun 02, 2017 2:30:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/10472 took 446408 ms. Total solver calls (SAT/UNSAT): 1533531(4/1533527)
Jun 02, 2017 2:30:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/10472 took 447523 ms. Total solver calls (SAT/UNSAT): 1537048(4/1537044)
Jun 02, 2017 2:30:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/10472 took 448851 ms. Total solver calls (SAT/UNSAT): 1541309(4/1541305)
Jun 02, 2017 2:30:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/10472 took 449899 ms. Total solver calls (SAT/UNSAT): 1544826(4/1544822)
Jun 02, 2017 2:30:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/10472 took 451112 ms. Total solver calls (SAT/UNSAT): 1549087(4/1549083)
Jun 02, 2017 2:30:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/10472 took 452151 ms. Total solver calls (SAT/UNSAT): 1552604(4/1552600)
Jun 02, 2017 2:30:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/10472 took 453382 ms. Total solver calls (SAT/UNSAT): 1556865(4/1556861)
Jun 02, 2017 2:30:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/10472 took 454415 ms. Total solver calls (SAT/UNSAT): 1560382(4/1560378)
Jun 02, 2017 2:30:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/10472 took 455644 ms. Total solver calls (SAT/UNSAT): 1564643(4/1564639)
Jun 02, 2017 2:30:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/10472 took 456680 ms. Total solver calls (SAT/UNSAT): 1568160(4/1568156)
Jun 02, 2017 2:30:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/10472 took 457931 ms. Total solver calls (SAT/UNSAT): 1572421(4/1572417)
Jun 02, 2017 2:30:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/10472 took 458971 ms. Total solver calls (SAT/UNSAT): 1575938(4/1575934)
Jun 02, 2017 2:30:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/10472 took 460207 ms. Total solver calls (SAT/UNSAT): 1580199(4/1580195)
Jun 02, 2017 2:30:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/10472 took 461249 ms. Total solver calls (SAT/UNSAT): 1583716(4/1583712)
Jun 02, 2017 2:30:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/10472 took 462493 ms. Total solver calls (SAT/UNSAT): 1587977(4/1587973)
Jun 02, 2017 2:30:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/10472 took 463531 ms. Total solver calls (SAT/UNSAT): 1591494(4/1591490)
Jun 02, 2017 2:30:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/10472 took 464766 ms. Total solver calls (SAT/UNSAT): 1595755(4/1595751)
Jun 02, 2017 2:30:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/10472 took 465808 ms. Total solver calls (SAT/UNSAT): 1599272(4/1599268)
Jun 02, 2017 2:30:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/10472 took 467053 ms. Total solver calls (SAT/UNSAT): 1603533(4/1603529)
Jun 02, 2017 2:30:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/10472 took 468119 ms. Total solver calls (SAT/UNSAT): 1607050(4/1607046)
Jun 02, 2017 2:30:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/10472 took 469346 ms. Total solver calls (SAT/UNSAT): 1611311(4/1611307)
Jun 02, 2017 2:30:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/10472 took 470357 ms. Total solver calls (SAT/UNSAT): 1614828(4/1614824)
Jun 02, 2017 2:30:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/10472 took 471571 ms. Total solver calls (SAT/UNSAT): 1619089(4/1619085)
Jun 02, 2017 2:30:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/10472 took 472592 ms. Total solver calls (SAT/UNSAT): 1622606(4/1622602)
Jun 02, 2017 2:30:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/10472 took 473774 ms. Total solver calls (SAT/UNSAT): 1626867(4/1626863)
Jun 02, 2017 2:30:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/10472 took 475932 ms. Total solver calls (SAT/UNSAT): 1634615(4/1634611)
Jun 02, 2017 2:30:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/10472 took 478101 ms. Total solver calls (SAT/UNSAT): 1642333(4/1642329)
Jun 02, 2017 2:30:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/10472 took 480279 ms. Total solver calls (SAT/UNSAT): 1650051(4/1650047)
Jun 02, 2017 2:30:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/10472 took 482496 ms. Total solver calls (SAT/UNSAT): 1657769(4/1657765)
Jun 02, 2017 2:30:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/10472 took 483520 ms. Total solver calls (SAT/UNSAT): 1661256(4/1661252)
Jun 02, 2017 2:31:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/10472 took 484734 ms. Total solver calls (SAT/UNSAT): 1665487(4/1665483)
Jun 02, 2017 2:31:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/10472 took 485754 ms. Total solver calls (SAT/UNSAT): 1668974(4/1668970)
Jun 02, 2017 2:31:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/10472 took 486960 ms. Total solver calls (SAT/UNSAT): 1673205(4/1673201)
Jun 02, 2017 2:31:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/10472 took 487972 ms. Total solver calls (SAT/UNSAT): 1676692(4/1676688)
Jun 02, 2017 2:31:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/10472 took 489174 ms. Total solver calls (SAT/UNSAT): 1680923(4/1680919)
Jun 02, 2017 2:31:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/10472 took 491340 ms. Total solver calls (SAT/UNSAT): 1688641(4/1688637)
Jun 02, 2017 2:31:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/10472 took 493522 ms. Total solver calls (SAT/UNSAT): 1696359(4/1696355)
Jun 02, 2017 2:31:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/10472 took 494549 ms. Total solver calls (SAT/UNSAT): 1699846(4/1699842)
Jun 02, 2017 2:31:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/10472 took 495797 ms. Total solver calls (SAT/UNSAT): 1704077(4/1704073)
Jun 02, 2017 2:31:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/10472 took 496829 ms. Total solver calls (SAT/UNSAT): 1707564(4/1707560)
Jun 02, 2017 2:31:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/10472 took 498043 ms. Total solver calls (SAT/UNSAT): 1711795(4/1711791)
Jun 02, 2017 2:31:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/10472 took 500251 ms. Total solver calls (SAT/UNSAT): 1719513(4/1719509)
Jun 02, 2017 2:31:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/10472 took 501286 ms. Total solver calls (SAT/UNSAT): 1723000(4/1722996)
Jun 02, 2017 2:31:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/10472 took 502529 ms. Total solver calls (SAT/UNSAT): 1727231(4/1727227)
Jun 02, 2017 2:31:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/10472 took 503552 ms. Total solver calls (SAT/UNSAT): 1730718(4/1730714)
Jun 02, 2017 2:31:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/10472 took 504780 ms. Total solver calls (SAT/UNSAT): 1734949(4/1734945)
Jun 02, 2017 2:31:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/10472 took 505793 ms. Total solver calls (SAT/UNSAT): 1738436(4/1738432)
Jun 02, 2017 2:31:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/10472 took 506996 ms. Total solver calls (SAT/UNSAT): 1742667(4/1742663)
Jun 02, 2017 2:31:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/10472 took 508002 ms. Total solver calls (SAT/UNSAT): 1746154(4/1746150)
Jun 02, 2017 2:31:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/10472 took 509209 ms. Total solver calls (SAT/UNSAT): 1750385(4/1750381)
Jun 02, 2017 2:31:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/10472 took 510243 ms. Total solver calls (SAT/UNSAT): 1753872(4/1753868)
Jun 02, 2017 2:31:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/10472 took 511472 ms. Total solver calls (SAT/UNSAT): 1758103(4/1758099)
Jun 02, 2017 2:31:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/10472 took 512499 ms. Total solver calls (SAT/UNSAT): 1761590(4/1761586)
Jun 02, 2017 2:31:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/10472 took 513724 ms. Total solver calls (SAT/UNSAT): 1765821(4/1765817)
Jun 02, 2017 2:31:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/10472 took 514767 ms. Total solver calls (SAT/UNSAT): 1769308(4/1769304)
Jun 02, 2017 2:31:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/10472 took 515977 ms. Total solver calls (SAT/UNSAT): 1773539(4/1773535)
Jun 02, 2017 2:31:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/10472 took 517014 ms. Total solver calls (SAT/UNSAT): 1777026(4/1777022)
Jun 02, 2017 2:31:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/10472 took 518241 ms. Total solver calls (SAT/UNSAT): 1781257(4/1781253)
Jun 02, 2017 2:31:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/10472 took 519252 ms. Total solver calls (SAT/UNSAT): 1784744(4/1784740)
Jun 02, 2017 2:31:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/10472 took 520458 ms. Total solver calls (SAT/UNSAT): 1788975(4/1788971)
Jun 02, 2017 2:31:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/10472 took 521499 ms. Total solver calls (SAT/UNSAT): 1792462(4/1792458)
Jun 02, 2017 2:31:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/10472 took 522728 ms. Total solver calls (SAT/UNSAT): 1796693(4/1796689)
Jun 02, 2017 2:31:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/10472 took 523751 ms. Total solver calls (SAT/UNSAT): 1800180(4/1800176)
Jun 02, 2017 2:31:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/10472 took 524963 ms. Total solver calls (SAT/UNSAT): 1804411(4/1804407)
Jun 02, 2017 2:31:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/10472 took 527166 ms. Total solver calls (SAT/UNSAT): 1812129(4/1812125)
Jun 02, 2017 2:31:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/10472 took 529361 ms. Total solver calls (SAT/UNSAT): 1819847(4/1819843)
Jun 02, 2017 2:31:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/10472 took 530451 ms. Total solver calls (SAT/UNSAT): 1823334(4/1823330)
Jun 02, 2017 2:31:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/10472 took 531687 ms. Total solver calls (SAT/UNSAT): 1827565(4/1827561)
Jun 02, 2017 2:31:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/10472 took 532734 ms. Total solver calls (SAT/UNSAT): 1831052(4/1831048)
Jun 02, 2017 2:31:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/10472 took 533977 ms. Total solver calls (SAT/UNSAT): 1835313(4/1835309)
Jun 02, 2017 2:31:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/10472 took 535009 ms. Total solver calls (SAT/UNSAT): 1838830(4/1838826)
Jun 02, 2017 2:31:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/10472 took 536248 ms. Total solver calls (SAT/UNSAT): 1843091(4/1843087)
Jun 02, 2017 2:31:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/10472 took 537341 ms. Total solver calls (SAT/UNSAT): 1846608(4/1846604)
Jun 02, 2017 2:31:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/10472 took 538641 ms. Total solver calls (SAT/UNSAT): 1850869(4/1850865)
Jun 02, 2017 2:31:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/10472 took 539764 ms. Total solver calls (SAT/UNSAT): 1854386(4/1854382)
Jun 02, 2017 2:31:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/10472 took 541094 ms. Total solver calls (SAT/UNSAT): 1858647(4/1858643)
Jun 02, 2017 2:31:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/10472 took 542130 ms. Total solver calls (SAT/UNSAT): 1862164(4/1862160)
Jun 02, 2017 2:31:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/10472 took 543368 ms. Total solver calls (SAT/UNSAT): 1866425(4/1866421)
Jun 02, 2017 2:32:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/10472 took 544428 ms. Total solver calls (SAT/UNSAT): 1869942(4/1869938)
Jun 02, 2017 2:32:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/10472 took 545760 ms. Total solver calls (SAT/UNSAT): 1874203(4/1874199)
Jun 02, 2017 2:32:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/10472 took 546877 ms. Total solver calls (SAT/UNSAT): 1877720(4/1877716)
Jun 02, 2017 2:32:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/10472 took 548153 ms. Total solver calls (SAT/UNSAT): 1881981(4/1881977)
Jun 02, 2017 2:32:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/10472 took 549203 ms. Total solver calls (SAT/UNSAT): 1885498(4/1885494)
Jun 02, 2017 2:32:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/10472 took 550511 ms. Total solver calls (SAT/UNSAT): 1889759(4/1889755)
Jun 02, 2017 2:32:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/10472 took 551628 ms. Total solver calls (SAT/UNSAT): 1893276(4/1893272)
Jun 02, 2017 2:32:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/10472 took 552960 ms. Total solver calls (SAT/UNSAT): 1897537(4/1897533)
Jun 02, 2017 2:32:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/10472 took 554080 ms. Total solver calls (SAT/UNSAT): 1901054(4/1901050)
Jun 02, 2017 2:32:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/10472 took 555415 ms. Total solver calls (SAT/UNSAT): 1905315(4/1905311)
Jun 02, 2017 2:32:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/10472 took 556539 ms. Total solver calls (SAT/UNSAT): 1908832(4/1908828)
Jun 02, 2017 2:32:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/10472 took 557873 ms. Total solver calls (SAT/UNSAT): 1913093(4/1913089)
Jun 02, 2017 2:32:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/10472 took 559001 ms. Total solver calls (SAT/UNSAT): 1916610(4/1916606)
Jun 02, 2017 2:32:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/10472 took 560337 ms. Total solver calls (SAT/UNSAT): 1920871(4/1920867)
Jun 02, 2017 2:32:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/10472 took 561460 ms. Total solver calls (SAT/UNSAT): 1924388(4/1924384)
Jun 02, 2017 2:32:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/10472 took 562790 ms. Total solver calls (SAT/UNSAT): 1928649(4/1928645)
Jun 02, 2017 2:32:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/10472 took 563910 ms. Total solver calls (SAT/UNSAT): 1932166(4/1932162)
Jun 02, 2017 2:32:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/10472 took 565229 ms. Total solver calls (SAT/UNSAT): 1936427(4/1936423)
Jun 02, 2017 2:32:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/10472 took 566342 ms. Total solver calls (SAT/UNSAT): 1939944(4/1939940)
Jun 02, 2017 2:32:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/10472 took 567680 ms. Total solver calls (SAT/UNSAT): 1944205(4/1944201)
Jun 02, 2017 2:32:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/10472 took 568805 ms. Total solver calls (SAT/UNSAT): 1947722(4/1947718)
Jun 02, 2017 2:32:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/10472 took 570136 ms. Total solver calls (SAT/UNSAT): 1951983(4/1951979)
Jun 02, 2017 2:32:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/10472 took 571255 ms. Total solver calls (SAT/UNSAT): 1955500(4/1955496)
Jun 02, 2017 2:32:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/10472 took 572593 ms. Total solver calls (SAT/UNSAT): 1959761(4/1959757)
Jun 02, 2017 2:32:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/10472 took 573715 ms. Total solver calls (SAT/UNSAT): 1963278(4/1963274)
Jun 02, 2017 2:32:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/10472 took 575052 ms. Total solver calls (SAT/UNSAT): 1967539(4/1967535)
Jun 02, 2017 2:32:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/10472 took 576172 ms. Total solver calls (SAT/UNSAT): 1971056(4/1971052)
Jun 02, 2017 2:32:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/10472 took 577483 ms. Total solver calls (SAT/UNSAT): 1975317(4/1975313)
Jun 02, 2017 2:32:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/10472 took 578521 ms. Total solver calls (SAT/UNSAT): 1978834(4/1978830)
Jun 02, 2017 2:32:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/10472 took 579738 ms. Total solver calls (SAT/UNSAT): 1983095(4/1983091)
Jun 02, 2017 2:32:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/10472 took 580746 ms. Total solver calls (SAT/UNSAT): 1986612(4/1986608)
Jun 02, 2017 2:32:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/10472 took 581949 ms. Total solver calls (SAT/UNSAT): 1990873(4/1990869)
Jun 02, 2017 2:32:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/10472 took 582967 ms. Total solver calls (SAT/UNSAT): 1994390(4/1994386)
Jun 02, 2017 2:32:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/10472 took 584173 ms. Total solver calls (SAT/UNSAT): 1998651(4/1998647)
Jun 02, 2017 2:32:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/10472 took 585177 ms. Total solver calls (SAT/UNSAT): 2002168(4/2002164)
Jun 02, 2017 2:32:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/10472 took 586391 ms. Total solver calls (SAT/UNSAT): 2006429(4/2006425)
Jun 02, 2017 2:32:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/10472 took 587417 ms. Total solver calls (SAT/UNSAT): 2009946(4/2009942)
Jun 02, 2017 2:32:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/10472 took 588646 ms. Total solver calls (SAT/UNSAT): 2014207(4/2014203)
Jun 02, 2017 2:32:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/10472 took 589657 ms. Total solver calls (SAT/UNSAT): 2017724(4/2017720)
Jun 02, 2017 2:32:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/10472 took 590900 ms. Total solver calls (SAT/UNSAT): 2021985(4/2021981)
Jun 02, 2017 2:32:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/10472 took 591940 ms. Total solver calls (SAT/UNSAT): 2025502(4/2025498)
Jun 02, 2017 2:32:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/10472 took 593151 ms. Total solver calls (SAT/UNSAT): 2029763(4/2029759)
Jun 02, 2017 2:32:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/10472 took 594167 ms. Total solver calls (SAT/UNSAT): 2033280(4/2033276)
Jun 02, 2017 2:32:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/10472 took 595359 ms. Total solver calls (SAT/UNSAT): 2037541(4/2037537)
Jun 02, 2017 2:32:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/10472 took 596406 ms. Total solver calls (SAT/UNSAT): 2041058(4/2041054)
Jun 02, 2017 2:32:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/10472 took 597626 ms. Total solver calls (SAT/UNSAT): 2045319(4/2045315)
Jun 02, 2017 2:32:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/10472 took 598637 ms. Total solver calls (SAT/UNSAT): 2048836(4/2048832)
Jun 02, 2017 2:32:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/10472 took 599861 ms. Total solver calls (SAT/UNSAT): 2053097(4/2053093)
Jun 02, 2017 2:32:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/10472 took 600870 ms. Total solver calls (SAT/UNSAT): 2056614(4/2056610)
Jun 02, 2017 2:32:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/10472 took 602063 ms. Total solver calls (SAT/UNSAT): 2060875(4/2060871)
Jun 02, 2017 2:33:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/10472 took 604247 ms. Total solver calls (SAT/UNSAT): 2068653(4/2068649)
Jun 02, 2017 2:33:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/10472 took 605247 ms. Total solver calls (SAT/UNSAT): 2072170(4/2072166)
Jun 02, 2017 2:33:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/10472 took 606443 ms. Total solver calls (SAT/UNSAT): 2076431(4/2076427)
Jun 02, 2017 2:33:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/10472 took 607477 ms. Total solver calls (SAT/UNSAT): 2079948(4/2079944)
Jun 02, 2017 2:33:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/10472 took 608669 ms. Total solver calls (SAT/UNSAT): 2084209(4/2084205)
Jun 02, 2017 2:33:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/10472 took 609703 ms. Total solver calls (SAT/UNSAT): 2087726(4/2087722)
Jun 02, 2017 2:33:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/10472 took 610912 ms. Total solver calls (SAT/UNSAT): 2091987(4/2091983)
Jun 02, 2017 2:33:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/10472 took 611950 ms. Total solver calls (SAT/UNSAT): 2095504(4/2095500)
Jun 02, 2017 2:33:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/10472 took 613187 ms. Total solver calls (SAT/UNSAT): 2099765(4/2099761)
Jun 02, 2017 2:33:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/10472 took 614208 ms. Total solver calls (SAT/UNSAT): 2103282(4/2103278)
Jun 02, 2017 2:33:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/10472 took 615431 ms. Total solver calls (SAT/UNSAT): 2107543(4/2107539)
Jun 02, 2017 2:33:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/10472 took 616453 ms. Total solver calls (SAT/UNSAT): 2111060(4/2111056)
Jun 02, 2017 2:33:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/10472 took 617671 ms. Total solver calls (SAT/UNSAT): 2115321(4/2115317)
Jun 02, 2017 2:33:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/10472 took 619863 ms. Total solver calls (SAT/UNSAT): 2123099(4/2123095)
Jun 02, 2017 2:33:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/10472 took 622061 ms. Total solver calls (SAT/UNSAT): 2130877(4/2130873)
Jun 02, 2017 2:33:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/10472 took 623098 ms. Total solver calls (SAT/UNSAT): 2134394(4/2134390)
Jun 02, 2017 2:33:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/10472 took 624322 ms. Total solver calls (SAT/UNSAT): 2138655(4/2138651)
Jun 02, 2017 2:33:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/10472 took 625349 ms. Total solver calls (SAT/UNSAT): 2142172(4/2142168)
Jun 02, 2017 2:33:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/10472 took 626617 ms. Total solver calls (SAT/UNSAT): 2146433(4/2146429)
Jun 02, 2017 2:33:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/10472 took 627655 ms. Total solver calls (SAT/UNSAT): 2149950(4/2149946)
Jun 02, 2017 2:33:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/10472 took 628970 ms. Total solver calls (SAT/UNSAT): 2154211(4/2154207)
Jun 02, 2017 2:33:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/10472 took 629984 ms. Total solver calls (SAT/UNSAT): 2157728(4/2157724)
Jun 02, 2017 2:33:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/10472 took 631212 ms. Total solver calls (SAT/UNSAT): 2161989(4/2161985)
Jun 02, 2017 2:33:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/10472 took 632229 ms. Total solver calls (SAT/UNSAT): 2165506(4/2165502)
Jun 02, 2017 2:33:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/10472 took 633479 ms. Total solver calls (SAT/UNSAT): 2169767(4/2169763)
Jun 02, 2017 2:33:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/10472 took 634513 ms. Total solver calls (SAT/UNSAT): 2173284(4/2173280)
Jun 02, 2017 2:33:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/10472 took 635728 ms. Total solver calls (SAT/UNSAT): 2177545(4/2177541)
Jun 02, 2017 2:33:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/10472 took 636771 ms. Total solver calls (SAT/UNSAT): 2181062(4/2181058)
Jun 02, 2017 2:33:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/10472 took 638027 ms. Total solver calls (SAT/UNSAT): 2185323(4/2185319)
Jun 02, 2017 2:33:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/10472 took 639081 ms. Total solver calls (SAT/UNSAT): 2188840(4/2188836)
Jun 02, 2017 2:33:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/10472 took 640327 ms. Total solver calls (SAT/UNSAT): 2193101(4/2193097)
Jun 02, 2017 2:33:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/10472 took 641361 ms. Total solver calls (SAT/UNSAT): 2196618(4/2196614)
Jun 02, 2017 2:33:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/10472 took 642602 ms. Total solver calls (SAT/UNSAT): 2200879(4/2200875)
Jun 02, 2017 2:33:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/10472 took 643688 ms. Total solver calls (SAT/UNSAT): 2204396(4/2204392)
Jun 02, 2017 2:33:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/10472 took 644961 ms. Total solver calls (SAT/UNSAT): 2208657(4/2208653)
Jun 02, 2017 2:33:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/10472 took 646009 ms. Total solver calls (SAT/UNSAT): 2212174(4/2212170)
Jun 02, 2017 2:33:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/10472 took 647245 ms. Total solver calls (SAT/UNSAT): 2216435(4/2216431)
Jun 02, 2017 2:33:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/10472 took 648282 ms. Total solver calls (SAT/UNSAT): 2219952(4/2219948)
Jun 02, 2017 2:33:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/10472 took 649548 ms. Total solver calls (SAT/UNSAT): 2224213(4/2224209)
Jun 02, 2017 2:33:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/10472 took 650562 ms. Total solver calls (SAT/UNSAT): 2227730(4/2227726)
Jun 02, 2017 2:33:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/10472 took 651807 ms. Total solver calls (SAT/UNSAT): 2231991(4/2231987)
Jun 02, 2017 2:33:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/10472 took 652845 ms. Total solver calls (SAT/UNSAT): 2235508(4/2235504)
Jun 02, 2017 2:33:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/10472 took 654083 ms. Total solver calls (SAT/UNSAT): 2239769(4/2239765)
Jun 02, 2017 2:33:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/10472 took 655127 ms. Total solver calls (SAT/UNSAT): 2243286(4/2243282)
Jun 02, 2017 2:33:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/10472 took 656440 ms. Total solver calls (SAT/UNSAT): 2247547(4/2247543)
Jun 02, 2017 2:33:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/10472 took 657563 ms. Total solver calls (SAT/UNSAT): 2251064(4/2251060)
Jun 02, 2017 2:33:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/10472 took 658895 ms. Total solver calls (SAT/UNSAT): 2255325(4/2255321)
Jun 02, 2017 2:33:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/10472 took 660015 ms. Total solver calls (SAT/UNSAT): 2258842(4/2258838)
Jun 02, 2017 2:33:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/10472 took 661358 ms. Total solver calls (SAT/UNSAT): 2263103(4/2263099)
Jun 02, 2017 2:33:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/10472 took 662474 ms. Total solver calls (SAT/UNSAT): 2266620(4/2266616)
Jun 02, 2017 2:34:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/10472 took 663802 ms. Total solver calls (SAT/UNSAT): 2270881(4/2270877)
Jun 02, 2017 2:34:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/10472 took 664938 ms. Total solver calls (SAT/UNSAT): 2274398(4/2274394)
Jun 02, 2017 2:34:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/10472 took 666269 ms. Total solver calls (SAT/UNSAT): 2278659(4/2278655)
Jun 02, 2017 2:34:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/10472 took 667387 ms. Total solver calls (SAT/UNSAT): 2282176(4/2282172)
Jun 02, 2017 2:34:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/10472 took 668767 ms. Total solver calls (SAT/UNSAT): 2286437(4/2286433)
Jun 02, 2017 2:34:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/10472 took 669806 ms. Total solver calls (SAT/UNSAT): 2289954(4/2289950)
Jun 02, 2017 2:34:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/10472 took 671016 ms. Total solver calls (SAT/UNSAT): 2294215(4/2294211)
Jun 02, 2017 2:34:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/10472 took 673215 ms. Total solver calls (SAT/UNSAT): 2301993(4/2301989)
Jun 02, 2017 2:34:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/10472 took 674225 ms. Total solver calls (SAT/UNSAT): 2305510(4/2305506)
Jun 02, 2017 2:34:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/10472 took 675429 ms. Total solver calls (SAT/UNSAT): 2309771(4/2309767)
Jun 02, 2017 2:34:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/10472 took 676438 ms. Total solver calls (SAT/UNSAT): 2313288(4/2313284)
Jun 02, 2017 2:34:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/10472 took 677654 ms. Total solver calls (SAT/UNSAT): 2317549(4/2317545)
Jun 02, 2017 2:34:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/10472 took 678673 ms. Total solver calls (SAT/UNSAT): 2321066(4/2321062)
Jun 02, 2017 2:34:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/10472 took 679905 ms. Total solver calls (SAT/UNSAT): 2325327(4/2325323)
Jun 02, 2017 2:34:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/10472 took 680915 ms. Total solver calls (SAT/UNSAT): 2328844(4/2328840)
Jun 02, 2017 2:34:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/10472 took 682106 ms. Total solver calls (SAT/UNSAT): 2333105(4/2333101)
Jun 02, 2017 2:34:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/10472 took 683106 ms. Total solver calls (SAT/UNSAT): 2336622(4/2336618)
Jun 02, 2017 2:34:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/10472 took 684295 ms. Total solver calls (SAT/UNSAT): 2340883(4/2340879)
Jun 02, 2017 2:34:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/10472 took 685307 ms. Total solver calls (SAT/UNSAT): 2344400(4/2344396)
Jun 02, 2017 2:34:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/10472 took 686503 ms. Total solver calls (SAT/UNSAT): 2348661(4/2348657)
Jun 02, 2017 2:34:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/10472 took 687514 ms. Total solver calls (SAT/UNSAT): 2352178(4/2352174)
Jun 02, 2017 2:34:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/10472 took 688720 ms. Total solver calls (SAT/UNSAT): 2356439(4/2356435)
Jun 02, 2017 2:34:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/10472 took 689720 ms. Total solver calls (SAT/UNSAT): 2359956(4/2359952)
Jun 02, 2017 2:34:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/10472 took 690932 ms. Total solver calls (SAT/UNSAT): 2364217(4/2364213)
Jun 02, 2017 2:34:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/10472 took 691958 ms. Total solver calls (SAT/UNSAT): 2367734(4/2367730)
Jun 02, 2017 2:34:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/10472 took 693190 ms. Total solver calls (SAT/UNSAT): 2371995(4/2371991)
Jun 02, 2017 2:34:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/10472 took 694222 ms. Total solver calls (SAT/UNSAT): 2375512(4/2375508)
Jun 02, 2017 2:34:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/10472 took 695449 ms. Total solver calls (SAT/UNSAT): 2379773(4/2379769)
Jun 02, 2017 2:34:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/10472 took 696498 ms. Total solver calls (SAT/UNSAT): 2383290(4/2383286)
Jun 02, 2017 2:34:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/10472 took 697711 ms. Total solver calls (SAT/UNSAT): 2387551(4/2387547)
Jun 02, 2017 2:34:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/10472 took 698720 ms. Total solver calls (SAT/UNSAT): 2391068(4/2391064)
Jun 02, 2017 2:34:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/10472 took 699976 ms. Total solver calls (SAT/UNSAT): 2395329(4/2395325)
Jun 02, 2017 2:34:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/10472 took 701096 ms. Total solver calls (SAT/UNSAT): 2398846(4/2398842)
Jun 02, 2017 2:34:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/10472 took 702288 ms. Total solver calls (SAT/UNSAT): 2403107(4/2403103)
Jun 02, 2017 2:34:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/10472 took 703313 ms. Total solver calls (SAT/UNSAT): 2406624(4/2406620)
Jun 02, 2017 2:34:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/10472 took 704530 ms. Total solver calls (SAT/UNSAT): 2410885(4/2410881)
Jun 02, 2017 2:34:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/10472 took 705567 ms. Total solver calls (SAT/UNSAT): 2414402(4/2414398)
Jun 02, 2017 2:34:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/10472 took 706818 ms. Total solver calls (SAT/UNSAT): 2418663(4/2418659)
Jun 02, 2017 2:34:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/10472 took 707870 ms. Total solver calls (SAT/UNSAT): 2422180(4/2422176)
Jun 02, 2017 2:34:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/10472 took 709151 ms. Total solver calls (SAT/UNSAT): 2426441(4/2426437)
Jun 02, 2017 2:34:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/10472 took 710241 ms. Total solver calls (SAT/UNSAT): 2429958(4/2429954)
Jun 02, 2017 2:34:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/10472 took 711535 ms. Total solver calls (SAT/UNSAT): 2434219(4/2434215)
Jun 02, 2017 2:34:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/10472 took 712601 ms. Total solver calls (SAT/UNSAT): 2437736(4/2437732)
Jun 02, 2017 2:34:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/10472 took 713865 ms. Total solver calls (SAT/UNSAT): 2441967(4/2441963)
Jun 02, 2017 2:34:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/10472 took 714927 ms. Total solver calls (SAT/UNSAT): 2445454(4/2445450)
Jun 02, 2017 2:34:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/10472 took 716206 ms. Total solver calls (SAT/UNSAT): 2449685(4/2449681)
Jun 02, 2017 2:34:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/10472 took 717273 ms. Total solver calls (SAT/UNSAT): 2453172(4/2453168)
Jun 02, 2017 2:34:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/10472 took 718529 ms. Total solver calls (SAT/UNSAT): 2457403(4/2457399)
Jun 02, 2017 2:34:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/10472 took 719567 ms. Total solver calls (SAT/UNSAT): 2460890(4/2460886)
Jun 02, 2017 2:34:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/10472 took 720805 ms. Total solver calls (SAT/UNSAT): 2465121(4/2465117)
Jun 02, 2017 2:34:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/10472 took 721852 ms. Total solver calls (SAT/UNSAT): 2468608(4/2468604)
Jun 02, 2017 2:34:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/10472 took 723095 ms. Total solver calls (SAT/UNSAT): 2472839(4/2472835)
Jun 02, 2017 2:35:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/10472 took 724203 ms. Total solver calls (SAT/UNSAT): 2476326(4/2476322)
Jun 02, 2017 2:35:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/10472 took 725545 ms. Total solver calls (SAT/UNSAT): 2480557(4/2480553)
Jun 02, 2017 2:35:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/10472 took 726664 ms. Total solver calls (SAT/UNSAT): 2484044(4/2484040)
Jun 02, 2017 2:35:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/10472 took 728001 ms. Total solver calls (SAT/UNSAT): 2488275(4/2488271)
Jun 02, 2017 2:35:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/10472 took 729121 ms. Total solver calls (SAT/UNSAT): 2491762(4/2491758)
Jun 02, 2017 2:35:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/10472 took 730450 ms. Total solver calls (SAT/UNSAT): 2495993(4/2495989)
Jun 02, 2017 2:35:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/10472 took 731565 ms. Total solver calls (SAT/UNSAT): 2499480(4/2499476)
Jun 02, 2017 2:35:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/10472 took 732796 ms. Total solver calls (SAT/UNSAT): 2503711(4/2503707)
Jun 02, 2017 2:35:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/10472 took 733831 ms. Total solver calls (SAT/UNSAT): 2507198(4/2507194)
Jun 02, 2017 2:35:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/10472 took 735076 ms. Total solver calls (SAT/UNSAT): 2511429(4/2511425)
Jun 02, 2017 2:35:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/10472 took 736110 ms. Total solver calls (SAT/UNSAT): 2514916(4/2514912)
Jun 02, 2017 2:35:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/10472 took 737374 ms. Total solver calls (SAT/UNSAT): 2519147(4/2519143)
Jun 02, 2017 2:35:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/10472 took 738416 ms. Total solver calls (SAT/UNSAT): 2522634(4/2522630)
Jun 02, 2017 2:35:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/10472 took 739652 ms. Total solver calls (SAT/UNSAT): 2526865(4/2526861)
Jun 02, 2017 2:35:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/10472 took 740687 ms. Total solver calls (SAT/UNSAT): 2530352(4/2530348)
Jun 02, 2017 2:35:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/10472 took 741939 ms. Total solver calls (SAT/UNSAT): 2534583(4/2534579)
Jun 02, 2017 2:35:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/10472 took 742981 ms. Total solver calls (SAT/UNSAT): 2538070(4/2538066)
Jun 02, 2017 2:35:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/10472 took 744228 ms. Total solver calls (SAT/UNSAT): 2542301(4/2542297)
Jun 02, 2017 2:35:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/10472 took 745260 ms. Total solver calls (SAT/UNSAT): 2545788(4/2545784)
Jun 02, 2017 2:35:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/10472 took 746490 ms. Total solver calls (SAT/UNSAT): 2550019(4/2550015)
Jun 02, 2017 2:35:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/10472 took 747525 ms. Total solver calls (SAT/UNSAT): 2553506(4/2553502)
Jun 02, 2017 2:35:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/10472 took 748751 ms. Total solver calls (SAT/UNSAT): 2557737(4/2557733)
Jun 02, 2017 2:35:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/10472 took 749787 ms. Total solver calls (SAT/UNSAT): 2561224(4/2561220)
Jun 02, 2017 2:35:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/10472 took 751005 ms. Total solver calls (SAT/UNSAT): 2565455(4/2565451)
Jun 02, 2017 2:35:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/10472 took 752039 ms. Total solver calls (SAT/UNSAT): 2568942(4/2568938)
Jun 02, 2017 2:35:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/10472 took 753284 ms. Total solver calls (SAT/UNSAT): 2573173(4/2573169)
Jun 02, 2017 2:35:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/10472 took 754326 ms. Total solver calls (SAT/UNSAT): 2576660(4/2576656)
Jun 02, 2017 2:35:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/10472 took 755579 ms. Total solver calls (SAT/UNSAT): 2580891(4/2580887)
Jun 02, 2017 2:35:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/10472 took 756622 ms. Total solver calls (SAT/UNSAT): 2584378(4/2584374)
Jun 02, 2017 2:35:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/10472 took 757867 ms. Total solver calls (SAT/UNSAT): 2588609(4/2588605)
Jun 02, 2017 2:35:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/10472 took 758921 ms. Total solver calls (SAT/UNSAT): 2592096(4/2592092)
Jun 02, 2017 2:35:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/10472 took 760156 ms. Total solver calls (SAT/UNSAT): 2596327(4/2596323)
Jun 02, 2017 2:35:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/10472 took 761196 ms. Total solver calls (SAT/UNSAT): 2599814(4/2599810)
Jun 02, 2017 2:35:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/10472 took 762420 ms. Total solver calls (SAT/UNSAT): 2604045(4/2604041)
Jun 02, 2017 2:35:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/10472 took 763445 ms. Total solver calls (SAT/UNSAT): 2607532(4/2607528)
Jun 02, 2017 2:35:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/10472 took 764673 ms. Total solver calls (SAT/UNSAT): 2611763(4/2611759)
Jun 02, 2017 2:35:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/10472 took 765699 ms. Total solver calls (SAT/UNSAT): 2615250(4/2615246)
Jun 02, 2017 2:35:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/10472 took 766930 ms. Total solver calls (SAT/UNSAT): 2619481(4/2619477)
Jun 02, 2017 2:35:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/10472 took 767968 ms. Total solver calls (SAT/UNSAT): 2622968(4/2622964)
Jun 02, 2017 2:35:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/10472 took 769218 ms. Total solver calls (SAT/UNSAT): 2627199(4/2627195)
Jun 02, 2017 2:35:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/10472 took 770252 ms. Total solver calls (SAT/UNSAT): 2630686(4/2630682)
Jun 02, 2017 2:35:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/10472 took 771486 ms. Total solver calls (SAT/UNSAT): 2634917(4/2634913)
Jun 02, 2017 2:35:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/10472 took 772539 ms. Total solver calls (SAT/UNSAT): 2638404(4/2638400)
Jun 02, 2017 2:35:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/10472 took 773770 ms. Total solver calls (SAT/UNSAT): 2642665(4/2642661)
Jun 02, 2017 2:35:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/10472 took 774810 ms. Total solver calls (SAT/UNSAT): 2646182(4/2646178)
Jun 02, 2017 2:35:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/10472 took 776053 ms. Total solver calls (SAT/UNSAT): 2650443(4/2650439)
Jun 02, 2017 2:35:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/10472 took 777110 ms. Total solver calls (SAT/UNSAT): 2653960(4/2653956)
Jun 02, 2017 2:35:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/10472 took 778354 ms. Total solver calls (SAT/UNSAT): 2658221(4/2658217)
Jun 02, 2017 2:35:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/10472 took 779472 ms. Total solver calls (SAT/UNSAT): 2661738(4/2661734)
Jun 02, 2017 2:35:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/10472 took 780816 ms. Total solver calls (SAT/UNSAT): 2665999(4/2665995)
Jun 02, 2017 2:35:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/10472 took 781941 ms. Total solver calls (SAT/UNSAT): 2669516(4/2669512)
Jun 02, 2017 2:35:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/10472 took 783245 ms. Total solver calls (SAT/UNSAT): 2673777(4/2673773)
Jun 02, 2017 2:36:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/10472 took 784285 ms. Total solver calls (SAT/UNSAT): 2677294(4/2677290)
Jun 02, 2017 2:36:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/10472 took 785525 ms. Total solver calls (SAT/UNSAT): 2681555(4/2681551)
Jun 02, 2017 2:36:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/10472 took 786561 ms. Total solver calls (SAT/UNSAT): 2685072(4/2685068)
Jun 02, 2017 2:36:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/10472 took 787797 ms. Total solver calls (SAT/UNSAT): 2689333(4/2689329)
Jun 02, 2017 2:36:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/10472 took 788841 ms. Total solver calls (SAT/UNSAT): 2692850(4/2692846)
Jun 02, 2017 2:36:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/10472 took 790074 ms. Total solver calls (SAT/UNSAT): 2697111(4/2697107)
Jun 02, 2017 2:36:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/10472 took 791119 ms. Total solver calls (SAT/UNSAT): 2700628(4/2700624)
Jun 02, 2017 2:36:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/10472 took 792358 ms. Total solver calls (SAT/UNSAT): 2704889(4/2704885)
Jun 02, 2017 2:36:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/10472 took 793392 ms. Total solver calls (SAT/UNSAT): 2708406(4/2708402)
Jun 02, 2017 2:36:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/10472 took 794636 ms. Total solver calls (SAT/UNSAT): 2712667(4/2712663)
Jun 02, 2017 2:36:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/10472 took 795673 ms. Total solver calls (SAT/UNSAT): 2716184(4/2716180)
Jun 02, 2017 2:36:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/10472 took 796924 ms. Total solver calls (SAT/UNSAT): 2720445(4/2720441)
Jun 02, 2017 2:36:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/10472 took 797968 ms. Total solver calls (SAT/UNSAT): 2723962(4/2723958)
Jun 02, 2017 2:36:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/10472 took 799214 ms. Total solver calls (SAT/UNSAT): 2728223(4/2728219)
Jun 02, 2017 2:36:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/10472 took 800256 ms. Total solver calls (SAT/UNSAT): 2731740(4/2731736)
Jun 02, 2017 2:36:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/10472 took 801498 ms. Total solver calls (SAT/UNSAT): 2736001(4/2735997)
Jun 02, 2017 2:36:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/10472 took 802546 ms. Total solver calls (SAT/UNSAT): 2739518(4/2739514)
Jun 02, 2017 2:36:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/10472 took 803787 ms. Total solver calls (SAT/UNSAT): 2743779(4/2743775)
Jun 02, 2017 2:36:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/10472 took 804835 ms. Total solver calls (SAT/UNSAT): 2747296(4/2747292)
Jun 02, 2017 2:36:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/10472 took 806066 ms. Total solver calls (SAT/UNSAT): 2751557(4/2751553)
Jun 02, 2017 2:36:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/10472 took 807108 ms. Total solver calls (SAT/UNSAT): 2755074(4/2755070)
Jun 02, 2017 2:36:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/10472 took 808341 ms. Total solver calls (SAT/UNSAT): 2759335(4/2759331)
Jun 02, 2017 2:36:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/10472 took 809376 ms. Total solver calls (SAT/UNSAT): 2762852(4/2762848)
Jun 02, 2017 2:36:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/10472 took 810662 ms. Total solver calls (SAT/UNSAT): 2767113(4/2767109)
Jun 02, 2017 2:36:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/10472 took 811774 ms. Total solver calls (SAT/UNSAT): 2770630(4/2770626)
Jun 02, 2017 2:36:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/10472 took 813107 ms. Total solver calls (SAT/UNSAT): 2774891(4/2774887)
Jun 02, 2017 2:36:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/10472 took 814217 ms. Total solver calls (SAT/UNSAT): 2778408(4/2778404)
Jun 02, 2017 2:36:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/10472 took 815505 ms. Total solver calls (SAT/UNSAT): 2782669(4/2782665)
Jun 02, 2017 2:36:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/10472 took 816547 ms. Total solver calls (SAT/UNSAT): 2786186(4/2786182)
Jun 02, 2017 2:36:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/10472 took 817789 ms. Total solver calls (SAT/UNSAT): 2790447(4/2790443)
Jun 02, 2017 2:36:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/10472 took 818838 ms. Total solver calls (SAT/UNSAT): 2793964(4/2793960)
Jun 02, 2017 2:36:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/10472 took 820079 ms. Total solver calls (SAT/UNSAT): 2798225(4/2798221)
Jun 02, 2017 2:36:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/10472 took 821128 ms. Total solver calls (SAT/UNSAT): 2801742(4/2801738)
Jun 02, 2017 2:36:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/10472 took 822361 ms. Total solver calls (SAT/UNSAT): 2806003(4/2805999)
Jun 02, 2017 2:36:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/10472 took 823406 ms. Total solver calls (SAT/UNSAT): 2809520(4/2809516)
Jun 02, 2017 2:36:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/10472 took 824641 ms. Total solver calls (SAT/UNSAT): 2813781(4/2813777)
Jun 02, 2017 2:36:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/10472 took 825674 ms. Total solver calls (SAT/UNSAT): 2817298(4/2817294)
Jun 02, 2017 2:36:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/10472 took 826910 ms. Total solver calls (SAT/UNSAT): 2821559(4/2821555)
Jun 02, 2017 2:36:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :727/10472 took 827951 ms. Total solver calls (SAT/UNSAT): 2825076(4/2825072)
Jun 02, 2017 2:36:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/10472 took 829194 ms. Total solver calls (SAT/UNSAT): 2829337(4/2829333)
Jun 02, 2017 2:36:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/10472 took 830224 ms. Total solver calls (SAT/UNSAT): 2832854(4/2832850)
Jun 02, 2017 2:36:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/10472 took 831460 ms. Total solver calls (SAT/UNSAT): 2837115(4/2837111)
Jun 02, 2017 2:36:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/10472 took 832490 ms. Total solver calls (SAT/UNSAT): 2840632(4/2840628)
Jun 02, 2017 2:36:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/10472 took 833714 ms. Total solver calls (SAT/UNSAT): 2844893(4/2844889)
Jun 02, 2017 2:36:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/10472 took 834758 ms. Total solver calls (SAT/UNSAT): 2848410(4/2848406)
Jun 02, 2017 2:36:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/10472 took 835983 ms. Total solver calls (SAT/UNSAT): 2852671(4/2852667)
Jun 02, 2017 2:36:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/10472 took 837024 ms. Total solver calls (SAT/UNSAT): 2856188(4/2856184)
Jun 02, 2017 2:36:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/10472 took 838252 ms. Total solver calls (SAT/UNSAT): 2860449(4/2860445)
Jun 02, 2017 2:36:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/10472 took 839289 ms. Total solver calls (SAT/UNSAT): 2863966(4/2863962)
Jun 02, 2017 2:36:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/10472 took 840530 ms. Total solver calls (SAT/UNSAT): 2868227(4/2868223)
Jun 02, 2017 2:36:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/10472 took 841577 ms. Total solver calls (SAT/UNSAT): 2871744(4/2871740)
Jun 02, 2017 2:36:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/10472 took 842820 ms. Total solver calls (SAT/UNSAT): 2876005(4/2876001)
Jun 02, 2017 2:37:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/10472 took 843855 ms. Total solver calls (SAT/UNSAT): 2879522(4/2879518)
Jun 02, 2017 2:37:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/10472 took 845099 ms. Total solver calls (SAT/UNSAT): 2883783(4/2883779)
Jun 02, 2017 2:37:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/10472 took 846137 ms. Total solver calls (SAT/UNSAT): 2887300(4/2887296)
Jun 02, 2017 2:37:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/10472 took 847364 ms. Total solver calls (SAT/UNSAT): 2891561(4/2891557)
Jun 02, 2017 2:37:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/10472 took 848402 ms. Total solver calls (SAT/UNSAT): 2895078(4/2895074)
Jun 02, 2017 2:37:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/10472 took 849630 ms. Total solver calls (SAT/UNSAT): 2899339(4/2899335)
Jun 02, 2017 2:37:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/10472 took 850667 ms. Total solver calls (SAT/UNSAT): 2902856(4/2902852)
Jun 02, 2017 2:37:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/10472 took 851897 ms. Total solver calls (SAT/UNSAT): 2907117(4/2907113)
Jun 02, 2017 2:37:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/10472 took 852935 ms. Total solver calls (SAT/UNSAT): 2910634(4/2910630)
Jun 02, 2017 2:37:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/10472 took 854180 ms. Total solver calls (SAT/UNSAT): 2914895(4/2914891)
Jun 02, 2017 2:37:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/10472 took 855228 ms. Total solver calls (SAT/UNSAT): 2918412(4/2918408)
Jun 02, 2017 2:37:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/10472 took 856464 ms. Total solver calls (SAT/UNSAT): 2922673(4/2922669)
Jun 02, 2017 2:37:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/10472 took 857557 ms. Total solver calls (SAT/UNSAT): 2926190(4/2926186)
Jun 02, 2017 2:37:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/10472 took 858895 ms. Total solver calls (SAT/UNSAT): 2930451(4/2930447)
Jun 02, 2017 2:37:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/10472 took 860015 ms. Total solver calls (SAT/UNSAT): 2933968(4/2933964)
Jun 02, 2017 2:37:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/10472 took 861342 ms. Total solver calls (SAT/UNSAT): 2938229(4/2938225)
Jun 02, 2017 2:37:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/10472 took 862466 ms. Total solver calls (SAT/UNSAT): 2941746(4/2941742)
Jun 02, 2017 2:37:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/10472 took 863803 ms. Total solver calls (SAT/UNSAT): 2946007(4/2946003)
Jun 02, 2017 2:37:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/10472 took 864868 ms. Total solver calls (SAT/UNSAT): 2949524(4/2949520)
Jun 02, 2017 2:37:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/10472 took 866105 ms. Total solver calls (SAT/UNSAT): 2953785(4/2953781)
Jun 02, 2017 2:37:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/10472 took 867152 ms. Total solver calls (SAT/UNSAT): 2957302(4/2957298)
Jun 02, 2017 2:37:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/10472 took 868379 ms. Total solver calls (SAT/UNSAT): 2961563(4/2961559)
Jun 02, 2017 2:37:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/10472 took 869414 ms. Total solver calls (SAT/UNSAT): 2965080(4/2965076)
Jun 02, 2017 2:37:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/10472 took 870638 ms. Total solver calls (SAT/UNSAT): 2969341(4/2969337)
Jun 02, 2017 2:37:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/10472 took 871668 ms. Total solver calls (SAT/UNSAT): 2972858(4/2972854)
Jun 02, 2017 2:37:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/10472 took 872900 ms. Total solver calls (SAT/UNSAT): 2977119(4/2977115)
Jun 02, 2017 2:37:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/10472 took 873930 ms. Total solver calls (SAT/UNSAT): 2980636(4/2980632)
Jun 02, 2017 2:37:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/10472 took 875158 ms. Total solver calls (SAT/UNSAT): 2984897(4/2984893)
Jun 02, 2017 2:37:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/10472 took 876203 ms. Total solver calls (SAT/UNSAT): 2988414(4/2988410)
Jun 02, 2017 2:37:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/10472 took 877430 ms. Total solver calls (SAT/UNSAT): 2992675(4/2992671)
Jun 02, 2017 2:37:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/10472 took 878460 ms. Total solver calls (SAT/UNSAT): 2996192(4/2996188)
Jun 02, 2017 2:37:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/10472 took 879684 ms. Total solver calls (SAT/UNSAT): 3000453(4/3000449)
Jun 02, 2017 2:37:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/10472 took 880731 ms. Total solver calls (SAT/UNSAT): 3003970(4/3003966)
Jun 02, 2017 2:37:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/10472 took 881963 ms. Total solver calls (SAT/UNSAT): 3008231(4/3008227)
Jun 02, 2017 2:37:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/10472 took 883006 ms. Total solver calls (SAT/UNSAT): 3011748(4/3011744)
Jun 02, 2017 2:37:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/10472 took 884260 ms. Total solver calls (SAT/UNSAT): 3016009(4/3016005)
Jun 02, 2017 2:37:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/10472 took 885303 ms. Total solver calls (SAT/UNSAT): 3019526(4/3019522)
Jun 02, 2017 2:37:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/10472 took 886546 ms. Total solver calls (SAT/UNSAT): 3023787(4/3023783)
Jun 02, 2017 2:37:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/10472 took 887588 ms. Total solver calls (SAT/UNSAT): 3027304(4/3027300)
Jun 02, 2017 2:37:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/10472 took 888826 ms. Total solver calls (SAT/UNSAT): 3031565(4/3031561)
Jun 02, 2017 2:37:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/10472 took 889890 ms. Total solver calls (SAT/UNSAT): 3035082(4/3035078)
Jun 02, 2017 2:37:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/10472 took 891140 ms. Total solver calls (SAT/UNSAT): 3039343(4/3039339)
Jun 02, 2017 2:37:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/10472 took 892175 ms. Total solver calls (SAT/UNSAT): 3042860(4/3042856)
Jun 02, 2017 2:37:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/10472 took 893438 ms. Total solver calls (SAT/UNSAT): 3047121(4/3047117)
Jun 02, 2017 2:37:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/10472 took 894567 ms. Total solver calls (SAT/UNSAT): 3050638(4/3050634)
Jun 02, 2017 2:37:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/10472 took 895804 ms. Total solver calls (SAT/UNSAT): 3054899(4/3054895)
Jun 02, 2017 2:37:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/10472 took 896844 ms. Total solver calls (SAT/UNSAT): 3058416(4/3058412)
Jun 02, 2017 2:37:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/10472 took 898086 ms. Total solver calls (SAT/UNSAT): 3062677(4/3062673)
Jun 02, 2017 2:37:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/10472 took 899129 ms. Total solver calls (SAT/UNSAT): 3066194(4/3066190)
Jun 02, 2017 2:37:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/10472 took 900364 ms. Total solver calls (SAT/UNSAT): 3070455(4/3070451)
Jun 02, 2017 2:37:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/10472 took 901414 ms. Total solver calls (SAT/UNSAT): 3073972(4/3073968)
Jun 02, 2017 2:37:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/10472 took 902667 ms. Total solver calls (SAT/UNSAT): 3078233(4/3078229)
Jun 02, 2017 2:38:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/10472 took 903717 ms. Total solver calls (SAT/UNSAT): 3081750(4/3081746)
Jun 02, 2017 2:38:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/10472 took 904965 ms. Total solver calls (SAT/UNSAT): 3086011(4/3086007)
Jun 02, 2017 2:38:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/10472 took 906012 ms. Total solver calls (SAT/UNSAT): 3089528(4/3089524)
Jun 02, 2017 2:38:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/10472 took 907258 ms. Total solver calls (SAT/UNSAT): 3093789(4/3093785)
Jun 02, 2017 2:38:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/10472 took 908303 ms. Total solver calls (SAT/UNSAT): 3097306(4/3097302)
Jun 02, 2017 2:38:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/10472 took 909550 ms. Total solver calls (SAT/UNSAT): 3101567(4/3101563)
Jun 02, 2017 2:38:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/10472 took 910604 ms. Total solver calls (SAT/UNSAT): 3105084(4/3105080)
Jun 02, 2017 2:38:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/10472 took 911840 ms. Total solver calls (SAT/UNSAT): 3109345(4/3109341)
Jun 02, 2017 2:38:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/10472 took 912875 ms. Total solver calls (SAT/UNSAT): 3112862(4/3112858)
Jun 02, 2017 2:38:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/10472 took 914103 ms. Total solver calls (SAT/UNSAT): 3117123(4/3117119)
Jun 02, 2017 2:38:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/10472 took 915147 ms. Total solver calls (SAT/UNSAT): 3120640(4/3120636)
Jun 02, 2017 2:38:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/10472 took 916393 ms. Total solver calls (SAT/UNSAT): 3124901(4/3124897)
Jun 02, 2017 2:38:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/10472 took 917425 ms. Total solver calls (SAT/UNSAT): 3128418(4/3128414)
Jun 02, 2017 2:38:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/10472 took 918656 ms. Total solver calls (SAT/UNSAT): 3132679(4/3132675)
Jun 02, 2017 2:38:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/10472 took 919699 ms. Total solver calls (SAT/UNSAT): 3136196(4/3136192)
Jun 02, 2017 2:38:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/10472 took 920938 ms. Total solver calls (SAT/UNSAT): 3140457(4/3140453)
Jun 02, 2017 2:38:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/10472 took 921973 ms. Total solver calls (SAT/UNSAT): 3143974(4/3143970)
Jun 02, 2017 2:38:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/10472 took 923224 ms. Total solver calls (SAT/UNSAT): 3148235(4/3148231)
Jun 02, 2017 2:38:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/10472 took 924273 ms. Total solver calls (SAT/UNSAT): 3151752(4/3151748)
Jun 02, 2017 2:38:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/10472 took 925540 ms. Total solver calls (SAT/UNSAT): 3156013(4/3156009)
Jun 02, 2017 2:38:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/10472 took 926600 ms. Total solver calls (SAT/UNSAT): 3159530(4/3159526)
Jun 02, 2017 2:38:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/10472 took 927842 ms. Total solver calls (SAT/UNSAT): 3163791(4/3163787)
Jun 02, 2017 2:38:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :815/10472 took 928893 ms. Total solver calls (SAT/UNSAT): 3167308(4/3167304)
Jun 02, 2017 2:38:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/10472 took 930156 ms. Total solver calls (SAT/UNSAT): 3171569(4/3171565)
Jun 02, 2017 2:38:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/10472 took 931188 ms. Total solver calls (SAT/UNSAT): 3175086(4/3175082)
Jun 02, 2017 2:38:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/10472 took 932422 ms. Total solver calls (SAT/UNSAT): 3179347(4/3179343)
Jun 02, 2017 2:38:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/10472 took 933452 ms. Total solver calls (SAT/UNSAT): 3182864(4/3182860)
Jun 02, 2017 2:38:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/10472 took 934685 ms. Total solver calls (SAT/UNSAT): 3187125(4/3187121)
Jun 02, 2017 2:38:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/10472 took 935715 ms. Total solver calls (SAT/UNSAT): 3190642(4/3190638)
Jun 02, 2017 2:38:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/10472 took 936949 ms. Total solver calls (SAT/UNSAT): 3194903(4/3194899)
Jun 02, 2017 2:38:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/10472 took 937985 ms. Total solver calls (SAT/UNSAT): 3198420(4/3198416)
Jun 02, 2017 2:38:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/10472 took 939224 ms. Total solver calls (SAT/UNSAT): 3202681(4/3202677)
Jun 02, 2017 2:38:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/10472 took 940274 ms. Total solver calls (SAT/UNSAT): 3206198(4/3206194)
Jun 02, 2017 2:38:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/10472 took 941503 ms. Total solver calls (SAT/UNSAT): 3210459(4/3210455)
Jun 02, 2017 2:38:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/10472 took 942555 ms. Total solver calls (SAT/UNSAT): 3213976(4/3213972)
Jun 02, 2017 2:38:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/10472 took 943806 ms. Total solver calls (SAT/UNSAT): 3218237(4/3218233)
Jun 02, 2017 2:38:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/10472 took 944868 ms. Total solver calls (SAT/UNSAT): 3221754(4/3221750)
Jun 02, 2017 2:38:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/10472 took 946122 ms. Total solver calls (SAT/UNSAT): 3226015(4/3226011)
Jun 02, 2017 2:38:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/10472 took 947162 ms. Total solver calls (SAT/UNSAT): 3229532(4/3229528)
Jun 02, 2017 2:38:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/10472 took 948409 ms. Total solver calls (SAT/UNSAT): 3233793(4/3233789)
Jun 02, 2017 2:38:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/10472 took 949451 ms. Total solver calls (SAT/UNSAT): 3237310(4/3237306)
Jun 02, 2017 2:38:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/10472 took 950700 ms. Total solver calls (SAT/UNSAT): 3241571(4/3241567)
Jun 02, 2017 2:38:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/10472 took 951736 ms. Total solver calls (SAT/UNSAT): 3245088(4/3245084)

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_DotAndBoxes-COL-5"
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_DotAndBoxes-COL-5.tgz
mv S_DotAndBoxes-COL-5 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_DotAndBoxes-COL-5, 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 r110-blw3-149441614200176"
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 ;