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

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


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
May 31, 2017 4:29:05 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 31, 2017 4:29: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
May 31, 2017 4:29:07 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1713 ms
May 31, 2017 4:29:07 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 8 places.
May 31, 2017 4:29:07 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
May 31, 2017 4:29: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,

May 31, 2017 4:29:07 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 8 transitions.
May 31, 2017 4:29:07 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
May 31, 2017 4:29: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
May 31, 2017 4:29: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
May 31, 2017 4:29:08 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Eval1[24,49,74,99],
May 31, 2017 4:29:08 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 20 expressions due to constant valuations.
May 31, 2017 4:29:08 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 766 ms
May 31, 2017 4:29:08 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 27 ms
May 31, 2017 4:29:08 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 5 ms
May 31, 2017 4:29:17 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 79 place invariants in 983 ms
May 31, 2017 5:02:00 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 360 variables to be positive in 1964239 ms
May 31, 2017 5:02:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 10472 transitions.
May 31, 2017 5:02:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/10472 took 2093 ms. Total solver calls (SAT/UNSAT): 3426(1/3425)
May 31, 2017 5:02:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1/10472 took 4150 ms. Total solver calls (SAT/UNSAT): 6852(2/6850)
May 31, 2017 5:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/10472 took 6683 ms. Total solver calls (SAT/UNSAT): 11110(3/11107)
May 31, 2017 5:02:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/10472 took 9217 ms. Total solver calls (SAT/UNSAT): 15368(4/15364)
May 31, 2017 5:02:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/10472 took 10471 ms. Total solver calls (SAT/UNSAT): 19602(4/19598)
May 31, 2017 5:02:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/10472 took 11526 ms. Total solver calls (SAT/UNSAT): 23092(4/23088)
May 31, 2017 5:02:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/10472 took 12749 ms. Total solver calls (SAT/UNSAT): 27326(4/27322)
May 31, 2017 5:02:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/10472 took 13786 ms. Total solver calls (SAT/UNSAT): 30816(4/30812)
May 31, 2017 5:02:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/10472 took 15021 ms. Total solver calls (SAT/UNSAT): 35050(4/35046)
May 31, 2017 5:02:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/10472 took 16055 ms. Total solver calls (SAT/UNSAT): 38540(4/38536)
May 31, 2017 5:02:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/10472 took 17289 ms. Total solver calls (SAT/UNSAT): 42774(4/42770)
May 31, 2017 5:02:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/10472 took 18313 ms. Total solver calls (SAT/UNSAT): 46264(4/46260)
May 31, 2017 5:02:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/10472 took 19538 ms. Total solver calls (SAT/UNSAT): 50498(4/50494)
May 31, 2017 5:02:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/10472 took 20552 ms. Total solver calls (SAT/UNSAT): 53988(4/53984)
May 31, 2017 5:02:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/10472 took 21748 ms. Total solver calls (SAT/UNSAT): 58222(4/58218)
May 31, 2017 5:02:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/10472 took 22770 ms. Total solver calls (SAT/UNSAT): 61712(4/61708)
May 31, 2017 5:02:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/10472 took 23984 ms. Total solver calls (SAT/UNSAT): 65946(4/65942)
May 31, 2017 5:02:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/10472 took 25007 ms. Total solver calls (SAT/UNSAT): 69436(4/69432)
May 31, 2017 5:02:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/10472 took 26229 ms. Total solver calls (SAT/UNSAT): 73670(4/73666)
May 31, 2017 5:02:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/10472 took 27266 ms. Total solver calls (SAT/UNSAT): 77160(4/77156)
May 31, 2017 5:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/10472 took 28471 ms. Total solver calls (SAT/UNSAT): 81394(4/81390)
May 31, 2017 5:02:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/10472 took 30664 ms. Total solver calls (SAT/UNSAT): 89118(4/89114)
May 31, 2017 5:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/10472 took 31676 ms. Total solver calls (SAT/UNSAT): 92608(4/92604)
May 31, 2017 5:02:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/10472 took 32859 ms. Total solver calls (SAT/UNSAT): 96842(4/96838)
May 31, 2017 5:02:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/10472 took 33862 ms. Total solver calls (SAT/UNSAT): 100332(4/100328)
May 31, 2017 5:02:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/10472 took 35062 ms. Total solver calls (SAT/UNSAT): 104566(4/104562)
May 31, 2017 5:02:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/10472 took 36084 ms. Total solver calls (SAT/UNSAT): 108056(4/108052)
May 31, 2017 5:02:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/10472 took 37298 ms. Total solver calls (SAT/UNSAT): 112290(4/112286)
May 31, 2017 5:02:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/10472 took 39470 ms. Total solver calls (SAT/UNSAT): 120014(4/120010)
May 31, 2017 5:02:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/10472 took 41701 ms. Total solver calls (SAT/UNSAT): 127738(4/127734)
May 31, 2017 5:02:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/10472 took 42749 ms. Total solver calls (SAT/UNSAT): 131228(4/131224)
May 31, 2017 5:02:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/10472 took 43973 ms. Total solver calls (SAT/UNSAT): 135462(4/135458)
May 31, 2017 5:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/10472 took 45013 ms. Total solver calls (SAT/UNSAT): 138952(4/138948)
May 31, 2017 5:02:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/10472 took 46231 ms. Total solver calls (SAT/UNSAT): 143186(4/143182)
May 31, 2017 5:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/10472 took 47276 ms. Total solver calls (SAT/UNSAT): 146676(4/146672)
May 31, 2017 5:02:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/10472 took 48499 ms. Total solver calls (SAT/UNSAT): 150910(4/150906)
May 31, 2017 5:02:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/10472 took 49511 ms. Total solver calls (SAT/UNSAT): 154400(4/154396)
May 31, 2017 5:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/10472 took 50728 ms. Total solver calls (SAT/UNSAT): 158634(4/158630)
May 31, 2017 5:02:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/10472 took 51782 ms. Total solver calls (SAT/UNSAT): 162124(4/162120)
May 31, 2017 5:02:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/10472 took 53042 ms. Total solver calls (SAT/UNSAT): 166358(4/166354)
May 31, 2017 5:02:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/10472 took 54084 ms. Total solver calls (SAT/UNSAT): 169848(4/169844)
May 31, 2017 5:02:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/10472 took 55328 ms. Total solver calls (SAT/UNSAT): 174082(4/174078)
May 31, 2017 5:02:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/10472 took 56365 ms. Total solver calls (SAT/UNSAT): 177572(4/177568)
May 31, 2017 5:02:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/10472 took 57602 ms. Total solver calls (SAT/UNSAT): 181806(4/181802)
May 31, 2017 5:02:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/10472 took 58623 ms. Total solver calls (SAT/UNSAT): 185296(4/185292)
May 31, 2017 5:03:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/10472 took 59826 ms. Total solver calls (SAT/UNSAT): 189530(4/189526)
May 31, 2017 5:03:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/10472 took 60850 ms. Total solver calls (SAT/UNSAT): 193020(4/193016)
May 31, 2017 5:03:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/10472 took 62095 ms. Total solver calls (SAT/UNSAT): 197254(4/197250)
May 31, 2017 5:03:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/10472 took 63146 ms. Total solver calls (SAT/UNSAT): 200744(4/200740)
May 31, 2017 5:03:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/10472 took 64359 ms. Total solver calls (SAT/UNSAT): 204978(4/204974)
May 31, 2017 5:03:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/10472 took 65377 ms. Total solver calls (SAT/UNSAT): 208468(4/208464)
May 31, 2017 5:03:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/10472 took 66584 ms. Total solver calls (SAT/UNSAT): 212702(4/212698)
May 31, 2017 5:03:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/10472 took 67592 ms. Total solver calls (SAT/UNSAT): 216192(4/216188)
May 31, 2017 5:03:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/10472 took 68798 ms. Total solver calls (SAT/UNSAT): 220453(4/220449)
May 31, 2017 5:03:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/10472 took 69809 ms. Total solver calls (SAT/UNSAT): 223970(4/223966)
May 31, 2017 5:03:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/10472 took 71019 ms. Total solver calls (SAT/UNSAT): 228231(4/228227)
May 31, 2017 5:03:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/10472 took 72037 ms. Total solver calls (SAT/UNSAT): 231748(4/231744)
May 31, 2017 5:03:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/10472 took 73249 ms. Total solver calls (SAT/UNSAT): 236009(4/236005)
May 31, 2017 5:03:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/10472 took 74263 ms. Total solver calls (SAT/UNSAT): 239526(4/239522)
May 31, 2017 5:03:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/10472 took 75472 ms. Total solver calls (SAT/UNSAT): 243787(4/243783)
May 31, 2017 5:03:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/10472 took 76486 ms. Total solver calls (SAT/UNSAT): 247304(4/247300)
May 31, 2017 5:03:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/10472 took 77695 ms. Total solver calls (SAT/UNSAT): 251565(4/251561)
May 31, 2017 5:03:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/10472 took 78708 ms. Total solver calls (SAT/UNSAT): 255082(4/255078)
May 31, 2017 5:03:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/10472 took 79916 ms. Total solver calls (SAT/UNSAT): 259343(4/259339)
May 31, 2017 5:03:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/10472 took 80930 ms. Total solver calls (SAT/UNSAT): 262860(4/262856)
May 31, 2017 5:03:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/10472 took 82141 ms. Total solver calls (SAT/UNSAT): 267121(4/267117)
May 31, 2017 5:03:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/10472 took 83153 ms. Total solver calls (SAT/UNSAT): 270638(4/270634)
May 31, 2017 5:03:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/10472 took 84361 ms. Total solver calls (SAT/UNSAT): 274899(4/274895)
May 31, 2017 5:03:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/10472 took 85385 ms. Total solver calls (SAT/UNSAT): 278416(4/278412)
May 31, 2017 5:03:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/10472 took 86607 ms. Total solver calls (SAT/UNSAT): 282677(4/282673)
May 31, 2017 5:03:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/10472 took 87618 ms. Total solver calls (SAT/UNSAT): 286194(4/286190)
May 31, 2017 5:03:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/10472 took 88822 ms. Total solver calls (SAT/UNSAT): 290455(4/290451)
May 31, 2017 5:03:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/10472 took 89832 ms. Total solver calls (SAT/UNSAT): 293972(4/293968)
May 31, 2017 5:03:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/10472 took 91046 ms. Total solver calls (SAT/UNSAT): 298233(4/298229)
May 31, 2017 5:03:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/10472 took 92057 ms. Total solver calls (SAT/UNSAT): 301750(4/301746)
May 31, 2017 5:03:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/10472 took 93265 ms. Total solver calls (SAT/UNSAT): 306011(4/306007)
May 31, 2017 5:03:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/10472 took 94283 ms. Total solver calls (SAT/UNSAT): 309528(4/309524)
May 31, 2017 5:03:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/10472 took 95558 ms. Total solver calls (SAT/UNSAT): 313789(4/313785)
May 31, 2017 5:03:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/10472 took 96577 ms. Total solver calls (SAT/UNSAT): 317306(4/317302)
May 31, 2017 5:03:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/10472 took 97790 ms. Total solver calls (SAT/UNSAT): 321567(4/321563)
May 31, 2017 5:03:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/10472 took 98831 ms. Total solver calls (SAT/UNSAT): 325084(4/325080)
May 31, 2017 5:03:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/10472 took 100113 ms. Total solver calls (SAT/UNSAT): 329345(4/329341)
May 31, 2017 5:03:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/10472 took 101190 ms. Total solver calls (SAT/UNSAT): 332862(4/332858)
May 31, 2017 5:03:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/10472 took 102438 ms. Total solver calls (SAT/UNSAT): 337123(4/337119)
May 31, 2017 5:03:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/10472 took 103461 ms. Total solver calls (SAT/UNSAT): 340640(4/340636)
May 31, 2017 5:03:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/10472 took 104680 ms. Total solver calls (SAT/UNSAT): 344901(4/344897)
May 31, 2017 5:03:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/10472 took 105745 ms. Total solver calls (SAT/UNSAT): 348418(4/348414)
May 31, 2017 5:03:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/10472 took 106997 ms. Total solver calls (SAT/UNSAT): 352679(4/352675)
May 31, 2017 5:03:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/10472 took 108024 ms. Total solver calls (SAT/UNSAT): 356196(4/356192)
May 31, 2017 5:03:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/10472 took 109267 ms. Total solver calls (SAT/UNSAT): 360457(4/360453)
May 31, 2017 5:03:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/10472 took 110330 ms. Total solver calls (SAT/UNSAT): 363974(4/363970)
May 31, 2017 5:03:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/10472 took 111586 ms. Total solver calls (SAT/UNSAT): 368235(4/368231)
May 31, 2017 5:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/10472 took 112652 ms. Total solver calls (SAT/UNSAT): 371752(4/371748)
May 31, 2017 5:03:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/10472 took 113912 ms. Total solver calls (SAT/UNSAT): 376013(4/376009)
May 31, 2017 5:03:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/10472 took 114971 ms. Total solver calls (SAT/UNSAT): 379530(4/379526)
May 31, 2017 5:03:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/10472 took 116178 ms. Total solver calls (SAT/UNSAT): 383791(4/383787)
May 31, 2017 5:03:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/10472 took 117186 ms. Total solver calls (SAT/UNSAT): 387308(4/387304)
May 31, 2017 5:03:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/10472 took 118384 ms. Total solver calls (SAT/UNSAT): 391569(4/391565)
May 31, 2017 5:04:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/10472 took 120557 ms. Total solver calls (SAT/UNSAT): 399347(4/399343)
May 31, 2017 5:04:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/10472 took 122722 ms. Total solver calls (SAT/UNSAT): 407125(4/407121)
May 31, 2017 5:04:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/10472 took 124888 ms. Total solver calls (SAT/UNSAT): 414903(4/414899)
May 31, 2017 5:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/10472 took 127051 ms. Total solver calls (SAT/UNSAT): 422681(4/422677)
May 31, 2017 5:04:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/10472 took 129314 ms. Total solver calls (SAT/UNSAT): 430459(4/430455)
May 31, 2017 5:04:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/10472 took 130315 ms. Total solver calls (SAT/UNSAT): 433976(4/433972)
May 31, 2017 5:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/10472 took 131515 ms. Total solver calls (SAT/UNSAT): 438237(4/438233)
May 31, 2017 5:04:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/10472 took 132523 ms. Total solver calls (SAT/UNSAT): 441754(4/441750)
May 31, 2017 5:04:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/10472 took 133712 ms. Total solver calls (SAT/UNSAT): 446015(4/446011)
May 31, 2017 5:04:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/10472 took 134712 ms. Total solver calls (SAT/UNSAT): 449532(4/449528)
May 31, 2017 5:04:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/10472 took 135905 ms. Total solver calls (SAT/UNSAT): 453793(4/453789)
May 31, 2017 5:04:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/10472 took 136907 ms. Total solver calls (SAT/UNSAT): 457310(4/457306)
May 31, 2017 5:04:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/10472 took 138117 ms. Total solver calls (SAT/UNSAT): 461571(4/461567)
May 31, 2017 5:04:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/10472 took 139170 ms. Total solver calls (SAT/UNSAT): 465088(4/465084)
May 31, 2017 5:04:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/10472 took 140400 ms. Total solver calls (SAT/UNSAT): 469349(4/469345)
May 31, 2017 5:04:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/10472 took 141409 ms. Total solver calls (SAT/UNSAT): 472866(4/472862)
May 31, 2017 5:04:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/10472 took 142611 ms. Total solver calls (SAT/UNSAT): 477127(4/477123)
May 31, 2017 5:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/10472 took 143622 ms. Total solver calls (SAT/UNSAT): 480644(4/480640)
May 31, 2017 5:04:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/10472 took 144829 ms. Total solver calls (SAT/UNSAT): 484905(4/484901)
May 31, 2017 5:04:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/10472 took 145835 ms. Total solver calls (SAT/UNSAT): 488422(4/488418)
May 31, 2017 5:04:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/10472 took 147037 ms. Total solver calls (SAT/UNSAT): 492683(4/492679)
May 31, 2017 5:04:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/10472 took 148046 ms. Total solver calls (SAT/UNSAT): 496200(4/496196)
May 31, 2017 5:04:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/10472 took 149248 ms. Total solver calls (SAT/UNSAT): 500461(4/500457)
May 31, 2017 5:04:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/10472 took 150256 ms. Total solver calls (SAT/UNSAT): 503978(4/503974)
May 31, 2017 5:04:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/10472 took 151454 ms. Total solver calls (SAT/UNSAT): 508239(4/508235)
May 31, 2017 5:04:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/10472 took 152460 ms. Total solver calls (SAT/UNSAT): 511756(4/511752)
May 31, 2017 5:04:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/10472 took 153661 ms. Total solver calls (SAT/UNSAT): 516017(4/516013)
May 31, 2017 5:04:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/10472 took 154667 ms. Total solver calls (SAT/UNSAT): 519534(4/519530)
May 31, 2017 5:04:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/10472 took 155867 ms. Total solver calls (SAT/UNSAT): 523795(4/523791)
May 31, 2017 5:04:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/10472 took 156875 ms. Total solver calls (SAT/UNSAT): 527312(4/527308)
May 31, 2017 5:04:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/10472 took 158075 ms. Total solver calls (SAT/UNSAT): 531573(4/531569)
May 31, 2017 5:04:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/10472 took 159080 ms. Total solver calls (SAT/UNSAT): 535090(4/535086)
May 31, 2017 5:04:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/10472 took 160279 ms. Total solver calls (SAT/UNSAT): 539351(4/539347)
May 31, 2017 5:04:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/10472 took 161282 ms. Total solver calls (SAT/UNSAT): 542868(4/542864)
May 31, 2017 5:04:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/10472 took 162479 ms. Total solver calls (SAT/UNSAT): 547129(4/547125)
May 31, 2017 5:04:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/10472 took 163483 ms. Total solver calls (SAT/UNSAT): 550646(4/550642)
May 31, 2017 5:04:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/10472 took 164682 ms. Total solver calls (SAT/UNSAT): 554907(4/554903)
May 31, 2017 5:04:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/10472 took 165687 ms. Total solver calls (SAT/UNSAT): 558424(4/558420)
May 31, 2017 5:04:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/10472 took 166885 ms. Total solver calls (SAT/UNSAT): 562685(4/562681)
May 31, 2017 5:04:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/10472 took 167917 ms. Total solver calls (SAT/UNSAT): 566202(4/566198)
May 31, 2017 5:04:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/10472 took 169178 ms. Total solver calls (SAT/UNSAT): 570463(4/570459)
May 31, 2017 5:04:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/10472 took 170227 ms. Total solver calls (SAT/UNSAT): 573980(4/573976)
May 31, 2017 5:04:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/10472 took 171428 ms. Total solver calls (SAT/UNSAT): 578241(4/578237)
May 31, 2017 5:04:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/10472 took 172439 ms. Total solver calls (SAT/UNSAT): 581758(4/581754)
May 31, 2017 5:04:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/10472 took 173656 ms. Total solver calls (SAT/UNSAT): 586019(4/586015)
May 31, 2017 5:04:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/10472 took 174717 ms. Total solver calls (SAT/UNSAT): 589536(4/589532)
May 31, 2017 5:04:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/10472 took 175976 ms. Total solver calls (SAT/UNSAT): 593797(4/593793)
May 31, 2017 5:04:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/10472 took 177050 ms. Total solver calls (SAT/UNSAT): 597314(4/597310)
May 31, 2017 5:04:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/10472 took 178283 ms. Total solver calls (SAT/UNSAT): 601575(4/601571)
May 31, 2017 5:05:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/10472 took 180454 ms. Total solver calls (SAT/UNSAT): 609353(4/609349)
May 31, 2017 5:05:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/10472 took 182627 ms. Total solver calls (SAT/UNSAT): 617131(4/617127)
May 31, 2017 5:05:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/10472 took 184803 ms. Total solver calls (SAT/UNSAT): 624909(4/624905)
May 31, 2017 5:05:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/10472 took 186985 ms. Total solver calls (SAT/UNSAT): 632687(4/632683)
May 31, 2017 5:05:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/10472 took 189167 ms. Total solver calls (SAT/UNSAT): 640465(4/640461)
May 31, 2017 5:05:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/10472 took 191338 ms. Total solver calls (SAT/UNSAT): 648243(4/648239)
May 31, 2017 5:05:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/10472 took 193526 ms. Total solver calls (SAT/UNSAT): 656021(4/656017)
May 31, 2017 5:05:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/10472 took 194545 ms. Total solver calls (SAT/UNSAT): 659538(4/659534)
May 31, 2017 5:05:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/10472 took 195749 ms. Total solver calls (SAT/UNSAT): 663799(4/663795)
May 31, 2017 5:05:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/10472 took 196761 ms. Total solver calls (SAT/UNSAT): 667316(4/667312)
May 31, 2017 5:05:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/10472 took 197970 ms. Total solver calls (SAT/UNSAT): 671577(4/671573)
May 31, 2017 5:05:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/10472 took 198988 ms. Total solver calls (SAT/UNSAT): 675094(4/675090)
May 31, 2017 5:05:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/10472 took 200198 ms. Total solver calls (SAT/UNSAT): 679355(4/679351)
May 31, 2017 5:05:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/10472 took 201216 ms. Total solver calls (SAT/UNSAT): 682872(4/682868)
May 31, 2017 5:05:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/10472 took 202497 ms. Total solver calls (SAT/UNSAT): 687133(4/687129)
May 31, 2017 5:05:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/10472 took 203516 ms. Total solver calls (SAT/UNSAT): 690650(4/690646)
May 31, 2017 5:05:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/10472 took 204726 ms. Total solver calls (SAT/UNSAT): 694911(4/694907)
May 31, 2017 5:05:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/10472 took 205742 ms. Total solver calls (SAT/UNSAT): 698428(4/698424)
May 31, 2017 5:05:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/10472 took 206954 ms. Total solver calls (SAT/UNSAT): 702689(4/702685)
May 31, 2017 5:05:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/10472 took 207977 ms. Total solver calls (SAT/UNSAT): 706206(4/706202)
May 31, 2017 5:05:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/10472 took 209191 ms. Total solver calls (SAT/UNSAT): 710467(4/710463)
May 31, 2017 5:05:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/10472 took 210207 ms. Total solver calls (SAT/UNSAT): 713984(4/713980)
May 31, 2017 5:05:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/10472 took 211420 ms. Total solver calls (SAT/UNSAT): 718245(4/718241)
May 31, 2017 5:05:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/10472 took 212436 ms. Total solver calls (SAT/UNSAT): 721762(4/721758)
May 31, 2017 5:05:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/10472 took 213650 ms. Total solver calls (SAT/UNSAT): 726023(4/726019)
May 31, 2017 5:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/10472 took 214670 ms. Total solver calls (SAT/UNSAT): 729540(4/729536)
May 31, 2017 5:05:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/10472 took 215881 ms. Total solver calls (SAT/UNSAT): 733801(4/733797)
May 31, 2017 5:05:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/10472 took 216909 ms. Total solver calls (SAT/UNSAT): 737318(4/737314)
May 31, 2017 5:05:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/10472 took 218123 ms. Total solver calls (SAT/UNSAT): 741579(4/741575)
May 31, 2017 5:05:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/10472 took 219143 ms. Total solver calls (SAT/UNSAT): 745096(4/745092)
May 31, 2017 5:05:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/10472 took 220356 ms. Total solver calls (SAT/UNSAT): 749357(4/749353)
May 31, 2017 5:05:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/10472 took 221380 ms. Total solver calls (SAT/UNSAT): 752874(4/752870)
May 31, 2017 5:05:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/10472 took 222650 ms. Total solver calls (SAT/UNSAT): 757135(4/757131)
May 31, 2017 5:05:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/10472 took 223706 ms. Total solver calls (SAT/UNSAT): 760652(4/760648)
May 31, 2017 5:05:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/10472 took 224909 ms. Total solver calls (SAT/UNSAT): 764913(4/764909)
May 31, 2017 5:05:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/10472 took 225921 ms. Total solver calls (SAT/UNSAT): 768430(4/768426)
May 31, 2017 5:05:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/10472 took 227123 ms. Total solver calls (SAT/UNSAT): 772691(4/772687)
May 31, 2017 5:05:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/10472 took 228129 ms. Total solver calls (SAT/UNSAT): 776208(4/776204)
May 31, 2017 5:05:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/10472 took 229332 ms. Total solver calls (SAT/UNSAT): 780469(4/780465)
May 31, 2017 5:05:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/10472 took 230342 ms. Total solver calls (SAT/UNSAT): 783986(4/783982)
May 31, 2017 5:05:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/10472 took 231543 ms. Total solver calls (SAT/UNSAT): 788247(4/788243)
May 31, 2017 5:05:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/10472 took 232553 ms. Total solver calls (SAT/UNSAT): 791764(4/791760)
May 31, 2017 5:05:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/10472 took 233763 ms. Total solver calls (SAT/UNSAT): 796025(4/796021)
May 31, 2017 5:05:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/10472 took 234778 ms. Total solver calls (SAT/UNSAT): 799542(4/799538)
May 31, 2017 5:05:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/10472 took 236029 ms. Total solver calls (SAT/UNSAT): 803803(4/803799)
May 31, 2017 5:05:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/10472 took 237055 ms. Total solver calls (SAT/UNSAT): 807320(4/807316)
May 31, 2017 5:05:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/10472 took 238351 ms. Total solver calls (SAT/UNSAT): 811581(4/811577)
May 31, 2017 5:06:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/10472 took 239405 ms. Total solver calls (SAT/UNSAT): 815098(4/815094)
May 31, 2017 5:06:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/10472 took 240604 ms. Total solver calls (SAT/UNSAT): 819359(4/819355)
May 31, 2017 5:06:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/10472 took 242770 ms. Total solver calls (SAT/UNSAT): 827110(4/827106)
May 31, 2017 5:06:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/10472 took 244926 ms. Total solver calls (SAT/UNSAT): 834834(4/834830)
May 31, 2017 5:06:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/10472 took 247086 ms. Total solver calls (SAT/UNSAT): 842558(4/842554)
May 31, 2017 5:06:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/10472 took 249351 ms. Total solver calls (SAT/UNSAT): 850282(4/850278)
May 31, 2017 5:06:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/10472 took 250380 ms. Total solver calls (SAT/UNSAT): 853772(4/853768)
May 31, 2017 5:06:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/10472 took 251615 ms. Total solver calls (SAT/UNSAT): 858006(4/858002)
May 31, 2017 5:06:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/10472 took 252619 ms. Total solver calls (SAT/UNSAT): 861496(4/861492)
May 31, 2017 5:06:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/10472 took 253814 ms. Total solver calls (SAT/UNSAT): 865730(4/865726)
May 31, 2017 5:06:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/10472 took 256002 ms. Total solver calls (SAT/UNSAT): 873454(4/873450)
May 31, 2017 5:06:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/10472 took 257006 ms. Total solver calls (SAT/UNSAT): 876944(4/876940)
May 31, 2017 5:06:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/10472 took 258203 ms. Total solver calls (SAT/UNSAT): 881178(4/881174)
May 31, 2017 5:06:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/10472 took 259207 ms. Total solver calls (SAT/UNSAT): 884668(4/884664)
May 31, 2017 5:06:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/10472 took 260413 ms. Total solver calls (SAT/UNSAT): 888902(4/888898)
May 31, 2017 5:06:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/10472 took 261513 ms. Total solver calls (SAT/UNSAT): 892392(4/892388)
May 31, 2017 5:06:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/10472 took 262816 ms. Total solver calls (SAT/UNSAT): 896626(4/896622)
May 31, 2017 5:06:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/10472 took 263905 ms. Total solver calls (SAT/UNSAT): 900116(4/900112)
May 31, 2017 5:06:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/10472 took 265201 ms. Total solver calls (SAT/UNSAT): 904350(4/904346)
May 31, 2017 5:06:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/10472 took 266286 ms. Total solver calls (SAT/UNSAT): 907840(4/907836)
May 31, 2017 5:06:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/10472 took 267575 ms. Total solver calls (SAT/UNSAT): 912074(4/912070)
May 31, 2017 5:06:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/10472 took 268661 ms. Total solver calls (SAT/UNSAT): 915564(4/915560)
May 31, 2017 5:06:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/10472 took 269949 ms. Total solver calls (SAT/UNSAT): 919798(4/919794)
May 31, 2017 5:06:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/10472 took 271033 ms. Total solver calls (SAT/UNSAT): 923288(4/923284)
May 31, 2017 5:06:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/10472 took 272324 ms. Total solver calls (SAT/UNSAT): 927522(4/927518)
May 31, 2017 5:06:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/10472 took 273407 ms. Total solver calls (SAT/UNSAT): 931012(4/931008)
May 31, 2017 5:06:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/10472 took 274696 ms. Total solver calls (SAT/UNSAT): 935246(4/935242)
May 31, 2017 5:06:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/10472 took 275777 ms. Total solver calls (SAT/UNSAT): 938736(4/938732)
May 31, 2017 5:06:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/10472 took 277071 ms. Total solver calls (SAT/UNSAT): 942970(4/942966)
May 31, 2017 5:06:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/10472 took 278154 ms. Total solver calls (SAT/UNSAT): 946460(4/946456)
May 31, 2017 5:06:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/10472 took 279446 ms. Total solver calls (SAT/UNSAT): 950694(4/950690)
May 31, 2017 5:06:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/10472 took 280529 ms. Total solver calls (SAT/UNSAT): 954184(4/954180)
May 31, 2017 5:06:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/10472 took 281820 ms. Total solver calls (SAT/UNSAT): 958418(4/958414)
May 31, 2017 5:06:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/10472 took 282883 ms. Total solver calls (SAT/UNSAT): 961908(4/961904)
May 31, 2017 5:06:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/10472 took 284070 ms. Total solver calls (SAT/UNSAT): 966142(4/966138)
May 31, 2017 5:06:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/10472 took 286330 ms. Total solver calls (SAT/UNSAT): 973866(4/973862)
May 31, 2017 5:06:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/10472 took 287409 ms. Total solver calls (SAT/UNSAT): 977356(4/977352)
May 31, 2017 5:06:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/10472 took 288694 ms. Total solver calls (SAT/UNSAT): 981590(4/981586)
May 31, 2017 5:06:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/10472 took 289772 ms. Total solver calls (SAT/UNSAT): 985080(4/985076)
May 31, 2017 5:06:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/10472 took 291052 ms. Total solver calls (SAT/UNSAT): 989314(4/989310)
May 31, 2017 5:06:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/10472 took 293188 ms. Total solver calls (SAT/UNSAT): 997038(4/997034)
May 31, 2017 5:06:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/10472 took 295313 ms. Total solver calls (SAT/UNSAT): 1004762(4/1004758)
May 31, 2017 5:06:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/10472 took 297439 ms. Total solver calls (SAT/UNSAT): 1012486(4/1012482)
May 31, 2017 5:07:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/10472 took 299565 ms. Total solver calls (SAT/UNSAT): 1020210(4/1020206)
May 31, 2017 5:07:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/10472 took 301700 ms. Total solver calls (SAT/UNSAT): 1027961(4/1027957)
May 31, 2017 5:07:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/10472 took 303863 ms. Total solver calls (SAT/UNSAT): 1035739(4/1035735)
May 31, 2017 5:07:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/10472 took 306052 ms. Total solver calls (SAT/UNSAT): 1043517(4/1043513)
May 31, 2017 5:07:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/10472 took 308226 ms. Total solver calls (SAT/UNSAT): 1051295(4/1051291)
May 31, 2017 5:07:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/10472 took 310461 ms. Total solver calls (SAT/UNSAT): 1059073(4/1059069)
May 31, 2017 5:07:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/10472 took 311561 ms. Total solver calls (SAT/UNSAT): 1062590(4/1062586)
May 31, 2017 5:07:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/10472 took 312869 ms. Total solver calls (SAT/UNSAT): 1066851(4/1066847)
May 31, 2017 5:07:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/10472 took 313910 ms. Total solver calls (SAT/UNSAT): 1070368(4/1070364)
May 31, 2017 5:07:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/10472 took 315202 ms. Total solver calls (SAT/UNSAT): 1074629(4/1074625)
May 31, 2017 5:07:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/10472 took 316290 ms. Total solver calls (SAT/UNSAT): 1078146(4/1078142)
May 31, 2017 5:07:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/10472 took 317581 ms. Total solver calls (SAT/UNSAT): 1082407(4/1082403)
May 31, 2017 5:07:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/10472 took 318641 ms. Total solver calls (SAT/UNSAT): 1085924(4/1085920)
May 31, 2017 5:07:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/10472 took 319840 ms. Total solver calls (SAT/UNSAT): 1090185(4/1090181)
May 31, 2017 5:07:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/10472 took 322025 ms. Total solver calls (SAT/UNSAT): 1097963(4/1097959)
May 31, 2017 5:07:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/10472 took 324194 ms. Total solver calls (SAT/UNSAT): 1105741(4/1105737)
May 31, 2017 5:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/10472 took 326382 ms. Total solver calls (SAT/UNSAT): 1113519(4/1113515)
May 31, 2017 5:07:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/10472 took 328598 ms. Total solver calls (SAT/UNSAT): 1121297(4/1121293)
May 31, 2017 5:07:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/10472 took 329601 ms. Total solver calls (SAT/UNSAT): 1124814(4/1124810)
May 31, 2017 5:07:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/10472 took 330798 ms. Total solver calls (SAT/UNSAT): 1129075(4/1129071)
May 31, 2017 5:07:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/10472 took 332979 ms. Total solver calls (SAT/UNSAT): 1136853(4/1136849)
May 31, 2017 5:07:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/10472 took 333983 ms. Total solver calls (SAT/UNSAT): 1140370(4/1140366)
May 31, 2017 5:07:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/10472 took 335183 ms. Total solver calls (SAT/UNSAT): 1144631(4/1144627)
May 31, 2017 5:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/10472 took 336185 ms. Total solver calls (SAT/UNSAT): 1148148(4/1148144)
May 31, 2017 5:07:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/10472 took 337383 ms. Total solver calls (SAT/UNSAT): 1152409(4/1152405)
May 31, 2017 5:07:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/10472 took 338475 ms. Total solver calls (SAT/UNSAT): 1155926(4/1155922)
May 31, 2017 5:07:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/10472 took 339709 ms. Total solver calls (SAT/UNSAT): 1160187(4/1160183)
May 31, 2017 5:07:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/10472 took 340712 ms. Total solver calls (SAT/UNSAT): 1163704(4/1163700)
May 31, 2017 5:07:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/10472 took 341923 ms. Total solver calls (SAT/UNSAT): 1167965(4/1167961)
May 31, 2017 5:07:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/10472 took 342939 ms. Total solver calls (SAT/UNSAT): 1171482(4/1171478)
May 31, 2017 5:07:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/10472 took 344140 ms. Total solver calls (SAT/UNSAT): 1175743(4/1175739)
May 31, 2017 5:07:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/10472 took 345145 ms. Total solver calls (SAT/UNSAT): 1179260(4/1179256)
May 31, 2017 5:07:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/10472 took 346317 ms. Total solver calls (SAT/UNSAT): 1183521(4/1183517)
May 31, 2017 5:07:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/10472 took 348503 ms. Total solver calls (SAT/UNSAT): 1191299(4/1191295)
May 31, 2017 5:07:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/10472 took 349508 ms. Total solver calls (SAT/UNSAT): 1194816(4/1194812)
May 31, 2017 5:07:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/10472 took 350705 ms. Total solver calls (SAT/UNSAT): 1199077(4/1199073)
May 31, 2017 5:07:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/10472 took 351705 ms. Total solver calls (SAT/UNSAT): 1202594(4/1202590)
May 31, 2017 5:07:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/10472 took 352896 ms. Total solver calls (SAT/UNSAT): 1206855(4/1206851)
May 31, 2017 5:07:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/10472 took 353908 ms. Total solver calls (SAT/UNSAT): 1210372(4/1210368)
May 31, 2017 5:07:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/10472 took 355155 ms. Total solver calls (SAT/UNSAT): 1214633(4/1214629)
May 31, 2017 5:07:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/10472 took 356171 ms. Total solver calls (SAT/UNSAT): 1218150(4/1218146)
May 31, 2017 5:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/10472 took 357389 ms. Total solver calls (SAT/UNSAT): 1222411(4/1222407)
May 31, 2017 5:07:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/10472 took 358403 ms. Total solver calls (SAT/UNSAT): 1225928(4/1225924)
May 31, 2017 5:08:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/10472 took 359607 ms. Total solver calls (SAT/UNSAT): 1230189(4/1230185)
May 31, 2017 5:08:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/10472 took 360619 ms. Total solver calls (SAT/UNSAT): 1233706(4/1233702)
May 31, 2017 5:08:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/10472 took 361824 ms. Total solver calls (SAT/UNSAT): 1237967(4/1237963)
May 31, 2017 5:08:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/10472 took 362834 ms. Total solver calls (SAT/UNSAT): 1241484(4/1241480)
May 31, 2017 5:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/10472 took 364040 ms. Total solver calls (SAT/UNSAT): 1245745(4/1245741)
May 31, 2017 5:08:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/10472 took 365057 ms. Total solver calls (SAT/UNSAT): 1249262(4/1249258)
May 31, 2017 5:08:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/10472 took 366265 ms. Total solver calls (SAT/UNSAT): 1253523(4/1253519)
May 31, 2017 5:08:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/10472 took 367281 ms. Total solver calls (SAT/UNSAT): 1257040(4/1257036)
May 31, 2017 5:08:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/10472 took 368512 ms. Total solver calls (SAT/UNSAT): 1261301(4/1261297)
May 31, 2017 5:08:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/10472 took 369524 ms. Total solver calls (SAT/UNSAT): 1264818(4/1264814)
May 31, 2017 5:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/10472 took 370731 ms. Total solver calls (SAT/UNSAT): 1269079(4/1269075)
May 31, 2017 5:08:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/10472 took 371743 ms. Total solver calls (SAT/UNSAT): 1272596(4/1272592)
May 31, 2017 5:08:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/10472 took 372955 ms. Total solver calls (SAT/UNSAT): 1276857(4/1276853)
May 31, 2017 5:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/10472 took 373974 ms. Total solver calls (SAT/UNSAT): 1280374(4/1280370)
May 31, 2017 5:08:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/10472 took 375181 ms. Total solver calls (SAT/UNSAT): 1284635(4/1284631)
May 31, 2017 5:08:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/10472 took 376196 ms. Total solver calls (SAT/UNSAT): 1288152(4/1288148)
May 31, 2017 5:08:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/10472 took 377407 ms. Total solver calls (SAT/UNSAT): 1292413(4/1292409)
May 31, 2017 5:08:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/10472 took 378422 ms. Total solver calls (SAT/UNSAT): 1295930(4/1295926)
May 31, 2017 5:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/10472 took 379629 ms. Total solver calls (SAT/UNSAT): 1300191(4/1300187)
May 31, 2017 5:08:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/10472 took 380648 ms. Total solver calls (SAT/UNSAT): 1303708(4/1303704)
May 31, 2017 5:08:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/10472 took 381858 ms. Total solver calls (SAT/UNSAT): 1307969(4/1307965)
May 31, 2017 5:08:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/10472 took 382866 ms. Total solver calls (SAT/UNSAT): 1311486(4/1311482)
May 31, 2017 5:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/10472 took 384073 ms. Total solver calls (SAT/UNSAT): 1315747(4/1315743)
May 31, 2017 5:08:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/10472 took 385088 ms. Total solver calls (SAT/UNSAT): 1319264(4/1319260)
May 31, 2017 5:08:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/10472 took 386301 ms. Total solver calls (SAT/UNSAT): 1323525(4/1323521)
May 31, 2017 5:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/10472 took 388484 ms. Total solver calls (SAT/UNSAT): 1331303(4/1331299)
May 31, 2017 5:08:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/10472 took 389492 ms. Total solver calls (SAT/UNSAT): 1334820(4/1334816)
May 31, 2017 5:08:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/10472 took 390699 ms. Total solver calls (SAT/UNSAT): 1339081(4/1339077)
May 31, 2017 5:08:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/10472 took 391768 ms. Total solver calls (SAT/UNSAT): 1342598(4/1342594)
May 31, 2017 5:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/10472 took 393083 ms. Total solver calls (SAT/UNSAT): 1346859(4/1346855)
May 31, 2017 5:08:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/10472 took 394121 ms. Total solver calls (SAT/UNSAT): 1350376(4/1350372)
May 31, 2017 5:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/10472 took 395333 ms. Total solver calls (SAT/UNSAT): 1354637(4/1354633)
May 31, 2017 5:08:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/10472 took 396424 ms. Total solver calls (SAT/UNSAT): 1358154(4/1358150)
May 31, 2017 5:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/10472 took 397638 ms. Total solver calls (SAT/UNSAT): 1362415(4/1362411)
May 31, 2017 5:08:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/10472 took 398654 ms. Total solver calls (SAT/UNSAT): 1365932(4/1365928)
May 31, 2017 5:08:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/10472 took 399858 ms. Total solver calls (SAT/UNSAT): 1370193(4/1370189)
May 31, 2017 5:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/10472 took 400872 ms. Total solver calls (SAT/UNSAT): 1373710(4/1373706)
May 31, 2017 5:08:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/10472 took 402098 ms. Total solver calls (SAT/UNSAT): 1377971(4/1377967)
May 31, 2017 5:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/10472 took 403111 ms. Total solver calls (SAT/UNSAT): 1381488(4/1381484)
May 31, 2017 5:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/10472 took 404317 ms. Total solver calls (SAT/UNSAT): 1385749(4/1385745)
May 31, 2017 5:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/10472 took 405383 ms. Total solver calls (SAT/UNSAT): 1389266(4/1389262)
May 31, 2017 5:08:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/10472 took 406622 ms. Total solver calls (SAT/UNSAT): 1393527(4/1393523)
May 31, 2017 5:08:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/10472 took 407634 ms. Total solver calls (SAT/UNSAT): 1397044(4/1397040)
May 31, 2017 5:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/10472 took 408843 ms. Total solver calls (SAT/UNSAT): 1401305(4/1401301)
May 31, 2017 5:08:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/10472 took 409856 ms. Total solver calls (SAT/UNSAT): 1404822(4/1404818)
May 31, 2017 5:08:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/10472 took 411107 ms. Total solver calls (SAT/UNSAT): 1409083(4/1409079)
May 31, 2017 5:08:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/10472 took 412121 ms. Total solver calls (SAT/UNSAT): 1412600(4/1412596)
May 31, 2017 5:08:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/10472 took 413322 ms. Total solver calls (SAT/UNSAT): 1416861(4/1416857)
May 31, 2017 5:08:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/10472 took 414368 ms. Total solver calls (SAT/UNSAT): 1420378(4/1420374)
May 31, 2017 5:08:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/10472 took 415570 ms. Total solver calls (SAT/UNSAT): 1424639(4/1424635)
May 31, 2017 5:08:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/10472 took 416618 ms. Total solver calls (SAT/UNSAT): 1428156(4/1428152)
May 31, 2017 5:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/10472 took 417818 ms. Total solver calls (SAT/UNSAT): 1432417(4/1432413)
May 31, 2017 5:08:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/10472 took 418830 ms. Total solver calls (SAT/UNSAT): 1435934(4/1435930)
May 31, 2017 5:09:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/10472 took 420039 ms. Total solver calls (SAT/UNSAT): 1440195(4/1440191)
May 31, 2017 5:09:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/10472 took 421051 ms. Total solver calls (SAT/UNSAT): 1443712(4/1443708)
May 31, 2017 5:09:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/10472 took 422256 ms. Total solver calls (SAT/UNSAT): 1447973(4/1447969)
May 31, 2017 5:09:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/10472 took 423269 ms. Total solver calls (SAT/UNSAT): 1451490(4/1451486)
May 31, 2017 5:09:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/10472 took 424470 ms. Total solver calls (SAT/UNSAT): 1455751(4/1455747)
May 31, 2017 5:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/10472 took 425485 ms. Total solver calls (SAT/UNSAT): 1459268(4/1459264)
May 31, 2017 5:09:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/10472 took 426698 ms. Total solver calls (SAT/UNSAT): 1463529(4/1463525)
May 31, 2017 5:09:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/10472 took 427714 ms. Total solver calls (SAT/UNSAT): 1467046(4/1467042)
May 31, 2017 5:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/10472 took 428959 ms. Total solver calls (SAT/UNSAT): 1471307(4/1471303)
May 31, 2017 5:09:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/10472 took 429986 ms. Total solver calls (SAT/UNSAT): 1474824(4/1474820)
May 31, 2017 5:09:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/10472 took 431221 ms. Total solver calls (SAT/UNSAT): 1479085(4/1479081)
May 31, 2017 5:09:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/10472 took 432236 ms. Total solver calls (SAT/UNSAT): 1482602(4/1482598)
May 31, 2017 5:09:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/10472 took 433446 ms. Total solver calls (SAT/UNSAT): 1486863(4/1486859)
May 31, 2017 5:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/10472 took 434473 ms. Total solver calls (SAT/UNSAT): 1490380(4/1490376)
May 31, 2017 5:09:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/10472 took 435680 ms. Total solver calls (SAT/UNSAT): 1494641(4/1494637)
May 31, 2017 5:09:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/10472 took 436695 ms. Total solver calls (SAT/UNSAT): 1498158(4/1498154)
May 31, 2017 5:09:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/10472 took 437899 ms. Total solver calls (SAT/UNSAT): 1502419(4/1502415)
May 31, 2017 5:09:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/10472 took 438916 ms. Total solver calls (SAT/UNSAT): 1505936(4/1505932)
May 31, 2017 5:09:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/10472 took 440132 ms. Total solver calls (SAT/UNSAT): 1510197(4/1510193)
May 31, 2017 5:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/10472 took 441137 ms. Total solver calls (SAT/UNSAT): 1513714(4/1513710)
May 31, 2017 5:09:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/10472 took 442341 ms. Total solver calls (SAT/UNSAT): 1517975(4/1517971)
May 31, 2017 5:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/10472 took 443375 ms. Total solver calls (SAT/UNSAT): 1521492(4/1521488)
May 31, 2017 5:09:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/10472 took 444701 ms. Total solver calls (SAT/UNSAT): 1525753(4/1525749)
May 31, 2017 5:09:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/10472 took 445812 ms. Total solver calls (SAT/UNSAT): 1529270(4/1529266)
May 31, 2017 5:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/10472 took 447133 ms. Total solver calls (SAT/UNSAT): 1533531(4/1533527)
May 31, 2017 5:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/10472 took 448134 ms. Total solver calls (SAT/UNSAT): 1537048(4/1537044)
May 31, 2017 5:09:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/10472 took 449306 ms. Total solver calls (SAT/UNSAT): 1541309(4/1541305)
May 31, 2017 5:09:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/10472 took 450318 ms. Total solver calls (SAT/UNSAT): 1544826(4/1544822)
May 31, 2017 5:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/10472 took 451541 ms. Total solver calls (SAT/UNSAT): 1549087(4/1549083)
May 31, 2017 5:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/10472 took 452556 ms. Total solver calls (SAT/UNSAT): 1552604(4/1552600)
May 31, 2017 5:09:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/10472 took 453761 ms. Total solver calls (SAT/UNSAT): 1556865(4/1556861)
May 31, 2017 5:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/10472 took 454792 ms. Total solver calls (SAT/UNSAT): 1560382(4/1560378)
May 31, 2017 5:09:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/10472 took 456067 ms. Total solver calls (SAT/UNSAT): 1564643(4/1564639)
May 31, 2017 5:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/10472 took 457092 ms. Total solver calls (SAT/UNSAT): 1568160(4/1568156)
May 31, 2017 5:09:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/10472 took 458297 ms. Total solver calls (SAT/UNSAT): 1572421(4/1572417)
May 31, 2017 5:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/10472 took 459357 ms. Total solver calls (SAT/UNSAT): 1575938(4/1575934)
May 31, 2017 5:09:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/10472 took 460614 ms. Total solver calls (SAT/UNSAT): 1580199(4/1580195)
May 31, 2017 5:09:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/10472 took 461654 ms. Total solver calls (SAT/UNSAT): 1583716(4/1583712)
May 31, 2017 5:09:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/10472 took 462870 ms. Total solver calls (SAT/UNSAT): 1587977(4/1587973)
May 31, 2017 5:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/10472 took 463889 ms. Total solver calls (SAT/UNSAT): 1591494(4/1591490)
May 31, 2017 5:09:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/10472 took 465099 ms. Total solver calls (SAT/UNSAT): 1595755(4/1595751)
May 31, 2017 5:09:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/10472 took 466143 ms. Total solver calls (SAT/UNSAT): 1599272(4/1599268)
May 31, 2017 5:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/10472 took 467352 ms. Total solver calls (SAT/UNSAT): 1603533(4/1603529)
May 31, 2017 5:09:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/10472 took 468361 ms. Total solver calls (SAT/UNSAT): 1607050(4/1607046)
May 31, 2017 5:09:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/10472 took 469553 ms. Total solver calls (SAT/UNSAT): 1611311(4/1611307)
May 31, 2017 5:09:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/10472 took 470554 ms. Total solver calls (SAT/UNSAT): 1614828(4/1614824)
May 31, 2017 5:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/10472 took 471744 ms. Total solver calls (SAT/UNSAT): 1619089(4/1619085)
May 31, 2017 5:09:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/10472 took 472781 ms. Total solver calls (SAT/UNSAT): 1622606(4/1622602)
May 31, 2017 5:09:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/10472 took 474062 ms. Total solver calls (SAT/UNSAT): 1626867(4/1626863)
May 31, 2017 5:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/10472 took 475103 ms. Total solver calls (SAT/UNSAT): 1630384(4/1630380)
May 31, 2017 5:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/10472 took 476346 ms. Total solver calls (SAT/UNSAT): 1634615(4/1634611)
May 31, 2017 5:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/10472 took 477349 ms. Total solver calls (SAT/UNSAT): 1638102(4/1638098)
May 31, 2017 5:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/10472 took 478544 ms. Total solver calls (SAT/UNSAT): 1642333(4/1642329)
May 31, 2017 5:10:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/10472 took 479558 ms. Total solver calls (SAT/UNSAT): 1645820(4/1645816)
May 31, 2017 5:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/10472 took 480763 ms. Total solver calls (SAT/UNSAT): 1650051(4/1650047)
May 31, 2017 5:10:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/10472 took 481773 ms. Total solver calls (SAT/UNSAT): 1653538(4/1653534)
May 31, 2017 5:10:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/10472 took 482968 ms. Total solver calls (SAT/UNSAT): 1657769(4/1657765)
May 31, 2017 5:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/10472 took 485159 ms. Total solver calls (SAT/UNSAT): 1665487(4/1665483)
May 31, 2017 5:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/10472 took 487370 ms. Total solver calls (SAT/UNSAT): 1673205(4/1673201)
May 31, 2017 5:10:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/10472 took 488385 ms. Total solver calls (SAT/UNSAT): 1676692(4/1676688)
May 31, 2017 5:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/10472 took 489596 ms. Total solver calls (SAT/UNSAT): 1680923(4/1680919)
May 31, 2017 5:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/10472 took 490648 ms. Total solver calls (SAT/UNSAT): 1684410(4/1684406)
May 31, 2017 5:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/10472 took 491964 ms. Total solver calls (SAT/UNSAT): 1688641(4/1688637)
May 31, 2017 5:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/10472 took 492994 ms. Total solver calls (SAT/UNSAT): 1692128(4/1692124)
May 31, 2017 5:10:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/10472 took 494181 ms. Total solver calls (SAT/UNSAT): 1696359(4/1696355)
May 31, 2017 5:10:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/10472 took 496335 ms. Total solver calls (SAT/UNSAT): 1704077(4/1704073)
May 31, 2017 5:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/10472 took 497347 ms. Total solver calls (SAT/UNSAT): 1707564(4/1707560)
May 31, 2017 5:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/10472 took 498537 ms. Total solver calls (SAT/UNSAT): 1711795(4/1711791)
May 31, 2017 5:10:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/10472 took 499545 ms. Total solver calls (SAT/UNSAT): 1715282(4/1715278)
May 31, 2017 5:10:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/10472 took 500782 ms. Total solver calls (SAT/UNSAT): 1719513(4/1719509)
May 31, 2017 5:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/10472 took 501788 ms. Total solver calls (SAT/UNSAT): 1723000(4/1722996)
May 31, 2017 5:10:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/10472 took 502983 ms. Total solver calls (SAT/UNSAT): 1727231(4/1727227)
May 31, 2017 5:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/10472 took 503988 ms. Total solver calls (SAT/UNSAT): 1730718(4/1730714)
May 31, 2017 5:10:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/10472 took 505184 ms. Total solver calls (SAT/UNSAT): 1734949(4/1734945)
May 31, 2017 5:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/10472 took 506193 ms. Total solver calls (SAT/UNSAT): 1738436(4/1738432)
May 31, 2017 5:10:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/10472 took 507385 ms. Total solver calls (SAT/UNSAT): 1742667(4/1742663)
May 31, 2017 5:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/10472 took 508396 ms. Total solver calls (SAT/UNSAT): 1746154(4/1746150)
May 31, 2017 5:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/10472 took 509603 ms. Total solver calls (SAT/UNSAT): 1750385(4/1750381)
May 31, 2017 5:10:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/10472 took 510620 ms. Total solver calls (SAT/UNSAT): 1753872(4/1753868)
May 31, 2017 5:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/10472 took 511828 ms. Total solver calls (SAT/UNSAT): 1758103(4/1758099)
May 31, 2017 5:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/10472 took 512840 ms. Total solver calls (SAT/UNSAT): 1761590(4/1761586)
May 31, 2017 5:10:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/10472 took 514045 ms. Total solver calls (SAT/UNSAT): 1765821(4/1765817)
May 31, 2017 5:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/10472 took 515056 ms. Total solver calls (SAT/UNSAT): 1769308(4/1769304)
May 31, 2017 5:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/10472 took 516277 ms. Total solver calls (SAT/UNSAT): 1773539(4/1773535)
May 31, 2017 5:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/10472 took 517384 ms. Total solver calls (SAT/UNSAT): 1777026(4/1777022)
May 31, 2017 5:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/10472 took 518700 ms. Total solver calls (SAT/UNSAT): 1781257(4/1781253)
May 31, 2017 5:10:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/10472 took 519805 ms. Total solver calls (SAT/UNSAT): 1784744(4/1784740)
May 31, 2017 5:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/10472 took 521121 ms. Total solver calls (SAT/UNSAT): 1788975(4/1788971)
May 31, 2017 5:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/10472 took 522181 ms. Total solver calls (SAT/UNSAT): 1792462(4/1792458)
May 31, 2017 5:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/10472 took 523407 ms. Total solver calls (SAT/UNSAT): 1796693(4/1796689)
May 31, 2017 5:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/10472 took 524497 ms. Total solver calls (SAT/UNSAT): 1800180(4/1800176)
May 31, 2017 5:10:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/10472 took 525743 ms. Total solver calls (SAT/UNSAT): 1804411(4/1804407)
May 31, 2017 5:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/10472 took 526810 ms. Total solver calls (SAT/UNSAT): 1807898(4/1807894)
May 31, 2017 5:10:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/10472 took 528121 ms. Total solver calls (SAT/UNSAT): 1812129(4/1812125)
May 31, 2017 5:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/10472 took 529219 ms. Total solver calls (SAT/UNSAT): 1815616(4/1815612)
May 31, 2017 5:10:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/10472 took 530531 ms. Total solver calls (SAT/UNSAT): 1819847(4/1819843)
May 31, 2017 5:10:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/10472 took 531632 ms. Total solver calls (SAT/UNSAT): 1823334(4/1823330)
May 31, 2017 5:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/10472 took 532941 ms. Total solver calls (SAT/UNSAT): 1827565(4/1827561)
May 31, 2017 5:10:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/10472 took 534048 ms. Total solver calls (SAT/UNSAT): 1831052(4/1831048)
May 31, 2017 5:10:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/10472 took 535373 ms. Total solver calls (SAT/UNSAT): 1835313(4/1835309)
May 31, 2017 5:10:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/10472 took 536489 ms. Total solver calls (SAT/UNSAT): 1838830(4/1838826)
May 31, 2017 5:10:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/10472 took 537813 ms. Total solver calls (SAT/UNSAT): 1843091(4/1843087)
May 31, 2017 5:10:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/10472 took 538925 ms. Total solver calls (SAT/UNSAT): 1846608(4/1846604)
May 31, 2017 5:11:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/10472 took 540249 ms. Total solver calls (SAT/UNSAT): 1850869(4/1850865)
May 31, 2017 5:11:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/10472 took 541361 ms. Total solver calls (SAT/UNSAT): 1854386(4/1854382)
May 31, 2017 5:11:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/10472 took 542685 ms. Total solver calls (SAT/UNSAT): 1858647(4/1858643)
May 31, 2017 5:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/10472 took 543791 ms. Total solver calls (SAT/UNSAT): 1862164(4/1862160)
May 31, 2017 5:11:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/10472 took 545109 ms. Total solver calls (SAT/UNSAT): 1866425(4/1866421)
May 31, 2017 5:11:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/10472 took 546126 ms. Total solver calls (SAT/UNSAT): 1869942(4/1869938)
May 31, 2017 5:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/10472 took 547332 ms. Total solver calls (SAT/UNSAT): 1874203(4/1874199)
May 31, 2017 5:11:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/10472 took 548347 ms. Total solver calls (SAT/UNSAT): 1877720(4/1877716)
May 31, 2017 5:11:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/10472 took 549553 ms. Total solver calls (SAT/UNSAT): 1881981(4/1881977)
May 31, 2017 5:11:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/10472 took 550611 ms. Total solver calls (SAT/UNSAT): 1885498(4/1885494)
May 31, 2017 5:11:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/10472 took 551818 ms. Total solver calls (SAT/UNSAT): 1889759(4/1889755)
May 31, 2017 5:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/10472 took 552843 ms. Total solver calls (SAT/UNSAT): 1893276(4/1893272)
May 31, 2017 5:11:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/10472 took 554063 ms. Total solver calls (SAT/UNSAT): 1897537(4/1897533)
May 31, 2017 5:11:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/10472 took 555109 ms. Total solver calls (SAT/UNSAT): 1901054(4/1901050)
May 31, 2017 5:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/10472 took 556328 ms. Total solver calls (SAT/UNSAT): 1905315(4/1905311)
May 31, 2017 5:11:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/10472 took 557353 ms. Total solver calls (SAT/UNSAT): 1908832(4/1908828)
May 31, 2017 5:11:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/10472 took 558619 ms. Total solver calls (SAT/UNSAT): 1913093(4/1913089)
May 31, 2017 5:11:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/10472 took 559662 ms. Total solver calls (SAT/UNSAT): 1916610(4/1916606)
May 31, 2017 5:11:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/10472 took 560912 ms. Total solver calls (SAT/UNSAT): 1920871(4/1920867)
May 31, 2017 5:11:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/10472 took 561930 ms. Total solver calls (SAT/UNSAT): 1924388(4/1924384)
May 31, 2017 5:11:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/10472 took 563200 ms. Total solver calls (SAT/UNSAT): 1928649(4/1928645)
May 31, 2017 5:11:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/10472 took 564212 ms. Total solver calls (SAT/UNSAT): 1932166(4/1932162)
May 31, 2017 5:11:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/10472 took 565415 ms. Total solver calls (SAT/UNSAT): 1936427(4/1936423)
May 31, 2017 5:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/10472 took 566463 ms. Total solver calls (SAT/UNSAT): 1939944(4/1939940)
May 31, 2017 5:11:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/10472 took 567682 ms. Total solver calls (SAT/UNSAT): 1944205(4/1944201)
May 31, 2017 5:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/10472 took 568694 ms. Total solver calls (SAT/UNSAT): 1947722(4/1947718)
May 31, 2017 5:11:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/10472 took 569937 ms. Total solver calls (SAT/UNSAT): 1951983(4/1951979)
May 31, 2017 5:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/10472 took 570965 ms. Total solver calls (SAT/UNSAT): 1955500(4/1955496)
May 31, 2017 5:11:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/10472 took 572175 ms. Total solver calls (SAT/UNSAT): 1959761(4/1959757)
May 31, 2017 5:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/10472 took 573204 ms. Total solver calls (SAT/UNSAT): 1963278(4/1963274)
May 31, 2017 5:11:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/10472 took 574429 ms. Total solver calls (SAT/UNSAT): 1967539(4/1967535)
May 31, 2017 5:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/10472 took 576627 ms. Total solver calls (SAT/UNSAT): 1975317(4/1975313)
May 31, 2017 5:11:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/10472 took 577665 ms. Total solver calls (SAT/UNSAT): 1978834(4/1978830)
May 31, 2017 5:11:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/10472 took 578874 ms. Total solver calls (SAT/UNSAT): 1983095(4/1983091)
May 31, 2017 5:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/10472 took 579889 ms. Total solver calls (SAT/UNSAT): 1986612(4/1986608)
May 31, 2017 5:11:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/10472 took 581104 ms. Total solver calls (SAT/UNSAT): 1990873(4/1990869)
May 31, 2017 5:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/10472 took 582119 ms. Total solver calls (SAT/UNSAT): 1994390(4/1994386)
May 31, 2017 5:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/10472 took 583342 ms. Total solver calls (SAT/UNSAT): 1998651(4/1998647)
May 31, 2017 5:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/10472 took 584362 ms. Total solver calls (SAT/UNSAT): 2002168(4/2002164)
May 31, 2017 5:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/10472 took 585577 ms. Total solver calls (SAT/UNSAT): 2006429(4/2006425)
May 31, 2017 5:11:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/10472 took 586595 ms. Total solver calls (SAT/UNSAT): 2009946(4/2009942)
May 31, 2017 5:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/10472 took 587816 ms. Total solver calls (SAT/UNSAT): 2014207(4/2014203)
May 31, 2017 5:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/10472 took 588827 ms. Total solver calls (SAT/UNSAT): 2017724(4/2017720)
May 31, 2017 5:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/10472 took 590020 ms. Total solver calls (SAT/UNSAT): 2021985(4/2021981)
May 31, 2017 5:11:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/10472 took 591035 ms. Total solver calls (SAT/UNSAT): 2025502(4/2025498)
May 31, 2017 5:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/10472 took 592242 ms. Total solver calls (SAT/UNSAT): 2029763(4/2029759)
May 31, 2017 5:11:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/10472 took 593263 ms. Total solver calls (SAT/UNSAT): 2033280(4/2033276)
May 31, 2017 5:11:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/10472 took 594481 ms. Total solver calls (SAT/UNSAT): 2037541(4/2037537)
May 31, 2017 5:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/10472 took 595495 ms. Total solver calls (SAT/UNSAT): 2041058(4/2041054)
May 31, 2017 5:11:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/10472 took 596693 ms. Total solver calls (SAT/UNSAT): 2045319(4/2045315)
May 31, 2017 5:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/10472 took 597704 ms. Total solver calls (SAT/UNSAT): 2048836(4/2048832)
May 31, 2017 5:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/10472 took 598911 ms. Total solver calls (SAT/UNSAT): 2053097(4/2053093)
May 31, 2017 5:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/10472 took 599928 ms. Total solver calls (SAT/UNSAT): 2056614(4/2056610)
May 31, 2017 5:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/10472 took 601136 ms. Total solver calls (SAT/UNSAT): 2060875(4/2060871)
May 31, 2017 5:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/10472 took 602152 ms. Total solver calls (SAT/UNSAT): 2064392(4/2064388)
May 31, 2017 5:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/10472 took 603334 ms. Total solver calls (SAT/UNSAT): 2068653(4/2068649)
May 31, 2017 5:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/10472 took 604334 ms. Total solver calls (SAT/UNSAT): 2072170(4/2072166)
May 31, 2017 5:12:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/10472 took 605530 ms. Total solver calls (SAT/UNSAT): 2076431(4/2076427)
May 31, 2017 5:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/10472 took 606540 ms. Total solver calls (SAT/UNSAT): 2079948(4/2079944)
May 31, 2017 5:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/10472 took 607739 ms. Total solver calls (SAT/UNSAT): 2084209(4/2084205)
May 31, 2017 5:12:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/10472 took 608744 ms. Total solver calls (SAT/UNSAT): 2087726(4/2087722)
May 31, 2017 5:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/10472 took 609932 ms. Total solver calls (SAT/UNSAT): 2091987(4/2091983)
May 31, 2017 5:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/10472 took 612113 ms. Total solver calls (SAT/UNSAT): 2099765(4/2099761)
May 31, 2017 5:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/10472 took 614295 ms. Total solver calls (SAT/UNSAT): 2107543(4/2107539)
May 31, 2017 5:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/10472 took 616513 ms. Total solver calls (SAT/UNSAT): 2115321(4/2115317)
May 31, 2017 5:12:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/10472 took 617568 ms. Total solver calls (SAT/UNSAT): 2118838(4/2118834)
May 31, 2017 5:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/10472 took 618786 ms. Total solver calls (SAT/UNSAT): 2123099(4/2123095)
May 31, 2017 5:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/10472 took 619795 ms. Total solver calls (SAT/UNSAT): 2126616(4/2126612)
May 31, 2017 5:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/10472 took 621010 ms. Total solver calls (SAT/UNSAT): 2130877(4/2130873)
May 31, 2017 5:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/10472 took 622037 ms. Total solver calls (SAT/UNSAT): 2134394(4/2134390)
May 31, 2017 5:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/10472 took 623284 ms. Total solver calls (SAT/UNSAT): 2138655(4/2138651)
May 31, 2017 5:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/10472 took 624300 ms. Total solver calls (SAT/UNSAT): 2142172(4/2142168)
May 31, 2017 5:12:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/10472 took 625493 ms. Total solver calls (SAT/UNSAT): 2146433(4/2146429)
May 31, 2017 5:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/10472 took 626494 ms. Total solver calls (SAT/UNSAT): 2149950(4/2149946)
May 31, 2017 5:12:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/10472 took 627681 ms. Total solver calls (SAT/UNSAT): 2154211(4/2154207)
May 31, 2017 5:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/10472 took 629872 ms. Total solver calls (SAT/UNSAT): 2161989(4/2161985)
May 31, 2017 5:12:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/10472 took 632073 ms. Total solver calls (SAT/UNSAT): 2169767(4/2169763)
May 31, 2017 5:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/10472 took 633130 ms. Total solver calls (SAT/UNSAT): 2173284(4/2173280)
May 31, 2017 5:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/10472 took 634339 ms. Total solver calls (SAT/UNSAT): 2177545(4/2177541)
May 31, 2017 5:12:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/10472 took 635408 ms. Total solver calls (SAT/UNSAT): 2181062(4/2181058)
May 31, 2017 5:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/10472 took 636607 ms. Total solver calls (SAT/UNSAT): 2185323(4/2185319)
May 31, 2017 5:12:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/10472 took 637748 ms. Total solver calls (SAT/UNSAT): 2188840(4/2188836)
May 31, 2017 5:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/10472 took 638981 ms. Total solver calls (SAT/UNSAT): 2193101(4/2193097)
May 31, 2017 5:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/10472 took 640023 ms. Total solver calls (SAT/UNSAT): 2196618(4/2196614)
May 31, 2017 5:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/10472 took 641215 ms. Total solver calls (SAT/UNSAT): 2200879(4/2200875)
May 31, 2017 5:12:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/10472 took 642226 ms. Total solver calls (SAT/UNSAT): 2204396(4/2204392)
May 31, 2017 5:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/10472 took 643418 ms. Total solver calls (SAT/UNSAT): 2208657(4/2208653)
May 31, 2017 5:12:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/10472 took 645615 ms. Total solver calls (SAT/UNSAT): 2216435(4/2216431)
May 31, 2017 5:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/10472 took 647790 ms. Total solver calls (SAT/UNSAT): 2224213(4/2224209)
May 31, 2017 5:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/10472 took 650050 ms. Total solver calls (SAT/UNSAT): 2231991(4/2231987)
May 31, 2017 5:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/10472 took 652251 ms. Total solver calls (SAT/UNSAT): 2239769(4/2239765)
May 31, 2017 5:12:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/10472 took 653280 ms. Total solver calls (SAT/UNSAT): 2243286(4/2243282)
May 31, 2017 5:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/10472 took 654488 ms. Total solver calls (SAT/UNSAT): 2247547(4/2247543)
May 31, 2017 5:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/10472 took 655501 ms. Total solver calls (SAT/UNSAT): 2251064(4/2251060)
May 31, 2017 5:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/10472 took 656709 ms. Total solver calls (SAT/UNSAT): 2255325(4/2255321)
May 31, 2017 5:12:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/10472 took 657735 ms. Total solver calls (SAT/UNSAT): 2258842(4/2258838)
May 31, 2017 5:12:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/10472 took 658938 ms. Total solver calls (SAT/UNSAT): 2263103(4/2263099)
May 31, 2017 5:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/10472 took 659946 ms. Total solver calls (SAT/UNSAT): 2266620(4/2266616)
May 31, 2017 5:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/10472 took 661159 ms. Total solver calls (SAT/UNSAT): 2270881(4/2270877)
May 31, 2017 5:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/10472 took 663333 ms. Total solver calls (SAT/UNSAT): 2278659(4/2278655)
May 31, 2017 5:13:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/10472 took 665566 ms. Total solver calls (SAT/UNSAT): 2286437(4/2286433)
May 31, 2017 5:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/10472 took 666574 ms. Total solver calls (SAT/UNSAT): 2289954(4/2289950)
May 31, 2017 5:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/10472 took 667804 ms. Total solver calls (SAT/UNSAT): 2294215(4/2294211)
May 31, 2017 5:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/10472 took 668865 ms. Total solver calls (SAT/UNSAT): 2297732(4/2297728)
May 31, 2017 5:13:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/10472 took 670074 ms. Total solver calls (SAT/UNSAT): 2301993(4/2301989)
May 31, 2017 5:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/10472 took 671097 ms. Total solver calls (SAT/UNSAT): 2305510(4/2305506)
May 31, 2017 5:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/10472 took 672307 ms. Total solver calls (SAT/UNSAT): 2309771(4/2309767)
May 31, 2017 5:13:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/10472 took 673330 ms. Total solver calls (SAT/UNSAT): 2313288(4/2313284)
May 31, 2017 5:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/10472 took 674524 ms. Total solver calls (SAT/UNSAT): 2317549(4/2317545)
May 31, 2017 5:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/10472 took 675543 ms. Total solver calls (SAT/UNSAT): 2321066(4/2321062)
May 31, 2017 5:13:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/10472 took 676786 ms. Total solver calls (SAT/UNSAT): 2325327(4/2325323)
May 31, 2017 5:13:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/10472 took 678946 ms. Total solver calls (SAT/UNSAT): 2333105(4/2333101)
May 31, 2017 5:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/10472 took 679949 ms. Total solver calls (SAT/UNSAT): 2336622(4/2336618)
May 31, 2017 5:13:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/10472 took 681142 ms. Total solver calls (SAT/UNSAT): 2340883(4/2340879)
May 31, 2017 5:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/10472 took 682148 ms. Total solver calls (SAT/UNSAT): 2344400(4/2344396)
May 31, 2017 5:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/10472 took 683351 ms. Total solver calls (SAT/UNSAT): 2348661(4/2348657)
May 31, 2017 5:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/10472 took 684351 ms. Total solver calls (SAT/UNSAT): 2352178(4/2352174)
May 31, 2017 5:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/10472 took 685567 ms. Total solver calls (SAT/UNSAT): 2356439(4/2356435)
May 31, 2017 5:13:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/10472 took 686592 ms. Total solver calls (SAT/UNSAT): 2359956(4/2359952)
May 31, 2017 5:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/10472 took 687805 ms. Total solver calls (SAT/UNSAT): 2364217(4/2364213)
May 31, 2017 5:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/10472 took 688819 ms. Total solver calls (SAT/UNSAT): 2367734(4/2367730)
May 31, 2017 5:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/10472 took 690012 ms. Total solver calls (SAT/UNSAT): 2371995(4/2371991)
May 31, 2017 5:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/10472 took 691017 ms. Total solver calls (SAT/UNSAT): 2375512(4/2375508)
May 31, 2017 5:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/10472 took 692306 ms. Total solver calls (SAT/UNSAT): 2379773(4/2379769)
May 31, 2017 5:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/10472 took 693324 ms. Total solver calls (SAT/UNSAT): 2383290(4/2383286)
May 31, 2017 5:13:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/10472 took 694532 ms. Total solver calls (SAT/UNSAT): 2387551(4/2387547)
May 31, 2017 5:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/10472 took 695551 ms. Total solver calls (SAT/UNSAT): 2391068(4/2391064)
May 31, 2017 5:13:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/10472 took 696775 ms. Total solver calls (SAT/UNSAT): 2395329(4/2395325)
May 31, 2017 5:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/10472 took 697799 ms. Total solver calls (SAT/UNSAT): 2398846(4/2398842)
May 31, 2017 5:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/10472 took 699012 ms. Total solver calls (SAT/UNSAT): 2403107(4/2403103)
May 31, 2017 5:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/10472 took 700013 ms. Total solver calls (SAT/UNSAT): 2406624(4/2406620)
May 31, 2017 5:13:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/10472 took 701205 ms. Total solver calls (SAT/UNSAT): 2410885(4/2410881)
May 31, 2017 5:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/10472 took 702212 ms. Total solver calls (SAT/UNSAT): 2414402(4/2414398)
May 31, 2017 5:13:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/10472 took 703411 ms. Total solver calls (SAT/UNSAT): 2418663(4/2418659)
May 31, 2017 5:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/10472 took 704418 ms. Total solver calls (SAT/UNSAT): 2422180(4/2422176)
May 31, 2017 5:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/10472 took 705625 ms. Total solver calls (SAT/UNSAT): 2426441(4/2426437)
May 31, 2017 5:13:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/10472 took 706639 ms. Total solver calls (SAT/UNSAT): 2429958(4/2429954)
May 31, 2017 5:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/10472 took 707852 ms. Total solver calls (SAT/UNSAT): 2434219(4/2434215)
May 31, 2017 5:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/10472 took 708870 ms. Total solver calls (SAT/UNSAT): 2437736(4/2437732)
May 31, 2017 5:13:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/10472 took 710073 ms. Total solver calls (SAT/UNSAT): 2441967(4/2441963)
May 31, 2017 5:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/10472 took 711090 ms. Total solver calls (SAT/UNSAT): 2445454(4/2445450)
May 31, 2017 5:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/10472 took 712279 ms. Total solver calls (SAT/UNSAT): 2449685(4/2449681)
May 31, 2017 5:13:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/10472 took 713287 ms. Total solver calls (SAT/UNSAT): 2453172(4/2453168)
May 31, 2017 5:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/10472 took 714484 ms. Total solver calls (SAT/UNSAT): 2457403(4/2457399)
May 31, 2017 5:13:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/10472 took 716679 ms. Total solver calls (SAT/UNSAT): 2465121(4/2465117)
May 31, 2017 5:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/10472 took 717720 ms. Total solver calls (SAT/UNSAT): 2468608(4/2468604)
May 31, 2017 5:13:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/10472 took 718925 ms. Total solver calls (SAT/UNSAT): 2472839(4/2472835)
May 31, 2017 5:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/10472 took 719934 ms. Total solver calls (SAT/UNSAT): 2476326(4/2476322)
May 31, 2017 5:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/10472 took 721139 ms. Total solver calls (SAT/UNSAT): 2480557(4/2480553)
May 31, 2017 5:14:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/10472 took 722153 ms. Total solver calls (SAT/UNSAT): 2484044(4/2484040)
May 31, 2017 5:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/10472 took 723392 ms. Total solver calls (SAT/UNSAT): 2488275(4/2488271)
May 31, 2017 5:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/10472 took 724399 ms. Total solver calls (SAT/UNSAT): 2491762(4/2491758)
May 31, 2017 5:14:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/10472 took 725603 ms. Total solver calls (SAT/UNSAT): 2495993(4/2495989)
May 31, 2017 5:14:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/10472 took 726614 ms. Total solver calls (SAT/UNSAT): 2499480(4/2499476)
May 31, 2017 5:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/10472 took 727825 ms. Total solver calls (SAT/UNSAT): 2503711(4/2503707)
May 31, 2017 5:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/10472 took 728834 ms. Total solver calls (SAT/UNSAT): 2507198(4/2507194)
May 31, 2017 5:14:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/10472 took 730038 ms. Total solver calls (SAT/UNSAT): 2511429(4/2511425)
May 31, 2017 5:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/10472 took 731046 ms. Total solver calls (SAT/UNSAT): 2514916(4/2514912)
May 31, 2017 5:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/10472 took 732272 ms. Total solver calls (SAT/UNSAT): 2519147(4/2519143)
May 31, 2017 5:14:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/10472 took 733275 ms. Total solver calls (SAT/UNSAT): 2522634(4/2522630)
May 31, 2017 5:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/10472 took 734468 ms. Total solver calls (SAT/UNSAT): 2526865(4/2526861)
May 31, 2017 5:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/10472 took 735472 ms. Total solver calls (SAT/UNSAT): 2530352(4/2530348)
May 31, 2017 5:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/10472 took 736687 ms. Total solver calls (SAT/UNSAT): 2534583(4/2534579)
May 31, 2017 5:14:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/10472 took 737700 ms. Total solver calls (SAT/UNSAT): 2538070(4/2538066)
May 31, 2017 5:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/10472 took 738989 ms. Total solver calls (SAT/UNSAT): 2542301(4/2542297)
May 31, 2017 5:14:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/10472 took 740050 ms. Total solver calls (SAT/UNSAT): 2545788(4/2545784)
May 31, 2017 5:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/10472 took 741242 ms. Total solver calls (SAT/UNSAT): 2550019(4/2550015)
May 31, 2017 5:14:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/10472 took 742248 ms. Total solver calls (SAT/UNSAT): 2553506(4/2553502)
May 31, 2017 5:14:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/10472 took 743449 ms. Total solver calls (SAT/UNSAT): 2557737(4/2557733)
May 31, 2017 5:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/10472 took 744459 ms. Total solver calls (SAT/UNSAT): 2561224(4/2561220)
May 31, 2017 5:14:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/10472 took 745660 ms. Total solver calls (SAT/UNSAT): 2565455(4/2565451)
May 31, 2017 5:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/10472 took 746678 ms. Total solver calls (SAT/UNSAT): 2568942(4/2568938)
May 31, 2017 5:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/10472 took 747884 ms. Total solver calls (SAT/UNSAT): 2573173(4/2573169)
May 31, 2017 5:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/10472 took 748888 ms. Total solver calls (SAT/UNSAT): 2576660(4/2576656)
May 31, 2017 5:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/10472 took 750084 ms. Total solver calls (SAT/UNSAT): 2580891(4/2580887)
May 31, 2017 5:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/10472 took 751091 ms. Total solver calls (SAT/UNSAT): 2584378(4/2584374)
May 31, 2017 5:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/10472 took 752358 ms. Total solver calls (SAT/UNSAT): 2588609(4/2588605)
May 31, 2017 5:14:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/10472 took 753367 ms. Total solver calls (SAT/UNSAT): 2592096(4/2592092)
May 31, 2017 5:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/10472 took 754576 ms. Total solver calls (SAT/UNSAT): 2596327(4/2596323)
May 31, 2017 5:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/10472 took 755592 ms. Total solver calls (SAT/UNSAT): 2599814(4/2599810)
May 31, 2017 5:14:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/10472 took 756806 ms. Total solver calls (SAT/UNSAT): 2604045(4/2604041)
May 31, 2017 5:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/10472 took 757822 ms. Total solver calls (SAT/UNSAT): 2607532(4/2607528)
May 31, 2017 5:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/10472 took 759034 ms. Total solver calls (SAT/UNSAT): 2611763(4/2611759)
May 31, 2017 5:14:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/10472 took 760049 ms. Total solver calls (SAT/UNSAT): 2615250(4/2615246)
May 31, 2017 5:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/10472 took 761262 ms. Total solver calls (SAT/UNSAT): 2619481(4/2619477)
May 31, 2017 5:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/10472 took 762272 ms. Total solver calls (SAT/UNSAT): 2622968(4/2622964)
May 31, 2017 5:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/10472 took 763468 ms. Total solver calls (SAT/UNSAT): 2627199(4/2627195)
May 31, 2017 5:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/10472 took 764477 ms. Total solver calls (SAT/UNSAT): 2630686(4/2630682)
May 31, 2017 5:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/10472 took 765677 ms. Total solver calls (SAT/UNSAT): 2634917(4/2634913)
May 31, 2017 5:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/10472 took 766698 ms. Total solver calls (SAT/UNSAT): 2638404(4/2638400)
May 31, 2017 5:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/10472 took 767909 ms. Total solver calls (SAT/UNSAT): 2642665(4/2642661)
May 31, 2017 5:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/10472 took 768937 ms. Total solver calls (SAT/UNSAT): 2646182(4/2646178)
May 31, 2017 5:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/10472 took 770231 ms. Total solver calls (SAT/UNSAT): 2650443(4/2650439)
May 31, 2017 5:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/10472 took 771260 ms. Total solver calls (SAT/UNSAT): 2653960(4/2653956)
May 31, 2017 5:14:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/10472 took 772489 ms. Total solver calls (SAT/UNSAT): 2658221(4/2658217)
May 31, 2017 5:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/10472 took 773513 ms. Total solver calls (SAT/UNSAT): 2661738(4/2661734)
May 31, 2017 5:14:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/10472 took 774735 ms. Total solver calls (SAT/UNSAT): 2665999(4/2665995)
May 31, 2017 5:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/10472 took 775789 ms. Total solver calls (SAT/UNSAT): 2669516(4/2669512)
May 31, 2017 5:14:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/10472 took 777059 ms. Total solver calls (SAT/UNSAT): 2673777(4/2673773)
May 31, 2017 5:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/10472 took 778080 ms. Total solver calls (SAT/UNSAT): 2677294(4/2677290)
May 31, 2017 5:15:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/10472 took 779292 ms. Total solver calls (SAT/UNSAT): 2681555(4/2681551)
May 31, 2017 5:15:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/10472 took 780309 ms. Total solver calls (SAT/UNSAT): 2685072(4/2685068)
May 31, 2017 5:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/10472 took 781528 ms. Total solver calls (SAT/UNSAT): 2689333(4/2689329)
May 31, 2017 5:15:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/10472 took 782545 ms. Total solver calls (SAT/UNSAT): 2692850(4/2692846)
May 31, 2017 5:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/10472 took 783754 ms. Total solver calls (SAT/UNSAT): 2697111(4/2697107)
May 31, 2017 5:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/10472 took 784784 ms. Total solver calls (SAT/UNSAT): 2700628(4/2700624)
May 31, 2017 5:15:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/10472 took 786003 ms. Total solver calls (SAT/UNSAT): 2704889(4/2704885)
May 31, 2017 5:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/10472 took 787021 ms. Total solver calls (SAT/UNSAT): 2708406(4/2708402)
May 31, 2017 5:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/10472 took 788240 ms. Total solver calls (SAT/UNSAT): 2712667(4/2712663)
May 31, 2017 5:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/10472 took 789269 ms. Total solver calls (SAT/UNSAT): 2716184(4/2716180)
May 31, 2017 5:15:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/10472 took 790493 ms. Total solver calls (SAT/UNSAT): 2720445(4/2720441)
May 31, 2017 5:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/10472 took 791518 ms. Total solver calls (SAT/UNSAT): 2723962(4/2723958)
May 31, 2017 5:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/10472 took 792734 ms. Total solver calls (SAT/UNSAT): 2728223(4/2728219)
May 31, 2017 5:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/10472 took 793755 ms. Total solver calls (SAT/UNSAT): 2731740(4/2731736)
May 31, 2017 5:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/10472 took 794976 ms. Total solver calls (SAT/UNSAT): 2736001(4/2735997)
May 31, 2017 5:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/10472 took 795995 ms. Total solver calls (SAT/UNSAT): 2739518(4/2739514)
May 31, 2017 5:15:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/10472 took 797205 ms. Total solver calls (SAT/UNSAT): 2743779(4/2743775)
May 31, 2017 5:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/10472 took 798226 ms. Total solver calls (SAT/UNSAT): 2747296(4/2747292)
May 31, 2017 5:15:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/10472 took 799471 ms. Total solver calls (SAT/UNSAT): 2751557(4/2751553)
May 31, 2017 5:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/10472 took 800489 ms. Total solver calls (SAT/UNSAT): 2755074(4/2755070)
May 31, 2017 5:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/10472 took 801711 ms. Total solver calls (SAT/UNSAT): 2759335(4/2759331)
May 31, 2017 5:15:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/10472 took 802732 ms. Total solver calls (SAT/UNSAT): 2762852(4/2762848)
May 31, 2017 5:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/10472 took 803998 ms. Total solver calls (SAT/UNSAT): 2767113(4/2767109)
May 31, 2017 5:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/10472 took 805101 ms. Total solver calls (SAT/UNSAT): 2770630(4/2770626)
May 31, 2017 5:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/10472 took 806321 ms. Total solver calls (SAT/UNSAT): 2774891(4/2774887)
May 31, 2017 5:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/10472 took 807360 ms. Total solver calls (SAT/UNSAT): 2778408(4/2778404)
May 31, 2017 5:15:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/10472 took 808577 ms. Total solver calls (SAT/UNSAT): 2782669(4/2782665)
May 31, 2017 5:15:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/10472 took 809606 ms. Total solver calls (SAT/UNSAT): 2786186(4/2786182)
May 31, 2017 5:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/10472 took 810839 ms. Total solver calls (SAT/UNSAT): 2790447(4/2790443)
May 31, 2017 5:15:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/10472 took 811857 ms. Total solver calls (SAT/UNSAT): 2793964(4/2793960)
May 31, 2017 5:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/10472 took 813067 ms. Total solver calls (SAT/UNSAT): 2798225(4/2798221)
May 31, 2017 5:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/10472 took 814134 ms. Total solver calls (SAT/UNSAT): 2801742(4/2801738)
May 31, 2017 5:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/10472 took 815347 ms. Total solver calls (SAT/UNSAT): 2806003(4/2805999)
May 31, 2017 5:15:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/10472 took 816365 ms. Total solver calls (SAT/UNSAT): 2809520(4/2809516)
May 31, 2017 5:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/10472 took 817581 ms. Total solver calls (SAT/UNSAT): 2813781(4/2813777)
May 31, 2017 5:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/10472 took 818600 ms. Total solver calls (SAT/UNSAT): 2817298(4/2817294)
May 31, 2017 5:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/10472 took 819867 ms. Total solver calls (SAT/UNSAT): 2821559(4/2821555)
May 31, 2017 5:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :727/10472 took 820934 ms. Total solver calls (SAT/UNSAT): 2825076(4/2825072)
May 31, 2017 5:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/10472 took 822149 ms. Total solver calls (SAT/UNSAT): 2829337(4/2829333)
May 31, 2017 5:15:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/10472 took 823168 ms. Total solver calls (SAT/UNSAT): 2832854(4/2832850)
May 31, 2017 5:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/10472 took 824385 ms. Total solver calls (SAT/UNSAT): 2837115(4/2837111)
May 31, 2017 5:15:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/10472 took 825403 ms. Total solver calls (SAT/UNSAT): 2840632(4/2840628)
May 31, 2017 5:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/10472 took 826614 ms. Total solver calls (SAT/UNSAT): 2844893(4/2844889)
May 31, 2017 5:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/10472 took 827636 ms. Total solver calls (SAT/UNSAT): 2848410(4/2848406)
May 31, 2017 5:15:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/10472 took 828847 ms. Total solver calls (SAT/UNSAT): 2852671(4/2852667)
May 31, 2017 5:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/10472 took 829855 ms. Total solver calls (SAT/UNSAT): 2856188(4/2856184)
May 31, 2017 5:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/10472 took 831070 ms. Total solver calls (SAT/UNSAT): 2860449(4/2860445)
May 31, 2017 5:15:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/10472 took 832086 ms. Total solver calls (SAT/UNSAT): 2863966(4/2863962)
May 31, 2017 5:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/10472 took 833302 ms. Total solver calls (SAT/UNSAT): 2868227(4/2868223)
May 31, 2017 5:15:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/10472 took 834321 ms. Total solver calls (SAT/UNSAT): 2871744(4/2871740)
May 31, 2017 5:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/10472 took 835530 ms. Total solver calls (SAT/UNSAT): 2876005(4/2876001)
May 31, 2017 5:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/10472 took 836549 ms. Total solver calls (SAT/UNSAT): 2879522(4/2879518)
May 31, 2017 5:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/10472 took 837757 ms. Total solver calls (SAT/UNSAT): 2883783(4/2883779)
May 31, 2017 5:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/10472 took 838770 ms. Total solver calls (SAT/UNSAT): 2887300(4/2887296)
May 31, 2017 5:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/10472 took 839987 ms. Total solver calls (SAT/UNSAT): 2891561(4/2891557)
May 31, 2017 5:16:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/10472 took 841006 ms. Total solver calls (SAT/UNSAT): 2895078(4/2895074)
May 31, 2017 5:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/10472 took 842217 ms. Total solver calls (SAT/UNSAT): 2899339(4/2899335)
May 31, 2017 5:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/10472 took 843242 ms. Total solver calls (SAT/UNSAT): 2902856(4/2902852)
May 31, 2017 5:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/10472 took 844462 ms. Total solver calls (SAT/UNSAT): 2907117(4/2907113)
May 31, 2017 5:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/10472 took 845487 ms. Total solver calls (SAT/UNSAT): 2910634(4/2910630)
May 31, 2017 5:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/10472 took 846700 ms. Total solver calls (SAT/UNSAT): 2914895(4/2914891)
May 31, 2017 5:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/10472 took 847716 ms. Total solver calls (SAT/UNSAT): 2918412(4/2918408)
May 31, 2017 5:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/10472 took 848936 ms. Total solver calls (SAT/UNSAT): 2922673(4/2922669)
May 31, 2017 5:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/10472 took 849957 ms. Total solver calls (SAT/UNSAT): 2926190(4/2926186)
May 31, 2017 5:16:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/10472 took 851183 ms. Total solver calls (SAT/UNSAT): 2930451(4/2930447)
May 31, 2017 5:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/10472 took 852202 ms. Total solver calls (SAT/UNSAT): 2933968(4/2933964)
May 31, 2017 5:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/10472 took 853425 ms. Total solver calls (SAT/UNSAT): 2938229(4/2938225)
May 31, 2017 5:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/10472 took 854487 ms. Total solver calls (SAT/UNSAT): 2941746(4/2941742)
May 31, 2017 5:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/10472 took 855695 ms. Total solver calls (SAT/UNSAT): 2946007(4/2946003)
May 31, 2017 5:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/10472 took 856718 ms. Total solver calls (SAT/UNSAT): 2949524(4/2949520)
May 31, 2017 5:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/10472 took 857934 ms. Total solver calls (SAT/UNSAT): 2953785(4/2953781)
May 31, 2017 5:16:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/10472 took 858960 ms. Total solver calls (SAT/UNSAT): 2957302(4/2957298)
May 31, 2017 5:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/10472 took 860179 ms. Total solver calls (SAT/UNSAT): 2961563(4/2961559)
May 31, 2017 5:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/10472 took 861210 ms. Total solver calls (SAT/UNSAT): 2965080(4/2965076)
May 31, 2017 5:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/10472 took 862437 ms. Total solver calls (SAT/UNSAT): 2969341(4/2969337)
May 31, 2017 5:16:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/10472 took 863467 ms. Total solver calls (SAT/UNSAT): 2972858(4/2972854)
May 31, 2017 5:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/10472 took 864696 ms. Total solver calls (SAT/UNSAT): 2977119(4/2977115)
May 31, 2017 5:16:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/10472 took 865723 ms. Total solver calls (SAT/UNSAT): 2980636(4/2980632)
May 31, 2017 5:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/10472 took 866944 ms. Total solver calls (SAT/UNSAT): 2984897(4/2984893)
May 31, 2017 5:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/10472 took 867976 ms. Total solver calls (SAT/UNSAT): 2988414(4/2988410)
May 31, 2017 5:16:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/10472 took 869197 ms. Total solver calls (SAT/UNSAT): 2992675(4/2992671)
May 31, 2017 5:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/10472 took 870231 ms. Total solver calls (SAT/UNSAT): 2996192(4/2996188)
May 31, 2017 5:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/10472 took 871453 ms. Total solver calls (SAT/UNSAT): 3000453(4/3000449)
May 31, 2017 5:16:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/10472 took 872483 ms. Total solver calls (SAT/UNSAT): 3003970(4/3003966)
May 31, 2017 5:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/10472 took 873704 ms. Total solver calls (SAT/UNSAT): 3008231(4/3008227)
May 31, 2017 5:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/10472 took 874732 ms. Total solver calls (SAT/UNSAT): 3011748(4/3011744)
May 31, 2017 5:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/10472 took 875957 ms. Total solver calls (SAT/UNSAT): 3016009(4/3016005)
May 31, 2017 5:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/10472 took 876983 ms. Total solver calls (SAT/UNSAT): 3019526(4/3019522)
May 31, 2017 5:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/10472 took 878210 ms. Total solver calls (SAT/UNSAT): 3023787(4/3023783)
May 31, 2017 5:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/10472 took 879240 ms. Total solver calls (SAT/UNSAT): 3027304(4/3027300)
May 31, 2017 5:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/10472 took 880472 ms. Total solver calls (SAT/UNSAT): 3031565(4/3031561)
May 31, 2017 5:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/10472 took 881502 ms. Total solver calls (SAT/UNSAT): 3035082(4/3035078)
May 31, 2017 5:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/10472 took 882719 ms. Total solver calls (SAT/UNSAT): 3039343(4/3039339)
May 31, 2017 5:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/10472 took 883757 ms. Total solver calls (SAT/UNSAT): 3042860(4/3042856)
May 31, 2017 5:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/10472 took 884973 ms. Total solver calls (SAT/UNSAT): 3047121(4/3047117)
May 31, 2017 5:16:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/10472 took 886005 ms. Total solver calls (SAT/UNSAT): 3050638(4/3050634)
May 31, 2017 5:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/10472 took 887222 ms. Total solver calls (SAT/UNSAT): 3054899(4/3054895)
May 31, 2017 5:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/10472 took 888251 ms. Total solver calls (SAT/UNSAT): 3058416(4/3058412)
May 31, 2017 5:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/10472 took 889468 ms. Total solver calls (SAT/UNSAT): 3062677(4/3062673)
May 31, 2017 5:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/10472 took 890485 ms. Total solver calls (SAT/UNSAT): 3066194(4/3066190)
May 31, 2017 5:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/10472 took 891694 ms. Total solver calls (SAT/UNSAT): 3070455(4/3070451)
May 31, 2017 5:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/10472 took 892709 ms. Total solver calls (SAT/UNSAT): 3073972(4/3073968)
May 31, 2017 5:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/10472 took 893931 ms. Total solver calls (SAT/UNSAT): 3078233(4/3078229)
May 31, 2017 5:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/10472 took 894954 ms. Total solver calls (SAT/UNSAT): 3081750(4/3081746)
May 31, 2017 5:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/10472 took 896178 ms. Total solver calls (SAT/UNSAT): 3086011(4/3086007)
May 31, 2017 5:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/10472 took 897203 ms. Total solver calls (SAT/UNSAT): 3089528(4/3089524)
May 31, 2017 5:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/10472 took 898430 ms. Total solver calls (SAT/UNSAT): 3093789(4/3093785)
May 31, 2017 5:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/10472 took 899464 ms. Total solver calls (SAT/UNSAT): 3097306(4/3097302)
May 31, 2017 5:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/10472 took 900682 ms. Total solver calls (SAT/UNSAT): 3101567(4/3101563)
May 31, 2017 5:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/10472 took 901693 ms. Total solver calls (SAT/UNSAT): 3105084(4/3105080)
May 31, 2017 5:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/10472 took 902913 ms. Total solver calls (SAT/UNSAT): 3109345(4/3109341)
May 31, 2017 5:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/10472 took 903950 ms. Total solver calls (SAT/UNSAT): 3112862(4/3112858)
May 31, 2017 5:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/10472 took 905167 ms. Total solver calls (SAT/UNSAT): 3117123(4/3117119)
May 31, 2017 5:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/10472 took 906199 ms. Total solver calls (SAT/UNSAT): 3120640(4/3120636)
May 31, 2017 5:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/10472 took 907423 ms. Total solver calls (SAT/UNSAT): 3124901(4/3124897)
May 31, 2017 5:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/10472 took 908465 ms. Total solver calls (SAT/UNSAT): 3128418(4/3128414)
May 31, 2017 5:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/10472 took 909693 ms. Total solver calls (SAT/UNSAT): 3132679(4/3132675)
May 31, 2017 5:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/10472 took 910715 ms. Total solver calls (SAT/UNSAT): 3136196(4/3136192)
May 31, 2017 5:17:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/10472 took 911946 ms. Total solver calls (SAT/UNSAT): 3140457(4/3140453)
May 31, 2017 5:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/10472 took 912967 ms. Total solver calls (SAT/UNSAT): 3143974(4/3143970)
May 31, 2017 5:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/10472 took 914190 ms. Total solver calls (SAT/UNSAT): 3148235(4/3148231)
May 31, 2017 5:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/10472 took 915222 ms. Total solver calls (SAT/UNSAT): 3151752(4/3151748)
May 31, 2017 5:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/10472 took 916442 ms. Total solver calls (SAT/UNSAT): 3156013(4/3156009)
May 31, 2017 5:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/10472 took 917472 ms. Total solver calls (SAT/UNSAT): 3159530(4/3159526)
May 31, 2017 5:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/10472 took 918698 ms. Total solver calls (SAT/UNSAT): 3163791(4/3163787)
May 31, 2017 5:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :815/10472 took 919728 ms. Total solver calls (SAT/UNSAT): 3167308(4/3167304)
May 31, 2017 5:17:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/10472 took 920952 ms. Total solver calls (SAT/UNSAT): 3171569(4/3171565)
May 31, 2017 5:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/10472 took 921979 ms. Total solver calls (SAT/UNSAT): 3175086(4/3175082)
May 31, 2017 5:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/10472 took 923208 ms. Total solver calls (SAT/UNSAT): 3179347(4/3179343)
May 31, 2017 5:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/10472 took 924237 ms. Total solver calls (SAT/UNSAT): 3182864(4/3182860)
May 31, 2017 5:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/10472 took 925463 ms. Total solver calls (SAT/UNSAT): 3187125(4/3187121)
May 31, 2017 5:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/10472 took 926490 ms. Total solver calls (SAT/UNSAT): 3190642(4/3190638)
May 31, 2017 5:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/10472 took 927718 ms. Total solver calls (SAT/UNSAT): 3194903(4/3194899)
May 31, 2017 5:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/10472 took 928747 ms. Total solver calls (SAT/UNSAT): 3198420(4/3198416)
May 31, 2017 5:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/10472 took 929967 ms. Total solver calls (SAT/UNSAT): 3202681(4/3202677)
May 31, 2017 5:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/10472 took 930997 ms. Total solver calls (SAT/UNSAT): 3206198(4/3206194)
May 31, 2017 5:17:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/10472 took 932218 ms. Total solver calls (SAT/UNSAT): 3210459(4/3210455)
May 31, 2017 5:17:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/10472 took 933250 ms. Total solver calls (SAT/UNSAT): 3213976(4/3213972)
May 31, 2017 5:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/10472 took 934483 ms. Total solver calls (SAT/UNSAT): 3218237(4/3218233)
May 31, 2017 5:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/10472 took 935518 ms. Total solver calls (SAT/UNSAT): 3221754(4/3221750)
May 31, 2017 5:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/10472 took 936755 ms. Total solver calls (SAT/UNSAT): 3226015(4/3226011)
May 31, 2017 5:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/10472 took 937788 ms. Total solver calls (SAT/UNSAT): 3229532(4/3229528)
May 31, 2017 5:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/10472 took 939021 ms. Total solver calls (SAT/UNSAT): 3233793(4/3233789)
May 31, 2017 5:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/10472 took 940052 ms. Total solver calls (SAT/UNSAT): 3237310(4/3237306)
May 31, 2017 5:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/10472 took 941285 ms. Total solver calls (SAT/UNSAT): 3241571(4/3241567)
May 31, 2017 5:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/10472 took 942315 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="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/DotAndBoxes-COL-5.tgz
mv 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 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 r030-blw3-149440266600176"
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 ;