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 S_CSRepetitions-COL-10, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-ebro-149488457400104
=====================================================================

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


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 03, 2017 11:37:25 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 11:37:26 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 03, 2017 11:37:28 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 2254 ms
Jun 03, 2017 11:37:28 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 6 places.
Jun 03, 2017 11:37:28 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 03, 2017 11:37:28 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Server->serverWaiting,
Computation->serverAnwering,
Dot->requestBufferSlots,
Client->clientSending,requestBuffer,clientWaiting,

Jun 03, 2017 11:37:28 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 5 transitions.
Jun 03, 2017 11:37:28 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 03, 2017 11:37:29 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 915 ms
Jun 03, 2017 11:37:29 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 92 ms
Jun 03, 2017 11:37:29 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 17 ms
Jun 03, 2017 11:37:33 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 110 place invariants in 1722 ms
Jun 03, 2017 11:57:01 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 1311 variables to be positive in 1169128 ms
Jun 03, 2017 11:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 2300 transitions.
Jun 03, 2017 11:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/2300 took 2850 ms. Total solver calls (SAT/UNSAT): 12(10/2)
Jun 03, 2017 11:57:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1/2300 took 5702 ms. Total solver calls (SAT/UNSAT): 24(20/4)
Jun 03, 2017 11:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/2300 took 8561 ms. Total solver calls (SAT/UNSAT): 36(30/6)
Jun 03, 2017 11:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/2300 took 11410 ms. Total solver calls (SAT/UNSAT): 48(40/8)
Jun 03, 2017 11:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/2300 took 14253 ms. Total solver calls (SAT/UNSAT): 60(50/10)
Jun 03, 2017 11:57:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/2300 took 17102 ms. Total solver calls (SAT/UNSAT): 72(60/12)
Jun 03, 2017 11:57:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/2300 took 19955 ms. Total solver calls (SAT/UNSAT): 84(70/14)
Jun 03, 2017 11:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/2300 took 22805 ms. Total solver calls (SAT/UNSAT): 96(80/16)
Jun 03, 2017 11:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/2300 took 25654 ms. Total solver calls (SAT/UNSAT): 108(90/18)
Jun 03, 2017 11:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/2300 took 28508 ms. Total solver calls (SAT/UNSAT): 120(100/20)
Jun 03, 2017 11:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/2300 took 31364 ms. Total solver calls (SAT/UNSAT): 132(110/22)
Jun 03, 2017 11:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/2300 took 34207 ms. Total solver calls (SAT/UNSAT): 144(120/24)
Jun 03, 2017 11:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/2300 took 37053 ms. Total solver calls (SAT/UNSAT): 156(130/26)
Jun 03, 2017 11:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/2300 took 39902 ms. Total solver calls (SAT/UNSAT): 168(140/28)
Jun 03, 2017 11:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/2300 took 42746 ms. Total solver calls (SAT/UNSAT): 180(150/30)
Jun 03, 2017 11:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/2300 took 45598 ms. Total solver calls (SAT/UNSAT): 192(160/32)
Jun 03, 2017 11:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/2300 took 48458 ms. Total solver calls (SAT/UNSAT): 204(170/34)
Jun 03, 2017 11:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/2300 took 51312 ms. Total solver calls (SAT/UNSAT): 216(180/36)
Jun 03, 2017 11:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/2300 took 54149 ms. Total solver calls (SAT/UNSAT): 228(190/38)
Jun 03, 2017 11:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/2300 took 57041 ms. Total solver calls (SAT/UNSAT): 240(200/40)
Jun 03, 2017 11:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/2300 took 59892 ms. Total solver calls (SAT/UNSAT): 252(210/42)
Jun 03, 2017 11:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/2300 took 62749 ms. Total solver calls (SAT/UNSAT): 264(220/44)
Jun 03, 2017 11:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/2300 took 65612 ms. Total solver calls (SAT/UNSAT): 276(230/46)
Jun 03, 2017 11:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/2300 took 68521 ms. Total solver calls (SAT/UNSAT): 288(240/48)
Jun 03, 2017 11:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/2300 took 71385 ms. Total solver calls (SAT/UNSAT): 300(250/50)
Jun 03, 2017 11:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/2300 took 74276 ms. Total solver calls (SAT/UNSAT): 312(260/52)
Jun 03, 2017 11:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/2300 took 77137 ms. Total solver calls (SAT/UNSAT): 324(270/54)
Jun 03, 2017 11:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/2300 took 80046 ms. Total solver calls (SAT/UNSAT): 336(280/56)
Jun 03, 2017 11:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/2300 took 82894 ms. Total solver calls (SAT/UNSAT): 348(290/58)
Jun 03, 2017 11:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/2300 took 85746 ms. Total solver calls (SAT/UNSAT): 360(300/60)
Jun 03, 2017 11:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/2300 took 88601 ms. Total solver calls (SAT/UNSAT): 372(310/62)
Jun 03, 2017 11:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/2300 took 91461 ms. Total solver calls (SAT/UNSAT): 384(320/64)
Jun 03, 2017 11:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/2300 took 94317 ms. Total solver calls (SAT/UNSAT): 396(330/66)
Jun 03, 2017 11:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/2300 took 97161 ms. Total solver calls (SAT/UNSAT): 408(340/68)
Jun 03, 2017 11:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/2300 took 100026 ms. Total solver calls (SAT/UNSAT): 420(350/70)
Jun 03, 2017 11:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/2300 took 102936 ms. Total solver calls (SAT/UNSAT): 432(360/72)
Jun 03, 2017 11:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/2300 took 105794 ms. Total solver calls (SAT/UNSAT): 444(370/74)
Jun 03, 2017 11:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/2300 took 108653 ms. Total solver calls (SAT/UNSAT): 456(380/76)
Jun 03, 2017 11:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/2300 took 111517 ms. Total solver calls (SAT/UNSAT): 468(390/78)
Jun 03, 2017 11:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/2300 took 114375 ms. Total solver calls (SAT/UNSAT): 480(400/80)
Jun 03, 2017 11:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/2300 took 117241 ms. Total solver calls (SAT/UNSAT): 492(410/82)
Jun 03, 2017 11:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/2300 took 120108 ms. Total solver calls (SAT/UNSAT): 504(420/84)
Jun 03, 2017 11:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/2300 took 122956 ms. Total solver calls (SAT/UNSAT): 516(430/86)
Jun 03, 2017 11:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/2300 took 125806 ms. Total solver calls (SAT/UNSAT): 528(440/88)
Jun 03, 2017 11:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/2300 took 128729 ms. Total solver calls (SAT/UNSAT): 540(450/90)
Jun 03, 2017 11:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/2300 took 131588 ms. Total solver calls (SAT/UNSAT): 552(460/92)
Jun 03, 2017 11:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/2300 took 134442 ms. Total solver calls (SAT/UNSAT): 564(470/94)
Jun 03, 2017 11:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/2300 took 137296 ms. Total solver calls (SAT/UNSAT): 576(480/96)
Jun 03, 2017 11:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/2300 took 140247 ms. Total solver calls (SAT/UNSAT): 588(490/98)
Jun 03, 2017 11:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/2300 took 143101 ms. Total solver calls (SAT/UNSAT): 600(500/100)
Jun 03, 2017 11:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/2300 took 145967 ms. Total solver calls (SAT/UNSAT): 612(510/102)
Jun 03, 2017 11:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/2300 took 148833 ms. Total solver calls (SAT/UNSAT): 624(520/104)
Jun 03, 2017 11:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/2300 took 151688 ms. Total solver calls (SAT/UNSAT): 636(530/106)
Jun 03, 2017 11:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/2300 took 154548 ms. Total solver calls (SAT/UNSAT): 648(540/108)
Jun 03, 2017 11:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/2300 took 157407 ms. Total solver calls (SAT/UNSAT): 660(550/110)
Jun 03, 2017 11:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/2300 took 160267 ms. Total solver calls (SAT/UNSAT): 672(560/112)
Jun 03, 2017 11:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/2300 took 163183 ms. Total solver calls (SAT/UNSAT): 684(570/114)
Jun 03, 2017 11:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/2300 took 166039 ms. Total solver calls (SAT/UNSAT): 696(580/116)
Jun 03, 2017 11:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/2300 took 168902 ms. Total solver calls (SAT/UNSAT): 708(590/118)
Jun 03, 2017 11:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/2300 took 171752 ms. Total solver calls (SAT/UNSAT): 720(600/120)
Jun 03, 2017 11:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/2300 took 174606 ms. Total solver calls (SAT/UNSAT): 732(610/122)
Jun 03, 2017 11:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/2300 took 177463 ms. Total solver calls (SAT/UNSAT): 744(620/124)
Jun 03, 2017 12:00:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/2300 took 180313 ms. Total solver calls (SAT/UNSAT): 756(630/126)
Jun 03, 2017 12:00:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/2300 took 183171 ms. Total solver calls (SAT/UNSAT): 768(640/128)
Jun 03, 2017 12:00:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/2300 took 186025 ms. Total solver calls (SAT/UNSAT): 780(650/130)
Jun 03, 2017 12:00:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/2300 took 188879 ms. Total solver calls (SAT/UNSAT): 792(660/132)
Jun 03, 2017 12:00:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/2300 took 191735 ms. Total solver calls (SAT/UNSAT): 804(670/134)
Jun 03, 2017 12:00:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/2300 took 194583 ms. Total solver calls (SAT/UNSAT): 816(680/136)
Jun 03, 2017 12:00:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/2300 took 197433 ms. Total solver calls (SAT/UNSAT): 828(690/138)
Jun 03, 2017 12:00:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/2300 took 200284 ms. Total solver calls (SAT/UNSAT): 840(700/140)
Jun 03, 2017 12:00:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/2300 took 203136 ms. Total solver calls (SAT/UNSAT): 852(710/142)
Jun 03, 2017 12:00:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/2300 took 205980 ms. Total solver calls (SAT/UNSAT): 864(720/144)
Jun 03, 2017 12:00:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/2300 took 208831 ms. Total solver calls (SAT/UNSAT): 876(730/146)
Jun 03, 2017 12:00:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/2300 took 211683 ms. Total solver calls (SAT/UNSAT): 888(740/148)
Jun 03, 2017 12:00:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/2300 took 214532 ms. Total solver calls (SAT/UNSAT): 900(750/150)
Jun 03, 2017 12:00:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/2300 took 217382 ms. Total solver calls (SAT/UNSAT): 912(760/152)
Jun 03, 2017 12:00:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/2300 took 220237 ms. Total solver calls (SAT/UNSAT): 924(770/154)
Jun 03, 2017 12:00:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/2300 took 223076 ms. Total solver calls (SAT/UNSAT): 936(780/156)
Jun 03, 2017 12:00:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/2300 took 225932 ms. Total solver calls (SAT/UNSAT): 948(790/158)
Jun 03, 2017 12:00:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/2300 took 228785 ms. Total solver calls (SAT/UNSAT): 960(800/160)
Jun 03, 2017 12:00:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/2300 took 231635 ms. Total solver calls (SAT/UNSAT): 972(810/162)
Jun 03, 2017 12:00:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/2300 took 234493 ms. Total solver calls (SAT/UNSAT): 984(820/164)
Jun 03, 2017 12:00:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/2300 took 237339 ms. Total solver calls (SAT/UNSAT): 996(830/166)
Jun 03, 2017 12:01:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/2300 took 240186 ms. Total solver calls (SAT/UNSAT): 1008(840/168)
Jun 03, 2017 12:01:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/2300 took 243036 ms. Total solver calls (SAT/UNSAT): 1020(850/170)
Jun 03, 2017 12:01:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/2300 took 245896 ms. Total solver calls (SAT/UNSAT): 1032(860/172)
Jun 03, 2017 12:01:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/2300 took 248748 ms. Total solver calls (SAT/UNSAT): 1044(870/174)
Jun 03, 2017 12:01:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/2300 took 251604 ms. Total solver calls (SAT/UNSAT): 1056(880/176)
Jun 03, 2017 12:01:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/2300 took 254460 ms. Total solver calls (SAT/UNSAT): 1068(890/178)
Jun 03, 2017 12:01:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/2300 took 257304 ms. Total solver calls (SAT/UNSAT): 1080(900/180)
Jun 03, 2017 12:01:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/2300 took 260149 ms. Total solver calls (SAT/UNSAT): 1092(910/182)
Jun 03, 2017 12:01:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/2300 took 262995 ms. Total solver calls (SAT/UNSAT): 1104(920/184)
Jun 03, 2017 12:01:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/2300 took 265840 ms. Total solver calls (SAT/UNSAT): 1116(930/186)
Jun 03, 2017 12:01:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/2300 took 268690 ms. Total solver calls (SAT/UNSAT): 1128(940/188)
Jun 03, 2017 12:01:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/2300 took 271536 ms. Total solver calls (SAT/UNSAT): 1140(950/190)
Jun 03, 2017 12:01:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/2300 took 274376 ms. Total solver calls (SAT/UNSAT): 1152(960/192)
Jun 03, 2017 12:01:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/2300 took 277237 ms. Total solver calls (SAT/UNSAT): 1164(970/194)
Jun 03, 2017 12:01:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/2300 took 280087 ms. Total solver calls (SAT/UNSAT): 1176(980/196)
Jun 03, 2017 12:01:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/2300 took 282938 ms. Total solver calls (SAT/UNSAT): 1188(990/198)
Jun 03, 2017 12:01:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/2300 took 285785 ms. Total solver calls (SAT/UNSAT): 1200(1000/200)
Jun 03, 2017 12:01:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/2300 took 288639 ms. Total solver calls (SAT/UNSAT): 1212(1010/202)
Jun 03, 2017 12:01:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/2300 took 291492 ms. Total solver calls (SAT/UNSAT): 1224(1020/204)
Jun 03, 2017 12:01:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/2300 took 294341 ms. Total solver calls (SAT/UNSAT): 1236(1030/206)
Jun 03, 2017 12:01:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/2300 took 297192 ms. Total solver calls (SAT/UNSAT): 1248(1040/208)
Jun 03, 2017 12:02:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/2300 took 300047 ms. Total solver calls (SAT/UNSAT): 1260(1050/210)
Jun 03, 2017 12:02:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/2300 took 302900 ms. Total solver calls (SAT/UNSAT): 1272(1060/212)
Jun 03, 2017 12:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/2300 took 305754 ms. Total solver calls (SAT/UNSAT): 1284(1070/214)
Jun 03, 2017 12:02:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/2300 took 308605 ms. Total solver calls (SAT/UNSAT): 1296(1080/216)
Jun 03, 2017 12:02:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/2300 took 311453 ms. Total solver calls (SAT/UNSAT): 1308(1090/218)
Jun 03, 2017 12:02:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/2300 took 314302 ms. Total solver calls (SAT/UNSAT): 1320(1100/220)
Jun 03, 2017 12:02:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/2300 took 317153 ms. Total solver calls (SAT/UNSAT): 1332(1110/222)
Jun 03, 2017 12:02:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/2300 took 320005 ms. Total solver calls (SAT/UNSAT): 1344(1120/224)
Jun 03, 2017 12:02:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/2300 took 322854 ms. Total solver calls (SAT/UNSAT): 1356(1130/226)
Jun 03, 2017 12:02:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/2300 took 325703 ms. Total solver calls (SAT/UNSAT): 1368(1140/228)
Jun 03, 2017 12:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/2300 took 328557 ms. Total solver calls (SAT/UNSAT): 1380(1150/230)
Jun 03, 2017 12:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/2300 took 331391 ms. Total solver calls (SAT/UNSAT): 1392(1160/232)
Jun 03, 2017 12:02:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/2300 took 334236 ms. Total solver calls (SAT/UNSAT): 1404(1170/234)
Jun 03, 2017 12:02:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/2300 took 337087 ms. Total solver calls (SAT/UNSAT): 1416(1180/236)
Jun 03, 2017 12:02:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/2300 took 339941 ms. Total solver calls (SAT/UNSAT): 1428(1190/238)
Jun 03, 2017 12:02:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/2300 took 342792 ms. Total solver calls (SAT/UNSAT): 1440(1200/240)
Jun 03, 2017 12:02:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/2300 took 345638 ms. Total solver calls (SAT/UNSAT): 1452(1210/242)
Jun 03, 2017 12:02:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/2300 took 348482 ms. Total solver calls (SAT/UNSAT): 1464(1220/244)
Jun 03, 2017 12:02:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/2300 took 351328 ms. Total solver calls (SAT/UNSAT): 1476(1230/246)
Jun 03, 2017 12:02:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/2300 took 354182 ms. Total solver calls (SAT/UNSAT): 1488(1240/248)
Jun 03, 2017 12:02:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/2300 took 357020 ms. Total solver calls (SAT/UNSAT): 1500(1250/250)
Jun 03, 2017 12:03:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/2300 took 359865 ms. Total solver calls (SAT/UNSAT): 1512(1260/252)
Jun 03, 2017 12:03:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/2300 took 362709 ms. Total solver calls (SAT/UNSAT): 1524(1270/254)
Jun 03, 2017 12:03:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/2300 took 365549 ms. Total solver calls (SAT/UNSAT): 1536(1280/256)
Jun 03, 2017 12:03:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/2300 took 368406 ms. Total solver calls (SAT/UNSAT): 1548(1290/258)
Jun 03, 2017 12:03:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/2300 took 371259 ms. Total solver calls (SAT/UNSAT): 1560(1300/260)
Jun 03, 2017 12:03:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/2300 took 374113 ms. Total solver calls (SAT/UNSAT): 1572(1310/262)
Jun 03, 2017 12:03:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/2300 took 376973 ms. Total solver calls (SAT/UNSAT): 1584(1320/264)
Jun 03, 2017 12:03:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/2300 took 379825 ms. Total solver calls (SAT/UNSAT): 1596(1330/266)
Jun 03, 2017 12:03:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/2300 took 382689 ms. Total solver calls (SAT/UNSAT): 1608(1340/268)
Jun 03, 2017 12:03:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/2300 took 385552 ms. Total solver calls (SAT/UNSAT): 1620(1350/270)
Jun 03, 2017 12:03:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/2300 took 388417 ms. Total solver calls (SAT/UNSAT): 1632(1360/272)
Jun 03, 2017 12:03:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/2300 took 391282 ms. Total solver calls (SAT/UNSAT): 1644(1370/274)
Jun 03, 2017 12:03:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/2300 took 394140 ms. Total solver calls (SAT/UNSAT): 1656(1380/276)
Jun 03, 2017 12:03:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/2300 took 397003 ms. Total solver calls (SAT/UNSAT): 1668(1390/278)
Jun 03, 2017 12:03:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/2300 took 399860 ms. Total solver calls (SAT/UNSAT): 1680(1400/280)
Jun 03, 2017 12:03:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/2300 took 402866 ms. Total solver calls (SAT/UNSAT): 1692(1410/282)
Jun 03, 2017 12:03:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/2300 took 405735 ms. Total solver calls (SAT/UNSAT): 1704(1420/284)
Jun 03, 2017 12:03:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/2300 took 408592 ms. Total solver calls (SAT/UNSAT): 1716(1430/286)
Jun 03, 2017 12:03:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/2300 took 411455 ms. Total solver calls (SAT/UNSAT): 1728(1440/288)
Jun 03, 2017 12:03:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/2300 took 414315 ms. Total solver calls (SAT/UNSAT): 1740(1450/290)
Jun 03, 2017 12:03:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/2300 took 417182 ms. Total solver calls (SAT/UNSAT): 1752(1460/292)
Jun 03, 2017 12:04:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/2300 took 420058 ms. Total solver calls (SAT/UNSAT): 1764(1470/294)
Jun 03, 2017 12:04:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/2300 took 422928 ms. Total solver calls (SAT/UNSAT): 1776(1480/296)
Jun 03, 2017 12:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/2300 took 425793 ms. Total solver calls (SAT/UNSAT): 1788(1490/298)
Jun 03, 2017 12:04:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/2300 took 428659 ms. Total solver calls (SAT/UNSAT): 1800(1500/300)
Jun 03, 2017 12:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/2300 took 431516 ms. Total solver calls (SAT/UNSAT): 1812(1510/302)
Jun 03, 2017 12:04:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/2300 took 434372 ms. Total solver calls (SAT/UNSAT): 1824(1520/304)
Jun 03, 2017 12:04:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/2300 took 437230 ms. Total solver calls (SAT/UNSAT): 1836(1530/306)
Jun 03, 2017 12:04:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/2300 took 440091 ms. Total solver calls (SAT/UNSAT): 1848(1540/308)
Jun 03, 2017 12:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/2300 took 442953 ms. Total solver calls (SAT/UNSAT): 1860(1550/310)
Jun 03, 2017 12:04:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/2300 took 445807 ms. Total solver calls (SAT/UNSAT): 1872(1560/312)
Jun 03, 2017 12:04:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/2300 took 448663 ms. Total solver calls (SAT/UNSAT): 1884(1570/314)
Jun 03, 2017 12:04:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/2300 took 451518 ms. Total solver calls (SAT/UNSAT): 1896(1580/316)
Jun 03, 2017 12:04:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/2300 took 454370 ms. Total solver calls (SAT/UNSAT): 1908(1590/318)
Jun 03, 2017 12:04:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/2300 took 457229 ms. Total solver calls (SAT/UNSAT): 1920(1600/320)
Jun 03, 2017 12:04:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/2300 took 460089 ms. Total solver calls (SAT/UNSAT): 1932(1610/322)
Jun 03, 2017 12:04:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/2300 took 462942 ms. Total solver calls (SAT/UNSAT): 1944(1620/324)
Jun 03, 2017 12:04:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/2300 took 465808 ms. Total solver calls (SAT/UNSAT): 1956(1630/326)
Jun 03, 2017 12:04:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/2300 took 468662 ms. Total solver calls (SAT/UNSAT): 1968(1640/328)
Jun 03, 2017 12:04:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/2300 took 471501 ms. Total solver calls (SAT/UNSAT): 1980(1650/330)
Jun 03, 2017 12:04:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/2300 took 474361 ms. Total solver calls (SAT/UNSAT): 1992(1660/332)
Jun 03, 2017 12:04:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/2300 took 477218 ms. Total solver calls (SAT/UNSAT): 2004(1670/334)
Jun 03, 2017 12:05:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/2300 took 480080 ms. Total solver calls (SAT/UNSAT): 2016(1680/336)
Jun 03, 2017 12:05:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/2300 took 482939 ms. Total solver calls (SAT/UNSAT): 2028(1690/338)
Jun 03, 2017 12:05:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/2300 took 485793 ms. Total solver calls (SAT/UNSAT): 2040(1700/340)
Jun 03, 2017 12:05:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/2300 took 488639 ms. Total solver calls (SAT/UNSAT): 2052(1710/342)
Jun 03, 2017 12:05:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/2300 took 491497 ms. Total solver calls (SAT/UNSAT): 2064(1720/344)
Jun 03, 2017 12:05:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/2300 took 494355 ms. Total solver calls (SAT/UNSAT): 2076(1730/346)
Jun 03, 2017 12:05:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/2300 took 497195 ms. Total solver calls (SAT/UNSAT): 2088(1740/348)
Jun 03, 2017 12:05:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/2300 took 500050 ms. Total solver calls (SAT/UNSAT): 2100(1750/350)
Jun 03, 2017 12:05:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/2300 took 502902 ms. Total solver calls (SAT/UNSAT): 2112(1760/352)
Jun 03, 2017 12:05:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/2300 took 505762 ms. Total solver calls (SAT/UNSAT): 2124(1770/354)
Jun 03, 2017 12:05:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/2300 took 508613 ms. Total solver calls (SAT/UNSAT): 2136(1780/356)
Jun 03, 2017 12:05:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/2300 took 511471 ms. Total solver calls (SAT/UNSAT): 2148(1790/358)
Jun 03, 2017 12:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/2300 took 514327 ms. Total solver calls (SAT/UNSAT): 2160(1800/360)
Jun 03, 2017 12:05:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/2300 took 517168 ms. Total solver calls (SAT/UNSAT): 2172(1810/362)
Jun 03, 2017 12:05:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/2300 took 520014 ms. Total solver calls (SAT/UNSAT): 2184(1820/364)
Jun 03, 2017 12:05:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/2300 took 522857 ms. Total solver calls (SAT/UNSAT): 2196(1830/366)
Jun 03, 2017 12:05:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/2300 took 525710 ms. Total solver calls (SAT/UNSAT): 2208(1840/368)
Jun 03, 2017 12:05:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/2300 took 528572 ms. Total solver calls (SAT/UNSAT): 2220(1850/370)
Jun 03, 2017 12:05:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/2300 took 531431 ms. Total solver calls (SAT/UNSAT): 2232(1860/372)
Jun 03, 2017 12:05:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/2300 took 534288 ms. Total solver calls (SAT/UNSAT): 2244(1870/374)
Jun 03, 2017 12:05:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/2300 took 537153 ms. Total solver calls (SAT/UNSAT): 2256(1880/376)
Jun 03, 2017 12:06:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/2300 took 539999 ms. Total solver calls (SAT/UNSAT): 2268(1890/378)
Jun 03, 2017 12:06:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/2300 took 542849 ms. Total solver calls (SAT/UNSAT): 2280(1900/380)
Jun 03, 2017 12:06:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/2300 took 545701 ms. Total solver calls (SAT/UNSAT): 2292(1910/382)
Jun 03, 2017 12:06:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/2300 took 548564 ms. Total solver calls (SAT/UNSAT): 2304(1920/384)
Jun 03, 2017 12:06:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/2300 took 551424 ms. Total solver calls (SAT/UNSAT): 2316(1930/386)
Jun 03, 2017 12:06:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/2300 took 554273 ms. Total solver calls (SAT/UNSAT): 2328(1940/388)
Jun 03, 2017 12:06:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/2300 took 557121 ms. Total solver calls (SAT/UNSAT): 2340(1950/390)
Jun 03, 2017 12:06:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/2300 took 559962 ms. Total solver calls (SAT/UNSAT): 2352(1960/392)
Jun 03, 2017 12:06:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/2300 took 562822 ms. Total solver calls (SAT/UNSAT): 2364(1970/394)
Jun 03, 2017 12:06:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/2300 took 565668 ms. Total solver calls (SAT/UNSAT): 2376(1980/396)
Jun 03, 2017 12:06:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/2300 took 568535 ms. Total solver calls (SAT/UNSAT): 2388(1990/398)
Jun 03, 2017 12:06:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/2300 took 571394 ms. Total solver calls (SAT/UNSAT): 2400(2000/400)
Jun 03, 2017 12:06:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/2300 took 574251 ms. Total solver calls (SAT/UNSAT): 2412(2010/402)
Jun 03, 2017 12:06:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/2300 took 577098 ms. Total solver calls (SAT/UNSAT): 2424(2020/404)
Jun 03, 2017 12:06:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/2300 took 579948 ms. Total solver calls (SAT/UNSAT): 2436(2030/406)
Jun 03, 2017 12:06:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/2300 took 582800 ms. Total solver calls (SAT/UNSAT): 2448(2040/408)
Jun 03, 2017 12:06:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/2300 took 585660 ms. Total solver calls (SAT/UNSAT): 2460(2050/410)
Jun 03, 2017 12:06:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/2300 took 588511 ms. Total solver calls (SAT/UNSAT): 2472(2060/412)
Jun 03, 2017 12:06:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/2300 took 591364 ms. Total solver calls (SAT/UNSAT): 2484(2070/414)
Jun 03, 2017 12:06:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/2300 took 594219 ms. Total solver calls (SAT/UNSAT): 2496(2080/416)
Jun 03, 2017 12:06:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/2300 took 597072 ms. Total solver calls (SAT/UNSAT): 2508(2090/418)
Jun 03, 2017 12:07:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/2300 took 599929 ms. Total solver calls (SAT/UNSAT): 2520(2100/420)
Jun 03, 2017 12:07:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/2300 took 602785 ms. Total solver calls (SAT/UNSAT): 2532(2110/422)
Jun 03, 2017 12:07:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/2300 took 605644 ms. Total solver calls (SAT/UNSAT): 2544(2120/424)
Jun 03, 2017 12:07:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/2300 took 608487 ms. Total solver calls (SAT/UNSAT): 2556(2130/426)
Jun 03, 2017 12:07:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/2300 took 611348 ms. Total solver calls (SAT/UNSAT): 2568(2140/428)
Jun 03, 2017 12:07:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/2300 took 614204 ms. Total solver calls (SAT/UNSAT): 2580(2150/430)
Jun 03, 2017 12:07:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/2300 took 617063 ms. Total solver calls (SAT/UNSAT): 2592(2160/432)
Jun 03, 2017 12:07:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/2300 took 619915 ms. Total solver calls (SAT/UNSAT): 2604(2170/434)
Jun 03, 2017 12:07:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/2300 took 622775 ms. Total solver calls (SAT/UNSAT): 2616(2180/436)
Jun 03, 2017 12:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/2300 took 625624 ms. Total solver calls (SAT/UNSAT): 2628(2190/438)
Jun 03, 2017 12:07:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/2300 took 628475 ms. Total solver calls (SAT/UNSAT): 2640(2200/440)
Jun 03, 2017 12:07:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/2300 took 631327 ms. Total solver calls (SAT/UNSAT): 2652(2210/442)
Jun 03, 2017 12:07:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/2300 took 634178 ms. Total solver calls (SAT/UNSAT): 2664(2220/444)
Jun 03, 2017 12:07:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/2300 took 637034 ms. Total solver calls (SAT/UNSAT): 2676(2230/446)
Jun 03, 2017 12:07:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/2300 took 639892 ms. Total solver calls (SAT/UNSAT): 2688(2240/448)
Jun 03, 2017 12:07:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/2300 took 642744 ms. Total solver calls (SAT/UNSAT): 2700(2250/450)
Jun 03, 2017 12:07:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/2300 took 645599 ms. Total solver calls (SAT/UNSAT): 2712(2260/452)
Jun 03, 2017 12:07:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/2300 took 648450 ms. Total solver calls (SAT/UNSAT): 2724(2270/454)
Jun 03, 2017 12:07:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/2300 took 651305 ms. Total solver calls (SAT/UNSAT): 2736(2280/456)
Jun 03, 2017 12:07:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/2300 took 654166 ms. Total solver calls (SAT/UNSAT): 2748(2290/458)
Jun 03, 2017 12:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/2300 took 657016 ms. Total solver calls (SAT/UNSAT): 2760(2300/460)
Jun 03, 2017 12:08:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/2300 took 659870 ms. Total solver calls (SAT/UNSAT): 2772(2310/462)
Jun 03, 2017 12:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/2300 took 662720 ms. Total solver calls (SAT/UNSAT): 2784(2320/464)
Jun 03, 2017 12:08:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/2300 took 665574 ms. Total solver calls (SAT/UNSAT): 2796(2330/466)
Jun 03, 2017 12:08:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/2300 took 668439 ms. Total solver calls (SAT/UNSAT): 2808(2340/468)
Jun 03, 2017 12:08:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/2300 took 671309 ms. Total solver calls (SAT/UNSAT): 2820(2350/470)
Jun 03, 2017 12:08:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/2300 took 674183 ms. Total solver calls (SAT/UNSAT): 2832(2360/472)
Jun 03, 2017 12:08:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/2300 took 677051 ms. Total solver calls (SAT/UNSAT): 2844(2370/474)
Jun 03, 2017 12:08:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/2300 took 679903 ms. Total solver calls (SAT/UNSAT): 2856(2380/476)
Jun 03, 2017 12:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/2300 took 682769 ms. Total solver calls (SAT/UNSAT): 2868(2390/478)
Jun 03, 2017 12:08:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/2300 took 685627 ms. Total solver calls (SAT/UNSAT): 2880(2400/480)
Jun 03, 2017 12:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/2300 took 688486 ms. Total solver calls (SAT/UNSAT): 2892(2410/482)
Jun 03, 2017 12:08:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/2300 took 691358 ms. Total solver calls (SAT/UNSAT): 2904(2420/484)
Jun 03, 2017 12:08:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/2300 took 694222 ms. Total solver calls (SAT/UNSAT): 2916(2430/486)
Jun 03, 2017 12:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/2300 took 697092 ms. Total solver calls (SAT/UNSAT): 2928(2440/488)
Jun 03, 2017 12:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/2300 took 699957 ms. Total solver calls (SAT/UNSAT): 2940(2450/490)
Jun 03, 2017 12:08:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/2300 took 702819 ms. Total solver calls (SAT/UNSAT): 2952(2460/492)
Jun 03, 2017 12:08:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/2300 took 705678 ms. Total solver calls (SAT/UNSAT): 2964(2470/494)
Jun 03, 2017 12:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/2300 took 708533 ms. Total solver calls (SAT/UNSAT): 2976(2480/496)
Jun 03, 2017 12:08:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/2300 took 711394 ms. Total solver calls (SAT/UNSAT): 2988(2490/498)
Jun 03, 2017 12:08:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/2300 took 714258 ms. Total solver calls (SAT/UNSAT): 3000(2500/500)
Jun 03, 2017 12:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/2300 took 717118 ms. Total solver calls (SAT/UNSAT): 3012(2510/502)
Jun 03, 2017 12:09:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/2300 took 719982 ms. Total solver calls (SAT/UNSAT): 3024(2520/504)
Jun 03, 2017 12:09:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/2300 took 722853 ms. Total solver calls (SAT/UNSAT): 3036(2530/506)
Jun 03, 2017 12:09:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/2300 took 725723 ms. Total solver calls (SAT/UNSAT): 3048(2540/508)
Jun 03, 2017 12:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/2300 took 728593 ms. Total solver calls (SAT/UNSAT): 3060(2550/510)
Jun 03, 2017 12:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/2300 took 731468 ms. Total solver calls (SAT/UNSAT): 3072(2560/512)
Jun 03, 2017 12:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/2300 took 734340 ms. Total solver calls (SAT/UNSAT): 3084(2570/514)
Jun 03, 2017 12:09:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/2300 took 737195 ms. Total solver calls (SAT/UNSAT): 3096(2580/516)
Jun 03, 2017 12:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/2300 took 740076 ms. Total solver calls (SAT/UNSAT): 3108(2590/518)
Jun 03, 2017 12:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/2300 took 742946 ms. Total solver calls (SAT/UNSAT): 3120(2600/520)
Jun 03, 2017 12:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/2300 took 745822 ms. Total solver calls (SAT/UNSAT): 3132(2610/522)
Jun 03, 2017 12:09:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/2300 took 748692 ms. Total solver calls (SAT/UNSAT): 3144(2620/524)
Jun 03, 2017 12:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/2300 took 751564 ms. Total solver calls (SAT/UNSAT): 3156(2630/526)
Jun 03, 2017 12:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/2300 took 754441 ms. Total solver calls (SAT/UNSAT): 3168(2640/528)
Jun 03, 2017 12:09:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/2300 took 757308 ms. Total solver calls (SAT/UNSAT): 3180(2650/530)
Jun 03, 2017 12:09:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/2300 took 760169 ms. Total solver calls (SAT/UNSAT): 3192(2660/532)
Jun 03, 2017 12:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/2300 took 763020 ms. Total solver calls (SAT/UNSAT): 3204(2670/534)
Jun 03, 2017 12:09:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/2300 took 765885 ms. Total solver calls (SAT/UNSAT): 3216(2680/536)
Jun 03, 2017 12:09:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/2300 took 768734 ms. Total solver calls (SAT/UNSAT): 3228(2690/538)
Jun 03, 2017 12:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/2300 took 771582 ms. Total solver calls (SAT/UNSAT): 3240(2700/540)
Jun 03, 2017 12:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/2300 took 774511 ms. Total solver calls (SAT/UNSAT): 3252(2710/542)
Jun 03, 2017 12:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/2300 took 777383 ms. Total solver calls (SAT/UNSAT): 3264(2720/544)
Jun 03, 2017 12:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/2300 took 780249 ms. Total solver calls (SAT/UNSAT): 3276(2730/546)
Jun 03, 2017 12:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/2300 took 783115 ms. Total solver calls (SAT/UNSAT): 3288(2740/548)
Jun 03, 2017 12:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/2300 took 785980 ms. Total solver calls (SAT/UNSAT): 3300(2750/550)
Jun 03, 2017 12:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/2300 took 788848 ms. Total solver calls (SAT/UNSAT): 3312(2760/552)
Jun 03, 2017 12:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/2300 took 791700 ms. Total solver calls (SAT/UNSAT): 3324(2770/554)
Jun 03, 2017 12:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/2300 took 794557 ms. Total solver calls (SAT/UNSAT): 3336(2780/556)
Jun 03, 2017 12:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/2300 took 797426 ms. Total solver calls (SAT/UNSAT): 3348(2790/558)
Jun 03, 2017 12:10:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/2300 took 800294 ms. Total solver calls (SAT/UNSAT): 3360(2800/560)
Jun 03, 2017 12:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/2300 took 803150 ms. Total solver calls (SAT/UNSAT): 3372(2810/562)
Jun 03, 2017 12:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/2300 took 805997 ms. Total solver calls (SAT/UNSAT): 3384(2820/564)
Jun 03, 2017 12:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/2300 took 808859 ms. Total solver calls (SAT/UNSAT): 3396(2830/566)
Jun 03, 2017 12:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/2300 took 811729 ms. Total solver calls (SAT/UNSAT): 3408(2840/568)
Jun 03, 2017 12:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/2300 took 814601 ms. Total solver calls (SAT/UNSAT): 3420(2850/570)
Jun 03, 2017 12:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/2300 took 817470 ms. Total solver calls (SAT/UNSAT): 3432(2860/572)
Jun 03, 2017 12:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/2300 took 820322 ms. Total solver calls (SAT/UNSAT): 3444(2870/574)
Jun 03, 2017 12:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/2300 took 823194 ms. Total solver calls (SAT/UNSAT): 3456(2880/576)
Jun 03, 2017 12:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/2300 took 826061 ms. Total solver calls (SAT/UNSAT): 3468(2890/578)
Jun 03, 2017 12:10:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/2300 took 828933 ms. Total solver calls (SAT/UNSAT): 3480(2900/580)
Jun 03, 2017 12:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/2300 took 831795 ms. Total solver calls (SAT/UNSAT): 3492(2910/582)
Jun 03, 2017 12:10:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/2300 took 834658 ms. Total solver calls (SAT/UNSAT): 3504(2920/584)
Jun 03, 2017 12:10:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/2300 took 837525 ms. Total solver calls (SAT/UNSAT): 3516(2930/586)
Jun 03, 2017 12:11:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/2300 took 840402 ms. Total solver calls (SAT/UNSAT): 3528(2940/588)
Jun 03, 2017 12:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/2300 took 843258 ms. Total solver calls (SAT/UNSAT): 3540(2950/590)
Jun 03, 2017 12:11:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/2300 took 846108 ms. Total solver calls (SAT/UNSAT): 3552(2960/592)
Jun 03, 2017 12:11:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/2300 took 848972 ms. Total solver calls (SAT/UNSAT): 3564(2970/594)
Jun 03, 2017 12:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/2300 took 851835 ms. Total solver calls (SAT/UNSAT): 3576(2980/596)
Jun 03, 2017 12:11:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/2300 took 854694 ms. Total solver calls (SAT/UNSAT): 3588(2990/598)
Jun 03, 2017 12:11:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/2300 took 857560 ms. Total solver calls (SAT/UNSAT): 3600(3000/600)
Jun 03, 2017 12:11:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/2300 took 860428 ms. Total solver calls (SAT/UNSAT): 3612(3010/602)
Jun 03, 2017 12:11:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/2300 took 863288 ms. Total solver calls (SAT/UNSAT): 3624(3020/604)
Jun 03, 2017 12:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/2300 took 866163 ms. Total solver calls (SAT/UNSAT): 3636(3030/606)
Jun 03, 2017 12:11:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/2300 took 869046 ms. Total solver calls (SAT/UNSAT): 3648(3040/608)
Jun 03, 2017 12:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/2300 took 871916 ms. Total solver calls (SAT/UNSAT): 3660(3050/610)
Jun 03, 2017 12:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/2300 took 874786 ms. Total solver calls (SAT/UNSAT): 3672(3060/612)
Jun 03, 2017 12:11:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/2300 took 877654 ms. Total solver calls (SAT/UNSAT): 3684(3070/614)
Jun 03, 2017 12:11:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/2300 took 880525 ms. Total solver calls (SAT/UNSAT): 3696(3080/616)
Jun 03, 2017 12:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/2300 took 883395 ms. Total solver calls (SAT/UNSAT): 3708(3090/618)
Jun 03, 2017 12:11:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/2300 took 886262 ms. Total solver calls (SAT/UNSAT): 3720(3100/620)
Jun 03, 2017 12:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/2300 took 889129 ms. Total solver calls (SAT/UNSAT): 3732(3110/622)
Jun 03, 2017 12:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/2300 took 891999 ms. Total solver calls (SAT/UNSAT): 3744(3120/624)
Jun 03, 2017 12:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/2300 took 894869 ms. Total solver calls (SAT/UNSAT): 3756(3130/626)
Jun 03, 2017 12:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/2300 took 897732 ms. Total solver calls (SAT/UNSAT): 3768(3140/628)
Jun 03, 2017 12:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/2300 took 900599 ms. Total solver calls (SAT/UNSAT): 3780(3150/630)
Jun 03, 2017 12:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/2300 took 903470 ms. Total solver calls (SAT/UNSAT): 3792(3160/632)
Jun 03, 2017 12:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/2300 took 906339 ms. Total solver calls (SAT/UNSAT): 3804(3170/634)
Jun 03, 2017 12:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/2300 took 909205 ms. Total solver calls (SAT/UNSAT): 3816(3180/636)
Jun 03, 2017 12:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/2300 took 912069 ms. Total solver calls (SAT/UNSAT): 3828(3190/638)
Jun 03, 2017 12:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/2300 took 914942 ms. Total solver calls (SAT/UNSAT): 3840(3200/640)
Jun 03, 2017 12:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/2300 took 917812 ms. Total solver calls (SAT/UNSAT): 3852(3210/642)
Jun 03, 2017 12:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/2300 took 920690 ms. Total solver calls (SAT/UNSAT): 3864(3220/644)
Jun 03, 2017 12:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/2300 took 923556 ms. Total solver calls (SAT/UNSAT): 3876(3230/646)
Jun 03, 2017 12:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/2300 took 926577 ms. Total solver calls (SAT/UNSAT): 3888(3240/648)
Jun 03, 2017 12:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/2300 took 929443 ms. Total solver calls (SAT/UNSAT): 3900(3250/650)
Jun 03, 2017 12:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/2300 took 932320 ms. Total solver calls (SAT/UNSAT): 3912(3260/652)
Jun 03, 2017 12:12:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/2300 took 935191 ms. Total solver calls (SAT/UNSAT): 3924(3270/654)
Jun 03, 2017 12:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/2300 took 938056 ms. Total solver calls (SAT/UNSAT): 3936(3280/656)
Jun 03, 2017 12:12:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/2300 took 940924 ms. Total solver calls (SAT/UNSAT): 3948(3290/658)
Jun 03, 2017 12:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/2300 took 943932 ms. Total solver calls (SAT/UNSAT): 3960(3300/660)
Jun 03, 2017 12:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/2300 took 946789 ms. Total solver calls (SAT/UNSAT): 3972(3310/662)
Jun 03, 2017 12:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/2300 took 949656 ms. Total solver calls (SAT/UNSAT): 3984(3320/664)
Jun 03, 2017 12:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/2300 took 952516 ms. Total solver calls (SAT/UNSAT): 3996(3330/666)
Jun 03, 2017 12:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/2300 took 955375 ms. Total solver calls (SAT/UNSAT): 4008(3340/668)
Jun 03, 2017 12:12:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/2300 took 958237 ms. Total solver calls (SAT/UNSAT): 4020(3350/670)
Jun 03, 2017 12:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/2300 took 961086 ms. Total solver calls (SAT/UNSAT): 4032(3360/672)
Jun 03, 2017 12:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/2300 took 963952 ms. Total solver calls (SAT/UNSAT): 4044(3370/674)
Jun 03, 2017 12:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/2300 took 966812 ms. Total solver calls (SAT/UNSAT): 4056(3380/676)
Jun 03, 2017 12:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/2300 took 969678 ms. Total solver calls (SAT/UNSAT): 4068(3390/678)
Jun 03, 2017 12:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/2300 took 972527 ms. Total solver calls (SAT/UNSAT): 4080(3400/680)
Jun 03, 2017 12:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/2300 took 975374 ms. Total solver calls (SAT/UNSAT): 4092(3410/682)
Jun 03, 2017 12:13:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/2300 took 978237 ms. Total solver calls (SAT/UNSAT): 4104(3420/684)
Jun 03, 2017 12:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/2300 took 981099 ms. Total solver calls (SAT/UNSAT): 4116(3430/686)
Jun 03, 2017 12:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/2300 took 983955 ms. Total solver calls (SAT/UNSAT): 4128(3440/688)
Jun 03, 2017 12:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/2300 took 986810 ms. Total solver calls (SAT/UNSAT): 4140(3450/690)
Jun 03, 2017 12:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/2300 took 989675 ms. Total solver calls (SAT/UNSAT): 4152(3460/692)
Jun 03, 2017 12:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/2300 took 992530 ms. Total solver calls (SAT/UNSAT): 4164(3470/694)
Jun 03, 2017 12:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/2300 took 995399 ms. Total solver calls (SAT/UNSAT): 4176(3480/696)
Jun 03, 2017 12:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/2300 took 998259 ms. Total solver calls (SAT/UNSAT): 4188(3490/698)
Jun 03, 2017 12:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/2300 took 1001112 ms. Total solver calls (SAT/UNSAT): 4200(3500/700)
Jun 03, 2017 12:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/2300 took 1003966 ms. Total solver calls (SAT/UNSAT): 4212(3510/702)
Jun 03, 2017 12:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/2300 took 1006825 ms. Total solver calls (SAT/UNSAT): 4224(3520/704)
Jun 03, 2017 12:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/2300 took 1009691 ms. Total solver calls (SAT/UNSAT): 4236(3530/706)
Jun 03, 2017 12:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/2300 took 1012547 ms. Total solver calls (SAT/UNSAT): 4248(3540/708)
Jun 03, 2017 12:13:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/2300 took 1015402 ms. Total solver calls (SAT/UNSAT): 4260(3550/710)
Jun 03, 2017 12:13:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/2300 took 1018252 ms. Total solver calls (SAT/UNSAT): 4272(3560/712)
Jun 03, 2017 12:14:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/2300 took 1021118 ms. Total solver calls (SAT/UNSAT): 4284(3570/714)
Jun 03, 2017 12:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/2300 took 1023976 ms. Total solver calls (SAT/UNSAT): 4296(3580/716)
Jun 03, 2017 12:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/2300 took 1026830 ms. Total solver calls (SAT/UNSAT): 4308(3590/718)
Jun 03, 2017 12:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/2300 took 1029682 ms. Total solver calls (SAT/UNSAT): 4320(3600/720)
Jun 03, 2017 12:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/2300 took 1032537 ms. Total solver calls (SAT/UNSAT): 4332(3610/722)
Jun 03, 2017 12:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/2300 took 1035400 ms. Total solver calls (SAT/UNSAT): 4344(3620/724)
Jun 03, 2017 12:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/2300 took 1038256 ms. Total solver calls (SAT/UNSAT): 4356(3630/726)
Jun 03, 2017 12:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/2300 took 1041118 ms. Total solver calls (SAT/UNSAT): 4368(3640/728)
Jun 03, 2017 12:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/2300 took 1043970 ms. Total solver calls (SAT/UNSAT): 4380(3650/730)
Jun 03, 2017 12:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/2300 took 1046808 ms. Total solver calls (SAT/UNSAT): 4392(3660/732)
Jun 03, 2017 12:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/2300 took 1049667 ms. Total solver calls (SAT/UNSAT): 4404(3670/734)
Jun 03, 2017 12:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/2300 took 1052524 ms. Total solver calls (SAT/UNSAT): 4416(3680/736)
Jun 03, 2017 12:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/2300 took 1055384 ms. Total solver calls (SAT/UNSAT): 4428(3690/738)
Jun 03, 2017 12:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/2300 took 1058375 ms. Total solver calls (SAT/UNSAT): 4440(3700/740)
Jun 03, 2017 12:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/2300 took 1061236 ms. Total solver calls (SAT/UNSAT): 4452(3710/742)
Jun 03, 2017 12:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/2300 took 1064137 ms. Total solver calls (SAT/UNSAT): 4464(3720/744)
Jun 03, 2017 12:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/2300 took 1066987 ms. Total solver calls (SAT/UNSAT): 4476(3730/746)
Jun 03, 2017 12:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/2300 took 1069852 ms. Total solver calls (SAT/UNSAT): 4488(3740/748)
Jun 03, 2017 12:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/2300 took 1072711 ms. Total solver calls (SAT/UNSAT): 4500(3750/750)
Jun 03, 2017 12:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/2300 took 1075559 ms. Total solver calls (SAT/UNSAT): 4512(3760/752)
Jun 03, 2017 12:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/2300 took 1078422 ms. Total solver calls (SAT/UNSAT): 4524(3770/754)
Jun 03, 2017 12:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/2300 took 1081286 ms. Total solver calls (SAT/UNSAT): 4536(3780/756)
Jun 03, 2017 12:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/2300 took 1084139 ms. Total solver calls (SAT/UNSAT): 4548(3790/758)
Jun 03, 2017 12:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/2300 took 1086999 ms. Total solver calls (SAT/UNSAT): 4560(3800/760)
Jun 03, 2017 12:15:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/2300 took 1089868 ms. Total solver calls (SAT/UNSAT): 4572(3810/762)
Jun 03, 2017 12:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/2300 took 1092737 ms. Total solver calls (SAT/UNSAT): 4584(3820/764)
Jun 03, 2017 12:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/2300 took 1095603 ms. Total solver calls (SAT/UNSAT): 4596(3830/766)
Jun 03, 2017 12:15:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/2300 took 1098465 ms. Total solver calls (SAT/UNSAT): 4608(3840/768)
Jun 03, 2017 12:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/2300 took 1101334 ms. Total solver calls (SAT/UNSAT): 4620(3850/770)
Jun 03, 2017 12:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/2300 took 1104206 ms. Total solver calls (SAT/UNSAT): 4632(3860/772)
Jun 03, 2017 12:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/2300 took 1107054 ms. Total solver calls (SAT/UNSAT): 4644(3870/774)
Jun 03, 2017 12:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/2300 took 1109908 ms. Total solver calls (SAT/UNSAT): 4656(3880/776)
Jun 03, 2017 12:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/2300 took 1112771 ms. Total solver calls (SAT/UNSAT): 4668(3890/778)
Jun 03, 2017 12:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/2300 took 1115632 ms. Total solver calls (SAT/UNSAT): 4680(3900/780)
Jun 03, 2017 12:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/2300 took 1118488 ms. Total solver calls (SAT/UNSAT): 4692(3910/782)
Jun 03, 2017 12:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/2300 took 1121342 ms. Total solver calls (SAT/UNSAT): 4704(3920/784)
Jun 03, 2017 12:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/2300 took 1124195 ms. Total solver calls (SAT/UNSAT): 4716(3930/786)
Jun 03, 2017 12:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/2300 took 1127049 ms. Total solver calls (SAT/UNSAT): 4728(3940/788)
Jun 03, 2017 12:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/2300 took 1129899 ms. Total solver calls (SAT/UNSAT): 4740(3950/790)
Jun 03, 2017 12:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/2300 took 1132750 ms. Total solver calls (SAT/UNSAT): 4752(3960/792)
Jun 03, 2017 12:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/2300 took 1135613 ms. Total solver calls (SAT/UNSAT): 4764(3970/794)
Jun 03, 2017 12:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/2300 took 1138469 ms. Total solver calls (SAT/UNSAT): 4776(3980/796)
Jun 03, 2017 12:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/2300 took 1141362 ms. Total solver calls (SAT/UNSAT): 4788(3990/798)
Jun 03, 2017 12:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/2300 took 1144200 ms. Total solver calls (SAT/UNSAT): 4800(4000/800)
Jun 03, 2017 12:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/2300 took 1147055 ms. Total solver calls (SAT/UNSAT): 4812(4010/802)
Jun 03, 2017 12:16:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/2300 took 1149901 ms. Total solver calls (SAT/UNSAT): 4824(4020/804)
Jun 03, 2017 12:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/2300 took 1152742 ms. Total solver calls (SAT/UNSAT): 4836(4030/806)
Jun 03, 2017 12:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/2300 took 1155595 ms. Total solver calls (SAT/UNSAT): 4848(4040/808)
Jun 03, 2017 12:16:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/2300 took 1158449 ms. Total solver calls (SAT/UNSAT): 4860(4050/810)
Jun 03, 2017 12:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/2300 took 1161298 ms. Total solver calls (SAT/UNSAT): 4872(4060/812)
Jun 03, 2017 12:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/2300 took 1164153 ms. Total solver calls (SAT/UNSAT): 4884(4070/814)
Jun 03, 2017 12:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/2300 took 1167027 ms. Total solver calls (SAT/UNSAT): 4896(4080/816)
Jun 03, 2017 12:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/2300 took 1169877 ms. Total solver calls (SAT/UNSAT): 4908(4090/818)
Jun 03, 2017 12:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/2300 took 1172728 ms. Total solver calls (SAT/UNSAT): 4920(4100/820)
Jun 03, 2017 12:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/2300 took 1175583 ms. Total solver calls (SAT/UNSAT): 4932(4110/822)
Jun 03, 2017 12:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/2300 took 1178422 ms. Total solver calls (SAT/UNSAT): 4944(4120/824)
Jun 03, 2017 12:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/2300 took 1181271 ms. Total solver calls (SAT/UNSAT): 4956(4130/826)
Jun 03, 2017 12:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/2300 took 1184123 ms. Total solver calls (SAT/UNSAT): 4968(4140/828)
Jun 03, 2017 12:16:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/2300 took 1186981 ms. Total solver calls (SAT/UNSAT): 4980(4150/830)
Jun 03, 2017 12:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/2300 took 1189833 ms. Total solver calls (SAT/UNSAT): 4992(4160/832)
Jun 03, 2017 12:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/2300 took 1192685 ms. Total solver calls (SAT/UNSAT): 5004(4170/834)
Jun 03, 2017 12:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/2300 took 1195524 ms. Total solver calls (SAT/UNSAT): 5016(4180/836)
Jun 03, 2017 12:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/2300 took 1198379 ms. Total solver calls (SAT/UNSAT): 5028(4190/838)
Jun 03, 2017 12:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/2300 took 1201225 ms. Total solver calls (SAT/UNSAT): 5040(4200/840)
Jun 03, 2017 12:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/2300 took 1204075 ms. Total solver calls (SAT/UNSAT): 5052(4210/842)
Jun 03, 2017 12:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/2300 took 1206927 ms. Total solver calls (SAT/UNSAT): 5064(4220/844)
Jun 03, 2017 12:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/2300 took 1209775 ms. Total solver calls (SAT/UNSAT): 5076(4230/846)
Jun 03, 2017 12:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/2300 took 1212628 ms. Total solver calls (SAT/UNSAT): 5088(4240/848)
Jun 03, 2017 12:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/2300 took 1215477 ms. Total solver calls (SAT/UNSAT): 5100(4250/850)
Jun 03, 2017 12:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/2300 took 1218325 ms. Total solver calls (SAT/UNSAT): 5112(4260/852)
Jun 03, 2017 12:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/2300 took 1221181 ms. Total solver calls (SAT/UNSAT): 5124(4270/854)
Jun 03, 2017 12:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/2300 took 1224023 ms. Total solver calls (SAT/UNSAT): 5136(4280/856)
Jun 03, 2017 12:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/2300 took 1226873 ms. Total solver calls (SAT/UNSAT): 5148(4290/858)
Jun 03, 2017 12:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/2300 took 1229720 ms. Total solver calls (SAT/UNSAT): 5160(4300/860)
Jun 03, 2017 12:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/2300 took 1232569 ms. Total solver calls (SAT/UNSAT): 5172(4310/862)
Jun 03, 2017 12:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/2300 took 1235420 ms. Total solver calls (SAT/UNSAT): 5184(4320/864)
Jun 03, 2017 12:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/2300 took 1238263 ms. Total solver calls (SAT/UNSAT): 5196(4330/866)
Jun 03, 2017 12:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/2300 took 1241118 ms. Total solver calls (SAT/UNSAT): 5208(4340/868)
Jun 03, 2017 12:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/2300 took 1243966 ms. Total solver calls (SAT/UNSAT): 5220(4350/870)
Jun 03, 2017 12:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/2300 took 1246811 ms. Total solver calls (SAT/UNSAT): 5232(4360/872)
Jun 03, 2017 12:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/2300 took 1249651 ms. Total solver calls (SAT/UNSAT): 5244(4370/874)
Jun 03, 2017 12:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/2300 took 1252500 ms. Total solver calls (SAT/UNSAT): 5256(4380/876)
Jun 03, 2017 12:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/2300 took 1255349 ms. Total solver calls (SAT/UNSAT): 5268(4390/878)
Jun 03, 2017 12:17:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/2300 took 1258213 ms. Total solver calls (SAT/UNSAT): 5280(4400/880)
Jun 03, 2017 12:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/2300 took 1261061 ms. Total solver calls (SAT/UNSAT): 5292(4410/882)
Jun 03, 2017 12:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/2300 took 1263915 ms. Total solver calls (SAT/UNSAT): 5304(4420/884)
Jun 03, 2017 12:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/2300 took 1266771 ms. Total solver calls (SAT/UNSAT): 5316(4430/886)
Jun 03, 2017 12:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/2300 took 1269631 ms. Total solver calls (SAT/UNSAT): 5328(4440/888)
Jun 03, 2017 12:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/2300 took 1272479 ms. Total solver calls (SAT/UNSAT): 5340(4450/890)
Jun 03, 2017 12:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/2300 took 1275323 ms. Total solver calls (SAT/UNSAT): 5352(4460/892)
Jun 03, 2017 12:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/2300 took 1278173 ms. Total solver calls (SAT/UNSAT): 5364(4470/894)
Jun 03, 2017 12:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/2300 took 1281018 ms. Total solver calls (SAT/UNSAT): 5376(4480/896)
Jun 03, 2017 12:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/2300 took 1283871 ms. Total solver calls (SAT/UNSAT): 5388(4490/898)
Jun 03, 2017 12:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/2300 took 1286718 ms. Total solver calls (SAT/UNSAT): 5400(4500/900)
Jun 03, 2017 12:18:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/2300 took 1289567 ms. Total solver calls (SAT/UNSAT): 5412(4510/902)
Jun 03, 2017 12:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/2300 took 1292413 ms. Total solver calls (SAT/UNSAT): 5424(4520/904)
Jun 03, 2017 12:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/2300 took 1295259 ms. Total solver calls (SAT/UNSAT): 5436(4530/906)
Jun 03, 2017 12:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/2300 took 1298108 ms. Total solver calls (SAT/UNSAT): 5448(4540/908)
Jun 03, 2017 12:18:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/2300 took 1300956 ms. Total solver calls (SAT/UNSAT): 5460(4550/910)
Jun 03, 2017 12:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/2300 took 1303799 ms. Total solver calls (SAT/UNSAT): 5472(4560/912)
Jun 03, 2017 12:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/2300 took 1306639 ms. Total solver calls (SAT/UNSAT): 5484(4570/914)
Jun 03, 2017 12:18:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/2300 took 1309492 ms. Total solver calls (SAT/UNSAT): 5496(4580/916)
Jun 03, 2017 12:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/2300 took 1312343 ms. Total solver calls (SAT/UNSAT): 5508(4590/918)
Jun 03, 2017 12:18:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/2300 took 1315190 ms. Total solver calls (SAT/UNSAT): 5520(4600/920)
Jun 03, 2017 12:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/2300 took 1318044 ms. Total solver calls (SAT/UNSAT): 5532(4610/922)
Jun 03, 2017 12:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/2300 took 1320902 ms. Total solver calls (SAT/UNSAT): 5544(4620/924)
Jun 03, 2017 12:19:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/2300 took 1323743 ms. Total solver calls (SAT/UNSAT): 5556(4630/926)
Jun 03, 2017 12:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/2300 took 1326593 ms. Total solver calls (SAT/UNSAT): 5568(4640/928)
Jun 03, 2017 12:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/2300 took 1329443 ms. Total solver calls (SAT/UNSAT): 5580(4650/930)
Jun 03, 2017 12:19:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/2300 took 1332308 ms. Total solver calls (SAT/UNSAT): 5592(4660/932)
Jun 03, 2017 12:19:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/2300 took 1335163 ms. Total solver calls (SAT/UNSAT): 5604(4670/934)
Jun 03, 2017 12:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/2300 took 1338010 ms. Total solver calls (SAT/UNSAT): 5616(4680/936)
Jun 03, 2017 12:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/2300 took 1341019 ms. Total solver calls (SAT/UNSAT): 5628(4690/938)
Jun 03, 2017 12:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/2300 took 1343868 ms. Total solver calls (SAT/UNSAT): 5640(4700/940)
Jun 03, 2017 12:19:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/2300 took 1346728 ms. Total solver calls (SAT/UNSAT): 5652(4710/942)
Jun 03, 2017 12:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/2300 took 1349577 ms. Total solver calls (SAT/UNSAT): 5664(4720/944)
Jun 03, 2017 12:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/2300 took 1352434 ms. Total solver calls (SAT/UNSAT): 5676(4730/946)
Jun 03, 2017 12:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/2300 took 1355298 ms. Total solver calls (SAT/UNSAT): 5688(4740/948)
Jun 03, 2017 12:19:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/2300 took 1358163 ms. Total solver calls (SAT/UNSAT): 5700(4750/950)
Jun 03, 2017 12:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/2300 took 1361021 ms. Total solver calls (SAT/UNSAT): 5712(4760/952)
Jun 03, 2017 12:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/2300 took 1363881 ms. Total solver calls (SAT/UNSAT): 5724(4770/954)
Jun 03, 2017 12:19:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/2300 took 1366745 ms. Total solver calls (SAT/UNSAT): 5736(4780/956)
Jun 03, 2017 12:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/2300 took 1369606 ms. Total solver calls (SAT/UNSAT): 5748(4790/958)
Jun 03, 2017 12:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/2300 took 1372479 ms. Total solver calls (SAT/UNSAT): 5760(4800/960)
Jun 03, 2017 12:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/2300 took 1375353 ms. Total solver calls (SAT/UNSAT): 5772(4810/962)
Jun 03, 2017 12:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/2300 took 1378219 ms. Total solver calls (SAT/UNSAT): 5784(4820/964)
Jun 03, 2017 12:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/2300 took 1381091 ms. Total solver calls (SAT/UNSAT): 5796(4830/966)
Jun 03, 2017 12:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/2300 took 1383947 ms. Total solver calls (SAT/UNSAT): 5808(4840/968)
Jun 03, 2017 12:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/2300 took 1386816 ms. Total solver calls (SAT/UNSAT): 5820(4850/970)
Jun 03, 2017 12:20:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/2300 took 1389692 ms. Total solver calls (SAT/UNSAT): 5832(4860/972)
Jun 03, 2017 12:20:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/2300 took 1392553 ms. Total solver calls (SAT/UNSAT): 5844(4870/974)
Jun 03, 2017 12:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/2300 took 1395416 ms. Total solver calls (SAT/UNSAT): 5856(4880/976)
Jun 03, 2017 12:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/2300 took 1398286 ms. Total solver calls (SAT/UNSAT): 5868(4890/978)
Jun 03, 2017 12:20:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/2300 took 1401146 ms. Total solver calls (SAT/UNSAT): 5880(4900/980)
Jun 03, 2017 12:20:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/2300 took 1404010 ms. Total solver calls (SAT/UNSAT): 5892(4910/982)
Jun 03, 2017 12:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/2300 took 1406875 ms. Total solver calls (SAT/UNSAT): 5904(4920/984)
Jun 03, 2017 12:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/2300 took 1409755 ms. Total solver calls (SAT/UNSAT): 5916(4930/986)
Jun 03, 2017 12:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/2300 took 1412622 ms. Total solver calls (SAT/UNSAT): 5928(4940/988)
Jun 03, 2017 12:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/2300 took 1415491 ms. Total solver calls (SAT/UNSAT): 5940(4950/990)
Jun 03, 2017 12:20:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/2300 took 1418355 ms. Total solver calls (SAT/UNSAT): 5952(4960/992)
Jun 03, 2017 12:20:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/2300 took 1421221 ms. Total solver calls (SAT/UNSAT): 5964(4970/994)
Jun 03, 2017 12:20:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/2300 took 1424075 ms. Total solver calls (SAT/UNSAT): 5976(4980/996)
Jun 03, 2017 12:20:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/2300 took 1426942 ms. Total solver calls (SAT/UNSAT): 5988(4990/998)
Jun 03, 2017 12:20:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/2300 took 1429807 ms. Total solver calls (SAT/UNSAT): 6000(5000/1000)
Jun 03, 2017 12:20:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/2300 took 1432670 ms. Total solver calls (SAT/UNSAT): 6012(5010/1002)
Jun 03, 2017 12:20:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/2300 took 1435542 ms. Total solver calls (SAT/UNSAT): 6024(5020/1004)
Jun 03, 2017 12:20:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/2300 took 1438397 ms. Total solver calls (SAT/UNSAT): 6036(5030/1006)
Jun 03, 2017 12:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/2300 took 1441255 ms. Total solver calls (SAT/UNSAT): 6048(5040/1008)
Jun 03, 2017 12:21:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/2300 took 1444108 ms. Total solver calls (SAT/UNSAT): 6060(5050/1010)
Jun 03, 2017 12:21:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/2300 took 1446974 ms. Total solver calls (SAT/UNSAT): 6072(5060/1012)
Jun 03, 2017 12:21:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/2300 took 1449826 ms. Total solver calls (SAT/UNSAT): 6084(5070/1014)
Jun 03, 2017 12:21:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/2300 took 1452693 ms. Total solver calls (SAT/UNSAT): 6096(5080/1016)
Jun 03, 2017 12:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/2300 took 1455550 ms. Total solver calls (SAT/UNSAT): 6108(5090/1018)
Jun 03, 2017 12:21:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/2300 took 1458417 ms. Total solver calls (SAT/UNSAT): 6120(5100/1020)
Jun 03, 2017 12:21:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/2300 took 1461277 ms. Total solver calls (SAT/UNSAT): 6132(5110/1022)
Jun 03, 2017 12:21:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/2300 took 1464138 ms. Total solver calls (SAT/UNSAT): 6144(5120/1024)
Jun 03, 2017 12:21:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/2300 took 1467003 ms. Total solver calls (SAT/UNSAT): 6156(5130/1026)
Jun 03, 2017 12:21:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/2300 took 1469877 ms. Total solver calls (SAT/UNSAT): 6168(5140/1028)
Jun 03, 2017 12:21:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/2300 took 1472746 ms. Total solver calls (SAT/UNSAT): 6180(5150/1030)
Jun 03, 2017 12:21:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/2300 took 1475623 ms. Total solver calls (SAT/UNSAT): 6192(5160/1032)
Jun 03, 2017 12:21:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/2300 took 1478509 ms. Total solver calls (SAT/UNSAT): 6204(5170/1034)
Jun 03, 2017 12:21:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/2300 took 1481391 ms. Total solver calls (SAT/UNSAT): 6216(5180/1036)
Jun 03, 2017 12:21:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/2300 took 1484267 ms. Total solver calls (SAT/UNSAT): 6228(5190/1038)
Jun 03, 2017 12:21:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/2300 took 1487147 ms. Total solver calls (SAT/UNSAT): 6240(5200/1040)
Jun 03, 2017 12:21:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/2300 took 1490020 ms. Total solver calls (SAT/UNSAT): 6252(5210/1042)
Jun 03, 2017 12:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/2300 took 1492906 ms. Total solver calls (SAT/UNSAT): 6264(5220/1044)
Jun 03, 2017 12:21:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/2300 took 1495792 ms. Total solver calls (SAT/UNSAT): 6276(5230/1046)
Jun 03, 2017 12:22:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/2300 took 1498678 ms. Total solver calls (SAT/UNSAT): 6288(5240/1048)
Jun 03, 2017 12:22:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/2300 took 1501691 ms. Total solver calls (SAT/UNSAT): 6300(5250/1050)
Jun 03, 2017 12:22:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/2300 took 1504574 ms. Total solver calls (SAT/UNSAT): 6312(5260/1052)
Jun 03, 2017 12:22:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/2300 took 1507456 ms. Total solver calls (SAT/UNSAT): 6324(5270/1054)
Jun 03, 2017 12:22:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/2300 took 1510338 ms. Total solver calls (SAT/UNSAT): 6336(5280/1056)
Jun 03, 2017 12:22:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/2300 took 1513227 ms. Total solver calls (SAT/UNSAT): 6348(5290/1058)
Jun 03, 2017 12:22:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/2300 took 1516100 ms. Total solver calls (SAT/UNSAT): 6360(5300/1060)
Jun 03, 2017 12:22:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/2300 took 1518966 ms. Total solver calls (SAT/UNSAT): 6372(5310/1062)
Jun 03, 2017 12:22:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/2300 took 1521828 ms. Total solver calls (SAT/UNSAT): 6384(5320/1064)
Jun 03, 2017 12:22:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/2300 took 1524699 ms. Total solver calls (SAT/UNSAT): 6396(5330/1066)
Jun 03, 2017 12:22:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/2300 took 1527571 ms. Total solver calls (SAT/UNSAT): 6408(5340/1068)
Jun 03, 2017 12:22:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/2300 took 1530443 ms. Total solver calls (SAT/UNSAT): 6420(5350/1070)
Jun 03, 2017 12:22:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/2300 took 1533303 ms. Total solver calls (SAT/UNSAT): 6432(5360/1072)
Jun 03, 2017 12:22:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/2300 took 1536169 ms. Total solver calls (SAT/UNSAT): 6444(5370/1074)
Jun 03, 2017 12:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/2300 took 1539045 ms. Total solver calls (SAT/UNSAT): 6456(5380/1076)
Jun 03, 2017 12:22:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/2300 took 1541917 ms. Total solver calls (SAT/UNSAT): 6468(5390/1078)
Jun 03, 2017 12:22:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/2300 took 1544793 ms. Total solver calls (SAT/UNSAT): 6480(5400/1080)
Jun 03, 2017 12:22:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/2300 took 1547656 ms. Total solver calls (SAT/UNSAT): 6492(5410/1082)
Jun 03, 2017 12:22:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/2300 took 1550517 ms. Total solver calls (SAT/UNSAT): 6504(5420/1084)
Jun 03, 2017 12:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/2300 took 1553386 ms. Total solver calls (SAT/UNSAT): 6516(5430/1086)
Jun 03, 2017 12:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/2300 took 1556246 ms. Total solver calls (SAT/UNSAT): 6528(5440/1088)
Jun 03, 2017 12:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/2300 took 1559121 ms. Total solver calls (SAT/UNSAT): 6540(5450/1090)
Jun 03, 2017 12:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/2300 took 1561979 ms. Total solver calls (SAT/UNSAT): 6552(5460/1092)
Jun 03, 2017 12:23:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/2300 took 1564840 ms. Total solver calls (SAT/UNSAT): 6564(5470/1094)
Jun 03, 2017 12:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/2300 took 1567692 ms. Total solver calls (SAT/UNSAT): 6576(5480/1096)
Jun 03, 2017 12:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/2300 took 1570563 ms. Total solver calls (SAT/UNSAT): 6588(5490/1098)
Jun 03, 2017 12:23:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/2300 took 1573454 ms. Total solver calls (SAT/UNSAT): 6600(5500/1100)
Jun 03, 2017 12:23:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/2300 took 1576327 ms. Total solver calls (SAT/UNSAT): 6612(5510/1102)
Jun 03, 2017 12:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/2300 took 1579185 ms. Total solver calls (SAT/UNSAT): 6624(5520/1104)
Jun 03, 2017 12:23:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/2300 took 1582035 ms. Total solver calls (SAT/UNSAT): 6636(5530/1106)
Jun 03, 2017 12:23:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/2300 took 1584905 ms. Total solver calls (SAT/UNSAT): 6648(5540/1108)
Jun 03, 2017 12:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/2300 took 1587774 ms. Total solver calls (SAT/UNSAT): 6660(5550/1110)
Jun 03, 2017 12:23:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/2300 took 1590636 ms. Total solver calls (SAT/UNSAT): 6672(5560/1112)
Jun 03, 2017 12:23:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/2300 took 1593554 ms. Total solver calls (SAT/UNSAT): 6684(5570/1114)
Jun 03, 2017 12:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/2300 took 1596407 ms. Total solver calls (SAT/UNSAT): 6696(5580/1116)
Jun 03, 2017 12:23:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/2300 took 1599255 ms. Total solver calls (SAT/UNSAT): 6708(5590/1118)
Jun 03, 2017 12:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/2300 took 1602111 ms. Total solver calls (SAT/UNSAT): 6720(5600/1120)
Jun 03, 2017 12:23:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/2300 took 1604954 ms. Total solver calls (SAT/UNSAT): 6732(5610/1122)
Jun 03, 2017 12:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/2300 took 1607797 ms. Total solver calls (SAT/UNSAT): 6744(5620/1124)
Jun 03, 2017 12:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/2300 took 1610645 ms. Total solver calls (SAT/UNSAT): 6756(5630/1126)
Jun 03, 2017 12:23:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/2300 took 1613491 ms. Total solver calls (SAT/UNSAT): 6768(5640/1128)
Jun 03, 2017 12:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/2300 took 1616332 ms. Total solver calls (SAT/UNSAT): 6780(5650/1130)
Jun 03, 2017 12:24:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/2300 took 1619190 ms. Total solver calls (SAT/UNSAT): 6792(5660/1132)
Jun 03, 2017 12:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/2300 took 1622043 ms. Total solver calls (SAT/UNSAT): 6804(5670/1134)
Jun 03, 2017 12:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/2300 took 1624887 ms. Total solver calls (SAT/UNSAT): 6816(5680/1136)
Jun 03, 2017 12:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/2300 took 1627870 ms. Total solver calls (SAT/UNSAT): 6828(5690/1138)
Jun 03, 2017 12:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/2300 took 1630717 ms. Total solver calls (SAT/UNSAT): 6840(5700/1140)
Jun 03, 2017 12:24:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/2300 took 1633564 ms. Total solver calls (SAT/UNSAT): 6852(5710/1142)
Jun 03, 2017 12:24:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/2300 took 1636415 ms. Total solver calls (SAT/UNSAT): 6864(5720/1144)
Jun 03, 2017 12:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/2300 took 1639263 ms. Total solver calls (SAT/UNSAT): 6876(5730/1146)
Jun 03, 2017 12:24:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/2300 took 1642259 ms. Total solver calls (SAT/UNSAT): 6888(5740/1148)
Jun 03, 2017 12:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/2300 took 1645106 ms. Total solver calls (SAT/UNSAT): 6900(5750/1150)
Jun 03, 2017 12:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/2300 took 1647946 ms. Total solver calls (SAT/UNSAT): 6912(5760/1152)
Jun 03, 2017 12:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/2300 took 1650791 ms. Total solver calls (SAT/UNSAT): 6924(5770/1154)
Jun 03, 2017 12:24:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/2300 took 1653639 ms. Total solver calls (SAT/UNSAT): 6936(5780/1156)
Jun 03, 2017 12:24:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/2300 took 1656486 ms. Total solver calls (SAT/UNSAT): 6948(5790/1158)
Jun 03, 2017 12:24:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/2300 took 1659331 ms. Total solver calls (SAT/UNSAT): 6960(5800/1160)
Jun 03, 2017 12:24:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/2300 took 1662187 ms. Total solver calls (SAT/UNSAT): 6972(5810/1162)
Jun 03, 2017 12:24:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/2300 took 1665036 ms. Total solver calls (SAT/UNSAT): 6984(5820/1164)
Jun 03, 2017 12:24:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/2300 took 1667878 ms. Total solver calls (SAT/UNSAT): 6996(5830/1166)
Jun 03, 2017 12:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/2300 took 1670734 ms. Total solver calls (SAT/UNSAT): 7008(5840/1168)
Jun 03, 2017 12:24:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/2300 took 1673588 ms. Total solver calls (SAT/UNSAT): 7020(5850/1170)
Jun 03, 2017 12:24:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/2300 took 1676436 ms. Total solver calls (SAT/UNSAT): 7032(5860/1172)
Jun 03, 2017 12:25:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/2300 took 1679288 ms. Total solver calls (SAT/UNSAT): 7044(5870/1174)
Jun 03, 2017 12:25:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/2300 took 1682135 ms. Total solver calls (SAT/UNSAT): 7056(5880/1176)
Jun 03, 2017 12:25:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/2300 took 1684990 ms. Total solver calls (SAT/UNSAT): 7068(5890/1178)
Jun 03, 2017 12:25:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/2300 took 1687841 ms. Total solver calls (SAT/UNSAT): 7080(5900/1180)
Jun 03, 2017 12:25:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/2300 took 1690698 ms. Total solver calls (SAT/UNSAT): 7092(5910/1182)
Jun 03, 2017 12:25:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/2300 took 1693549 ms. Total solver calls (SAT/UNSAT): 7104(5920/1184)
Jun 03, 2017 12:25:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/2300 took 1696403 ms. Total solver calls (SAT/UNSAT): 7116(5930/1186)
Jun 03, 2017 12:25:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/2300 took 1699243 ms. Total solver calls (SAT/UNSAT): 7128(5940/1188)
Jun 03, 2017 12:25:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/2300 took 1702087 ms. Total solver calls (SAT/UNSAT): 7140(5950/1190)
Jun 03, 2017 12:25:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/2300 took 1704932 ms. Total solver calls (SAT/UNSAT): 7152(5960/1192)
Jun 03, 2017 12:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/2300 took 1707781 ms. Total solver calls (SAT/UNSAT): 7164(5970/1194)
Jun 03, 2017 12:25:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/2300 took 1710634 ms. Total solver calls (SAT/UNSAT): 7176(5980/1196)
Jun 03, 2017 12:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/2300 took 1713477 ms. Total solver calls (SAT/UNSAT): 7188(5990/1198)
Jun 03, 2017 12:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/2300 took 1716331 ms. Total solver calls (SAT/UNSAT): 7200(6000/1200)
Jun 03, 2017 12:25:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/2300 took 1719171 ms. Total solver calls (SAT/UNSAT): 7212(6010/1202)
Jun 03, 2017 12:25:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/2300 took 1722027 ms. Total solver calls (SAT/UNSAT): 7224(6020/1204)
Jun 03, 2017 12:25:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/2300 took 1724881 ms. Total solver calls (SAT/UNSAT): 7236(6030/1206)
Jun 03, 2017 12:25:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/2300 took 1727730 ms. Total solver calls (SAT/UNSAT): 7248(6040/1208)
Jun 03, 2017 12:25:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/2300 took 1730577 ms. Total solver calls (SAT/UNSAT): 7260(6050/1210)
Jun 03, 2017 12:25:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/2300 took 1733430 ms. Total solver calls (SAT/UNSAT): 7272(6060/1212)
Jun 03, 2017 12:25:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/2300 took 1736283 ms. Total solver calls (SAT/UNSAT): 7284(6070/1214)
Jun 03, 2017 12:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/2300 took 1739125 ms. Total solver calls (SAT/UNSAT): 7296(6080/1216)
Jun 03, 2017 12:26:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/2300 took 1741968 ms. Total solver calls (SAT/UNSAT): 7308(6090/1218)
Jun 03, 2017 12:26:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/2300 took 1744814 ms. Total solver calls (SAT/UNSAT): 7320(6100/1220)
Jun 03, 2017 12:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/2300 took 1747662 ms. Total solver calls (SAT/UNSAT): 7332(6110/1222)
Jun 03, 2017 12:26:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/2300 took 1750513 ms. Total solver calls (SAT/UNSAT): 7344(6120/1224)
Jun 03, 2017 12:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/2300 took 1753359 ms. Total solver calls (SAT/UNSAT): 7356(6130/1226)
Jun 03, 2017 12:26:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/2300 took 1756208 ms. Total solver calls (SAT/UNSAT): 7368(6140/1228)
Jun 03, 2017 12:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/2300 took 1759059 ms. Total solver calls (SAT/UNSAT): 7380(6150/1230)
Jun 03, 2017 12:26:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/2300 took 1761904 ms. Total solver calls (SAT/UNSAT): 7392(6160/1232)
Jun 03, 2017 12:26:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/2300 took 1764765 ms. Total solver calls (SAT/UNSAT): 7404(6170/1234)
Jun 03, 2017 12:26:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/2300 took 1767619 ms. Total solver calls (SAT/UNSAT): 7416(6180/1236)
Jun 03, 2017 12:26:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/2300 took 1770464 ms. Total solver calls (SAT/UNSAT): 7428(6190/1238)
Jun 03, 2017 12:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/2300 took 1773319 ms. Total solver calls (SAT/UNSAT): 7440(6200/1240)
Jun 03, 2017 12:26:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/2300 took 1776167 ms. Total solver calls (SAT/UNSAT): 7452(6210/1242)
Jun 03, 2017 12:26:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/2300 took 1779013 ms. Total solver calls (SAT/UNSAT): 7464(6220/1244)
Jun 03, 2017 12:26:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/2300 took 1781860 ms. Total solver calls (SAT/UNSAT): 7476(6230/1246)
Jun 03, 2017 12:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/2300 took 1784712 ms. Total solver calls (SAT/UNSAT): 7488(6240/1248)
Jun 03, 2017 12:26:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/2300 took 1787564 ms. Total solver calls (SAT/UNSAT): 7500(6250/1250)
Jun 03, 2017 12:26:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/2300 took 1790416 ms. Total solver calls (SAT/UNSAT): 7512(6260/1252)
Jun 03, 2017 12:26:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/2300 took 1793263 ms. Total solver calls (SAT/UNSAT): 7524(6270/1254)
Jun 03, 2017 12:26:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/2300 took 1796109 ms. Total solver calls (SAT/UNSAT): 7536(6280/1256)
Jun 03, 2017 12:27:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/2300 took 1798963 ms. Total solver calls (SAT/UNSAT): 7548(6290/1258)
Jun 03, 2017 12:27:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/2300 took 1801809 ms. Total solver calls (SAT/UNSAT): 7560(6300/1260)
Jun 03, 2017 12:27:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/2300 took 1804657 ms. Total solver calls (SAT/UNSAT): 7572(6310/1262)
Jun 03, 2017 12:27:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/2300 took 1807504 ms. Total solver calls (SAT/UNSAT): 7584(6320/1264)
Jun 03, 2017 12:27:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/2300 took 1810357 ms. Total solver calls (SAT/UNSAT): 7596(6330/1266)
Jun 03, 2017 12:27:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/2300 took 1813207 ms. Total solver calls (SAT/UNSAT): 7608(6340/1268)
Jun 03, 2017 12:27:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/2300 took 1816057 ms. Total solver calls (SAT/UNSAT): 7620(6350/1270)
Jun 03, 2017 12:27:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/2300 took 1818907 ms. Total solver calls (SAT/UNSAT): 7632(6360/1272)
Jun 03, 2017 12:27:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/2300 took 1821757 ms. Total solver calls (SAT/UNSAT): 7644(6370/1274)
Jun 03, 2017 12:27:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/2300 took 1824604 ms. Total solver calls (SAT/UNSAT): 7656(6380/1276)
Jun 03, 2017 12:27:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/2300 took 1827454 ms. Total solver calls (SAT/UNSAT): 7668(6390/1278)
Jun 03, 2017 12:27:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/2300 took 1830303 ms. Total solver calls (SAT/UNSAT): 7680(6400/1280)
Jun 03, 2017 12:27:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/2300 took 1833157 ms. Total solver calls (SAT/UNSAT): 7692(6410/1282)
Jun 03, 2017 12:27:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/2300 took 1836006 ms. Total solver calls (SAT/UNSAT): 7704(6420/1284)
Jun 03, 2017 12:27:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/2300 took 1838846 ms. Total solver calls (SAT/UNSAT): 7716(6430/1286)
Jun 03, 2017 12:27:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/2300 took 1841698 ms. Total solver calls (SAT/UNSAT): 7728(6440/1288)
Jun 03, 2017 12:27:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/2300 took 1844548 ms. Total solver calls (SAT/UNSAT): 7740(6450/1290)
Jun 03, 2017 12:27:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/2300 took 1847404 ms. Total solver calls (SAT/UNSAT): 7752(6460/1292)
Jun 03, 2017 12:27:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/2300 took 1850248 ms. Total solver calls (SAT/UNSAT): 7764(6470/1294)
Jun 03, 2017 12:27:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/2300 took 1853100 ms. Total solver calls (SAT/UNSAT): 7776(6480/1296)
Jun 03, 2017 12:27:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/2300 took 1855952 ms. Total solver calls (SAT/UNSAT): 7788(6490/1298)
Jun 03, 2017 12:28:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/2300 took 1858809 ms. Total solver calls (SAT/UNSAT): 7800(6500/1300)
Jun 03, 2017 12:28:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/2300 took 1861651 ms. Total solver calls (SAT/UNSAT): 7812(6510/1302)
Jun 03, 2017 12:28:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/2300 took 1864499 ms. Total solver calls (SAT/UNSAT): 7824(6520/1304)
Jun 03, 2017 12:28:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/2300 took 1867356 ms. Total solver calls (SAT/UNSAT): 7836(6530/1306)
Jun 03, 2017 12:28:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/2300 took 1870200 ms. Total solver calls (SAT/UNSAT): 7848(6540/1308)
Jun 03, 2017 12:28:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/2300 took 1873046 ms. Total solver calls (SAT/UNSAT): 7860(6550/1310)
Jun 03, 2017 12:28:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/2300 took 1875902 ms. Total solver calls (SAT/UNSAT): 7872(6560/1312)
Jun 03, 2017 12:28:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/2300 took 1878749 ms. Total solver calls (SAT/UNSAT): 7884(6570/1314)
Jun 03, 2017 12:28:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/2300 took 1881595 ms. Total solver calls (SAT/UNSAT): 7896(6580/1316)
Jun 03, 2017 12:28:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/2300 took 1884440 ms. Total solver calls (SAT/UNSAT): 7908(6590/1318)
Jun 03, 2017 12:28:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/2300 took 1887291 ms. Total solver calls (SAT/UNSAT): 7920(6600/1320)
Jun 03, 2017 12:28:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/2300 took 1890142 ms. Total solver calls (SAT/UNSAT): 7932(6610/1322)
Jun 03, 2017 12:28:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/2300 took 1892992 ms. Total solver calls (SAT/UNSAT): 7944(6620/1324)
Jun 03, 2017 12:28:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/2300 took 1895843 ms. Total solver calls (SAT/UNSAT): 7956(6630/1326)
Jun 03, 2017 12:28:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/2300 took 1898693 ms. Total solver calls (SAT/UNSAT): 7968(6640/1328)
Jun 03, 2017 12:28:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/2300 took 1901540 ms. Total solver calls (SAT/UNSAT): 7980(6650/1330)
Jun 03, 2017 12:28:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/2300 took 1904384 ms. Total solver calls (SAT/UNSAT): 7992(6660/1332)
Jun 03, 2017 12:28:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/2300 took 1907231 ms. Total solver calls (SAT/UNSAT): 8004(6670/1334)
Jun 03, 2017 12:28:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/2300 took 1910068 ms. Total solver calls (SAT/UNSAT): 8016(6680/1336)
Jun 03, 2017 12:28:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/2300 took 1912919 ms. Total solver calls (SAT/UNSAT): 8028(6690/1338)
Jun 03, 2017 12:28:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/2300 took 1915773 ms. Total solver calls (SAT/UNSAT): 8040(6700/1340)
Jun 03, 2017 12:28:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/2300 took 1918622 ms. Total solver calls (SAT/UNSAT): 8052(6710/1342)
Jun 03, 2017 12:29:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/2300 took 1921480 ms. Total solver calls (SAT/UNSAT): 8064(6720/1344)
Jun 03, 2017 12:29:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/2300 took 1924329 ms. Total solver calls (SAT/UNSAT): 8076(6730/1346)
Jun 03, 2017 12:29:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/2300 took 1927173 ms. Total solver calls (SAT/UNSAT): 8088(6740/1348)
Jun 03, 2017 12:29:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/2300 took 1930021 ms. Total solver calls (SAT/UNSAT): 8100(6750/1350)
Jun 03, 2017 12:29:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/2300 took 1933013 ms. Total solver calls (SAT/UNSAT): 8112(6760/1352)
Jun 03, 2017 12:29:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/2300 took 1935858 ms. Total solver calls (SAT/UNSAT): 8124(6770/1354)
Jun 03, 2017 12:29:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/2300 took 1938712 ms. Total solver calls (SAT/UNSAT): 8136(6780/1356)
Jun 03, 2017 12:29:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/2300 took 1941696 ms. Total solver calls (SAT/UNSAT): 8148(6790/1358)
Jun 03, 2017 12:29:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/2300 took 1944544 ms. Total solver calls (SAT/UNSAT): 8160(6800/1360)
Jun 03, 2017 12:29:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/2300 took 1947383 ms. Total solver calls (SAT/UNSAT): 8172(6810/1362)
Jun 03, 2017 12:29:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/2300 took 1950229 ms. Total solver calls (SAT/UNSAT): 8184(6820/1364)
Jun 03, 2017 12:29:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/2300 took 1953079 ms. Total solver calls (SAT/UNSAT): 8196(6830/1366)
Jun 03, 2017 12:29:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/2300 took 1955934 ms. Total solver calls (SAT/UNSAT): 8208(6840/1368)
Jun 03, 2017 12:29:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/2300 took 1958782 ms. Total solver calls (SAT/UNSAT): 8220(6850/1370)
Jun 03, 2017 12:29:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/2300 took 1961627 ms. Total solver calls (SAT/UNSAT): 8232(6860/1372)
Jun 03, 2017 12:29:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/2300 took 1964476 ms. Total solver calls (SAT/UNSAT): 8244(6870/1374)
Jun 03, 2017 12:29:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/2300 took 1967331 ms. Total solver calls (SAT/UNSAT): 8256(6880/1376)
Jun 03, 2017 12:29:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/2300 took 1970183 ms. Total solver calls (SAT/UNSAT): 8268(6890/1378)
Jun 03, 2017 12:29:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/2300 took 1973041 ms. Total solver calls (SAT/UNSAT): 8280(6900/1380)
Jun 03, 2017 12:29:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/2300 took 1975887 ms. Total solver calls (SAT/UNSAT): 8292(6910/1382)
Jun 03, 2017 12:30:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/2300 took 1978737 ms. Total solver calls (SAT/UNSAT): 8304(6920/1384)
Jun 03, 2017 12:30:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/2300 took 1981586 ms. Total solver calls (SAT/UNSAT): 8316(6930/1386)
Jun 03, 2017 12:30:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/2300 took 1984434 ms. Total solver calls (SAT/UNSAT): 8328(6940/1388)
Jun 03, 2017 12:30:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/2300 took 1987289 ms. Total solver calls (SAT/UNSAT): 8340(6950/1390)
Jun 03, 2017 12:30:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/2300 took 1990138 ms. Total solver calls (SAT/UNSAT): 8352(6960/1392)
Jun 03, 2017 12:30:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/2300 took 1992989 ms. Total solver calls (SAT/UNSAT): 8364(6970/1394)
Jun 03, 2017 12:30:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/2300 took 1995842 ms. Total solver calls (SAT/UNSAT): 8376(6980/1396)
Jun 03, 2017 12:30:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/2300 took 1998699 ms. Total solver calls (SAT/UNSAT): 8388(6990/1398)
Jun 03, 2017 12:30:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/2300 took 2001559 ms. Total solver calls (SAT/UNSAT): 8400(7000/1400)
Jun 03, 2017 12:30:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/2300 took 2004402 ms. Total solver calls (SAT/UNSAT): 8412(7010/1402)
Jun 03, 2017 12:30:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/2300 took 2007256 ms. Total solver calls (SAT/UNSAT): 8424(7020/1404)
Jun 03, 2017 12:30:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/2300 took 2010108 ms. Total solver calls (SAT/UNSAT): 8436(7030/1406)
Jun 03, 2017 12:30:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/2300 took 2012950 ms. Total solver calls (SAT/UNSAT): 8448(7040/1408)
Jun 03, 2017 12:30:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/2300 took 2015808 ms. Total solver calls (SAT/UNSAT): 8460(7050/1410)
Jun 03, 2017 12:30:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/2300 took 2018662 ms. Total solver calls (SAT/UNSAT): 8472(7060/1412)
Jun 03, 2017 12:30:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/2300 took 2021508 ms. Total solver calls (SAT/UNSAT): 8484(7070/1414)
Jun 03, 2017 12:30:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/2300 took 2024355 ms. Total solver calls (SAT/UNSAT): 8496(7080/1416)
Jun 03, 2017 12:30:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/2300 took 2027200 ms. Total solver calls (SAT/UNSAT): 8508(7090/1418)
Jun 03, 2017 12:30:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/2300 took 2030046 ms. Total solver calls (SAT/UNSAT): 8520(7100/1420)
Jun 03, 2017 12:30:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/2300 took 2032893 ms. Total solver calls (SAT/UNSAT): 8532(7110/1422)
Jun 03, 2017 12:30:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/2300 took 2035746 ms. Total solver calls (SAT/UNSAT): 8544(7120/1424)
Jun 03, 2017 12:30:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/2300 took 2038597 ms. Total solver calls (SAT/UNSAT): 8556(7130/1426)
Jun 03, 2017 12:31:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/2300 took 2041442 ms. Total solver calls (SAT/UNSAT): 8568(7140/1428)
Jun 03, 2017 12:31:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/2300 took 2044301 ms. Total solver calls (SAT/UNSAT): 8580(7150/1430)
Jun 03, 2017 12:31:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/2300 took 2047153 ms. Total solver calls (SAT/UNSAT): 8592(7160/1432)
Jun 03, 2017 12:31:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/2300 took 2049993 ms. Total solver calls (SAT/UNSAT): 8604(7170/1434)
Jun 03, 2017 12:31:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/2300 took 2052844 ms. Total solver calls (SAT/UNSAT): 8616(7180/1436)
Jun 03, 2017 12:31:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/2300 took 2055693 ms. Total solver calls (SAT/UNSAT): 8628(7190/1438)
Jun 03, 2017 12:31:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/2300 took 2058554 ms. Total solver calls (SAT/UNSAT): 8640(7200/1440)
Jun 03, 2017 12:31:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/2300 took 2061413 ms. Total solver calls (SAT/UNSAT): 8652(7210/1442)
Jun 03, 2017 12:31:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/2300 took 2064252 ms. Total solver calls (SAT/UNSAT): 8664(7220/1444)
Jun 03, 2017 12:31:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/2300 took 2067113 ms. Total solver calls (SAT/UNSAT): 8676(7230/1446)
Jun 03, 2017 12:31:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/2300 took 2069969 ms. Total solver calls (SAT/UNSAT): 8688(7240/1448)
Jun 03, 2017 12:31:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/2300 took 2072824 ms. Total solver calls (SAT/UNSAT): 8700(7250/1450)
Jun 03, 2017 12:31:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/2300 took 2075670 ms. Total solver calls (SAT/UNSAT): 8712(7260/1452)
Jun 03, 2017 12:31:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/2300 took 2078547 ms. Total solver calls (SAT/UNSAT): 8724(7270/1454)
Jun 03, 2017 12:31:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :727/2300 took 2081418 ms. Total solver calls (SAT/UNSAT): 8736(7280/1456)
Jun 03, 2017 12:31:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/2300 took 2084282 ms. Total solver calls (SAT/UNSAT): 8748(7290/1458)
Jun 03, 2017 12:31:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/2300 took 2087148 ms. Total solver calls (SAT/UNSAT): 8760(7300/1460)
Jun 03, 2017 12:31:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/2300 took 2090013 ms. Total solver calls (SAT/UNSAT): 8772(7310/1462)
Jun 03, 2017 12:31:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/2300 took 2092888 ms. Total solver calls (SAT/UNSAT): 8784(7320/1464)
Jun 03, 2017 12:31:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/2300 took 2095752 ms. Total solver calls (SAT/UNSAT): 8796(7330/1466)
Jun 03, 2017 12:31:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/2300 took 2098621 ms. Total solver calls (SAT/UNSAT): 8808(7340/1468)
Jun 03, 2017 12:32:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/2300 took 2101486 ms. Total solver calls (SAT/UNSAT): 8820(7350/1470)
Jun 03, 2017 12:32:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/2300 took 2104357 ms. Total solver calls (SAT/UNSAT): 8832(7360/1472)
Jun 03, 2017 12:32:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/2300 took 2107268 ms. Total solver calls (SAT/UNSAT): 8844(7370/1474)
Jun 03, 2017 12:32:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/2300 took 2110120 ms. Total solver calls (SAT/UNSAT): 8856(7380/1476)
Jun 03, 2017 12:32:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/2300 took 2112987 ms. Total solver calls (SAT/UNSAT): 8868(7390/1478)
Jun 03, 2017 12:32:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/2300 took 2115840 ms. Total solver calls (SAT/UNSAT): 8880(7400/1480)
Jun 03, 2017 12:32:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/2300 took 2118709 ms. Total solver calls (SAT/UNSAT): 8892(7410/1482)
Jun 03, 2017 12:32:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/2300 took 2121580 ms. Total solver calls (SAT/UNSAT): 8904(7420/1484)
Jun 03, 2017 12:32:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/2300 took 2124438 ms. Total solver calls (SAT/UNSAT): 8916(7430/1486)
Jun 03, 2017 12:32:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/2300 took 2127293 ms. Total solver calls (SAT/UNSAT): 8928(7440/1488)
Jun 03, 2017 12:32:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/2300 took 2130166 ms. Total solver calls (SAT/UNSAT): 8940(7450/1490)
Jun 03, 2017 12:32:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/2300 took 2133027 ms. Total solver calls (SAT/UNSAT): 8952(7460/1492)
Jun 03, 2017 12:32:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/2300 took 2135890 ms. Total solver calls (SAT/UNSAT): 8964(7470/1494)
Jun 03, 2017 12:32:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/2300 took 2138762 ms. Total solver calls (SAT/UNSAT): 8976(7480/1496)
Jun 03, 2017 12:32:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/2300 took 2141604 ms. Total solver calls (SAT/UNSAT): 8988(7490/1498)
Jun 03, 2017 12:32:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/2300 took 2144455 ms. Total solver calls (SAT/UNSAT): 9000(7500/1500)
Jun 03, 2017 12:32:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/2300 took 2147294 ms. Total solver calls (SAT/UNSAT): 9012(7510/1502)
Jun 03, 2017 12:32:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/2300 took 2150149 ms. Total solver calls (SAT/UNSAT): 9024(7520/1504)
Jun 03, 2017 12:32:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/2300 took 2153142 ms. Total solver calls (SAT/UNSAT): 9036(7530/1506)
Jun 03, 2017 12:32:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/2300 took 2155994 ms. Total solver calls (SAT/UNSAT): 9048(7540/1508)
Jun 03, 2017 12:33:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/2300 took 2158844 ms. Total solver calls (SAT/UNSAT): 9060(7550/1510)
Jun 03, 2017 12:33:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/2300 took 2161696 ms. Total solver calls (SAT/UNSAT): 9072(7560/1512)
Jun 03, 2017 12:33:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/2300 took 2164551 ms. Total solver calls (SAT/UNSAT): 9084(7570/1514)
Jun 03, 2017 12:33:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/2300 took 2167405 ms. Total solver calls (SAT/UNSAT): 9096(7580/1516)
Jun 03, 2017 12:33:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/2300 took 2170255 ms. Total solver calls (SAT/UNSAT): 9108(7590/1518)
Jun 03, 2017 12:33:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/2300 took 2173115 ms. Total solver calls (SAT/UNSAT): 9120(7600/1520)
Jun 03, 2017 12:33:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/2300 took 2175969 ms. Total solver calls (SAT/UNSAT): 9132(7610/1522)
Jun 03, 2017 12:33:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/2300 took 2178814 ms. Total solver calls (SAT/UNSAT): 9144(7620/1524)
Jun 03, 2017 12:33:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/2300 took 2181664 ms. Total solver calls (SAT/UNSAT): 9156(7630/1526)
Jun 03, 2017 12:33:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/2300 took 2184516 ms. Total solver calls (SAT/UNSAT): 9168(7640/1528)
Jun 03, 2017 12:33:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/2300 took 2187376 ms. Total solver calls (SAT/UNSAT): 9180(7650/1530)
Jun 03, 2017 12:33:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/2300 took 2190240 ms. Total solver calls (SAT/UNSAT): 9192(7660/1532)
Jun 03, 2017 12:33:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/2300 took 2193092 ms. Total solver calls (SAT/UNSAT): 9204(7670/1534)
Jun 03, 2017 12:33:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/2300 took 2195961 ms. Total solver calls (SAT/UNSAT): 9216(7680/1536)
Jun 03, 2017 12:33:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/2300 took 2198807 ms. Total solver calls (SAT/UNSAT): 9228(7690/1538)
Jun 03, 2017 12:33:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/2300 took 2201664 ms. Total solver calls (SAT/UNSAT): 9240(7700/1540)
Jun 03, 2017 12:33:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/2300 took 2204515 ms. Total solver calls (SAT/UNSAT): 9252(7710/1542)
Jun 03, 2017 12:33:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/2300 took 2207371 ms. Total solver calls (SAT/UNSAT): 9264(7720/1544)
Jun 03, 2017 12:33:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/2300 took 2210224 ms. Total solver calls (SAT/UNSAT): 9276(7730/1546)
Jun 03, 2017 12:33:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/2300 took 2213069 ms. Total solver calls (SAT/UNSAT): 9288(7740/1548)
Jun 03, 2017 12:33:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/2300 took 2215916 ms. Total solver calls (SAT/UNSAT): 9300(7750/1550)
Jun 03, 2017 12:34:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/2300 took 2218769 ms. Total solver calls (SAT/UNSAT): 9312(7760/1552)
Jun 03, 2017 12:34:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/2300 took 2221626 ms. Total solver calls (SAT/UNSAT): 9324(7770/1554)
Jun 03, 2017 12:34:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/2300 took 2224481 ms. Total solver calls (SAT/UNSAT): 9336(7780/1556)
Jun 03, 2017 12:34:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/2300 took 2227334 ms. Total solver calls (SAT/UNSAT): 9348(7790/1558)
Jun 03, 2017 12:34:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/2300 took 2230190 ms. Total solver calls (SAT/UNSAT): 9360(7800/1560)
Jun 03, 2017 12:34:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/2300 took 2233042 ms. Total solver calls (SAT/UNSAT): 9372(7810/1562)
Jun 03, 2017 12:34:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/2300 took 2235894 ms. Total solver calls (SAT/UNSAT): 9384(7820/1564)
Jun 03, 2017 12:34:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/2300 took 2238745 ms. Total solver calls (SAT/UNSAT): 9396(7830/1566)
Jun 03, 2017 12:34:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/2300 took 2241598 ms. Total solver calls (SAT/UNSAT): 9408(7840/1568)
Jun 03, 2017 12:34:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/2300 took 2244457 ms. Total solver calls (SAT/UNSAT): 9420(7850/1570)
Jun 03, 2017 12:34:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/2300 took 2247331 ms. Total solver calls (SAT/UNSAT): 9432(7860/1572)
Jun 03, 2017 12:34:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/2300 took 2250195 ms. Total solver calls (SAT/UNSAT): 9444(7870/1574)
Jun 03, 2017 12:34:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/2300 took 2253071 ms. Total solver calls (SAT/UNSAT): 9456(7880/1576)
Jun 03, 2017 12:34:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/2300 took 2255938 ms. Total solver calls (SAT/UNSAT): 9468(7890/1578)
Jun 03, 2017 12:34:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/2300 took 2258807 ms. Total solver calls (SAT/UNSAT): 9480(7900/1580)
Jun 03, 2017 12:34:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/2300 took 2261680 ms. Total solver calls (SAT/UNSAT): 9492(7910/1582)
Jun 03, 2017 12:34:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/2300 took 2264542 ms. Total solver calls (SAT/UNSAT): 9504(7920/1584)
Jun 03, 2017 12:34:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/2300 took 2267416 ms. Total solver calls (SAT/UNSAT): 9516(7930/1586)
Jun 03, 2017 12:34:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/2300 took 2270291 ms. Total solver calls (SAT/UNSAT): 9528(7940/1588)
Jun 03, 2017 12:34:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/2300 took 2273209 ms. Total solver calls (SAT/UNSAT): 9540(7950/1590)
Jun 03, 2017 12:34:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/2300 took 2276065 ms. Total solver calls (SAT/UNSAT): 9552(7960/1592)
Jun 03, 2017 12:35:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/2300 took 2278914 ms. Total solver calls (SAT/UNSAT): 9564(7970/1594)
Jun 03, 2017 12:35:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/2300 took 2281772 ms. Total solver calls (SAT/UNSAT): 9576(7980/1596)
Jun 03, 2017 12:35:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/2300 took 2284616 ms. Total solver calls (SAT/UNSAT): 9588(7990/1598)
Jun 03, 2017 12:35:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/2300 took 2287458 ms. Total solver calls (SAT/UNSAT): 9600(8000/1600)
Jun 03, 2017 12:35:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/2300 took 2290323 ms. Total solver calls (SAT/UNSAT): 9612(8010/1602)
Jun 03, 2017 12:35:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/2300 took 2293162 ms. Total solver calls (SAT/UNSAT): 9624(8020/1604)
Jun 03, 2017 12:35:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/2300 took 2296018 ms. Total solver calls (SAT/UNSAT): 9636(8030/1606)
Jun 03, 2017 12:35:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/2300 took 2298874 ms. Total solver calls (SAT/UNSAT): 9648(8040/1608)
Jun 03, 2017 12:35:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/2300 took 2301724 ms. Total solver calls (SAT/UNSAT): 9660(8050/1610)
Jun 03, 2017 12:35:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/2300 took 2304575 ms. Total solver calls (SAT/UNSAT): 9672(8060/1612)
Jun 03, 2017 12:35:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/2300 took 2307431 ms. Total solver calls (SAT/UNSAT): 9684(8070/1614)
Jun 03, 2017 12:35:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/2300 took 2310280 ms. Total solver calls (SAT/UNSAT): 9696(8080/1616)
Jun 03, 2017 12:35:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/2300 took 2313141 ms. Total solver calls (SAT/UNSAT): 9708(8090/1618)
Jun 03, 2017 12:35:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/2300 took 2315987 ms. Total solver calls (SAT/UNSAT): 9720(8100/1620)
Jun 03, 2017 12:35:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/2300 took 2318835 ms. Total solver calls (SAT/UNSAT): 9732(8110/1622)
Jun 03, 2017 12:35:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/2300 took 2321684 ms. Total solver calls (SAT/UNSAT): 9744(8120/1624)
Jun 03, 2017 12:35:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/2300 took 2324541 ms. Total solver calls (SAT/UNSAT): 9756(8130/1626)
Jun 03, 2017 12:35:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/2300 took 2327395 ms. Total solver calls (SAT/UNSAT): 9768(8140/1628)
Jun 03, 2017 12:35:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/2300 took 2330252 ms. Total solver calls (SAT/UNSAT): 9780(8150/1630)
Jun 03, 2017 12:35:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :815/2300 took 2333102 ms. Total solver calls (SAT/UNSAT): 9792(8160/1632)
Jun 03, 2017 12:35:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/2300 took 2335949 ms. Total solver calls (SAT/UNSAT): 9804(8170/1634)
Jun 03, 2017 12:36:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/2300 took 2338800 ms. Total solver calls (SAT/UNSAT): 9816(8180/1636)
Jun 03, 2017 12:36:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/2300 took 2341656 ms. Total solver calls (SAT/UNSAT): 9828(8190/1638)
Jun 03, 2017 12:36:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/2300 took 2344498 ms. Total solver calls (SAT/UNSAT): 9840(8200/1640)
Jun 03, 2017 12:36:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/2300 took 2347350 ms. Total solver calls (SAT/UNSAT): 9852(8210/1642)
Jun 03, 2017 12:36:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/2300 took 2350197 ms. Total solver calls (SAT/UNSAT): 9864(8220/1644)
Jun 03, 2017 12:36:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/2300 took 2353048 ms. Total solver calls (SAT/UNSAT): 9876(8230/1646)
Jun 03, 2017 12:36:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/2300 took 2355896 ms. Total solver calls (SAT/UNSAT): 9888(8240/1648)
Jun 03, 2017 12:36:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/2300 took 2358747 ms. Total solver calls (SAT/UNSAT): 9900(8250/1650)
Jun 03, 2017 12:36:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/2300 took 2361599 ms. Total solver calls (SAT/UNSAT): 9912(8260/1652)
Jun 03, 2017 12:36:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/2300 took 2364443 ms. Total solver calls (SAT/UNSAT): 9924(8270/1654)
Jun 03, 2017 12:36:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/2300 took 2367298 ms. Total solver calls (SAT/UNSAT): 9936(8280/1656)
Jun 03, 2017 12:36:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/2300 took 2370210 ms. Total solver calls (SAT/UNSAT): 9948(8290/1658)
Jun 03, 2017 12:36:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/2300 took 2373067 ms. Total solver calls (SAT/UNSAT): 9960(8300/1660)
Jun 03, 2017 12:36:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/2300 took 2375927 ms. Total solver calls (SAT/UNSAT): 9972(8310/1662)
Jun 03, 2017 12:36:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/2300 took 2378788 ms. Total solver calls (SAT/UNSAT): 9984(8320/1664)
Jun 03, 2017 12:36:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/2300 took 2381637 ms. Total solver calls (SAT/UNSAT): 9996(8330/1666)
Jun 03, 2017 12:36:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/2300 took 2384485 ms. Total solver calls (SAT/UNSAT): 10008(8340/1668)
Jun 03, 2017 12:36:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/2300 took 2387333 ms. Total solver calls (SAT/UNSAT): 10020(8350/1670)
Jun 03, 2017 12:36:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/2300 took 2390183 ms. Total solver calls (SAT/UNSAT): 10032(8360/1672)
Jun 03, 2017 12:36:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/2300 took 2393034 ms. Total solver calls (SAT/UNSAT): 10044(8370/1674)
Jun 03, 2017 12:36:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :837/2300 took 2395877 ms. Total solver calls (SAT/UNSAT): 10056(8380/1676)
Jun 03, 2017 12:37:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/2300 took 2398735 ms. Total solver calls (SAT/UNSAT): 10068(8390/1678)
Jun 03, 2017 12:37:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :839/2300 took 2401598 ms. Total solver calls (SAT/UNSAT): 10080(8400/1680)
Jun 03, 2017 12:37:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/2300 took 2404449 ms. Total solver calls (SAT/UNSAT): 10092(8410/1682)
Jun 03, 2017 12:37:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/2300 took 2407300 ms. Total solver calls (SAT/UNSAT): 10104(8420/1684)
Jun 03, 2017 12:37:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/2300 took 2410150 ms. Total solver calls (SAT/UNSAT): 10116(8430/1686)
Jun 03, 2017 12:37:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/2300 took 2413006 ms. Total solver calls (SAT/UNSAT): 10128(8440/1688)
Jun 03, 2017 12:37:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/2300 took 2415864 ms. Total solver calls (SAT/UNSAT): 10140(8450/1690)
Jun 03, 2017 12:37:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/2300 took 2418714 ms. Total solver calls (SAT/UNSAT): 10152(8460/1692)
Jun 03, 2017 12:37:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/2300 took 2421568 ms. Total solver calls (SAT/UNSAT): 10164(8470/1694)

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_CSRepetitions-COL-10.tgz
mv S_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 S_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 r100-ebro-149488457400104"
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 ;