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-3253
Executing tool itstools
Input is CSRepetitions-COL-10, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r020-ebro-149436312000104
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496307549541


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(G("requestBufferSlots[0]<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((clientWaiting[0]+clientWaiting[1])+clientWaiting[2])+clientWaiting[3])+clientWaiting[4])+clientWaiting[5])+clientWaiting[6])+clientWaiting[7])+clientWaiting[8])+clientWaiting[9])+clientWaiting[10])+clientWaiting[11])+clientWaiting[12])+clientWaiting[13])+clientWaiting[14])+clientWaiting[15])+clientWaiting[16])+clientWaiting[17])+clientWaiting[18])+clientWaiting[19])+clientWaiting[20])+clientWaiting[21])+clientWaiting[22])+clientWaiting[23])+clientWaiting[24])+clientWaiting[25])+clientWaiting[26])+clientWaiting[27])+clientWaiting[28])+clientWaiting[29])+clientWaiting[30])+clientWaiting[31])+clientWaiting[32])+clientWaiting[33])+clientWaiting[34])+clientWaiting[35])+clientWaiting[36])+clientWaiting[37])+clientWaiting[38])+clientWaiting[39])+clientWaiting[40])+clientWaiting[41])+clientWaiting[42])+clientWaiting[43])+clientWaiting[44])+clientWaiting[45])+clientWaiting[46])+clientWaiting[47])+clientWaiting[48])+clientWaiting[49])+clientWaiting[50])+clientWaiting[51])+clientWaiting[52])+clientWaiting[53])+clientWaiting[54])+clientWaiting[55])+clientWaiting[56])+clientWaiting[57])+clientWaiting[58])+clientWaiting[59])+clientWaiting[60])+clientWaiting[61])+clientWaiting[62])+clientWaiting[63])+clientWaiting[64])+clientWaiting[65])+clientWaiting[66])+clientWaiting[67])+clientWaiting[68])+clientWaiting[69])+clientWaiting[70])+clientWaiting[71])+clientWaiting[72])+clientWaiting[73])+clientWaiting[74])+clientWaiting[75])+clientWaiting[76])+clientWaiting[77])+clientWaiting[78])+clientWaiting[79])+clientWaiting[80])+clientWaiting[81])+clientWaiting[82])+clientWaiting[83])+clientWaiting[84])+clientWaiting[85])+clientWaiting[86])+clientWaiting[87])+clientWaiting[88])+clientWaiting[89])+clientWaiting[90])+clientWaiting[91])+clientWaiting[92])+clientWaiting[93])+clientWaiting[94])+clientWaiting[95])+clientWaiting[96])+clientWaiting[97])+clientWaiting[98])+clientWaiting[99])")))U(F(X("(((((((((serverWaiting[0]+serverWaiting[1])+serverWaiting[2])+serverWaiting[3])+serverWaiting[4])+serverWaiting[5])+serverWaiting[6])+serverWaiting[7])+serverWaiting[8])+serverWaiting[9])>=1")))))
Formula 0 simplified : !(XG"requestBufferSlots[0]<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((clientWaiting[0]+clientWaiting[1])+clientWaiting[2])+clientWaiting[3])+clientWaiting[4])+clientWaiting[5])+clientWaiting[6])+clientWaiting[7])+clientWaiting[8])+clientWaiting[9])+clientWaiting[10])+clientWaiting[11])+clientWaiting[12])+clientWaiting[13])+clientWaiting[14])+clientWaiting[15])+clientWaiting[16])+clientWaiting[17])+clientWaiting[18])+clientWaiting[19])+clientWaiting[20])+clientWaiting[21])+clientWaiting[22])+clientWaiting[23])+clientWaiting[24])+clientWaiting[25])+clientWaiting[26])+clientWaiting[27])+clientWaiting[28])+clientWaiting[29])+clientWaiting[30])+clientWaiting[31])+clientWaiting[32])+clientWaiting[33])+clientWaiting[34])+clientWaiting[35])+clientWaiting[36])+clientWaiting[37])+clientWaiting[38])+clientWaiting[39])+clientWaiting[40])+clientWaiting[41])+clientWaiting[42])+clientWaiting[43])+clientWaiting[44])+clientWaiting[45])+clientWaiting[46])+clientWaiting[47])+clientWaiting[48])+clientWaiting[49])+clientWaiting[50])+clientWaiting[51])+clientWaiting[52])+clientWaiting[53])+clientWaiting[54])+clientWaiting[55])+clientWaiting[56])+clientWaiting[57])+clientWaiting[58])+clientWaiting[59])+clientWaiting[60])+clientWaiting[61])+clientWaiting[62])+clientWaiting[63])+clientWaiting[64])+clientWaiting[65])+clientWaiting[66])+clientWaiting[67])+clientWaiting[68])+clientWaiting[69])+clientWaiting[70])+clientWaiting[71])+clientWaiting[72])+clientWaiting[73])+clientWaiting[74])+clientWaiting[75])+clientWaiting[76])+clientWaiting[77])+clientWaiting[78])+clientWaiting[79])+clientWaiting[80])+clientWaiting[81])+clientWaiting[82])+clientWaiting[83])+clientWaiting[84])+clientWaiting[85])+clientWaiting[86])+clientWaiting[87])+clientWaiting[88])+clientWaiting[89])+clientWaiting[90])+clientWaiting[91])+clientWaiting[92])+clientWaiting[93])+clientWaiting[94])+clientWaiting[95])+clientWaiting[96])+clientWaiting[97])+clientWaiting[98])+clientWaiting[99])" U FX"(((((((((serverWaiting[0]+serverWaiting[1])+serverWaiting[2])+serverWaiting[3])+serverWaiting[4])+serverWaiting[5])+serverWaiting[6])+serverWaiting[7])+serverWaiting[8])+serverWaiting[9])>=1")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 2300 rows 1311 cols
invariant : 1'clientSending[52] + 1'clientWaiting[52]= 1
invariant : 1'clientSending[84] + 1'clientWaiting[84]= 1
invariant : 1'clientSending[15] + 1'clientWaiting[15]= 1
invariant : 1'clientSending[53] + 1'clientWaiting[53]= 1
invariant : 1'clientSending[93] + 1'clientWaiting[93]= 1
invariant : 1'serverWaiting[4] + 1'serverAnwering[4] + 1'serverAnwering[14] + 1'serverAnwering[24] + 1'serverAnwering[34] + 1'serverAnwering[44] + 1'serverAnwering[54] + 1'serverAnwering[64] + 1'serverAnwering[74] + 1'serverAnwering[84] + 1'serverAnwering[94] + 1'serverAnwering[104] + 1'serverAnwering[114] + 1'serverAnwering[124] + 1'serverAnwering[134] + 1'serverAnwering[144] + 1'serverAnwering[154] + 1'serverAnwering[164] + 1'serverAnwering[174] + 1'serverAnwering[184] + 1'serverAnwering[194] + 1'serverAnwering[204] + 1'serverAnwering[214] + 1'serverAnwering[224] + 1'serverAnwering[234] + 1'serverAnwering[244] + 1'serverAnwering[254] + 1'serverAnwering[264] + 1'serverAnwering[274] + 1'serverAnwering[284] + 1'serverAnwering[294] + 1'serverAnwering[304] + 1'serverAnwering[314] + 1'serverAnwering[324] + 1'serverAnwering[334] + 1'serverAnwering[344] + 1'serverAnwering[354] + 1'serverAnwering[364] + 1'serverAnwering[374] + 1'serverAnwering[384] + 1'serverAnwering[394] + 1'serverAnwering[404] + 1'serverAnwering[414] + 1'serverAnwering[424] + 1'serverAnwering[434] + 1'serverAnwering[444] + 1'serverAnwering[454] + 1'serverAnwering[464] + 1'serverAnwering[474] + 1'serverAnwering[484] + 1'serverAnwering[494] + 1'serverAnwering[504] + 1'serverAnwering[514] + 1'serverAnwering[524] + 1'serverAnwering[534] + 1'serverAnwering[544] + 1'serverAnwering[554] + 1'serverAnwering[564] + 1'serverAnwering[574] + 1'serverAnwering[584] + 1'serverAnwering[594] + 1'serverAnwering[604] + 1'serverAnwering[614] + 1'serverAnwering[624] + 1'serverAnwering[634] + 1'serverAnwering[644] + 1'serverAnwering[654] + 1'serverAnwering[664] + 1'serverAnwering[674] + 1'serverAnwering[684] + 1'serverAnwering[694] + 1'serverAnwering[704] + 1'serverAnwering[714] + 1'serverAnwering[724] + 1'serverAnwering[734] + 1'serverAnwering[744] + 1'serverAnwering[754] + 1'serverAnwering[764] + 1'serverAnwering[774] + 1'serverAnwering[784] + 1'serverAnwering[794] + 1'serverAnwering[804] + 1'serverAnwering[814] + 1'serverAnwering[824] + 1'serverAnwering[834] + 1'serverAnwering[844] + 1'serverAnwering[854] + 1'serverAnwering[864] + 1'serverAnwering[874] + 1'serverAnwering[884] + 1'serverAnwering[894] + 1'serverAnwering[904] + 1'serverAnwering[914] + 1'serverAnwering[924] + 1'serverAnwering[934] + 1'serverAnwering[944] + 1'serverAnwering[954] + 1'serverAnwering[964] + 1'serverAnwering[974] + 1'serverAnwering[984] + 1'serverAnwering[994]= 1
invariant : 1'serverWaiting[0] + 1'serverAnwering[0] + 1'serverAnwering[10] + 1'serverAnwering[20] + 1'serverAnwering[30] + 1'serverAnwering[40] + 1'serverAnwering[50] + 1'serverAnwering[60] + 1'serverAnwering[70] + 1'serverAnwering[80] + 1'serverAnwering[90] + 1'serverAnwering[100] + 1'serverAnwering[110] + 1'serverAnwering[120] + 1'serverAnwering[130] + 1'serverAnwering[140] + 1'serverAnwering[150] + 1'serverAnwering[160] + 1'serverAnwering[170] + 1'serverAnwering[180] + 1'serverAnwering[190] + 1'serverAnwering[200] + 1'serverAnwering[210] + 1'serverAnwering[220] + 1'serverAnwering[230] + 1'serverAnwering[240] + 1'serverAnwering[250] + 1'serverAnwering[260] + 1'serverAnwering[270] + 1'serverAnwering[280] + 1'serverAnwering[290] + 1'serverAnwering[300] + 1'serverAnwering[310] + 1'serverAnwering[320] + 1'serverAnwering[330] + 1'serverAnwering[340] + 1'serverAnwering[350] + 1'serverAnwering[360] + 1'serverAnwering[370] + 1'serverAnwering[380] + 1'serverAnwering[390] + 1'serverAnwering[400] + 1'serverAnwering[410] + 1'serverAnwering[420] + 1'serverAnwering[430] + 1'serverAnwering[440] + 1'serverAnwering[450] + 1'serverAnwering[460] + 1'serverAnwering[470] + 1'serverAnwering[480] + 1'serverAnwering[490] + 1'serverAnwering[500] + 1'serverAnwering[510] + 1'serverAnwering[520] + 1'serverAnwering[530] + 1'serverAnwering[540] + 1'serverAnwering[550] + 1'serverAnwering[560] + 1'serverAnwering[570] + 1'serverAnwering[580] + 1'serverAnwering[590] + 1'serverAnwering[600] + 1'serverAnwering[610] + 1'serverAnwering[620] + 1'serverAnwering[630] + 1'serverAnwering[640] + 1'serverAnwering[650] + 1'serverAnwering[660] + 1'serverAnwering[670] + 1'serverAnwering[680] + 1'serverAnwering[690] + 1'serverAnwering[700] + 1'serverAnwering[710] + 1'serverAnwering[720] + 1'serverAnwering[730] + 1'serverAnwering[740] + 1'serverAnwering[750] + 1'serverAnwering[760] + 1'serverAnwering[770] + 1'serverAnwering[780] + 1'serverAnwering[790] + 1'serverAnwering[800] + 1'serverAnwering[810] + 1'serverAnwering[820] + 1'serverAnwering[830] + 1'serverAnwering[840] + 1'serverAnwering[850] + 1'serverAnwering[860] + 1'serverAnwering[870] + 1'serverAnwering[880] + 1'serverAnwering[890] + 1'serverAnwering[900] + 1'serverAnwering[910] + 1'serverAnwering[920] + 1'serverAnwering[930] + 1'serverAnwering[940] + 1'serverAnwering[950] + 1'serverAnwering[960] + 1'serverAnwering[970] + 1'serverAnwering[980] + 1'serverAnwering[990]= 1
invariant : 1'clientSending[39] + 1'clientWaiting[39]= 1
invariant : 1'clientSending[69] + 1'clientWaiting[69]= 1
invariant : 1'serverWaiting[6] + 1'serverAnwering[6] + 1'serverAnwering[16] + 1'serverAnwering[26] + 1'serverAnwering[36] + 1'serverAnwering[46] + 1'serverAnwering[56] + 1'serverAnwering[66] + 1'serverAnwering[76] + 1'serverAnwering[86] + 1'serverAnwering[96] + 1'serverAnwering[106] + 1'serverAnwering[116] + 1'serverAnwering[126] + 1'serverAnwering[136] + 1'serverAnwering[146] + 1'serverAnwering[156] + 1'serverAnwering[166] + 1'serverAnwering[176] + 1'serverAnwering[186] + 1'serverAnwering[196] + 1'serverAnwering[206] + 1'serverAnwering[216] + 1'serverAnwering[226] + 1'serverAnwering[236] + 1'serverAnwering[246] + 1'serverAnwering[256] + 1'serverAnwering[266] + 1'serverAnwering[276] + 1'serverAnwering[286] + 1'serverAnwering[296] + 1'serverAnwering[306] + 1'serverAnwering[316] + 1'serverAnwering[326] + 1'serverAnwering[336] + 1'serverAnwering[346] + 1'serverAnwering[356] + 1'serverAnwering[366] + 1'serverAnwering[376] + 1'serverAnwering[386] + 1'serverAnwering[396] + 1'serverAnwering[406] + 1'serverAnwering[416] + 1'serverAnwering[426] + 1'serverAnwering[436] + 1'serverAnwering[446] + 1'serverAnwering[456] + 1'serverAnwering[466] + 1'serverAnwering[476] + 1'serverAnwering[486] + 1'serverAnwering[496] + 1'serverAnwering[506] + 1'serverAnwering[516] + 1'serverAnwering[526] + 1'serverAnwering[536] + 1'serverAnwering[546] + 1'serverAnwering[556] + 1'serverAnwering[566] + 1'serverAnwering[576] + 1'serverAnwering[586] + 1'serverAnwering[596] + 1'serverAnwering[606] + 1'serverAnwering[616] + 1'serverAnwering[626] + 1'serverAnwering[636] + 1'serverAnwering[646] + 1'serverAnwering[656] + 1'serverAnwering[666] + 1'serverAnwering[676] + 1'serverAnwering[686] + 1'serverAnwering[696] + 1'serverAnwering[706] + 1'serverAnwering[716] + 1'serverAnwering[726] + 1'serverAnwering[736] + 1'serverAnwering[746] + 1'serverAnwering[756] + 1'serverAnwering[766] + 1'serverAnwering[776] + 1'serverAnwering[786] + 1'serverAnwering[796] + 1'serverAnwering[806] + 1'serverAnwering[816] + 1'serverAnwering[826] + 1'serverAnwering[836] + 1'serverAnwering[846] + 1'serverAnwering[856] + 1'serverAnwering[866] + 1'serverAnwering[876] + 1'serverAnwering[886] + 1'serverAnwering[896] + 1'serverAnwering[906] + 1'serverAnwering[916] + 1'serverAnwering[926] + 1'serverAnwering[936] + 1'serverAnwering[946] + 1'serverAnwering[956] + 1'serverAnwering[966] + 1'serverAnwering[976] + 1'serverAnwering[986] + 1'serverAnwering[996]= 1
invariant : 1'clientSending[77] + 1'clientWaiting[77]= 1
invariant : 1'clientSending[56] + 1'clientWaiting[56]= 1
invariant : 1'clientSending[96] + 1'clientWaiting[96]= 1
invariant : 1'clientSending[21] + 1'clientWaiting[21]= 1
invariant : 1'clientSending[5] + 1'clientWaiting[5]= 1
invariant : 1'clientSending[32] + 1'clientWaiting[32]= 1
invariant : 1'clientSending[37] + 1'clientWaiting[37]= 1
invariant : 1'clientSending[71] + 1'clientWaiting[71]= 1
invariant : 1'clientSending[78] + 1'clientWaiting[78]= 1
invariant : 1'clientSending[70] + 1'clientWaiting[70]= 1
invariant : 1'serverWaiting[1] + 1'serverAnwering[1] + 1'serverAnwering[11] + 1'serverAnwering[21] + 1'serverAnwering[31] + 1'serverAnwering[41] + 1'serverAnwering[51] + 1'serverAnwering[61] + 1'serverAnwering[71] + 1'serverAnwering[81] + 1'serverAnwering[91] + 1'serverAnwering[101] + 1'serverAnwering[111] + 1'serverAnwering[121] + 1'serverAnwering[131] + 1'serverAnwering[141] + 1'serverAnwering[151] + 1'serverAnwering[161] + 1'serverAnwering[171] + 1'serverAnwering[181] + 1'serverAnwering[191] + 1'serverAnwering[201] + 1'serverAnwering[211] + 1'serverAnwering[221] + 1'serverAnwering[231] + 1'serverAnwering[241] + 1'serverAnwering[251] + 1'serverAnwering[261] + 1'serverAnwering[271] + 1'serverAnwering[281] + 1'serverAnwering[291] + 1'serverAnwering[301] + 1'serverAnwering[311] + 1'serverAnwering[321] + 1'serverAnwering[331] + 1'serverAnwering[341] + 1'serverAnwering[351] + 1'serverAnwering[361] + 1'serverAnwering[371] + 1'serverAnwering[381] + 1'serverAnwering[391] + 1'serverAnwering[401] + 1'serverAnwering[411] + 1'serverAnwering[421] + 1'serverAnwering[431] + 1'serverAnwering[441] + 1'serverAnwering[451] + 1'serverAnwering[461] + 1'serverAnwering[471] + 1'serverAnwering[481] + 1'serverAnwering[491] + 1'serverAnwering[501] + 1'serverAnwering[511] + 1'serverAnwering[521] + 1'serverAnwering[531] + 1'serverAnwering[541] + 1'serverAnwering[551] + 1'serverAnwering[561] + 1'serverAnwering[571] + 1'serverAnwering[581] + 1'serverAnwering[591] + 1'serverAnwering[601] + 1'serverAnwering[611] + 1'serverAnwering[621] + 1'serverAnwering[631] + 1'serverAnwering[641] + 1'serverAnwering[651] + 1'serverAnwering[661] + 1'serverAnwering[671] + 1'serverAnwering[681] + 1'serverAnwering[691] + 1'serverAnwering[701] + 1'serverAnwering[711] + 1'serverAnwering[721] + 1'serverAnwering[731] + 1'serverAnwering[741] + 1'serverAnwering[751] + 1'serverAnwering[761] + 1'serverAnwering[771] + 1'serverAnwering[781] + 1'serverAnwering[791] + 1'serverAnwering[801] + 1'serverAnwering[811] + 1'serverAnwering[821] + 1'serverAnwering[831] + 1'serverAnwering[841] + 1'serverAnwering[851] + 1'serverAnwering[861] + 1'serverAnwering[871] + 1'serverAnwering[881] + 1'serverAnwering[891] + 1'serverAnwering[901] + 1'serverAnwering[911] + 1'serverAnwering[921] + 1'serverAnwering[931] + 1'serverAnwering[941] + 1'serverAnwering[951] + 1'serverAnwering[961] + 1'serverAnwering[971] + 1'serverAnwering[981] + 1'serverAnwering[991]= 1
invariant : 1'clientSending[63] + 1'clientWaiting[63]= 1
invariant : 1'clientSending[65] + 1'clientWaiting[65]= 1
invariant : 1'serverWaiting[7] + 1'serverAnwering[7] + 1'serverAnwering[17] + 1'serverAnwering[27] + 1'serverAnwering[37] + 1'serverAnwering[47] + 1'serverAnwering[57] + 1'serverAnwering[67] + 1'serverAnwering[77] + 1'serverAnwering[87] + 1'serverAnwering[97] + 1'serverAnwering[107] + 1'serverAnwering[117] + 1'serverAnwering[127] + 1'serverAnwering[137] + 1'serverAnwering[147] + 1'serverAnwering[157] + 1'serverAnwering[167] + 1'serverAnwering[177] + 1'serverAnwering[187] + 1'serverAnwering[197] + 1'serverAnwering[207] + 1'serverAnwering[217] + 1'serverAnwering[227] + 1'serverAnwering[237] + 1'serverAnwering[247] + 1'serverAnwering[257] + 1'serverAnwering[267] + 1'serverAnwering[277] + 1'serverAnwering[287] + 1'serverAnwering[297] + 1'serverAnwering[307] + 1'serverAnwering[317] + 1'serverAnwering[327] + 1'serverAnwering[337] + 1'serverAnwering[347] + 1'serverAnwering[357] + 1'serverAnwering[367] + 1'serverAnwering[377] + 1'serverAnwering[387] + 1'serverAnwering[397] + 1'serverAnwering[407] + 1'serverAnwering[417] + 1'serverAnwering[427] + 1'serverAnwering[437] + 1'serverAnwering[447] + 1'serverAnwering[457] + 1'serverAnwering[467] + 1'serverAnwering[477] + 1'serverAnwering[487] + 1'serverAnwering[497] + 1'serverAnwering[507] + 1'serverAnwering[517] + 1'serverAnwering[527] + 1'serverAnwering[537] + 1'serverAnwering[547] + 1'serverAnwering[557] + 1'serverAnwering[567] + 1'serverAnwering[577] + 1'serverAnwering[587] + 1'serverAnwering[597] + 1'serverAnwering[607] + 1'serverAnwering[617] + 1'serverAnwering[627] + 1'serverAnwering[637] + 1'serverAnwering[647] + 1'serverAnwering[657] + 1'serverAnwering[667] + 1'serverAnwering[677] + 1'serverAnwering[687] + 1'serverAnwering[697] + 1'serverAnwering[707] + 1'serverAnwering[717] + 1'serverAnwering[727] + 1'serverAnwering[737] + 1'serverAnwering[747] + 1'serverAnwering[757] + 1'serverAnwering[767] + 1'serverAnwering[777] + 1'serverAnwering[787] + 1'serverAnwering[797] + 1'serverAnwering[807] + 1'serverAnwering[817] + 1'serverAnwering[827] + 1'serverAnwering[837] + 1'serverAnwering[847] + 1'serverAnwering[857] + 1'serverAnwering[867] + 1'serverAnwering[877] + 1'serverAnwering[887] + 1'serverAnwering[897] + 1'serverAnwering[907] + 1'serverAnwering[917] + 1'serverAnwering[927] + 1'serverAnwering[937] + 1'serverAnwering[947] + 1'serverAnwering[957] + 1'serverAnwering[967] + 1'serverAnwering[977] + 1'serverAnwering[987] + 1'serverAnwering[997]= 1
invariant : 1'clientSending[94] + 1'clientWaiting[94]= 1
invariant : 1'clientSending[30] + 1'clientWaiting[30]= 1
invariant : 1'clientSending[16] + 1'clientWaiting[16]= 1
invariant : 1'clientSending[7] + 1'clientWaiting[7]= 1
invariant : 1'clientSending[83] + 1'clientWaiting[83]= 1
invariant : 1'clientSending[8] + 1'clientWaiting[8]= 1
invariant : 1'clientSending[75] + 1'clientWaiting[75]= 1
invariant : 1'clientSending[91] + 1'clientWaiting[91]= 1
invariant : 1'clientSending[67] + 1'clientWaiting[67]= 1
invariant : 1'clientSending[81] + 1'clientWaiting[81]= 1
invariant : 1'clientSending[99] + 1'clientWaiting[99]= 1
invariant : 1'clientSending[20] + 1'clientWaiting[20]= 1
invariant : 1'clientSending[17] + 1'clientWaiting[17]= 1
invariant : 1'clientSending[72] + 1'clientWaiting[72]= 1
invariant : 1'clientSending[33] + 1'clientWaiting[33]= 1
invariant : 1'clientSending[66] + 1'clientWaiting[66]= 1
invariant : 1'clientSending[1] + 1'clientWaiting[1]= 1
invariant : 1'clientSending[14] + 1'clientWaiting[14]= 1
invariant : 1'clientSending[80] + 1'clientWaiting[80]= 1
invariant : 1'clientSending[98] + 1'clientWaiting[98]= 1
invariant : 1'clientSending[49] + 1'clientWaiting[49]= 1
invariant : 1'clientSending[34] + 1'clientWaiting[34]= 1
invariant : 1'clientSending[85] + 1'clientWaiting[85]= 1
invariant : 1'clientSending[6] + 1'clientWaiting[6]= 1
invariant : 1'clientSending[95] + 1'clientWaiting[95]= 1
invariant : 1'clientSending[54] + 1'clientWaiting[54]= 1
invariant : 1'clientSending[35] + 1'clientWaiting[35]= 1
invariant : 1'clientSending[97] + 1'clientWaiting[97]= 1
invariant : 1'clientSending[58] + 1'clientWaiting[58]= 1
invariant : 1'serverWaiting[9] + 1'serverAnwering[9] + 1'serverAnwering[19] + 1'serverAnwering[29] + 1'serverAnwering[39] + 1'serverAnwering[49] + 1'serverAnwering[59] + 1'serverAnwering[69] + 1'serverAnwering[79] + 1'serverAnwering[89] + 1'serverAnwering[99] + 1'serverAnwering[109] + 1'serverAnwering[119] + 1'serverAnwering[129] + 1'serverAnwering[139] + 1'serverAnwering[149] + 1'serverAnwering[159] + 1'serverAnwering[169] + 1'serverAnwering[179] + 1'serverAnwering[189] + 1'serverAnwering[199] + 1'serverAnwering[209] + 1'serverAnwering[219] + 1'serverAnwering[229] + 1'serverAnwering[239] + 1'serverAnwering[249] + 1'serverAnwering[259] + 1'serverAnwering[269] + 1'serverAnwering[279] + 1'serverAnwering[289] + 1'serverAnwering[299] + 1'serverAnwering[309] + 1'serverAnwering[319] + 1'serverAnwering[329] + 1'serverAnwering[339] + 1'serverAnwering[349] + 1'serverAnwering[359] + 1'serverAnwering[369] + 1'serverAnwering[379] + 1'serverAnwering[389] + 1'serverAnwering[399] + 1'serverAnwering[409] + 1'serverAnwering[419] + 1'serverAnwering[429] + 1'serverAnwering[439] + 1'serverAnwering[449] + 1'serverAnwering[459] + 1'serverAnwering[469] + 1'serverAnwering[479] + 1'serverAnwering[489] + 1'serverAnwering[499] + 1'serverAnwering[509] + 1'serverAnwering[519] + 1'serverAnwering[529] + 1'serverAnwering[539] + 1'serverAnwering[549] + 1'serverAnwering[559] + 1'serverAnwering[569] + 1'serverAnwering[579] + 1'serverAnwering[589] + 1'serverAnwering[599] + 1'serverAnwering[609] + 1'serverAnwering[619] + 1'serverAnwering[629] + 1'serverAnwering[639] + 1'serverAnwering[649] + 1'serverAnwering[659] + 1'serverAnwering[669] + 1'serverAnwering[679] + 1'serverAnwering[689] + 1'serverAnwering[699] + 1'serverAnwering[709] + 1'serverAnwering[719] + 1'serverAnwering[729] + 1'serverAnwering[739] + 1'serverAnwering[749] + 1'serverAnwering[759] + 1'serverAnwering[769] + 1'serverAnwering[779] + 1'serverAnwering[789] + 1'serverAnwering[799] + 1'serverAnwering[809] + 1'serverAnwering[819] + 1'serverAnwering[829] + 1'serverAnwering[839] + 1'serverAnwering[849] + 1'serverAnwering[859] + 1'serverAnwering[869] + 1'serverAnwering[879] + 1'serverAnwering[889] + 1'serverAnwering[899] + 1'serverAnwering[909] + 1'serverAnwering[919] + 1'serverAnwering[929] + 1'serverAnwering[939] + 1'serverAnwering[949] + 1'serverAnwering[959] + 1'serverAnwering[969] + 1'serverAnwering[979] + 1'serverAnwering[989] + 1'serverAnwering[999]= 1
invariant : 1'clientSending[24] + 1'clientWaiting[24]= 1
invariant : 1'clientSending[46] + 1'clientWaiting[46]= 1
invariant : 1'clientSending[74] + 1'clientWaiting[74]= 1
invariant : 1'clientSending[38] + 1'clientWaiting[38]= 1
invariant : 1'clientSending[55] + 1'clientWaiting[55]= 1
invariant : 1'serverWaiting[2] + 1'serverAnwering[2] + 1'serverAnwering[12] + 1'serverAnwering[22] + 1'serverAnwering[32] + 1'serverAnwering[42] + 1'serverAnwering[52] + 1'serverAnwering[62] + 1'serverAnwering[72] + 1'serverAnwering[82] + 1'serverAnwering[92] + 1'serverAnwering[102] + 1'serverAnwering[112] + 1'serverAnwering[122] + 1'serverAnwering[132] + 1'serverAnwering[142] + 1'serverAnwering[152] + 1'serverAnwering[162] + 1'serverAnwering[172] + 1'serverAnwering[182] + 1'serverAnwering[192] + 1'serverAnwering[202] + 1'serverAnwering[212] + 1'serverAnwering[222] + 1'serverAnwering[232] + 1'serverAnwering[242] + 1'serverAnwering[252] + 1'serverAnwering[262] + 1'serverAnwering[272] + 1'serverAnwering[282] + 1'serverAnwering[292] + 1'serverAnwering[302] + 1'serverAnwering[312] + 1'serverAnwering[322] + 1'serverAnwering[332] + 1'serverAnwering[342] + 1'serverAnwering[352] + 1'serverAnwering[362] + 1'serverAnwering[372] + 1'serverAnwering[382] + 1'serverAnwering[392] + 1'serverAnwering[402] + 1'serverAnwering[412] + 1'serverAnwering[422] + 1'serverAnwering[432] + 1'serverAnwering[442] + 1'serverAnwering[452] + 1'serverAnwering[462] + 1'serverAnwering[472] + 1'serverAnwering[482] + 1'serverAnwering[492] + 1'serverAnwering[502] + 1'serverAnwering[512] + 1'serverAnwering[522] + 1'serverAnwering[532] + 1'serverAnwering[542] + 1'serverAnwering[552] + 1'serverAnwering[562] + 1'serverAnwering[572] + 1'serverAnwering[582] + 1'serverAnwering[592] + 1'serverAnwering[602] + 1'serverAnwering[612] + 1'serverAnwering[622] + 1'serverAnwering[632] + 1'serverAnwering[642] + 1'serverAnwering[652] + 1'serverAnwering[662] + 1'serverAnwering[672] + 1'serverAnwering[682] + 1'serverAnwering[692] + 1'serverAnwering[702] + 1'serverAnwering[712] + 1'serverAnwering[722] + 1'serverAnwering[732] + 1'serverAnwering[742] + 1'serverAnwering[752] + 1'serverAnwering[762] + 1'serverAnwering[772] + 1'serverAnwering[782] + 1'serverAnwering[792] + 1'serverAnwering[802] + 1'serverAnwering[812] + 1'serverAnwering[822] + 1'serverAnwering[832] + 1'serverAnwering[842] + 1'serverAnwering[852] + 1'serverAnwering[862] + 1'serverAnwering[872] + 1'serverAnwering[882] + 1'serverAnwering[892] + 1'serverAnwering[902] + 1'serverAnwering[912] + 1'serverAnwering[922] + 1'serverAnwering[932] + 1'serverAnwering[942] + 1'serverAnwering[952] + 1'serverAnwering[962] + 1'serverAnwering[972] + 1'serverAnwering[982] + 1'serverAnwering[992]= 1
invariant : 1'clientSending[27] + 1'clientWaiting[27]= 1
invariant : 1'clientSending[36] + 1'clientWaiting[36]= 1
invariant : 1'clientSending[42] + 1'clientWaiting[42]= 1
invariant : 1'clientSending[90] + 1'clientWaiting[90]= 1
invariant : 1'clientSending[73] + 1'clientWaiting[73]= 1
invariant : 1'clientSending[19] + 1'clientWaiting[19]= 1
invariant : 1'clientSending[26] + 1'clientWaiting[26]= 1
invariant : 1'clientSending[60] + 1'clientWaiting[60]= 1
invariant : 1'clientSending[2] + 1'clientWaiting[2]= 1
invariant : 1'clientSending[25] + 1'clientWaiting[25]= 1
invariant : 1'clientSending[59] + 1'clientWaiting[59]= 1
invariant : 1'clientSending[64] + 1'clientWaiting[64]= 1
invariant : 1'clientSending[9] + 1'clientWaiting[9]= 1
invariant : 1'clientSending[31] + 1'clientWaiting[31]= 1
invariant : 1'clientSending[41] + 1'clientWaiting[41]= 1
invariant : 1'clientSending[51] + 1'clientWaiting[51]= 1
invariant : 1'clientSending[88] + 1'clientWaiting[88]= 1
invariant : 1'clientSending[43] + 1'clientWaiting[43]= 1
invariant : 1'serverWaiting[8] + 1'serverAnwering[8] + 1'serverAnwering[18] + 1'serverAnwering[28] + 1'serverAnwering[38] + 1'serverAnwering[48] + 1'serverAnwering[58] + 1'serverAnwering[68] + 1'serverAnwering[78] + 1'serverAnwering[88] + 1'serverAnwering[98] + 1'serverAnwering[108] + 1'serverAnwering[118] + 1'serverAnwering[128] + 1'serverAnwering[138] + 1'serverAnwering[148] + 1'serverAnwering[158] + 1'serverAnwering[168] + 1'serverAnwering[178] + 1'serverAnwering[188] + 1'serverAnwering[198] + 1'serverAnwering[208] + 1'serverAnwering[218] + 1'serverAnwering[228] + 1'serverAnwering[238] + 1'serverAnwering[248] + 1'serverAnwering[258] + 1'serverAnwering[268] + 1'serverAnwering[278] + 1'serverAnwering[288] + 1'serverAnwering[298] + 1'serverAnwering[308] + 1'serverAnwering[318] + 1'serverAnwering[328] + 1'serverAnwering[338] + 1'serverAnwering[348] + 1'serverAnwering[358] + 1'serverAnwering[368] + 1'serverAnwering[378] + 1'serverAnwering[388] + 1'serverAnwering[398] + 1'serverAnwering[408] + 1'serverAnwering[418] + 1'serverAnwering[428] + 1'serverAnwering[438] + 1'serverAnwering[448] + 1'serverAnwering[458] + 1'serverAnwering[468] + 1'serverAnwering[478] + 1'serverAnwering[488] + 1'serverAnwering[498] + 1'serverAnwering[508] + 1'serverAnwering[518] + 1'serverAnwering[528] + 1'serverAnwering[538] + 1'serverAnwering[548] + 1'serverAnwering[558] + 1'serverAnwering[568] + 1'serverAnwering[578] + 1'serverAnwering[588] + 1'serverAnwering[598] + 1'serverAnwering[608] + 1'serverAnwering[618] + 1'serverAnwering[628] + 1'serverAnwering[638] + 1'serverAnwering[648] + 1'serverAnwering[658] + 1'serverAnwering[668] + 1'serverAnwering[678] + 1'serverAnwering[688] + 1'serverAnwering[698] + 1'serverAnwering[708] + 1'serverAnwering[718] + 1'serverAnwering[728] + 1'serverAnwering[738] + 1'serverAnwering[748] + 1'serverAnwering[758] + 1'serverAnwering[768] + 1'serverAnwering[778] + 1'serverAnwering[788] + 1'serverAnwering[798] + 1'serverAnwering[808] + 1'serverAnwering[818] + 1'serverAnwering[828] + 1'serverAnwering[838] + 1'serverAnwering[848] + 1'serverAnwering[858] + 1'serverAnwering[868] + 1'serverAnwering[878] + 1'serverAnwering[888] + 1'serverAnwering[898] + 1'serverAnwering[908] + 1'serverAnwering[918] + 1'serverAnwering[928] + 1'serverAnwering[938] + 1'serverAnwering[948] + 1'serverAnwering[958] + 1'serverAnwering[968] + 1'serverAnwering[978] + 1'serverAnwering[988] + 1'serverAnwering[998]= 1
invariant : 1'clientSending[87] + 1'clientWaiting[87]= 1
invariant : 1'clientSending[57] + 1'clientWaiting[57]= 1
invariant : 1'clientSending[68] + 1'clientWaiting[68]= 1
invariant : 1'clientSending[86] + 1'clientWaiting[86]= 1
invariant : 1'clientSending[3] + 1'clientWaiting[3]= 1
invariant : 1'serverWaiting[3] + 1'serverAnwering[3] + 1'serverAnwering[13] + 1'serverAnwering[23] + 1'serverAnwering[33] + 1'serverAnwering[43] + 1'serverAnwering[53] + 1'serverAnwering[63] + 1'serverAnwering[73] + 1'serverAnwering[83] + 1'serverAnwering[93] + 1'serverAnwering[103] + 1'serverAnwering[113] + 1'serverAnwering[123] + 1'serverAnwering[133] + 1'serverAnwering[143] + 1'serverAnwering[153] + 1'serverAnwering[163] + 1'serverAnwering[173] + 1'serverAnwering[183] + 1'serverAnwering[193] + 1'serverAnwering[203] + 1'serverAnwering[213] + 1'serverAnwering[223] + 1'serverAnwering[233] + 1'serverAnwering[243] + 1'serverAnwering[253] + 1'serverAnwering[263] + 1'serverAnwering[273] + 1'serverAnwering[283] + 1'serverAnwering[293] + 1'serverAnwering[303] + 1'serverAnwering[313] + 1'serverAnwering[323] + 1'serverAnwering[333] + 1'serverAnwering[343] + 1'serverAnwering[353] + 1'serverAnwering[363] + 1'serverAnwering[373] + 1'serverAnwering[383] + 1'serverAnwering[393] + 1'serverAnwering[403] + 1'serverAnwering[413] + 1'serverAnwering[423] + 1'serverAnwering[433] + 1'serverAnwering[443] + 1'serverAnwering[453] + 1'serverAnwering[463] + 1'serverAnwering[473] + 1'serverAnwering[483] + 1'serverAnwering[493] + 1'serverAnwering[503] + 1'serverAnwering[513] + 1'serverAnwering[523] + 1'serverAnwering[533] + 1'serverAnwering[543] + 1'serverAnwering[553] + 1'serverAnwering[563] + 1'serverAnwering[573] + 1'serverAnwering[583] + 1'serverAnwering[593] + 1'serverAnwering[603] + 1'serverAnwering[613] + 1'serverAnwering[623] + 1'serverAnwering[633] + 1'serverAnwering[643] + 1'serverAnwering[653] + 1'serverAnwering[663] + 1'serverAnwering[673] + 1'serverAnwering[683] + 1'serverAnwering[693] + 1'serverAnwering[703] + 1'serverAnwering[713] + 1'serverAnwering[723] + 1'serverAnwering[733] + 1'serverAnwering[743] + 1'serverAnwering[753] + 1'serverAnwering[763] + 1'serverAnwering[773] + 1'serverAnwering[783] + 1'serverAnwering[793] + 1'serverAnwering[803] + 1'serverAnwering[813] + 1'serverAnwering[823] + 1'serverAnwering[833] + 1'serverAnwering[843] + 1'serverAnwering[853] + 1'serverAnwering[863] + 1'serverAnwering[873] + 1'serverAnwering[883] + 1'serverAnwering[893] + 1'serverAnwering[903] + 1'serverAnwering[913] + 1'serverAnwering[923] + 1'serverAnwering[933] + 1'serverAnwering[943] + 1'serverAnwering[953] + 1'serverAnwering[963] + 1'serverAnwering[973] + 1'serverAnwering[983] + 1'serverAnwering[993]= 1
invariant : 1'clientSending[18] + 1'clientWaiting[18]= 1
invariant : 1'clientSending[12] + 1'clientWaiting[12]= 1
invariant : 1'clientSending[61] + 1'clientWaiting[61]= 1
invariant : 1'clientSending[47] + 1'clientWaiting[47]= 1
invariant : 1'serverWaiting[5] + 1'serverAnwering[5] + 1'serverAnwering[15] + 1'serverAnwering[25] + 1'serverAnwering[35] + 1'serverAnwering[45] + 1'serverAnwering[55] + 1'serverAnwering[65] + 1'serverAnwering[75] + 1'serverAnwering[85] + 1'serverAnwering[95] + 1'serverAnwering[105] + 1'serverAnwering[115] + 1'serverAnwering[125] + 1'serverAnwering[135] + 1'serverAnwering[145] + 1'serverAnwering[155] + 1'serverAnwering[165] + 1'serverAnwering[175] + 1'serverAnwering[185] + 1'serverAnwering[195] + 1'serverAnwering[205] + 1'serverAnwering[215] + 1'serverAnwering[225] + 1'serverAnwering[235] + 1'serverAnwering[245] + 1'serverAnwering[255] + 1'serverAnwering[265] + 1'serverAnwering[275] + 1'serverAnwering[285] + 1'serverAnwering[295] + 1'serverAnwering[305] + 1'serverAnwering[315] + 1'serverAnwering[325] + 1'serverAnwering[335] + 1'serverAnwering[345] + 1'serverAnwering[355] + 1'serverAnwering[365] + 1'serverAnwering[375] + 1'serverAnwering[385] + 1'serverAnwering[395] + 1'serverAnwering[405] + 1'serverAnwering[415] + 1'serverAnwering[425] + 1'serverAnwering[435] + 1'serverAnwering[445] + 1'serverAnwering[455] + 1'serverAnwering[465] + 1'serverAnwering[475] + 1'serverAnwering[485] + 1'serverAnwering[495] + 1'serverAnwering[505] + 1'serverAnwering[515] + 1'serverAnwering[525] + 1'serverAnwering[535] + 1'serverAnwering[545] + 1'serverAnwering[555] + 1'serverAnwering[565] + 1'serverAnwering[575] + 1'serverAnwering[585] + 1'serverAnwering[595] + 1'serverAnwering[605] + 1'serverAnwering[615] + 1'serverAnwering[625] + 1'serverAnwering[635] + 1'serverAnwering[645] + 1'serverAnwering[655] + 1'serverAnwering[665] + 1'serverAnwering[675] + 1'serverAnwering[685] + 1'serverAnwering[695] + 1'serverAnwering[705] + 1'serverAnwering[715] + 1'serverAnwering[725] + 1'serverAnwering[735] + 1'serverAnwering[745] + 1'serverAnwering[755] + 1'serverAnwering[765] + 1'serverAnwering[775] + 1'serverAnwering[785] + 1'serverAnwering[795] + 1'serverAnwering[805] + 1'serverAnwering[815] + 1'serverAnwering[825] + 1'serverAnwering[835] + 1'serverAnwering[845] + 1'serverAnwering[855] + 1'serverAnwering[865] + 1'serverAnwering[875] + 1'serverAnwering[885] + 1'serverAnwering[895] + 1'serverAnwering[905] + 1'serverAnwering[915] + 1'serverAnwering[925] + 1'serverAnwering[935] + 1'serverAnwering[945] + 1'serverAnwering[955] + 1'serverAnwering[965] + 1'serverAnwering[975] + 1'serverAnwering[985] + 1'serverAnwering[995]= 1
invariant : 1'clientSending[22] + 1'clientWaiting[22]= 1
invariant : 1'clientSending[76] + 1'clientWaiting[76]= 1
invariant : 1'clientSending[44] + 1'clientWaiting[44]= 1
invariant : 1'clientSending[82] + 1'clientWaiting[82]= 1
invariant : 1'clientSending[92] + 1'clientWaiting[92]= 1
invariant : 1'clientSending[50] + 1'clientWaiting[50]= 1
invariant : 1'clientSending[0] + 1'clientWaiting[0]= 1
invariant : 1'clientSending[11] + 1'clientWaiting[11]= 1
invariant : 1'clientSending[48] + 1'clientWaiting[48]= 1
invariant : 1'clientSending[40] + 1'clientWaiting[40]= 1
invariant : 1'clientSending[89] + 1'clientWaiting[89]= 1
invariant : 1'clientSending[13] + 1'clientWaiting[13]= 1
invariant : 1'clientSending[29] + 1'clientWaiting[29]= 1
invariant : 1'clientSending[23] + 1'clientWaiting[23]= 1
invariant : 1'clientSending[28] + 1'clientWaiting[28]= 1
invariant : 1'clientSending[10] + 1'clientWaiting[10]= 1
invariant : 1'clientSending[79] + 1'clientWaiting[79]= 1
invariant : 1'clientSending[4] + 1'clientWaiting[4]= 1
invariant : 1'clientSending[45] + 1'clientWaiting[45]= 1
invariant : 1'clientSending[62] + 1'clientWaiting[62]= 1
Exit code :139

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 8:59:12 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 8:59:12 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 01, 2017 8:59:14 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1954 ms
Jun 01, 2017 8:59:14 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 6 places.
Jun 01, 2017 8:59:14 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 01, 2017 8:59:14 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Server->serverWaiting,
Computation->serverAnwering,
Dot->requestBufferSlots,
Client->clientSending,requestBuffer,clientWaiting,

Jun 01, 2017 8:59:14 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 5 transitions.
Jun 01, 2017 8:59:14 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 01, 2017 8:59:15 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 977 ms
Jun 01, 2017 8:59:15 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 65 ms
Jun 01, 2017 8:59:15 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 16 ms
Jun 01, 2017 8:59:19 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 110 place invariants in 1719 ms
Jun 01, 2017 9:18:46 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 1311 variables to be positive in 1168332 ms
Jun 01, 2017 9:18:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 2300 transitions.
Jun 01, 2017 9:18:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/2300 took 2962 ms. Total solver calls (SAT/UNSAT): 12(10/2)
Jun 01, 2017 9:18:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1/2300 took 5922 ms. Total solver calls (SAT/UNSAT): 24(20/4)
Jun 01, 2017 9:18:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/2300 took 8842 ms. Total solver calls (SAT/UNSAT): 36(30/6)
Jun 01, 2017 9:18:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/2300 took 11708 ms. Total solver calls (SAT/UNSAT): 48(40/8)
Jun 01, 2017 9:19:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/2300 took 14570 ms. Total solver calls (SAT/UNSAT): 60(50/10)
Jun 01, 2017 9:19:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/2300 took 17473 ms. Total solver calls (SAT/UNSAT): 72(60/12)
Jun 01, 2017 9:19:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/2300 took 20338 ms. Total solver calls (SAT/UNSAT): 84(70/14)
Jun 01, 2017 9:19:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/2300 took 23204 ms. Total solver calls (SAT/UNSAT): 96(80/16)
Jun 01, 2017 9:19:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/2300 took 26074 ms. Total solver calls (SAT/UNSAT): 108(90/18)
Jun 01, 2017 9:19:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/2300 took 28949 ms. Total solver calls (SAT/UNSAT): 120(100/20)
Jun 01, 2017 9:19:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/2300 took 31818 ms. Total solver calls (SAT/UNSAT): 132(110/22)
Jun 01, 2017 9:19:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/2300 took 34681 ms. Total solver calls (SAT/UNSAT): 144(120/24)
Jun 01, 2017 9:19:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/2300 took 37543 ms. Total solver calls (SAT/UNSAT): 156(130/26)
Jun 01, 2017 9:19:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/2300 took 40403 ms. Total solver calls (SAT/UNSAT): 168(140/28)
Jun 01, 2017 9:19:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/2300 took 43275 ms. Total solver calls (SAT/UNSAT): 180(150/30)
Jun 01, 2017 9:19:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/2300 took 46142 ms. Total solver calls (SAT/UNSAT): 192(160/32)
Jun 01, 2017 9:19:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/2300 took 49006 ms. Total solver calls (SAT/UNSAT): 204(170/34)
Jun 01, 2017 9:19:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/2300 took 51877 ms. Total solver calls (SAT/UNSAT): 216(180/36)
Jun 01, 2017 9:19:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/2300 took 54747 ms. Total solver calls (SAT/UNSAT): 228(190/38)
Jun 01, 2017 9:19:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/2300 took 57613 ms. Total solver calls (SAT/UNSAT): 240(200/40)
Jun 01, 2017 9:19:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/2300 took 60481 ms. Total solver calls (SAT/UNSAT): 252(210/42)
Jun 01, 2017 9:19:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/2300 took 63342 ms. Total solver calls (SAT/UNSAT): 264(220/44)
Jun 01, 2017 9:19:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/2300 took 66209 ms. Total solver calls (SAT/UNSAT): 276(230/46)
Jun 01, 2017 9:19:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/2300 took 69067 ms. Total solver calls (SAT/UNSAT): 288(240/48)
Jun 01, 2017 9:19:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/2300 took 71928 ms. Total solver calls (SAT/UNSAT): 300(250/50)
Jun 01, 2017 9:20:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/2300 took 74795 ms. Total solver calls (SAT/UNSAT): 312(260/52)
Jun 01, 2017 9:20:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/2300 took 77650 ms. Total solver calls (SAT/UNSAT): 324(270/54)
Jun 01, 2017 9:20:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/2300 took 80514 ms. Total solver calls (SAT/UNSAT): 336(280/56)
Jun 01, 2017 9:20:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/2300 took 83370 ms. Total solver calls (SAT/UNSAT): 348(290/58)
Jun 01, 2017 9:20:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/2300 took 86241 ms. Total solver calls (SAT/UNSAT): 360(300/60)
Jun 01, 2017 9:20:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/2300 took 89110 ms. Total solver calls (SAT/UNSAT): 372(310/62)
Jun 01, 2017 9:20:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/2300 took 91979 ms. Total solver calls (SAT/UNSAT): 384(320/64)
Jun 01, 2017 9:20:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/2300 took 94841 ms. Total solver calls (SAT/UNSAT): 396(330/66)
Jun 01, 2017 9:20:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/2300 took 97729 ms. Total solver calls (SAT/UNSAT): 408(340/68)
Jun 01, 2017 9:20:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/2300 took 100604 ms. Total solver calls (SAT/UNSAT): 420(350/70)
Jun 01, 2017 9:20:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/2300 took 103466 ms. Total solver calls (SAT/UNSAT): 432(360/72)
Jun 01, 2017 9:20:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/2300 took 106337 ms. Total solver calls (SAT/UNSAT): 444(370/74)
Jun 01, 2017 9:20:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/2300 took 109208 ms. Total solver calls (SAT/UNSAT): 456(380/76)
Jun 01, 2017 9:20:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/2300 took 112066 ms. Total solver calls (SAT/UNSAT): 468(390/78)
Jun 01, 2017 9:20:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/2300 took 114937 ms. Total solver calls (SAT/UNSAT): 480(400/80)
Jun 01, 2017 9:20:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/2300 took 117802 ms. Total solver calls (SAT/UNSAT): 492(410/82)
Jun 01, 2017 9:20:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/2300 took 120674 ms. Total solver calls (SAT/UNSAT): 504(420/84)
Jun 01, 2017 9:20:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/2300 took 123551 ms. Total solver calls (SAT/UNSAT): 516(430/86)
Jun 01, 2017 9:20:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/2300 took 126417 ms. Total solver calls (SAT/UNSAT): 528(440/88)
Jun 01, 2017 9:20:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/2300 took 129321 ms. Total solver calls (SAT/UNSAT): 540(450/90)
Jun 01, 2017 9:20:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/2300 took 132173 ms. Total solver calls (SAT/UNSAT): 552(460/92)
Jun 01, 2017 9:21:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/2300 took 135026 ms. Total solver calls (SAT/UNSAT): 564(470/94)
Jun 01, 2017 9:21:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/2300 took 137882 ms. Total solver calls (SAT/UNSAT): 576(480/96)
Jun 01, 2017 9:21:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/2300 took 140742 ms. Total solver calls (SAT/UNSAT): 588(490/98)
Jun 01, 2017 9:21:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/2300 took 143615 ms. Total solver calls (SAT/UNSAT): 600(500/100)
Jun 01, 2017 9:21:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/2300 took 146560 ms. Total solver calls (SAT/UNSAT): 612(510/102)
Jun 01, 2017 9:21:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/2300 took 149411 ms. Total solver calls (SAT/UNSAT): 624(520/104)
Jun 01, 2017 9:21:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/2300 took 152274 ms. Total solver calls (SAT/UNSAT): 636(530/106)
Jun 01, 2017 9:21:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/2300 took 155126 ms. Total solver calls (SAT/UNSAT): 648(540/108)
Jun 01, 2017 9:21:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/2300 took 157984 ms. Total solver calls (SAT/UNSAT): 660(550/110)
Jun 01, 2017 9:21:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/2300 took 160844 ms. Total solver calls (SAT/UNSAT): 672(560/112)
Jun 01, 2017 9:21:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/2300 took 163711 ms. Total solver calls (SAT/UNSAT): 684(570/114)
Jun 01, 2017 9:21:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/2300 took 166581 ms. Total solver calls (SAT/UNSAT): 696(580/116)
Jun 01, 2017 9:21:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/2300 took 169443 ms. Total solver calls (SAT/UNSAT): 708(590/118)
Jun 01, 2017 9:21:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/2300 took 172308 ms. Total solver calls (SAT/UNSAT): 720(600/120)
Jun 01, 2017 9:21:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/2300 took 175164 ms. Total solver calls (SAT/UNSAT): 732(610/122)
Jun 01, 2017 9:21:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/2300 took 178034 ms. Total solver calls (SAT/UNSAT): 744(620/124)
Jun 01, 2017 9:21:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/2300 took 180889 ms. Total solver calls (SAT/UNSAT): 756(630/126)
Jun 01, 2017 9:21:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/2300 took 183740 ms. Total solver calls (SAT/UNSAT): 768(640/128)
Jun 01, 2017 9:21:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/2300 took 186591 ms. Total solver calls (SAT/UNSAT): 780(650/130)
Jun 01, 2017 9:21:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/2300 took 189455 ms. Total solver calls (SAT/UNSAT): 792(660/132)
Jun 01, 2017 9:21:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/2300 took 192319 ms. Total solver calls (SAT/UNSAT): 804(670/134)
Jun 01, 2017 9:22:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/2300 took 195184 ms. Total solver calls (SAT/UNSAT): 816(680/136)
Jun 01, 2017 9:22:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/2300 took 198041 ms. Total solver calls (SAT/UNSAT): 828(690/138)
Jun 01, 2017 9:22:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/2300 took 200907 ms. Total solver calls (SAT/UNSAT): 840(700/140)
Jun 01, 2017 9:22:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/2300 took 203765 ms. Total solver calls (SAT/UNSAT): 852(710/142)
Jun 01, 2017 9:22:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/2300 took 206627 ms. Total solver calls (SAT/UNSAT): 864(720/144)
Jun 01, 2017 9:22:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/2300 took 209489 ms. Total solver calls (SAT/UNSAT): 876(730/146)
Jun 01, 2017 9:22:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/2300 took 212354 ms. Total solver calls (SAT/UNSAT): 888(740/148)
Jun 01, 2017 9:22:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/2300 took 215215 ms. Total solver calls (SAT/UNSAT): 900(750/150)
Jun 01, 2017 9:22:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/2300 took 218072 ms. Total solver calls (SAT/UNSAT): 912(760/152)
Jun 01, 2017 9:22:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/2300 took 220933 ms. Total solver calls (SAT/UNSAT): 924(770/154)
Jun 01, 2017 9:22:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/2300 took 223799 ms. Total solver calls (SAT/UNSAT): 936(780/156)
Jun 01, 2017 9:22:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/2300 took 226643 ms. Total solver calls (SAT/UNSAT): 948(790/158)
Jun 01, 2017 9:22:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/2300 took 229510 ms. Total solver calls (SAT/UNSAT): 960(800/160)
Jun 01, 2017 9:22:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/2300 took 232369 ms. Total solver calls (SAT/UNSAT): 972(810/162)
Jun 01, 2017 9:22:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/2300 took 235232 ms. Total solver calls (SAT/UNSAT): 984(820/164)
Jun 01, 2017 9:22:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/2300 took 238099 ms. Total solver calls (SAT/UNSAT): 996(830/166)
Jun 01, 2017 9:22:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/2300 took 240959 ms. Total solver calls (SAT/UNSAT): 1008(840/168)
Jun 01, 2017 9:22:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/2300 took 243809 ms. Total solver calls (SAT/UNSAT): 1020(850/170)
Jun 01, 2017 9:22:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/2300 took 246687 ms. Total solver calls (SAT/UNSAT): 1032(860/172)
Jun 01, 2017 9:22:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/2300 took 249545 ms. Total solver calls (SAT/UNSAT): 1044(870/174)
Jun 01, 2017 9:22:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/2300 took 252408 ms. Total solver calls (SAT/UNSAT): 1056(880/176)
Jun 01, 2017 9:23:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/2300 took 255270 ms. Total solver calls (SAT/UNSAT): 1068(890/178)
Jun 01, 2017 9:23:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/2300 took 258126 ms. Total solver calls (SAT/UNSAT): 1080(900/180)
Jun 01, 2017 9:23:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/2300 took 260985 ms. Total solver calls (SAT/UNSAT): 1092(910/182)
Jun 01, 2017 9:23:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/2300 took 263850 ms. Total solver calls (SAT/UNSAT): 1104(920/184)
Jun 01, 2017 9:23:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/2300 took 266714 ms. Total solver calls (SAT/UNSAT): 1116(930/186)
Jun 01, 2017 9:23:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/2300 took 269576 ms. Total solver calls (SAT/UNSAT): 1128(940/188)
Jun 01, 2017 9:23:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/2300 took 272442 ms. Total solver calls (SAT/UNSAT): 1140(950/190)
Jun 01, 2017 9:23:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/2300 took 275309 ms. Total solver calls (SAT/UNSAT): 1152(960/192)
Jun 01, 2017 9:23:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/2300 took 278161 ms. Total solver calls (SAT/UNSAT): 1164(970/194)
Jun 01, 2017 9:23:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/2300 took 281019 ms. Total solver calls (SAT/UNSAT): 1176(980/196)
Jun 01, 2017 9:23:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/2300 took 283868 ms. Total solver calls (SAT/UNSAT): 1188(990/198)
Jun 01, 2017 9:23:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/2300 took 286734 ms. Total solver calls (SAT/UNSAT): 1200(1000/200)
Jun 01, 2017 9:23:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/2300 took 289602 ms. Total solver calls (SAT/UNSAT): 1212(1010/202)
Jun 01, 2017 9:23:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/2300 took 292462 ms. Total solver calls (SAT/UNSAT): 1224(1020/204)
Jun 01, 2017 9:23:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/2300 took 295311 ms. Total solver calls (SAT/UNSAT): 1236(1030/206)
Jun 01, 2017 9:23:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/2300 took 298164 ms. Total solver calls (SAT/UNSAT): 1248(1040/208)
Jun 01, 2017 9:23:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/2300 took 301021 ms. Total solver calls (SAT/UNSAT): 1260(1050/210)
Jun 01, 2017 9:23:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/2300 took 303872 ms. Total solver calls (SAT/UNSAT): 1272(1060/212)
Jun 01, 2017 9:23:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/2300 took 306723 ms. Total solver calls (SAT/UNSAT): 1284(1070/214)
Jun 01, 2017 9:23:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/2300 took 309577 ms. Total solver calls (SAT/UNSAT): 1296(1080/216)
Jun 01, 2017 9:23:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/2300 took 312433 ms. Total solver calls (SAT/UNSAT): 1308(1090/218)
Jun 01, 2017 9:24:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/2300 took 315292 ms. Total solver calls (SAT/UNSAT): 1320(1100/220)
Jun 01, 2017 9:24:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/2300 took 318156 ms. Total solver calls (SAT/UNSAT): 1332(1110/222)
Jun 01, 2017 9:24:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/2300 took 321015 ms. Total solver calls (SAT/UNSAT): 1344(1120/224)
Jun 01, 2017 9:24:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/2300 took 323873 ms. Total solver calls (SAT/UNSAT): 1356(1130/226)
Jun 01, 2017 9:24:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/2300 took 326720 ms. Total solver calls (SAT/UNSAT): 1368(1140/228)
Jun 01, 2017 9:24:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/2300 took 329574 ms. Total solver calls (SAT/UNSAT): 1380(1150/230)
Jun 01, 2017 9:24:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/2300 took 332436 ms. Total solver calls (SAT/UNSAT): 1392(1160/232)
Jun 01, 2017 9:24:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/2300 took 335290 ms. Total solver calls (SAT/UNSAT): 1404(1170/234)
Jun 01, 2017 9:24:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/2300 took 338162 ms. Total solver calls (SAT/UNSAT): 1416(1180/236)
Jun 01, 2017 9:24:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/2300 took 341012 ms. Total solver calls (SAT/UNSAT): 1428(1190/238)
Jun 01, 2017 9:24:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/2300 took 343875 ms. Total solver calls (SAT/UNSAT): 1440(1200/240)
Jun 01, 2017 9:24:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/2300 took 346741 ms. Total solver calls (SAT/UNSAT): 1452(1210/242)
Jun 01, 2017 9:24:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/2300 took 349605 ms. Total solver calls (SAT/UNSAT): 1464(1220/244)
Jun 01, 2017 9:24:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/2300 took 352465 ms. Total solver calls (SAT/UNSAT): 1476(1230/246)
Jun 01, 2017 9:24:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/2300 took 355321 ms. Total solver calls (SAT/UNSAT): 1488(1240/248)
Jun 01, 2017 9:24:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/2300 took 358172 ms. Total solver calls (SAT/UNSAT): 1500(1250/250)
Jun 01, 2017 9:24:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/2300 took 361022 ms. Total solver calls (SAT/UNSAT): 1512(1260/252)
Jun 01, 2017 9:24:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/2300 took 363872 ms. Total solver calls (SAT/UNSAT): 1524(1270/254)
Jun 01, 2017 9:24:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/2300 took 366722 ms. Total solver calls (SAT/UNSAT): 1536(1280/256)
Jun 01, 2017 9:24:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/2300 took 369583 ms. Total solver calls (SAT/UNSAT): 1548(1290/258)
Jun 01, 2017 9:24:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/2300 took 372437 ms. Total solver calls (SAT/UNSAT): 1560(1300/260)
Jun 01, 2017 9:25:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/2300 took 375299 ms. Total solver calls (SAT/UNSAT): 1572(1310/262)
Jun 01, 2017 9:25:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/2300 took 378160 ms. Total solver calls (SAT/UNSAT): 1584(1320/264)
Jun 01, 2017 9:25:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/2300 took 381017 ms. Total solver calls (SAT/UNSAT): 1596(1330/266)
Jun 01, 2017 9:25:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/2300 took 383873 ms. Total solver calls (SAT/UNSAT): 1608(1340/268)
Jun 01, 2017 9:25:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/2300 took 386730 ms. Total solver calls (SAT/UNSAT): 1620(1350/270)
Jun 01, 2017 9:25:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/2300 took 389591 ms. Total solver calls (SAT/UNSAT): 1632(1360/272)
Jun 01, 2017 9:25:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/2300 took 392452 ms. Total solver calls (SAT/UNSAT): 1644(1370/274)
Jun 01, 2017 9:25:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/2300 took 395315 ms. Total solver calls (SAT/UNSAT): 1656(1380/276)
Jun 01, 2017 9:25:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/2300 took 398171 ms. Total solver calls (SAT/UNSAT): 1668(1390/278)
Jun 01, 2017 9:25:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/2300 took 401040 ms. Total solver calls (SAT/UNSAT): 1680(1400/280)
Jun 01, 2017 9:25:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/2300 took 404036 ms. Total solver calls (SAT/UNSAT): 1692(1410/282)
Jun 01, 2017 9:25:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/2300 took 406891 ms. Total solver calls (SAT/UNSAT): 1704(1420/284)
Jun 01, 2017 9:25:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/2300 took 409740 ms. Total solver calls (SAT/UNSAT): 1716(1430/286)
Jun 01, 2017 9:25:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/2300 took 412604 ms. Total solver calls (SAT/UNSAT): 1728(1440/288)
Jun 01, 2017 9:25:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/2300 took 415459 ms. Total solver calls (SAT/UNSAT): 1740(1450/290)
Jun 01, 2017 9:25:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/2300 took 418311 ms. Total solver calls (SAT/UNSAT): 1752(1460/292)
Jun 01, 2017 9:25:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/2300 took 421168 ms. Total solver calls (SAT/UNSAT): 1764(1470/294)
Jun 01, 2017 9:25:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/2300 took 424021 ms. Total solver calls (SAT/UNSAT): 1776(1480/296)
Jun 01, 2017 9:25:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/2300 took 426873 ms. Total solver calls (SAT/UNSAT): 1788(1490/298)
Jun 01, 2017 9:25:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/2300 took 429730 ms. Total solver calls (SAT/UNSAT): 1800(1500/300)
Jun 01, 2017 9:25:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/2300 took 432576 ms. Total solver calls (SAT/UNSAT): 1812(1510/302)
Jun 01, 2017 9:26:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/2300 took 435439 ms. Total solver calls (SAT/UNSAT): 1824(1520/304)
Jun 01, 2017 9:26:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/2300 took 438299 ms. Total solver calls (SAT/UNSAT): 1836(1530/306)
Jun 01, 2017 9:26:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/2300 took 441166 ms. Total solver calls (SAT/UNSAT): 1848(1540/308)
Jun 01, 2017 9:26:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/2300 took 444027 ms. Total solver calls (SAT/UNSAT): 1860(1550/310)
Jun 01, 2017 9:26:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/2300 took 446884 ms. Total solver calls (SAT/UNSAT): 1872(1560/312)
Jun 01, 2017 9:26:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/2300 took 449741 ms. Total solver calls (SAT/UNSAT): 1884(1570/314)
Jun 01, 2017 9:26:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/2300 took 452601 ms. Total solver calls (SAT/UNSAT): 1896(1580/316)
Jun 01, 2017 9:26:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/2300 took 455458 ms. Total solver calls (SAT/UNSAT): 1908(1590/318)
Jun 01, 2017 9:26:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/2300 took 458309 ms. Total solver calls (SAT/UNSAT): 1920(1600/320)
Jun 01, 2017 9:26:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/2300 took 461167 ms. Total solver calls (SAT/UNSAT): 1932(1610/322)
Jun 01, 2017 9:26:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/2300 took 464029 ms. Total solver calls (SAT/UNSAT): 1944(1620/324)
Jun 01, 2017 9:26:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/2300 took 466892 ms. Total solver calls (SAT/UNSAT): 1956(1630/326)
Jun 01, 2017 9:26:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/2300 took 469741 ms. Total solver calls (SAT/UNSAT): 1968(1640/328)
Jun 01, 2017 9:26:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/2300 took 472595 ms. Total solver calls (SAT/UNSAT): 1980(1650/330)
Jun 01, 2017 9:26:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/2300 took 475440 ms. Total solver calls (SAT/UNSAT): 1992(1660/332)
Jun 01, 2017 9:26:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/2300 took 478295 ms. Total solver calls (SAT/UNSAT): 2004(1670/334)
Jun 01, 2017 9:26:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/2300 took 481156 ms. Total solver calls (SAT/UNSAT): 2016(1680/336)
Jun 01, 2017 9:26:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/2300 took 484016 ms. Total solver calls (SAT/UNSAT): 2028(1690/338)
Jun 01, 2017 9:26:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/2300 took 486862 ms. Total solver calls (SAT/UNSAT): 2040(1700/340)
Jun 01, 2017 9:26:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/2300 took 489723 ms. Total solver calls (SAT/UNSAT): 2052(1710/342)
Jun 01, 2017 9:26:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/2300 took 492576 ms. Total solver calls (SAT/UNSAT): 2064(1720/344)
Jun 01, 2017 9:27:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/2300 took 495425 ms. Total solver calls (SAT/UNSAT): 2076(1730/346)
Jun 01, 2017 9:27:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/2300 took 498283 ms. Total solver calls (SAT/UNSAT): 2088(1740/348)
Jun 01, 2017 9:27:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/2300 took 501140 ms. Total solver calls (SAT/UNSAT): 2100(1750/350)
Jun 01, 2017 9:27:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/2300 took 503991 ms. Total solver calls (SAT/UNSAT): 2112(1760/352)
Jun 01, 2017 9:27:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/2300 took 506839 ms. Total solver calls (SAT/UNSAT): 2124(1770/354)
Jun 01, 2017 9:27:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/2300 took 509693 ms. Total solver calls (SAT/UNSAT): 2136(1780/356)
Jun 01, 2017 9:27:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/2300 took 512551 ms. Total solver calls (SAT/UNSAT): 2148(1790/358)
Jun 01, 2017 9:27:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/2300 took 515397 ms. Total solver calls (SAT/UNSAT): 2160(1800/360)
Jun 01, 2017 9:27:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/2300 took 518271 ms. Total solver calls (SAT/UNSAT): 2172(1810/362)
Jun 01, 2017 9:27:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/2300 took 521121 ms. Total solver calls (SAT/UNSAT): 2184(1820/364)
Jun 01, 2017 9:27:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/2300 took 523968 ms. Total solver calls (SAT/UNSAT): 2196(1830/366)
Jun 01, 2017 9:27:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/2300 took 526824 ms. Total solver calls (SAT/UNSAT): 2208(1840/368)
Jun 01, 2017 9:27:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/2300 took 529682 ms. Total solver calls (SAT/UNSAT): 2220(1850/370)
Jun 01, 2017 9:27:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/2300 took 532538 ms. Total solver calls (SAT/UNSAT): 2232(1860/372)
Jun 01, 2017 9:27:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/2300 took 535390 ms. Total solver calls (SAT/UNSAT): 2244(1870/374)
Jun 01, 2017 9:27:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/2300 took 538247 ms. Total solver calls (SAT/UNSAT): 2256(1880/376)
Jun 01, 2017 9:27:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/2300 took 541101 ms. Total solver calls (SAT/UNSAT): 2268(1890/378)
Jun 01, 2017 9:27:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/2300 took 543949 ms. Total solver calls (SAT/UNSAT): 2280(1900/380)
Jun 01, 2017 9:27:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/2300 took 546800 ms. Total solver calls (SAT/UNSAT): 2292(1910/382)
Jun 01, 2017 9:27:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/2300 took 549646 ms. Total solver calls (SAT/UNSAT): 2304(1920/384)
Jun 01, 2017 9:27:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/2300 took 552491 ms. Total solver calls (SAT/UNSAT): 2316(1930/386)
Jun 01, 2017 9:28:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/2300 took 555341 ms. Total solver calls (SAT/UNSAT): 2328(1940/388)
Jun 01, 2017 9:28:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/2300 took 558182 ms. Total solver calls (SAT/UNSAT): 2340(1950/390)
Jun 01, 2017 9:28:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/2300 took 561019 ms. Total solver calls (SAT/UNSAT): 2352(1960/392)
Jun 01, 2017 9:28:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/2300 took 563869 ms. Total solver calls (SAT/UNSAT): 2364(1970/394)
Jun 01, 2017 9:28:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/2300 took 566729 ms. Total solver calls (SAT/UNSAT): 2376(1980/396)
Jun 01, 2017 9:28:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/2300 took 569573 ms. Total solver calls (SAT/UNSAT): 2388(1990/398)
Jun 01, 2017 9:28:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/2300 took 572419 ms. Total solver calls (SAT/UNSAT): 2400(2000/400)
Jun 01, 2017 9:28:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/2300 took 575276 ms. Total solver calls (SAT/UNSAT): 2412(2010/402)
Jun 01, 2017 9:28:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/2300 took 578125 ms. Total solver calls (SAT/UNSAT): 2424(2020/404)
Jun 01, 2017 9:28:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/2300 took 580973 ms. Total solver calls (SAT/UNSAT): 2436(2030/406)
Jun 01, 2017 9:28:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/2300 took 583812 ms. Total solver calls (SAT/UNSAT): 2448(2040/408)
Jun 01, 2017 9:28:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/2300 took 586658 ms. Total solver calls (SAT/UNSAT): 2460(2050/410)
Jun 01, 2017 9:28:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/2300 took 589507 ms. Total solver calls (SAT/UNSAT): 2472(2060/412)
Jun 01, 2017 9:28:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/2300 took 592343 ms. Total solver calls (SAT/UNSAT): 2484(2070/414)
Jun 01, 2017 9:28:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/2300 took 595189 ms. Total solver calls (SAT/UNSAT): 2496(2080/416)
Jun 01, 2017 9:28:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/2300 took 598033 ms. Total solver calls (SAT/UNSAT): 2508(2090/418)
Jun 01, 2017 9:28:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/2300 took 600887 ms. Total solver calls (SAT/UNSAT): 2520(2100/420)
Jun 01, 2017 9:28:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/2300 took 603732 ms. Total solver calls (SAT/UNSAT): 2532(2110/422)
Jun 01, 2017 9:28:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/2300 took 606579 ms. Total solver calls (SAT/UNSAT): 2544(2120/424)
Jun 01, 2017 9:28:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/2300 took 609425 ms. Total solver calls (SAT/UNSAT): 2556(2130/426)
Jun 01, 2017 9:28:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/2300 took 612270 ms. Total solver calls (SAT/UNSAT): 2568(2140/428)
Jun 01, 2017 9:29:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/2300 took 615118 ms. Total solver calls (SAT/UNSAT): 2580(2150/430)
Jun 01, 2017 9:29:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/2300 took 617966 ms. Total solver calls (SAT/UNSAT): 2592(2160/432)
Jun 01, 2017 9:29:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/2300 took 620813 ms. Total solver calls (SAT/UNSAT): 2604(2170/434)
Jun 01, 2017 9:29:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/2300 took 623666 ms. Total solver calls (SAT/UNSAT): 2616(2180/436)
Jun 01, 2017 9:29:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/2300 took 626514 ms. Total solver calls (SAT/UNSAT): 2628(2190/438)
Jun 01, 2017 9:29:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/2300 took 629363 ms. Total solver calls (SAT/UNSAT): 2640(2200/440)
Jun 01, 2017 9:29:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/2300 took 632212 ms. Total solver calls (SAT/UNSAT): 2652(2210/442)
Jun 01, 2017 9:29:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/2300 took 635061 ms. Total solver calls (SAT/UNSAT): 2664(2220/444)
Jun 01, 2017 9:29:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/2300 took 637909 ms. Total solver calls (SAT/UNSAT): 2676(2230/446)
Jun 01, 2017 9:29:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/2300 took 640762 ms. Total solver calls (SAT/UNSAT): 2688(2240/448)
Jun 01, 2017 9:29:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/2300 took 643611 ms. Total solver calls (SAT/UNSAT): 2700(2250/450)
Jun 01, 2017 9:29:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/2300 took 646468 ms. Total solver calls (SAT/UNSAT): 2712(2260/452)
Jun 01, 2017 9:29:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/2300 took 649320 ms. Total solver calls (SAT/UNSAT): 2724(2270/454)
Jun 01, 2017 9:29:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/2300 took 652163 ms. Total solver calls (SAT/UNSAT): 2736(2280/456)
Jun 01, 2017 9:29:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/2300 took 655019 ms. Total solver calls (SAT/UNSAT): 2748(2290/458)
Jun 01, 2017 9:29:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/2300 took 657863 ms. Total solver calls (SAT/UNSAT): 2760(2300/460)
Jun 01, 2017 9:29:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/2300 took 660717 ms. Total solver calls (SAT/UNSAT): 2772(2310/462)
Jun 01, 2017 9:29:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/2300 took 663572 ms. Total solver calls (SAT/UNSAT): 2784(2320/464)
Jun 01, 2017 9:29:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/2300 took 666431 ms. Total solver calls (SAT/UNSAT): 2796(2330/466)
Jun 01, 2017 9:29:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/2300 took 669281 ms. Total solver calls (SAT/UNSAT): 2808(2340/468)
Jun 01, 2017 9:29:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/2300 took 672147 ms. Total solver calls (SAT/UNSAT): 2820(2350/470)
Jun 01, 2017 9:30:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/2300 took 674999 ms. Total solver calls (SAT/UNSAT): 2832(2360/472)
Jun 01, 2017 9:30:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/2300 took 677851 ms. Total solver calls (SAT/UNSAT): 2844(2370/474)
Jun 01, 2017 9:30:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/2300 took 680714 ms. Total solver calls (SAT/UNSAT): 2856(2380/476)
Jun 01, 2017 9:30:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/2300 took 683574 ms. Total solver calls (SAT/UNSAT): 2868(2390/478)
Jun 01, 2017 9:30:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/2300 took 686430 ms. Total solver calls (SAT/UNSAT): 2880(2400/480)
Jun 01, 2017 9:30:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/2300 took 689287 ms. Total solver calls (SAT/UNSAT): 2892(2410/482)
Jun 01, 2017 9:30:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/2300 took 692145 ms. Total solver calls (SAT/UNSAT): 2904(2420/484)
Jun 01, 2017 9:30:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/2300 took 695007 ms. Total solver calls (SAT/UNSAT): 2916(2430/486)
Jun 01, 2017 9:30:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/2300 took 697879 ms. Total solver calls (SAT/UNSAT): 2928(2440/488)
Jun 01, 2017 9:30:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/2300 took 700741 ms. Total solver calls (SAT/UNSAT): 2940(2450/490)
Jun 01, 2017 9:30:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/2300 took 703595 ms. Total solver calls (SAT/UNSAT): 2952(2460/492)
Jun 01, 2017 9:30:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/2300 took 706453 ms. Total solver calls (SAT/UNSAT): 2964(2470/494)
Jun 01, 2017 9:30:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/2300 took 709298 ms. Total solver calls (SAT/UNSAT): 2976(2480/496)
Jun 01, 2017 9:30:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/2300 took 712151 ms. Total solver calls (SAT/UNSAT): 2988(2490/498)
Jun 01, 2017 9:30:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/2300 took 714999 ms. Total solver calls (SAT/UNSAT): 3000(2500/500)
Jun 01, 2017 9:30:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/2300 took 717855 ms. Total solver calls (SAT/UNSAT): 3012(2510/502)
Jun 01, 2017 9:30:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/2300 took 720699 ms. Total solver calls (SAT/UNSAT): 3024(2520/504)
Jun 01, 2017 9:30:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/2300 took 723550 ms. Total solver calls (SAT/UNSAT): 3036(2530/506)
Jun 01, 2017 9:30:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/2300 took 726401 ms. Total solver calls (SAT/UNSAT): 3048(2540/508)
Jun 01, 2017 9:30:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/2300 took 729248 ms. Total solver calls (SAT/UNSAT): 3060(2550/510)
Jun 01, 2017 9:30:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/2300 took 732094 ms. Total solver calls (SAT/UNSAT): 3072(2560/512)
Jun 01, 2017 9:31:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/2300 took 734957 ms. Total solver calls (SAT/UNSAT): 3084(2570/514)
Jun 01, 2017 9:31:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/2300 took 737822 ms. Total solver calls (SAT/UNSAT): 3096(2580/516)
Jun 01, 2017 9:31:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/2300 took 740679 ms. Total solver calls (SAT/UNSAT): 3108(2590/518)
Jun 01, 2017 9:31:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/2300 took 743545 ms. Total solver calls (SAT/UNSAT): 3120(2600/520)
Jun 01, 2017 9:31:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/2300 took 746413 ms. Total solver calls (SAT/UNSAT): 3132(2610/522)
Jun 01, 2017 9:31:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/2300 took 749286 ms. Total solver calls (SAT/UNSAT): 3144(2620/524)
Jun 01, 2017 9:31:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/2300 took 752154 ms. Total solver calls (SAT/UNSAT): 3156(2630/526)
Jun 01, 2017 9:31:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/2300 took 755023 ms. Total solver calls (SAT/UNSAT): 3168(2640/528)
Jun 01, 2017 9:31:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/2300 took 757892 ms. Total solver calls (SAT/UNSAT): 3180(2650/530)
Jun 01, 2017 9:31:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/2300 took 760751 ms. Total solver calls (SAT/UNSAT): 3192(2660/532)
Jun 01, 2017 9:31:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/2300 took 763614 ms. Total solver calls (SAT/UNSAT): 3204(2670/534)
Jun 01, 2017 9:31:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/2300 took 766464 ms. Total solver calls (SAT/UNSAT): 3216(2680/536)
Jun 01, 2017 9:31:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/2300 took 769309 ms. Total solver calls (SAT/UNSAT): 3228(2690/538)
Jun 01, 2017 9:31:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/2300 took 772172 ms. Total solver calls (SAT/UNSAT): 3240(2700/540)
Jun 01, 2017 9:31:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/2300 took 775030 ms. Total solver calls (SAT/UNSAT): 3252(2710/542)
Jun 01, 2017 9:31:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/2300 took 777880 ms. Total solver calls (SAT/UNSAT): 3264(2720/544)
Jun 01, 2017 9:31:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/2300 took 780745 ms. Total solver calls (SAT/UNSAT): 3276(2730/546)
Jun 01, 2017 9:31:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/2300 took 783590 ms. Total solver calls (SAT/UNSAT): 3288(2740/548)
Jun 01, 2017 9:31:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/2300 took 786433 ms. Total solver calls (SAT/UNSAT): 3300(2750/550)
Jun 01, 2017 9:31:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/2300 took 789293 ms. Total solver calls (SAT/UNSAT): 3312(2760/552)
Jun 01, 2017 9:31:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/2300 took 792139 ms. Total solver calls (SAT/UNSAT): 3324(2770/554)
Jun 01, 2017 9:32:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/2300 took 794987 ms. Total solver calls (SAT/UNSAT): 3336(2780/556)
Jun 01, 2017 9:32:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/2300 took 797838 ms. Total solver calls (SAT/UNSAT): 3348(2790/558)
Jun 01, 2017 9:32:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/2300 took 800686 ms. Total solver calls (SAT/UNSAT): 3360(2800/560)
Jun 01, 2017 9:32:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/2300 took 803528 ms. Total solver calls (SAT/UNSAT): 3372(2810/562)
Jun 01, 2017 9:32:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/2300 took 806371 ms. Total solver calls (SAT/UNSAT): 3384(2820/564)
Jun 01, 2017 9:32:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/2300 took 809228 ms. Total solver calls (SAT/UNSAT): 3396(2830/566)
Jun 01, 2017 9:32:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/2300 took 812078 ms. Total solver calls (SAT/UNSAT): 3408(2840/568)
Jun 01, 2017 9:32:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/2300 took 814934 ms. Total solver calls (SAT/UNSAT): 3420(2850/570)
Jun 01, 2017 9:32:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/2300 took 817789 ms. Total solver calls (SAT/UNSAT): 3432(2860/572)
Jun 01, 2017 9:32:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/2300 took 820635 ms. Total solver calls (SAT/UNSAT): 3444(2870/574)
Jun 01, 2017 9:32:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/2300 took 823488 ms. Total solver calls (SAT/UNSAT): 3456(2880/576)
Jun 01, 2017 9:32:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/2300 took 826342 ms. Total solver calls (SAT/UNSAT): 3468(2890/578)
Jun 01, 2017 9:32:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/2300 took 829182 ms. Total solver calls (SAT/UNSAT): 3480(2900/580)
Jun 01, 2017 9:32:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/2300 took 832032 ms. Total solver calls (SAT/UNSAT): 3492(2910/582)
Jun 01, 2017 9:32:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/2300 took 834874 ms. Total solver calls (SAT/UNSAT): 3504(2920/584)
Jun 01, 2017 9:32:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/2300 took 837717 ms. Total solver calls (SAT/UNSAT): 3516(2930/586)
Jun 01, 2017 9:32:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/2300 took 840556 ms. Total solver calls (SAT/UNSAT): 3528(2940/588)
Jun 01, 2017 9:32:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/2300 took 843385 ms. Total solver calls (SAT/UNSAT): 3540(2950/590)
Jun 01, 2017 9:32:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/2300 took 846233 ms. Total solver calls (SAT/UNSAT): 3552(2960/592)
Jun 01, 2017 9:32:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/2300 took 849059 ms. Total solver calls (SAT/UNSAT): 3564(2970/594)
Jun 01, 2017 9:32:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/2300 took 851904 ms. Total solver calls (SAT/UNSAT): 3576(2980/596)
Jun 01, 2017 9:33:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/2300 took 854732 ms. Total solver calls (SAT/UNSAT): 3588(2990/598)
Jun 01, 2017 9:33:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/2300 took 857570 ms. Total solver calls (SAT/UNSAT): 3600(3000/600)
Jun 01, 2017 9:33:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/2300 took 860405 ms. Total solver calls (SAT/UNSAT): 3612(3010/602)
Jun 01, 2017 9:33:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/2300 took 863233 ms. Total solver calls (SAT/UNSAT): 3624(3020/604)
Jun 01, 2017 9:33:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/2300 took 866073 ms. Total solver calls (SAT/UNSAT): 3636(3030/606)
Jun 01, 2017 9:33:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/2300 took 868926 ms. Total solver calls (SAT/UNSAT): 3648(3040/608)
Jun 01, 2017 9:33:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/2300 took 871759 ms. Total solver calls (SAT/UNSAT): 3660(3050/610)
Jun 01, 2017 9:33:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/2300 took 874584 ms. Total solver calls (SAT/UNSAT): 3672(3060/612)
Jun 01, 2017 9:33:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/2300 took 877433 ms. Total solver calls (SAT/UNSAT): 3684(3070/614)
Jun 01, 2017 9:33:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/2300 took 880258 ms. Total solver calls (SAT/UNSAT): 3696(3080/616)
Jun 01, 2017 9:33:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/2300 took 883095 ms. Total solver calls (SAT/UNSAT): 3708(3090/618)
Jun 01, 2017 9:33:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/2300 took 885934 ms. Total solver calls (SAT/UNSAT): 3720(3100/620)
Jun 01, 2017 9:33:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/2300 took 888770 ms. Total solver calls (SAT/UNSAT): 3732(3110/622)
Jun 01, 2017 9:33:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/2300 took 891616 ms. Total solver calls (SAT/UNSAT): 3744(3120/624)
Jun 01, 2017 9:33:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/2300 took 894459 ms. Total solver calls (SAT/UNSAT): 3756(3130/626)
Jun 01, 2017 9:33:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/2300 took 897288 ms. Total solver calls (SAT/UNSAT): 3768(3140/628)
Jun 01, 2017 9:33:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/2300 took 900132 ms. Total solver calls (SAT/UNSAT): 3780(3150/630)
Jun 01, 2017 9:33:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/2300 took 902962 ms. Total solver calls (SAT/UNSAT): 3792(3160/632)
Jun 01, 2017 9:33:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/2300 took 905806 ms. Total solver calls (SAT/UNSAT): 3804(3170/634)
Jun 01, 2017 9:33:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/2300 took 908644 ms. Total solver calls (SAT/UNSAT): 3816(3180/636)
Jun 01, 2017 9:33:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/2300 took 911483 ms. Total solver calls (SAT/UNSAT): 3828(3190/638)
Jun 01, 2017 9:34:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/2300 took 914320 ms. Total solver calls (SAT/UNSAT): 3840(3200/640)
Jun 01, 2017 9:34:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/2300 took 917172 ms. Total solver calls (SAT/UNSAT): 3852(3210/642)
Jun 01, 2017 9:34:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/2300 took 920015 ms. Total solver calls (SAT/UNSAT): 3864(3220/644)
Jun 01, 2017 9:34:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/2300 took 922851 ms. Total solver calls (SAT/UNSAT): 3876(3230/646)
Jun 01, 2017 9:34:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/2300 took 925841 ms. Total solver calls (SAT/UNSAT): 3888(3240/648)
Jun 01, 2017 9:34:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/2300 took 928682 ms. Total solver calls (SAT/UNSAT): 3900(3250/650)
Jun 01, 2017 9:34:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/2300 took 931517 ms. Total solver calls (SAT/UNSAT): 3912(3260/652)
Jun 01, 2017 9:34:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/2300 took 934349 ms. Total solver calls (SAT/UNSAT): 3924(3270/654)
Jun 01, 2017 9:34:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/2300 took 937196 ms. Total solver calls (SAT/UNSAT): 3936(3280/656)
Jun 01, 2017 9:34:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/2300 took 940047 ms. Total solver calls (SAT/UNSAT): 3948(3290/658)
Jun 01, 2017 9:34:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/2300 took 943038 ms. Total solver calls (SAT/UNSAT): 3960(3300/660)
Jun 01, 2017 9:34:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/2300 took 945874 ms. Total solver calls (SAT/UNSAT): 3972(3310/662)
Jun 01, 2017 9:34:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/2300 took 948720 ms. Total solver calls (SAT/UNSAT): 3984(3320/664)
Jun 01, 2017 9:34:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/2300 took 951564 ms. Total solver calls (SAT/UNSAT): 3996(3330/666)
Jun 01, 2017 9:34:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/2300 took 954398 ms. Total solver calls (SAT/UNSAT): 4008(3340/668)
Jun 01, 2017 9:34:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/2300 took 957232 ms. Total solver calls (SAT/UNSAT): 4020(3350/670)
Jun 01, 2017 9:34:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/2300 took 960061 ms. Total solver calls (SAT/UNSAT): 4032(3360/672)
Jun 01, 2017 9:34:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/2300 took 962903 ms. Total solver calls (SAT/UNSAT): 4044(3370/674)
Jun 01, 2017 9:34:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/2300 took 965736 ms. Total solver calls (SAT/UNSAT): 4056(3380/676)
Jun 01, 2017 9:34:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/2300 took 968584 ms. Total solver calls (SAT/UNSAT): 4068(3390/678)
Jun 01, 2017 9:34:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/2300 took 971435 ms. Total solver calls (SAT/UNSAT): 4080(3400/680)
Jun 01, 2017 9:35:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/2300 took 974276 ms. Total solver calls (SAT/UNSAT): 4092(3410/682)
Jun 01, 2017 9:35:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/2300 took 977110 ms. Total solver calls (SAT/UNSAT): 4104(3420/684)
Jun 01, 2017 9:35:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/2300 took 979955 ms. Total solver calls (SAT/UNSAT): 4116(3430/686)
Jun 01, 2017 9:35:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/2300 took 982796 ms. Total solver calls (SAT/UNSAT): 4128(3440/688)
Jun 01, 2017 9:35:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/2300 took 985643 ms. Total solver calls (SAT/UNSAT): 4140(3450/690)
Jun 01, 2017 9:35:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/2300 took 988482 ms. Total solver calls (SAT/UNSAT): 4152(3460/692)
Jun 01, 2017 9:35:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/2300 took 991312 ms. Total solver calls (SAT/UNSAT): 4164(3470/694)
Jun 01, 2017 9:35:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/2300 took 994157 ms. Total solver calls (SAT/UNSAT): 4176(3480/696)
Jun 01, 2017 9:35:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/2300 took 996989 ms. Total solver calls (SAT/UNSAT): 4188(3490/698)
Jun 01, 2017 9:35:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/2300 took 999824 ms. Total solver calls (SAT/UNSAT): 4200(3500/700)
Jun 01, 2017 9:35:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/2300 took 1002675 ms. Total solver calls (SAT/UNSAT): 4212(3510/702)
Jun 01, 2017 9:35:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/2300 took 1005522 ms. Total solver calls (SAT/UNSAT): 4224(3520/704)
Jun 01, 2017 9:35:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/2300 took 1008355 ms. Total solver calls (SAT/UNSAT): 4236(3530/706)
Jun 01, 2017 9:35:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/2300 took 1011198 ms. Total solver calls (SAT/UNSAT): 4248(3540/708)
Jun 01, 2017 9:35:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/2300 took 1014018 ms. Total solver calls (SAT/UNSAT): 4260(3550/710)
Jun 01, 2017 9:35:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/2300 took 1016867 ms. Total solver calls (SAT/UNSAT): 4272(3560/712)
Jun 01, 2017 9:35:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/2300 took 1019724 ms. Total solver calls (SAT/UNSAT): 4284(3570/714)
Jun 01, 2017 9:35:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/2300 took 1022552 ms. Total solver calls (SAT/UNSAT): 4296(3580/716)
Jun 01, 2017 9:35:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/2300 took 1025401 ms. Total solver calls (SAT/UNSAT): 4308(3590/718)
Jun 01, 2017 9:35:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/2300 took 1028251 ms. Total solver calls (SAT/UNSAT): 4320(3600/720)
Jun 01, 2017 9:35:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/2300 took 1031097 ms. Total solver calls (SAT/UNSAT): 4332(3610/722)
Jun 01, 2017 9:36:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/2300 took 1033946 ms. Total solver calls (SAT/UNSAT): 4344(3620/724)
Jun 01, 2017 9:36:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/2300 took 1036783 ms. Total solver calls (SAT/UNSAT): 4356(3630/726)
Jun 01, 2017 9:36:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/2300 took 1039633 ms. Total solver calls (SAT/UNSAT): 4368(3640/728)
Jun 01, 2017 9:36:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/2300 took 1042465 ms. Total solver calls (SAT/UNSAT): 4380(3650/730)
Jun 01, 2017 9:36:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/2300 took 1045307 ms. Total solver calls (SAT/UNSAT): 4392(3660/732)
Jun 01, 2017 9:36:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/2300 took 1048139 ms. Total solver calls (SAT/UNSAT): 4404(3670/734)
Jun 01, 2017 9:36:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/2300 took 1050982 ms. Total solver calls (SAT/UNSAT): 4416(3680/736)
Jun 01, 2017 9:36:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/2300 took 1053826 ms. Total solver calls (SAT/UNSAT): 4428(3690/738)
Jun 01, 2017 9:36:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/2300 took 1056797 ms. Total solver calls (SAT/UNSAT): 4440(3700/740)
Jun 01, 2017 9:36:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/2300 took 1059649 ms. Total solver calls (SAT/UNSAT): 4452(3710/742)
Jun 01, 2017 9:36:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/2300 took 1062494 ms. Total solver calls (SAT/UNSAT): 4464(3720/744)
Jun 01, 2017 9:36:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/2300 took 1065335 ms. Total solver calls (SAT/UNSAT): 4476(3730/746)
Jun 01, 2017 9:36:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/2300 took 1068193 ms. Total solver calls (SAT/UNSAT): 4488(3740/748)
Jun 01, 2017 9:36:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/2300 took 1071033 ms. Total solver calls (SAT/UNSAT): 4500(3750/750)
Jun 01, 2017 9:36:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/2300 took 1073873 ms. Total solver calls (SAT/UNSAT): 4512(3760/752)
Jun 01, 2017 9:36:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/2300 took 1076717 ms. Total solver calls (SAT/UNSAT): 4524(3770/754)
Jun 01, 2017 9:36:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/2300 took 1079560 ms. Total solver calls (SAT/UNSAT): 4536(3780/756)
Jun 01, 2017 9:36:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/2300 took 1082409 ms. Total solver calls (SAT/UNSAT): 4548(3790/758)
Jun 01, 2017 9:36:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/2300 took 1085248 ms. Total solver calls (SAT/UNSAT): 4560(3800/760)
Jun 01, 2017 9:36:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/2300 took 1088084 ms. Total solver calls (SAT/UNSAT): 4572(3810/762)
Jun 01, 2017 9:36:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/2300 took 1090932 ms. Total solver calls (SAT/UNSAT): 4584(3820/764)
Jun 01, 2017 9:37:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/2300 took 1093782 ms. Total solver calls (SAT/UNSAT): 4596(3830/766)
Jun 01, 2017 9:37:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/2300 took 1096620 ms. Total solver calls (SAT/UNSAT): 4608(3840/768)
Jun 01, 2017 9:37:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/2300 took 1099472 ms. Total solver calls (SAT/UNSAT): 4620(3850/770)
Jun 01, 2017 9:37:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/2300 took 1102313 ms. Total solver calls (SAT/UNSAT): 4632(3860/772)
Jun 01, 2017 9:37:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/2300 took 1105149 ms. Total solver calls (SAT/UNSAT): 4644(3870/774)
Jun 01, 2017 9:37:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/2300 took 1107985 ms. Total solver calls (SAT/UNSAT): 4656(3880/776)
Jun 01, 2017 9:37:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/2300 took 1110814 ms. Total solver calls (SAT/UNSAT): 4668(3890/778)
Jun 01, 2017 9:37:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/2300 took 1113662 ms. Total solver calls (SAT/UNSAT): 4680(3900/780)
Jun 01, 2017 9:37:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/2300 took 1116498 ms. Total solver calls (SAT/UNSAT): 4692(3910/782)
Jun 01, 2017 9:37:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/2300 took 1119342 ms. Total solver calls (SAT/UNSAT): 4704(3920/784)
Jun 01, 2017 9:37:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/2300 took 1122186 ms. Total solver calls (SAT/UNSAT): 4716(3930/786)
Jun 01, 2017 9:37:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/2300 took 1125025 ms. Total solver calls (SAT/UNSAT): 4728(3940/788)
Jun 01, 2017 9:37:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/2300 took 1127860 ms. Total solver calls (SAT/UNSAT): 4740(3950/790)
Jun 01, 2017 9:37:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/2300 took 1130703 ms. Total solver calls (SAT/UNSAT): 4752(3960/792)
Jun 01, 2017 9:37:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/2300 took 1133532 ms. Total solver calls (SAT/UNSAT): 4764(3970/794)
Jun 01, 2017 9:37:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/2300 took 1136381 ms. Total solver calls (SAT/UNSAT): 4776(3980/796)
Jun 01, 2017 9:37:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/2300 took 1139224 ms. Total solver calls (SAT/UNSAT): 4788(3990/798)
Jun 01, 2017 9:37:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/2300 took 1142054 ms. Total solver calls (SAT/UNSAT): 4800(4000/800)
Jun 01, 2017 9:37:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/2300 took 1144901 ms. Total solver calls (SAT/UNSAT): 4812(4010/802)
Jun 01, 2017 9:37:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/2300 took 1147738 ms. Total solver calls (SAT/UNSAT): 4824(4020/804)
Jun 01, 2017 9:37:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/2300 took 1150585 ms. Total solver calls (SAT/UNSAT): 4836(4030/806)
Jun 01, 2017 9:37:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/2300 took 1153425 ms. Total solver calls (SAT/UNSAT): 4848(4040/808)
Jun 01, 2017 9:38:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/2300 took 1156268 ms. Total solver calls (SAT/UNSAT): 4860(4050/810)
Jun 01, 2017 9:38:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/2300 took 1159107 ms. Total solver calls (SAT/UNSAT): 4872(4060/812)
Jun 01, 2017 9:38:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/2300 took 1161954 ms. Total solver calls (SAT/UNSAT): 4884(4070/814)
Jun 01, 2017 9:38:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/2300 took 1164783 ms. Total solver calls (SAT/UNSAT): 4896(4080/816)
Jun 01, 2017 9:38:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/2300 took 1167621 ms. Total solver calls (SAT/UNSAT): 4908(4090/818)
Jun 01, 2017 9:38:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/2300 took 1170468 ms. Total solver calls (SAT/UNSAT): 4920(4100/820)
Jun 01, 2017 9:38:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/2300 took 1173309 ms. Total solver calls (SAT/UNSAT): 4932(4110/822)
Jun 01, 2017 9:38:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/2300 took 1176149 ms. Total solver calls (SAT/UNSAT): 4944(4120/824)
Jun 01, 2017 9:38:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/2300 took 1178989 ms. Total solver calls (SAT/UNSAT): 4956(4130/826)
Jun 01, 2017 9:38:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/2300 took 1181831 ms. Total solver calls (SAT/UNSAT): 4968(4140/828)
Jun 01, 2017 9:38:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/2300 took 1184670 ms. Total solver calls (SAT/UNSAT): 4980(4150/830)
Jun 01, 2017 9:38:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/2300 took 1187518 ms. Total solver calls (SAT/UNSAT): 4992(4160/832)
Jun 01, 2017 9:38:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/2300 took 1190351 ms. Total solver calls (SAT/UNSAT): 5004(4170/834)
Jun 01, 2017 9:38:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/2300 took 1193197 ms. Total solver calls (SAT/UNSAT): 5016(4180/836)
Jun 01, 2017 9:38:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/2300 took 1196035 ms. Total solver calls (SAT/UNSAT): 5028(4190/838)
Jun 01, 2017 9:38:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/2300 took 1198891 ms. Total solver calls (SAT/UNSAT): 5040(4200/840)
Jun 01, 2017 9:38:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/2300 took 1201735 ms. Total solver calls (SAT/UNSAT): 5052(4210/842)
Jun 01, 2017 9:38:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/2300 took 1204574 ms. Total solver calls (SAT/UNSAT): 5064(4220/844)
Jun 01, 2017 9:38:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/2300 took 1207423 ms. Total solver calls (SAT/UNSAT): 5076(4230/846)
Jun 01, 2017 9:38:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/2300 took 1210271 ms. Total solver calls (SAT/UNSAT): 5088(4240/848)
Jun 01, 2017 9:38:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/2300 took 1213117 ms. Total solver calls (SAT/UNSAT): 5100(4250/850)
Jun 01, 2017 9:39:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/2300 took 1215955 ms. Total solver calls (SAT/UNSAT): 5112(4260/852)
Jun 01, 2017 9:39:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/2300 took 1218795 ms. Total solver calls (SAT/UNSAT): 5124(4270/854)
Jun 01, 2017 9:39:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/2300 took 1221636 ms. Total solver calls (SAT/UNSAT): 5136(4280/856)
Jun 01, 2017 9:39:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/2300 took 1224480 ms. Total solver calls (SAT/UNSAT): 5148(4290/858)
Jun 01, 2017 9:39:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/2300 took 1227326 ms. Total solver calls (SAT/UNSAT): 5160(4300/860)
Jun 01, 2017 9:39:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/2300 took 1230171 ms. Total solver calls (SAT/UNSAT): 5172(4310/862)
Jun 01, 2017 9:39:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/2300 took 1233018 ms. Total solver calls (SAT/UNSAT): 5184(4320/864)
Jun 01, 2017 9:39:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/2300 took 1235853 ms. Total solver calls (SAT/UNSAT): 5196(4330/866)
Jun 01, 2017 9:39:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/2300 took 1238684 ms. Total solver calls (SAT/UNSAT): 5208(4340/868)
Jun 01, 2017 9:39:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/2300 took 1241537 ms. Total solver calls (SAT/UNSAT): 5220(4350/870)
Jun 01, 2017 9:39:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/2300 took 1244376 ms. Total solver calls (SAT/UNSAT): 5232(4360/872)
Jun 01, 2017 9:39:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/2300 took 1247208 ms. Total solver calls (SAT/UNSAT): 5244(4370/874)
Jun 01, 2017 9:39:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/2300 took 1250048 ms. Total solver calls (SAT/UNSAT): 5256(4380/876)
Jun 01, 2017 9:39:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/2300 took 1252904 ms. Total solver calls (SAT/UNSAT): 5268(4390/878)
Jun 01, 2017 9:39:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/2300 took 1255748 ms. Total solver calls (SAT/UNSAT): 5280(4400/880)
Jun 01, 2017 9:39:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/2300 took 1258592 ms. Total solver calls (SAT/UNSAT): 5292(4410/882)
Jun 01, 2017 9:39:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/2300 took 1261444 ms. Total solver calls (SAT/UNSAT): 5304(4420/884)
Jun 01, 2017 9:39:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/2300 took 1264293 ms. Total solver calls (SAT/UNSAT): 5316(4430/886)
Jun 01, 2017 9:39:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/2300 took 1267137 ms. Total solver calls (SAT/UNSAT): 5328(4440/888)
Jun 01, 2017 9:39:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/2300 took 1269986 ms. Total solver calls (SAT/UNSAT): 5340(4450/890)
Jun 01, 2017 9:39:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/2300 took 1272821 ms. Total solver calls (SAT/UNSAT): 5352(4460/892)
Jun 01, 2017 9:40:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/2300 took 1275663 ms. Total solver calls (SAT/UNSAT): 5364(4470/894)
Jun 01, 2017 9:40:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/2300 took 1278492 ms. Total solver calls (SAT/UNSAT): 5376(4480/896)
Jun 01, 2017 9:40:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/2300 took 1281322 ms. Total solver calls (SAT/UNSAT): 5388(4490/898)
Jun 01, 2017 9:40:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/2300 took 1284171 ms. Total solver calls (SAT/UNSAT): 5400(4500/900)
Jun 01, 2017 9:40:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/2300 took 1287000 ms. Total solver calls (SAT/UNSAT): 5412(4510/902)
Jun 01, 2017 9:40:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/2300 took 1289841 ms. Total solver calls (SAT/UNSAT): 5424(4520/904)
Jun 01, 2017 9:40:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/2300 took 1292689 ms. Total solver calls (SAT/UNSAT): 5436(4530/906)
Jun 01, 2017 9:40:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/2300 took 1295536 ms. Total solver calls (SAT/UNSAT): 5448(4540/908)
Jun 01, 2017 9:40:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/2300 took 1298380 ms. Total solver calls (SAT/UNSAT): 5460(4550/910)
Jun 01, 2017 9:40:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/2300 took 1301214 ms. Total solver calls (SAT/UNSAT): 5472(4560/912)
Jun 01, 2017 9:40:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/2300 took 1304062 ms. Total solver calls (SAT/UNSAT): 5484(4570/914)
Jun 01, 2017 9:40:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/2300 took 1306903 ms. Total solver calls (SAT/UNSAT): 5496(4580/916)
Jun 01, 2017 9:40:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/2300 took 1309753 ms. Total solver calls (SAT/UNSAT): 5508(4590/918)
Jun 01, 2017 9:40:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/2300 took 1312591 ms. Total solver calls (SAT/UNSAT): 5520(4600/920)
Jun 01, 2017 9:40:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/2300 took 1315431 ms. Total solver calls (SAT/UNSAT): 5532(4610/922)
Jun 01, 2017 9:40:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/2300 took 1318272 ms. Total solver calls (SAT/UNSAT): 5544(4620/924)
Jun 01, 2017 9:40:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/2300 took 1321097 ms. Total solver calls (SAT/UNSAT): 5556(4630/926)
Jun 01, 2017 9:40:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/2300 took 1323926 ms. Total solver calls (SAT/UNSAT): 5568(4640/928)
Jun 01, 2017 9:40:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/2300 took 1326766 ms. Total solver calls (SAT/UNSAT): 5580(4650/930)
Jun 01, 2017 9:40:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/2300 took 1329605 ms. Total solver calls (SAT/UNSAT): 5592(4660/932)
Jun 01, 2017 9:40:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/2300 took 1332445 ms. Total solver calls (SAT/UNSAT): 5604(4670/934)
Jun 01, 2017 9:41:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/2300 took 1335278 ms. Total solver calls (SAT/UNSAT): 5616(4680/936)
Jun 01, 2017 9:41:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/2300 took 1338265 ms. Total solver calls (SAT/UNSAT): 5628(4690/938)
Jun 01, 2017 9:41:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/2300 took 1341102 ms. Total solver calls (SAT/UNSAT): 5640(4700/940)
Jun 01, 2017 9:41:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/2300 took 1343941 ms. Total solver calls (SAT/UNSAT): 5652(4710/942)
Jun 01, 2017 9:41:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/2300 took 1346786 ms. Total solver calls (SAT/UNSAT): 5664(4720/944)
Jun 01, 2017 9:41:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/2300 took 1349624 ms. Total solver calls (SAT/UNSAT): 5676(4730/946)
Jun 01, 2017 9:41:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/2300 took 1352464 ms. Total solver calls (SAT/UNSAT): 5688(4740/948)
Jun 01, 2017 9:41:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/2300 took 1355301 ms. Total solver calls (SAT/UNSAT): 5700(4750/950)
Jun 01, 2017 9:41:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/2300 took 1358133 ms. Total solver calls (SAT/UNSAT): 5712(4760/952)
Jun 01, 2017 9:41:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/2300 took 1360964 ms. Total solver calls (SAT/UNSAT): 5724(4770/954)
Jun 01, 2017 9:41:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/2300 took 1363802 ms. Total solver calls (SAT/UNSAT): 5736(4780/956)
Jun 01, 2017 9:41:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/2300 took 1366638 ms. Total solver calls (SAT/UNSAT): 5748(4790/958)
Jun 01, 2017 9:41:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/2300 took 1369466 ms. Total solver calls (SAT/UNSAT): 5760(4800/960)
Jun 01, 2017 9:41:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/2300 took 1372302 ms. Total solver calls (SAT/UNSAT): 5772(4810/962)
Jun 01, 2017 9:41:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/2300 took 1375130 ms. Total solver calls (SAT/UNSAT): 5784(4820/964)
Jun 01, 2017 9:41:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/2300 took 1377971 ms. Total solver calls (SAT/UNSAT): 5796(4830/966)
Jun 01, 2017 9:41:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/2300 took 1380804 ms. Total solver calls (SAT/UNSAT): 5808(4840/968)
Jun 01, 2017 9:41:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/2300 took 1383632 ms. Total solver calls (SAT/UNSAT): 5820(4850/970)
Jun 01, 2017 9:41:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/2300 took 1386473 ms. Total solver calls (SAT/UNSAT): 5832(4860/972)
Jun 01, 2017 9:41:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/2300 took 1389310 ms. Total solver calls (SAT/UNSAT): 5844(4870/974)
Jun 01, 2017 9:41:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/2300 took 1392151 ms. Total solver calls (SAT/UNSAT): 5856(4880/976)
Jun 01, 2017 9:42:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/2300 took 1394990 ms. Total solver calls (SAT/UNSAT): 5868(4890/978)
Jun 01, 2017 9:42:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/2300 took 1397821 ms. Total solver calls (SAT/UNSAT): 5880(4900/980)
Jun 01, 2017 9:42:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/2300 took 1400667 ms. Total solver calls (SAT/UNSAT): 5892(4910/982)
Jun 01, 2017 9:42:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/2300 took 1403497 ms. Total solver calls (SAT/UNSAT): 5904(4920/984)
Jun 01, 2017 9:42:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/2300 took 1406332 ms. Total solver calls (SAT/UNSAT): 5916(4930/986)
Jun 01, 2017 9:42:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/2300 took 1409172 ms. Total solver calls (SAT/UNSAT): 5928(4940/988)
Jun 01, 2017 9:42:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/2300 took 1412020 ms. Total solver calls (SAT/UNSAT): 5940(4950/990)
Jun 01, 2017 9:42:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/2300 took 1414859 ms. Total solver calls (SAT/UNSAT): 5952(4960/992)
Jun 01, 2017 9:42:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/2300 took 1417699 ms. Total solver calls (SAT/UNSAT): 5964(4970/994)
Jun 01, 2017 9:42:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/2300 took 1420541 ms. Total solver calls (SAT/UNSAT): 5976(4980/996)
Jun 01, 2017 9:42:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/2300 took 1423380 ms. Total solver calls (SAT/UNSAT): 5988(4990/998)
Jun 01, 2017 9:42:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/2300 took 1426227 ms. Total solver calls (SAT/UNSAT): 6000(5000/1000)
Jun 01, 2017 9:42:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/2300 took 1429065 ms. Total solver calls (SAT/UNSAT): 6012(5010/1002)
Jun 01, 2017 9:42:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/2300 took 1431914 ms. Total solver calls (SAT/UNSAT): 6024(5020/1004)
Jun 01, 2017 9:42:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/2300 took 1434754 ms. Total solver calls (SAT/UNSAT): 6036(5030/1006)
Jun 01, 2017 9:42:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/2300 took 1437583 ms. Total solver calls (SAT/UNSAT): 6048(5040/1008)
Jun 01, 2017 9:42:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/2300 took 1440417 ms. Total solver calls (SAT/UNSAT): 6060(5050/1010)
Jun 01, 2017 9:42:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/2300 took 1443257 ms. Total solver calls (SAT/UNSAT): 6072(5060/1012)
Jun 01, 2017 9:42:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/2300 took 1446087 ms. Total solver calls (SAT/UNSAT): 6084(5070/1014)
Jun 01, 2017 9:42:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/2300 took 1448915 ms. Total solver calls (SAT/UNSAT): 6096(5080/1016)
Jun 01, 2017 9:42:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/2300 took 1451743 ms. Total solver calls (SAT/UNSAT): 6108(5090/1018)
Jun 01, 2017 9:43:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/2300 took 1454583 ms. Total solver calls (SAT/UNSAT): 6120(5100/1020)
Jun 01, 2017 9:43:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/2300 took 1457420 ms. Total solver calls (SAT/UNSAT): 6132(5110/1022)
Jun 01, 2017 9:43:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/2300 took 1460264 ms. Total solver calls (SAT/UNSAT): 6144(5120/1024)
Jun 01, 2017 9:43:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/2300 took 1463088 ms. Total solver calls (SAT/UNSAT): 6156(5130/1026)
Jun 01, 2017 9:43:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/2300 took 1465911 ms. Total solver calls (SAT/UNSAT): 6168(5140/1028)
Jun 01, 2017 9:43:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/2300 took 1468746 ms. Total solver calls (SAT/UNSAT): 6180(5150/1030)
Jun 01, 2017 9:43:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/2300 took 1471571 ms. Total solver calls (SAT/UNSAT): 6192(5160/1032)
Jun 01, 2017 9:43:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/2300 took 1474416 ms. Total solver calls (SAT/UNSAT): 6204(5170/1034)
Jun 01, 2017 9:43:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/2300 took 1477263 ms. Total solver calls (SAT/UNSAT): 6216(5180/1036)
Jun 01, 2017 9:43:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/2300 took 1480091 ms. Total solver calls (SAT/UNSAT): 6228(5190/1038)
Jun 01, 2017 9:43:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/2300 took 1482921 ms. Total solver calls (SAT/UNSAT): 6240(5200/1040)
Jun 01, 2017 9:43:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/2300 took 1485742 ms. Total solver calls (SAT/UNSAT): 6252(5210/1042)
Jun 01, 2017 9:43:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/2300 took 1488562 ms. Total solver calls (SAT/UNSAT): 6264(5220/1044)
Jun 01, 2017 9:43:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/2300 took 1491407 ms. Total solver calls (SAT/UNSAT): 6276(5230/1046)
Jun 01, 2017 9:43:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/2300 took 1494250 ms. Total solver calls (SAT/UNSAT): 6288(5240/1048)
Jun 01, 2017 9:43:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/2300 took 1497227 ms. Total solver calls (SAT/UNSAT): 6300(5250/1050)
Jun 01, 2017 9:43:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/2300 took 1500055 ms. Total solver calls (SAT/UNSAT): 6312(5260/1052)
Jun 01, 2017 9:43:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/2300 took 1502889 ms. Total solver calls (SAT/UNSAT): 6324(5270/1054)
Jun 01, 2017 9:43:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/2300 took 1505730 ms. Total solver calls (SAT/UNSAT): 6336(5280/1056)
Jun 01, 2017 9:43:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/2300 took 1508559 ms. Total solver calls (SAT/UNSAT): 6348(5290/1058)
Jun 01, 2017 9:43:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/2300 took 1511396 ms. Total solver calls (SAT/UNSAT): 6360(5300/1060)
Jun 01, 2017 9:44:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/2300 took 1514227 ms. Total solver calls (SAT/UNSAT): 6372(5310/1062)
Jun 01, 2017 9:44:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/2300 took 1517066 ms. Total solver calls (SAT/UNSAT): 6384(5320/1064)
Jun 01, 2017 9:44:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/2300 took 1519897 ms. Total solver calls (SAT/UNSAT): 6396(5330/1066)
Jun 01, 2017 9:44:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/2300 took 1522730 ms. Total solver calls (SAT/UNSAT): 6408(5340/1068)
Jun 01, 2017 9:44:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/2300 took 1525567 ms. Total solver calls (SAT/UNSAT): 6420(5350/1070)
Jun 01, 2017 9:44:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/2300 took 1528403 ms. Total solver calls (SAT/UNSAT): 6432(5360/1072)
Jun 01, 2017 9:44:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/2300 took 1531240 ms. Total solver calls (SAT/UNSAT): 6444(5370/1074)
Jun 01, 2017 9:44:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/2300 took 1534063 ms. Total solver calls (SAT/UNSAT): 6456(5380/1076)
Jun 01, 2017 9:44:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/2300 took 1536897 ms. Total solver calls (SAT/UNSAT): 6468(5390/1078)
Jun 01, 2017 9:44:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/2300 took 1539727 ms. Total solver calls (SAT/UNSAT): 6480(5400/1080)
Jun 01, 2017 9:44:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/2300 took 1542560 ms. Total solver calls (SAT/UNSAT): 6492(5410/1082)
Jun 01, 2017 9:44:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/2300 took 1545386 ms. Total solver calls (SAT/UNSAT): 6504(5420/1084)
Jun 01, 2017 9:44:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/2300 took 1548218 ms. Total solver calls (SAT/UNSAT): 6516(5430/1086)
Jun 01, 2017 9:44:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/2300 took 1551055 ms. Total solver calls (SAT/UNSAT): 6528(5440/1088)
Jun 01, 2017 9:44:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/2300 took 1553893 ms. Total solver calls (SAT/UNSAT): 6540(5450/1090)
Jun 01, 2017 9:44:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/2300 took 1556727 ms. Total solver calls (SAT/UNSAT): 6552(5460/1092)
Jun 01, 2017 9:44:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/2300 took 1559563 ms. Total solver calls (SAT/UNSAT): 6564(5470/1094)
Jun 01, 2017 9:44:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/2300 took 1562384 ms. Total solver calls (SAT/UNSAT): 6576(5480/1096)
Jun 01, 2017 9:44:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/2300 took 1565221 ms. Total solver calls (SAT/UNSAT): 6588(5490/1098)
Jun 01, 2017 9:44:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/2300 took 1568057 ms. Total solver calls (SAT/UNSAT): 6600(5500/1100)
Jun 01, 2017 9:44:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/2300 took 1570874 ms. Total solver calls (SAT/UNSAT): 6612(5510/1102)
Jun 01, 2017 9:45:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/2300 took 1573713 ms. Total solver calls (SAT/UNSAT): 6624(5520/1104)
Jun 01, 2017 9:45:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/2300 took 1576552 ms. Total solver calls (SAT/UNSAT): 6636(5530/1106)
Jun 01, 2017 9:45:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/2300 took 1579388 ms. Total solver calls (SAT/UNSAT): 6648(5540/1108)
Jun 01, 2017 9:45:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/2300 took 1582220 ms. Total solver calls (SAT/UNSAT): 6660(5550/1110)
Jun 01, 2017 9:45:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/2300 took 1585048 ms. Total solver calls (SAT/UNSAT): 6672(5560/1112)
Jun 01, 2017 9:45:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/2300 took 1587878 ms. Total solver calls (SAT/UNSAT): 6684(5570/1114)
Jun 01, 2017 9:45:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/2300 took 1590711 ms. Total solver calls (SAT/UNSAT): 6696(5580/1116)
Jun 01, 2017 9:45:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/2300 took 1593537 ms. Total solver calls (SAT/UNSAT): 6708(5590/1118)
Jun 01, 2017 9:45:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/2300 took 1596374 ms. Total solver calls (SAT/UNSAT): 6720(5600/1120)
Jun 01, 2017 9:45:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/2300 took 1599208 ms. Total solver calls (SAT/UNSAT): 6732(5610/1122)
Jun 01, 2017 9:45:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/2300 took 1602045 ms. Total solver calls (SAT/UNSAT): 6744(5620/1124)
Jun 01, 2017 9:45:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/2300 took 1604888 ms. Total solver calls (SAT/UNSAT): 6756(5630/1126)
Jun 01, 2017 9:45:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/2300 took 1607719 ms. Total solver calls (SAT/UNSAT): 6768(5640/1128)
Jun 01, 2017 9:45:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/2300 took 1610546 ms. Total solver calls (SAT/UNSAT): 6780(5650/1130)
Jun 01, 2017 9:45:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/2300 took 1613371 ms. Total solver calls (SAT/UNSAT): 6792(5660/1132)
Jun 01, 2017 9:45:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/2300 took 1616203 ms. Total solver calls (SAT/UNSAT): 6804(5670/1134)
Jun 01, 2017 9:45:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/2300 took 1619031 ms. Total solver calls (SAT/UNSAT): 6816(5680/1136)
Jun 01, 2017 9:45:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/2300 took 1621996 ms. Total solver calls (SAT/UNSAT): 6828(5690/1138)
Jun 01, 2017 9:45:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/2300 took 1624828 ms. Total solver calls (SAT/UNSAT): 6840(5700/1140)
Jun 01, 2017 9:45:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/2300 took 1627662 ms. Total solver calls (SAT/UNSAT): 6852(5710/1142)
Jun 01, 2017 9:45:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/2300 took 1630491 ms. Total solver calls (SAT/UNSAT): 6864(5720/1144)
Jun 01, 2017 9:45:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/2300 took 1633330 ms. Total solver calls (SAT/UNSAT): 6876(5730/1146)
Jun 01, 2017 9:46:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/2300 took 1636302 ms. Total solver calls (SAT/UNSAT): 6888(5740/1148)
Jun 01, 2017 9:46:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/2300 took 1639158 ms. Total solver calls (SAT/UNSAT): 6900(5750/1150)
Jun 01, 2017 9:46:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/2300 took 1642092 ms. Total solver calls (SAT/UNSAT): 6912(5760/1152)
Jun 01, 2017 9:46:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/2300 took 1644932 ms. Total solver calls (SAT/UNSAT): 6924(5770/1154)
Jun 01, 2017 9:46:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/2300 took 1647796 ms. Total solver calls (SAT/UNSAT): 6936(5780/1156)
Jun 01, 2017 9:46:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/2300 took 1650647 ms. Total solver calls (SAT/UNSAT): 6948(5790/1158)
Jun 01, 2017 9:46:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/2300 took 1653498 ms. Total solver calls (SAT/UNSAT): 6960(5800/1160)
Jun 01, 2017 9:46:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/2300 took 1656359 ms. Total solver calls (SAT/UNSAT): 6972(5810/1162)
Jun 01, 2017 9:46:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/2300 took 1659221 ms. Total solver calls (SAT/UNSAT): 6984(5820/1164)
Jun 01, 2017 9:46:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/2300 took 1662071 ms. Total solver calls (SAT/UNSAT): 6996(5830/1166)
Jun 01, 2017 9:46:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/2300 took 1664925 ms. Total solver calls (SAT/UNSAT): 7008(5840/1168)
Jun 01, 2017 9:46:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/2300 took 1667771 ms. Total solver calls (SAT/UNSAT): 7020(5850/1170)
Jun 01, 2017 9:46:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/2300 took 1670617 ms. Total solver calls (SAT/UNSAT): 7032(5860/1172)
Jun 01, 2017 9:46:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/2300 took 1673475 ms. Total solver calls (SAT/UNSAT): 7044(5870/1174)
Jun 01, 2017 9:46:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/2300 took 1676328 ms. Total solver calls (SAT/UNSAT): 7056(5880/1176)
Jun 01, 2017 9:46:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/2300 took 1679182 ms. Total solver calls (SAT/UNSAT): 7068(5890/1178)
Jun 01, 2017 9:46:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/2300 took 1682023 ms. Total solver calls (SAT/UNSAT): 7080(5900/1180)
Jun 01, 2017 9:46:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/2300 took 1684892 ms. Total solver calls (SAT/UNSAT): 7092(5910/1182)
Jun 01, 2017 9:46:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/2300 took 1687742 ms. Total solver calls (SAT/UNSAT): 7104(5920/1184)
Jun 01, 2017 9:46:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/2300 took 1690598 ms. Total solver calls (SAT/UNSAT): 7116(5930/1186)
Jun 01, 2017 9:47:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/2300 took 1693441 ms. Total solver calls (SAT/UNSAT): 7128(5940/1188)
Jun 01, 2017 9:47:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/2300 took 1696300 ms. Total solver calls (SAT/UNSAT): 7140(5950/1190)
Jun 01, 2017 9:47:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/2300 took 1699161 ms. Total solver calls (SAT/UNSAT): 7152(5960/1192)
Jun 01, 2017 9:47:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/2300 took 1702013 ms. Total solver calls (SAT/UNSAT): 7164(5970/1194)
Jun 01, 2017 9:47:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/2300 took 1704868 ms. Total solver calls (SAT/UNSAT): 7176(5980/1196)
Jun 01, 2017 9:47:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/2300 took 1707736 ms. Total solver calls (SAT/UNSAT): 7188(5990/1198)
Jun 01, 2017 9:47:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/2300 took 1710601 ms. Total solver calls (SAT/UNSAT): 7200(6000/1200)
Jun 01, 2017 9:47:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/2300 took 1713458 ms. Total solver calls (SAT/UNSAT): 7212(6010/1202)
Jun 01, 2017 9:47:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/2300 took 1716326 ms. Total solver calls (SAT/UNSAT): 7224(6020/1204)
Jun 01, 2017 9:47:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/2300 took 1719191 ms. Total solver calls (SAT/UNSAT): 7236(6030/1206)
Jun 01, 2017 9:47:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/2300 took 1722042 ms. Total solver calls (SAT/UNSAT): 7248(6040/1208)
Jun 01, 2017 9:47:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/2300 took 1724886 ms. Total solver calls (SAT/UNSAT): 7260(6050/1210)
Jun 01, 2017 9:47:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/2300 took 1727736 ms. Total solver calls (SAT/UNSAT): 7272(6060/1212)
Jun 01, 2017 9:47:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/2300 took 1730595 ms. Total solver calls (SAT/UNSAT): 7284(6070/1214)
Jun 01, 2017 9:47:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/2300 took 1733445 ms. Total solver calls (SAT/UNSAT): 7296(6080/1216)
Jun 01, 2017 9:47:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/2300 took 1736296 ms. Total solver calls (SAT/UNSAT): 7308(6090/1218)
Jun 01, 2017 9:47:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/2300 took 1739159 ms. Total solver calls (SAT/UNSAT): 7320(6100/1220)
Jun 01, 2017 9:47:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/2300 took 1742019 ms. Total solver calls (SAT/UNSAT): 7332(6110/1222)
Jun 01, 2017 9:47:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/2300 took 1744870 ms. Total solver calls (SAT/UNSAT): 7344(6120/1224)
Jun 01, 2017 9:47:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/2300 took 1747721 ms. Total solver calls (SAT/UNSAT): 7356(6130/1226)
Jun 01, 2017 9:47:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/2300 took 1750574 ms. Total solver calls (SAT/UNSAT): 7368(6140/1228)
Jun 01, 2017 9:48:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/2300 took 1753437 ms. Total solver calls (SAT/UNSAT): 7380(6150/1230)
Jun 01, 2017 9:48:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/2300 took 1756308 ms. Total solver calls (SAT/UNSAT): 7392(6160/1232)
Jun 01, 2017 9:48:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/2300 took 1759237 ms. Total solver calls (SAT/UNSAT): 7404(6170/1234)
Jun 01, 2017 9:48:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/2300 took 1762105 ms. Total solver calls (SAT/UNSAT): 7416(6180/1236)
Jun 01, 2017 9:48:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/2300 took 1764970 ms. Total solver calls (SAT/UNSAT): 7428(6190/1238)
Jun 01, 2017 9:48:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/2300 took 1767852 ms. Total solver calls (SAT/UNSAT): 7440(6200/1240)
Jun 01, 2017 9:48:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/2300 took 1770723 ms. Total solver calls (SAT/UNSAT): 7452(6210/1242)
Jun 01, 2017 9:48:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/2300 took 1773646 ms. Total solver calls (SAT/UNSAT): 7464(6220/1244)
Jun 01, 2017 9:48:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/2300 took 1776492 ms. Total solver calls (SAT/UNSAT): 7476(6230/1246)
Jun 01, 2017 9:48:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/2300 took 1779353 ms. Total solver calls (SAT/UNSAT): 7488(6240/1248)
Jun 01, 2017 9:48:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/2300 took 1782232 ms. Total solver calls (SAT/UNSAT): 7500(6250/1250)
Jun 01, 2017 9:48:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/2300 took 1785105 ms. Total solver calls (SAT/UNSAT): 7512(6260/1252)
Jun 01, 2017 9:48:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/2300 took 1787979 ms. Total solver calls (SAT/UNSAT): 7524(6270/1254)
Jun 01, 2017 9:48:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/2300 took 1790917 ms. Total solver calls (SAT/UNSAT): 7536(6280/1256)
Jun 01, 2017 9:48:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/2300 took 1793795 ms. Total solver calls (SAT/UNSAT): 7548(6290/1258)
Jun 01, 2017 9:48:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/2300 took 1796648 ms. Total solver calls (SAT/UNSAT): 7560(6300/1260)
Jun 01, 2017 9:48:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/2300 took 1799510 ms. Total solver calls (SAT/UNSAT): 7572(6310/1262)
Jun 01, 2017 9:48:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/2300 took 1802376 ms. Total solver calls (SAT/UNSAT): 7584(6320/1264)
Jun 01, 2017 9:48:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/2300 took 1805248 ms. Total solver calls (SAT/UNSAT): 7596(6330/1266)
Jun 01, 2017 9:48:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/2300 took 1808117 ms. Total solver calls (SAT/UNSAT): 7608(6340/1268)
Jun 01, 2017 9:48:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/2300 took 1810996 ms. Total solver calls (SAT/UNSAT): 7620(6350/1270)
Jun 01, 2017 9:49:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/2300 took 1813852 ms. Total solver calls (SAT/UNSAT): 7632(6360/1272)
Jun 01, 2017 9:49:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/2300 took 1816724 ms. Total solver calls (SAT/UNSAT): 7644(6370/1274)
Jun 01, 2017 9:49:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/2300 took 1819582 ms. Total solver calls (SAT/UNSAT): 7656(6380/1276)
Jun 01, 2017 9:49:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/2300 took 1822454 ms. Total solver calls (SAT/UNSAT): 7668(6390/1278)
Jun 01, 2017 9:49:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/2300 took 1825320 ms. Total solver calls (SAT/UNSAT): 7680(6400/1280)
Jun 01, 2017 9:49:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/2300 took 1828190 ms. Total solver calls (SAT/UNSAT): 7692(6410/1282)
Jun 01, 2017 9:49:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/2300 took 1831050 ms. Total solver calls (SAT/UNSAT): 7704(6420/1284)
Jun 01, 2017 9:49:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/2300 took 1833915 ms. Total solver calls (SAT/UNSAT): 7716(6430/1286)
Jun 01, 2017 9:49:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/2300 took 1836784 ms. Total solver calls (SAT/UNSAT): 7728(6440/1288)
Jun 01, 2017 9:49:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/2300 took 1839637 ms. Total solver calls (SAT/UNSAT): 7740(6450/1290)
Jun 01, 2017 9:49:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/2300 took 1842496 ms. Total solver calls (SAT/UNSAT): 7752(6460/1292)
Jun 01, 2017 9:49:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/2300 took 1845361 ms. Total solver calls (SAT/UNSAT): 7764(6470/1294)
Jun 01, 2017 9:49:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/2300 took 1848228 ms. Total solver calls (SAT/UNSAT): 7776(6480/1296)
Jun 01, 2017 9:49:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/2300 took 1851089 ms. Total solver calls (SAT/UNSAT): 7788(6490/1298)
Jun 01, 2017 9:49:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/2300 took 1853943 ms. Total solver calls (SAT/UNSAT): 7800(6500/1300)
Jun 01, 2017 9:49:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/2300 took 1856797 ms. Total solver calls (SAT/UNSAT): 7812(6510/1302)
Jun 01, 2017 9:49:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/2300 took 1859660 ms. Total solver calls (SAT/UNSAT): 7824(6520/1304)
Jun 01, 2017 9:49:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/2300 took 1862530 ms. Total solver calls (SAT/UNSAT): 7836(6530/1306)
Jun 01, 2017 9:49:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/2300 took 1865396 ms. Total solver calls (SAT/UNSAT): 7848(6540/1308)
Jun 01, 2017 9:49:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/2300 took 1868257 ms. Total solver calls (SAT/UNSAT): 7860(6550/1310)
Jun 01, 2017 9:49:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/2300 took 1871123 ms. Total solver calls (SAT/UNSAT): 7872(6560/1312)
Jun 01, 2017 9:50:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/2300 took 1873986 ms. Total solver calls (SAT/UNSAT): 7884(6570/1314)
Jun 01, 2017 9:50:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/2300 took 1876837 ms. Total solver calls (SAT/UNSAT): 7896(6580/1316)
Jun 01, 2017 9:50:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/2300 took 1879697 ms. Total solver calls (SAT/UNSAT): 7908(6590/1318)
Jun 01, 2017 9:50:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/2300 took 1882557 ms. Total solver calls (SAT/UNSAT): 7920(6600/1320)
Jun 01, 2017 9:50:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/2300 took 1885408 ms. Total solver calls (SAT/UNSAT): 7932(6610/1322)
Jun 01, 2017 9:50:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/2300 took 1888268 ms. Total solver calls (SAT/UNSAT): 7944(6620/1324)
Jun 01, 2017 9:50:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/2300 took 1891103 ms. Total solver calls (SAT/UNSAT): 7956(6630/1326)
Jun 01, 2017 9:50:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/2300 took 1893941 ms. Total solver calls (SAT/UNSAT): 7968(6640/1328)
Jun 01, 2017 9:50:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/2300 took 1896786 ms. Total solver calls (SAT/UNSAT): 7980(6650/1330)
Jun 01, 2017 9:50:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/2300 took 1899635 ms. Total solver calls (SAT/UNSAT): 7992(6660/1332)
Jun 01, 2017 9:50:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/2300 took 1902482 ms. Total solver calls (SAT/UNSAT): 8004(6670/1334)
Jun 01, 2017 9:50:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/2300 took 1905332 ms. Total solver calls (SAT/UNSAT): 8016(6680/1336)
Jun 01, 2017 9:50:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/2300 took 1908186 ms. Total solver calls (SAT/UNSAT): 8028(6690/1338)
Jun 01, 2017 9:50:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/2300 took 1911026 ms. Total solver calls (SAT/UNSAT): 8040(6700/1340)
Jun 01, 2017 9:50:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/2300 took 1913852 ms. Total solver calls (SAT/UNSAT): 8052(6710/1342)
Jun 01, 2017 9:50:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/2300 took 1916697 ms. Total solver calls (SAT/UNSAT): 8064(6720/1344)
Jun 01, 2017 9:50:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/2300 took 1919613 ms. Total solver calls (SAT/UNSAT): 8076(6730/1346)
Jun 01, 2017 9:50:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/2300 took 1922531 ms. Total solver calls (SAT/UNSAT): 8088(6740/1348)
Jun 01, 2017 9:50:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/2300 took 1925381 ms. Total solver calls (SAT/UNSAT): 8100(6750/1350)
Jun 01, 2017 9:50:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/2300 took 1928373 ms. Total solver calls (SAT/UNSAT): 8112(6760/1352)
Jun 01, 2017 9:50:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/2300 took 1931235 ms. Total solver calls (SAT/UNSAT): 8124(6770/1354)
Jun 01, 2017 9:51:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/2300 took 1934085 ms. Total solver calls (SAT/UNSAT): 8136(6780/1356)
Jun 01, 2017 9:51:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/2300 took 1937089 ms. Total solver calls (SAT/UNSAT): 8148(6790/1358)
Jun 01, 2017 9:51:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/2300 took 1939995 ms. Total solver calls (SAT/UNSAT): 8160(6800/1360)
Jun 01, 2017 9:51:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/2300 took 1942848 ms. Total solver calls (SAT/UNSAT): 8172(6810/1362)
Jun 01, 2017 9:51:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/2300 took 1945698 ms. Total solver calls (SAT/UNSAT): 8184(6820/1364)
Jun 01, 2017 9:51:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/2300 took 1948602 ms. Total solver calls (SAT/UNSAT): 8196(6830/1366)
Jun 01, 2017 9:51:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/2300 took 1951471 ms. Total solver calls (SAT/UNSAT): 8208(6840/1368)
Jun 01, 2017 9:51:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/2300 took 1954350 ms. Total solver calls (SAT/UNSAT): 8220(6850/1370)
Jun 01, 2017 9:51:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/2300 took 1957209 ms. Total solver calls (SAT/UNSAT): 8232(6860/1372)
Jun 01, 2017 9:51:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/2300 took 1960068 ms. Total solver calls (SAT/UNSAT): 8244(6870/1374)
Jun 01, 2017 9:51:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/2300 took 1962992 ms. Total solver calls (SAT/UNSAT): 8256(6880/1376)
Jun 01, 2017 9:51:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/2300 took 1965840 ms. Total solver calls (SAT/UNSAT): 8268(6890/1378)
Jun 01, 2017 9:51:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/2300 took 1968693 ms. Total solver calls (SAT/UNSAT): 8280(6900/1380)
Jun 01, 2017 9:51:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/2300 took 1971535 ms. Total solver calls (SAT/UNSAT): 8292(6910/1382)
Jun 01, 2017 9:51:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/2300 took 1974384 ms. Total solver calls (SAT/UNSAT): 8304(6920/1384)
Jun 01, 2017 9:51:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/2300 took 1977230 ms. Total solver calls (SAT/UNSAT): 8316(6930/1386)
Jun 01, 2017 9:51:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/2300 took 1980081 ms. Total solver calls (SAT/UNSAT): 8328(6940/1388)
Jun 01, 2017 9:51:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/2300 took 1982937 ms. Total solver calls (SAT/UNSAT): 8340(6950/1390)
Jun 01, 2017 9:51:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/2300 took 1985787 ms. Total solver calls (SAT/UNSAT): 8352(6960/1392)
Jun 01, 2017 9:51:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/2300 took 1988640 ms. Total solver calls (SAT/UNSAT): 8364(6970/1394)
Jun 01, 2017 9:51:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/2300 took 1991486 ms. Total solver calls (SAT/UNSAT): 8376(6980/1396)
Jun 01, 2017 9:52:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/2300 took 1994330 ms. Total solver calls (SAT/UNSAT): 8388(6990/1398)
Jun 01, 2017 9:52:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/2300 took 1997196 ms. Total solver calls (SAT/UNSAT): 8400(7000/1400)
Jun 01, 2017 9:52:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/2300 took 2000047 ms. Total solver calls (SAT/UNSAT): 8412(7010/1402)
Jun 01, 2017 9:52:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/2300 took 2002896 ms. Total solver calls (SAT/UNSAT): 8424(7020/1404)
Jun 01, 2017 9:52:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/2300 took 2005740 ms. Total solver calls (SAT/UNSAT): 8436(7030/1406)
Jun 01, 2017 9:52:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/2300 took 2008588 ms. Total solver calls (SAT/UNSAT): 8448(7040/1408)
Jun 01, 2017 9:52:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/2300 took 2011447 ms. Total solver calls (SAT/UNSAT): 8460(7050/1410)
Jun 01, 2017 9:52:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/2300 took 2014310 ms. Total solver calls (SAT/UNSAT): 8472(7060/1412)
Jun 01, 2017 9:52:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/2300 took 2017163 ms. Total solver calls (SAT/UNSAT): 8484(7070/1414)
Jun 01, 2017 9:52:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/2300 took 2020021 ms. Total solver calls (SAT/UNSAT): 8496(7080/1416)
Jun 01, 2017 9:52:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/2300 took 2022877 ms. Total solver calls (SAT/UNSAT): 8508(7090/1418)
Jun 01, 2017 9:52:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/2300 took 2025709 ms. Total solver calls (SAT/UNSAT): 8520(7100/1420)
Jun 01, 2017 9:52:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/2300 took 2028563 ms. Total solver calls (SAT/UNSAT): 8532(7110/1422)
Jun 01, 2017 9:52:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/2300 took 2031410 ms. Total solver calls (SAT/UNSAT): 8544(7120/1424)
Jun 01, 2017 9:52:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/2300 took 2034264 ms. Total solver calls (SAT/UNSAT): 8556(7130/1426)
Jun 01, 2017 9:52:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/2300 took 2037126 ms. Total solver calls (SAT/UNSAT): 8568(7140/1428)
Jun 01, 2017 9:52:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/2300 took 2039975 ms. Total solver calls (SAT/UNSAT): 8580(7150/1430)
Jun 01, 2017 9:52:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/2300 took 2042887 ms. Total solver calls (SAT/UNSAT): 8592(7160/1432)
Jun 01, 2017 9:52:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/2300 took 2045749 ms. Total solver calls (SAT/UNSAT): 8604(7170/1434)
Jun 01, 2017 9:52:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/2300 took 2048610 ms. Total solver calls (SAT/UNSAT): 8616(7180/1436)
Jun 01, 2017 9:52:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/2300 took 2051472 ms. Total solver calls (SAT/UNSAT): 8628(7190/1438)
Jun 01, 2017 9:53:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/2300 took 2054337 ms. Total solver calls (SAT/UNSAT): 8640(7200/1440)
Jun 01, 2017 9:53:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/2300 took 2057192 ms. Total solver calls (SAT/UNSAT): 8652(7210/1442)
Jun 01, 2017 9:53:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/2300 took 2060044 ms. Total solver calls (SAT/UNSAT): 8664(7220/1444)
Jun 01, 2017 9:53:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/2300 took 2062890 ms. Total solver calls (SAT/UNSAT): 8676(7230/1446)
Jun 01, 2017 9:53:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/2300 took 2065756 ms. Total solver calls (SAT/UNSAT): 8688(7240/1448)
Jun 01, 2017 9:53:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/2300 took 2068608 ms. Total solver calls (SAT/UNSAT): 8700(7250/1450)
Jun 01, 2017 9:53:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/2300 took 2071473 ms. Total solver calls (SAT/UNSAT): 8712(7260/1452)
Jun 01, 2017 9:53:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/2300 took 2074332 ms. Total solver calls (SAT/UNSAT): 8724(7270/1454)
Jun 01, 2017 9:53:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :727/2300 took 2077186 ms. Total solver calls (SAT/UNSAT): 8736(7280/1456)
Jun 01, 2017 9:53:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/2300 took 2080069 ms. Total solver calls (SAT/UNSAT): 8748(7290/1458)
Jun 01, 2017 9:53:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/2300 took 2082910 ms. Total solver calls (SAT/UNSAT): 8760(7300/1460)
Jun 01, 2017 9:53:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/2300 took 2085760 ms. Total solver calls (SAT/UNSAT): 8772(7310/1462)
Jun 01, 2017 9:53:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/2300 took 2088617 ms. Total solver calls (SAT/UNSAT): 8784(7320/1464)
Jun 01, 2017 9:53:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/2300 took 2091459 ms. Total solver calls (SAT/UNSAT): 8796(7330/1466)
Jun 01, 2017 9:53:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/2300 took 2094302 ms. Total solver calls (SAT/UNSAT): 8808(7340/1468)
Jun 01, 2017 9:53:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/2300 took 2097136 ms. Total solver calls (SAT/UNSAT): 8820(7350/1470)
Jun 01, 2017 9:53:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/2300 took 2099980 ms. Total solver calls (SAT/UNSAT): 8832(7360/1472)
Jun 01, 2017 9:53:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/2300 took 2102828 ms. Total solver calls (SAT/UNSAT): 8844(7370/1474)
Jun 01, 2017 9:53:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/2300 took 2105678 ms. Total solver calls (SAT/UNSAT): 8856(7380/1476)
Jun 01, 2017 9:53:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/2300 took 2108522 ms. Total solver calls (SAT/UNSAT): 8868(7390/1478)
Jun 01, 2017 9:53:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/2300 took 2111361 ms. Total solver calls (SAT/UNSAT): 8880(7400/1480)
Jun 01, 2017 9:54:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/2300 took 2114200 ms. Total solver calls (SAT/UNSAT): 8892(7410/1482)
Jun 01, 2017 9:54:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/2300 took 2117042 ms. Total solver calls (SAT/UNSAT): 8904(7420/1484)
Jun 01, 2017 9:54:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/2300 took 2119885 ms. Total solver calls (SAT/UNSAT): 8916(7430/1486)
Jun 01, 2017 9:54:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/2300 took 2122722 ms. Total solver calls (SAT/UNSAT): 8928(7440/1488)
Jun 01, 2017 9:54:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/2300 took 2125556 ms. Total solver calls (SAT/UNSAT): 8940(7450/1490)
Jun 01, 2017 9:54:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/2300 took 2128399 ms. Total solver calls (SAT/UNSAT): 8952(7460/1492)
Jun 01, 2017 9:54:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/2300 took 2131244 ms. Total solver calls (SAT/UNSAT): 8964(7470/1494)
Jun 01, 2017 9:54:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/2300 took 2134092 ms. Total solver calls (SAT/UNSAT): 8976(7480/1496)
Jun 01, 2017 9:54:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/2300 took 2136933 ms. Total solver calls (SAT/UNSAT): 8988(7490/1498)
Jun 01, 2017 9:54:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/2300 took 2139776 ms. Total solver calls (SAT/UNSAT): 9000(7500/1500)
Jun 01, 2017 9:54:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/2300 took 2142625 ms. Total solver calls (SAT/UNSAT): 9012(7510/1502)
Jun 01, 2017 9:54:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/2300 took 2145473 ms. Total solver calls (SAT/UNSAT): 9024(7520/1504)
Jun 01, 2017 9:54:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/2300 took 2148451 ms. Total solver calls (SAT/UNSAT): 9036(7530/1506)
Jun 01, 2017 9:54:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/2300 took 2151289 ms. Total solver calls (SAT/UNSAT): 9048(7540/1508)
Jun 01, 2017 9:54:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/2300 took 2154127 ms. Total solver calls (SAT/UNSAT): 9060(7550/1510)
Jun 01, 2017 9:54:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/2300 took 2156970 ms. Total solver calls (SAT/UNSAT): 9072(7560/1512)
Jun 01, 2017 9:54:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/2300 took 2159813 ms. Total solver calls (SAT/UNSAT): 9084(7570/1514)
Jun 01, 2017 9:54:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/2300 took 2162657 ms. Total solver calls (SAT/UNSAT): 9096(7580/1516)
Jun 01, 2017 9:54:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/2300 took 2165513 ms. Total solver calls (SAT/UNSAT): 9108(7590/1518)
Jun 01, 2017 9:54:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/2300 took 2168364 ms. Total solver calls (SAT/UNSAT): 9120(7600/1520)
Jun 01, 2017 9:54:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/2300 took 2171217 ms. Total solver calls (SAT/UNSAT): 9132(7610/1522)
Jun 01, 2017 9:55:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/2300 took 2174069 ms. Total solver calls (SAT/UNSAT): 9144(7620/1524)
Jun 01, 2017 9:55:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/2300 took 2176930 ms. Total solver calls (SAT/UNSAT): 9156(7630/1526)
Jun 01, 2017 9:55:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/2300 took 2179785 ms. Total solver calls (SAT/UNSAT): 9168(7640/1528)
Jun 01, 2017 9:55:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/2300 took 2182656 ms. Total solver calls (SAT/UNSAT): 9180(7650/1530)
Jun 01, 2017 9:55:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/2300 took 2185503 ms. Total solver calls (SAT/UNSAT): 9192(7660/1532)
Jun 01, 2017 9:55:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/2300 took 2188354 ms. Total solver calls (SAT/UNSAT): 9204(7670/1534)
Jun 01, 2017 9:55:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/2300 took 2191201 ms. Total solver calls (SAT/UNSAT): 9216(7680/1536)
Jun 01, 2017 9:55:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/2300 took 2194046 ms. Total solver calls (SAT/UNSAT): 9228(7690/1538)
Jun 01, 2017 9:55:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/2300 took 2196899 ms. Total solver calls (SAT/UNSAT): 9240(7700/1540)
Jun 01, 2017 9:55:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/2300 took 2199748 ms. Total solver calls (SAT/UNSAT): 9252(7710/1542)
Jun 01, 2017 9:55:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/2300 took 2202588 ms. Total solver calls (SAT/UNSAT): 9264(7720/1544)
Jun 01, 2017 9:55:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/2300 took 2205446 ms. Total solver calls (SAT/UNSAT): 9276(7730/1546)
Jun 01, 2017 9:55:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/2300 took 2208299 ms. Total solver calls (SAT/UNSAT): 9288(7740/1548)
Jun 01, 2017 9:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/2300 took 2211149 ms. Total solver calls (SAT/UNSAT): 9300(7750/1550)
Jun 01, 2017 9:55:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/2300 took 2214005 ms. Total solver calls (SAT/UNSAT): 9312(7760/1552)
Jun 01, 2017 9:55:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/2300 took 2216856 ms. Total solver calls (SAT/UNSAT): 9324(7770/1554)
Jun 01, 2017 9:55:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/2300 took 2219707 ms. Total solver calls (SAT/UNSAT): 9336(7780/1556)
Jun 01, 2017 9:55:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/2300 took 2222555 ms. Total solver calls (SAT/UNSAT): 9348(7790/1558)
Jun 01, 2017 9:55:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/2300 took 2225395 ms. Total solver calls (SAT/UNSAT): 9360(7800/1560)
Jun 01, 2017 9:55:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/2300 took 2228246 ms. Total solver calls (SAT/UNSAT): 9372(7810/1562)
Jun 01, 2017 9:55:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/2300 took 2231104 ms. Total solver calls (SAT/UNSAT): 9384(7820/1564)
Jun 01, 2017 9:56:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/2300 took 2233951 ms. Total solver calls (SAT/UNSAT): 9396(7830/1566)
Jun 01, 2017 9:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/2300 took 2236801 ms. Total solver calls (SAT/UNSAT): 9408(7840/1568)
Jun 01, 2017 9:56:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/2300 took 2239651 ms. Total solver calls (SAT/UNSAT): 9420(7850/1570)
Jun 01, 2017 9:56:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/2300 took 2242500 ms. Total solver calls (SAT/UNSAT): 9432(7860/1572)
Jun 01, 2017 9:56:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/2300 took 2245357 ms. Total solver calls (SAT/UNSAT): 9444(7870/1574)
Jun 01, 2017 9:56:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/2300 took 2248210 ms. Total solver calls (SAT/UNSAT): 9456(7880/1576)
Jun 01, 2017 9:56:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/2300 took 2251058 ms. Total solver calls (SAT/UNSAT): 9468(7890/1578)
Jun 01, 2017 9:56:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/2300 took 2253902 ms. Total solver calls (SAT/UNSAT): 9480(7900/1580)
Jun 01, 2017 9:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/2300 took 2256760 ms. Total solver calls (SAT/UNSAT): 9492(7910/1582)
Jun 01, 2017 9:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/2300 took 2259605 ms. Total solver calls (SAT/UNSAT): 9504(7920/1584)
Jun 01, 2017 9:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/2300 took 2262459 ms. Total solver calls (SAT/UNSAT): 9516(7930/1586)
Jun 01, 2017 9:56:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/2300 took 2265314 ms. Total solver calls (SAT/UNSAT): 9528(7940/1588)
Jun 01, 2017 9:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/2300 took 2268177 ms. Total solver calls (SAT/UNSAT): 9540(7950/1590)
Jun 01, 2017 9:56:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/2300 took 2271027 ms. Total solver calls (SAT/UNSAT): 9552(7960/1592)
Jun 01, 2017 9:56:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/2300 took 2273883 ms. Total solver calls (SAT/UNSAT): 9564(7970/1594)
Jun 01, 2017 9:56:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/2300 took 2276724 ms. Total solver calls (SAT/UNSAT): 9576(7980/1596)
Jun 01, 2017 9:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/2300 took 2279582 ms. Total solver calls (SAT/UNSAT): 9588(7990/1598)
Jun 01, 2017 9:56:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/2300 took 2282443 ms. Total solver calls (SAT/UNSAT): 9600(8000/1600)
Jun 01, 2017 9:56:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/2300 took 2285305 ms. Total solver calls (SAT/UNSAT): 9612(8010/1602)
Jun 01, 2017 9:56:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/2300 took 2288155 ms. Total solver calls (SAT/UNSAT): 9624(8020/1604)
Jun 01, 2017 9:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/2300 took 2291015 ms. Total solver calls (SAT/UNSAT): 9636(8030/1606)
Jun 01, 2017 9:57:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/2300 took 2293866 ms. Total solver calls (SAT/UNSAT): 9648(8040/1608)
Jun 01, 2017 9:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/2300 took 2296716 ms. Total solver calls (SAT/UNSAT): 9660(8050/1610)
Jun 01, 2017 9:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/2300 took 2299576 ms. Total solver calls (SAT/UNSAT): 9672(8060/1612)
Jun 01, 2017 9:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/2300 took 2302426 ms. Total solver calls (SAT/UNSAT): 9684(8070/1614)
Jun 01, 2017 9:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/2300 took 2305281 ms. Total solver calls (SAT/UNSAT): 9696(8080/1616)
Jun 01, 2017 9:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/2300 took 2308138 ms. Total solver calls (SAT/UNSAT): 9708(8090/1618)
Jun 01, 2017 9:57:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/2300 took 2310983 ms. Total solver calls (SAT/UNSAT): 9720(8100/1620)
Jun 01, 2017 9:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/2300 took 2313845 ms. Total solver calls (SAT/UNSAT): 9732(8110/1622)
Jun 01, 2017 9:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/2300 took 2316686 ms. Total solver calls (SAT/UNSAT): 9744(8120/1624)
Jun 01, 2017 9:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/2300 took 2319543 ms. Total solver calls (SAT/UNSAT): 9756(8130/1626)
Jun 01, 2017 9:57:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/2300 took 2322403 ms. Total solver calls (SAT/UNSAT): 9768(8140/1628)
Jun 01, 2017 9:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/2300 took 2325260 ms. Total solver calls (SAT/UNSAT): 9780(8150/1630)
Jun 01, 2017 9:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :815/2300 took 2328103 ms. Total solver calls (SAT/UNSAT): 9792(8160/1632)
Jun 01, 2017 9:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/2300 took 2330954 ms. Total solver calls (SAT/UNSAT): 9804(8170/1634)
Jun 01, 2017 9:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/2300 took 2333804 ms. Total solver calls (SAT/UNSAT): 9816(8180/1636)
Jun 01, 2017 9:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/2300 took 2336653 ms. Total solver calls (SAT/UNSAT): 9828(8190/1638)
Jun 01, 2017 9:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/2300 took 2339495 ms. Total solver calls (SAT/UNSAT): 9840(8200/1640)
Jun 01, 2017 9:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/2300 took 2342337 ms. Total solver calls (SAT/UNSAT): 9852(8210/1642)
Jun 01, 2017 9:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/2300 took 2345182 ms. Total solver calls (SAT/UNSAT): 9864(8220/1644)
Jun 01, 2017 9:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/2300 took 2348034 ms. Total solver calls (SAT/UNSAT): 9876(8230/1646)
Jun 01, 2017 9:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/2300 took 2350879 ms. Total solver calls (SAT/UNSAT): 9888(8240/1648)
Jun 01, 2017 9:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/2300 took 2353723 ms. Total solver calls (SAT/UNSAT): 9900(8250/1650)
Jun 01, 2017 9:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/2300 took 2356573 ms. Total solver calls (SAT/UNSAT): 9912(8260/1652)
Jun 01, 2017 9:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/2300 took 2359420 ms. Total solver calls (SAT/UNSAT): 9924(8270/1654)
Jun 01, 2017 9:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/2300 took 2362275 ms. Total solver calls (SAT/UNSAT): 9936(8280/1656)
Jun 01, 2017 9:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/2300 took 2365127 ms. Total solver calls (SAT/UNSAT): 9948(8290/1658)
Jun 01, 2017 9:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/2300 took 2367971 ms. Total solver calls (SAT/UNSAT): 9960(8300/1660)
Jun 01, 2017 9:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/2300 took 2370814 ms. Total solver calls (SAT/UNSAT): 9972(8310/1662)
Jun 01, 2017 9:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/2300 took 2373667 ms. Total solver calls (SAT/UNSAT): 9984(8320/1664)
Jun 01, 2017 9:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/2300 took 2376527 ms. Total solver calls (SAT/UNSAT): 9996(8330/1666)
Jun 01, 2017 9:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/2300 took 2379369 ms. Total solver calls (SAT/UNSAT): 10008(8340/1668)
Jun 01, 2017 9:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/2300 took 2382210 ms. Total solver calls (SAT/UNSAT): 10020(8350/1670)
Jun 01, 2017 9:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/2300 took 2385057 ms. Total solver calls (SAT/UNSAT): 10032(8360/1672)
Jun 01, 2017 9:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/2300 took 2387910 ms. Total solver calls (SAT/UNSAT): 10044(8370/1674)
Jun 01, 2017 9:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :837/2300 took 2390761 ms. Total solver calls (SAT/UNSAT): 10056(8380/1676)
Jun 01, 2017 9:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/2300 took 2393603 ms. Total solver calls (SAT/UNSAT): 10068(8390/1678)
Jun 01, 2017 9:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :839/2300 took 2396441 ms. Total solver calls (SAT/UNSAT): 10080(8400/1680)
Jun 01, 2017 9:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/2300 took 2399272 ms. Total solver calls (SAT/UNSAT): 10092(8410/1682)
Jun 01, 2017 9:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/2300 took 2402112 ms. Total solver calls (SAT/UNSAT): 10104(8420/1684)
Jun 01, 2017 9:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/2300 took 2404956 ms. Total solver calls (SAT/UNSAT): 10116(8430/1686)
Jun 01, 2017 9:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/2300 took 2407790 ms. Total solver calls (SAT/UNSAT): 10128(8440/1688)
Jun 01, 2017 9:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/2300 took 2410630 ms. Total solver calls (SAT/UNSAT): 10140(8450/1690)
Jun 01, 2017 9:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/2300 took 2413479 ms. Total solver calls (SAT/UNSAT): 10152(8460/1692)
Jun 01, 2017 9:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/2300 took 2416311 ms. Total solver calls (SAT/UNSAT): 10164(8470/1694)
Jun 01, 2017 9:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/2300 took 2419162 ms. Total solver calls (SAT/UNSAT): 10176(8480/1696)
Jun 01, 2017 9:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/2300 took 2422023 ms. Total solver calls (SAT/UNSAT): 10188(8490/1698)

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="CSRepetitions-COL-10"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool itstools"
echo " Input is CSRepetitions-COL-10, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r020-ebro-149436312000104"
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 ;