About the Execution of ITS-Tools for S_BridgeAndVehicles-COL-V50P20N10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10382.730 | 3600000.00 | 7133378.00 | 293.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_BridgeAndVehicles-COL-V50P20N10, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076700329
=====================================================================
--------------------
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 BridgeAndVehicles-COL-V50P20N10-LTLCardinality-0
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-1
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-10
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-11
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-12
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-13
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-14
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-15
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-2
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-3
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-4
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-5
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-6
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-7
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-8
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496393490737
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 : !(("((((((((((((((((((((((((((((((((((((((((((((((((((NB_ATTENTE_A[0]+NB_ATTENTE_A[1])+NB_ATTENTE_A[2])+NB_ATTENTE_A[3])+NB_ATTENTE_A[4])+NB_ATTENTE_A[5])+NB_ATTENTE_A[6])+NB_ATTENTE_A[7])+NB_ATTENTE_A[8])+NB_ATTENTE_A[9])+NB_ATTENTE_A[10])+NB_ATTENTE_A[11])+NB_ATTENTE_A[12])+NB_ATTENTE_A[13])+NB_ATTENTE_A[14])+NB_ATTENTE_A[15])+NB_ATTENTE_A[16])+NB_ATTENTE_A[17])+NB_ATTENTE_A[18])+NB_ATTENTE_A[19])+NB_ATTENTE_A[20])+NB_ATTENTE_A[21])+NB_ATTENTE_A[22])+NB_ATTENTE_A[23])+NB_ATTENTE_A[24])+NB_ATTENTE_A[25])+NB_ATTENTE_A[26])+NB_ATTENTE_A[27])+NB_ATTENTE_A[28])+NB_ATTENTE_A[29])+NB_ATTENTE_A[30])+NB_ATTENTE_A[31])+NB_ATTENTE_A[32])+NB_ATTENTE_A[33])+NB_ATTENTE_A[34])+NB_ATTENTE_A[35])+NB_ATTENTE_A[36])+NB_ATTENTE_A[37])+NB_ATTENTE_A[38])+NB_ATTENTE_A[39])+NB_ATTENTE_A[40])+NB_ATTENTE_A[41])+NB_ATTENTE_A[42])+NB_ATTENTE_A[43])+NB_ATTENTE_A[44])+NB_ATTENTE_A[45])+NB_ATTENTE_A[46])+NB_ATTENTE_A[47])+NB_ATTENTE_A[48])+NB_ATTENTE_A[49])+NB_ATTENTE_A[50])<=SUR_PONT_B[0]"))
Formula 0 simplified : !"((((((((((((((((((((((((((((((((((((((((((((((((((NB_ATTENTE_A[0]+NB_ATTENTE_A[1])+NB_ATTENTE_A[2])+NB_ATTENTE_A[3])+NB_ATTENTE_A[4])+NB_ATTENTE_A[5])+NB_ATTENTE_A[6])+NB_ATTENTE_A[7])+NB_ATTENTE_A[8])+NB_ATTENTE_A[9])+NB_ATTENTE_A[10])+NB_ATTENTE_A[11])+NB_ATTENTE_A[12])+NB_ATTENTE_A[13])+NB_ATTENTE_A[14])+NB_ATTENTE_A[15])+NB_ATTENTE_A[16])+NB_ATTENTE_A[17])+NB_ATTENTE_A[18])+NB_ATTENTE_A[19])+NB_ATTENTE_A[20])+NB_ATTENTE_A[21])+NB_ATTENTE_A[22])+NB_ATTENTE_A[23])+NB_ATTENTE_A[24])+NB_ATTENTE_A[25])+NB_ATTENTE_A[26])+NB_ATTENTE_A[27])+NB_ATTENTE_A[28])+NB_ATTENTE_A[29])+NB_ATTENTE_A[30])+NB_ATTENTE_A[31])+NB_ATTENTE_A[32])+NB_ATTENTE_A[33])+NB_ATTENTE_A[34])+NB_ATTENTE_A[35])+NB_ATTENTE_A[36])+NB_ATTENTE_A[37])+NB_ATTENTE_A[38])+NB_ATTENTE_A[39])+NB_ATTENTE_A[40])+NB_ATTENTE_A[41])+NB_ATTENTE_A[42])+NB_ATTENTE_A[43])+NB_ATTENTE_A[44])+NB_ATTENTE_A[45])+NB_ATTENTE_A[46])+NB_ATTENTE_A[47])+NB_ATTENTE_A[48])+NB_ATTENTE_A[49])+NB_ATTENTE_A[50])<=SUR_PONT_B[0]"
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1328 rows 128 cols
invariant : 1'SORTI_A[0] + 1'ROUTE_A[0] + 1'ATTENTE_A[0] + 1'SUR_PONT_A[0]= 50
invariant : 1'NB_ATTENTE_B[0] + 1'NB_ATTENTE_B[1] + 1'NB_ATTENTE_B[2] + 1'NB_ATTENTE_B[3] + 1'NB_ATTENTE_B[4] + 1'NB_ATTENTE_B[5] + 1'NB_ATTENTE_B[6] + 1'NB_ATTENTE_B[7] + 1'NB_ATTENTE_B[8] + 1'NB_ATTENTE_B[9] + 1'NB_ATTENTE_B[10] + 1'NB_ATTENTE_B[11] + 1'NB_ATTENTE_B[12] + 1'NB_ATTENTE_B[13] + 1'NB_ATTENTE_B[14] + 1'NB_ATTENTE_B[15] + 1'NB_ATTENTE_B[16] + 1'NB_ATTENTE_B[17] + 1'NB_ATTENTE_B[18] + 1'NB_ATTENTE_B[19] + 1'NB_ATTENTE_B[20] + 1'NB_ATTENTE_B[21] + 1'NB_ATTENTE_B[22] + 1'NB_ATTENTE_B[23] + 1'NB_ATTENTE_B[24] + 1'NB_ATTENTE_B[25] + 1'NB_ATTENTE_B[26] + 1'NB_ATTENTE_B[27] + 1'NB_ATTENTE_B[28] + 1'NB_ATTENTE_B[29] + 1'NB_ATTENTE_B[30] + 1'NB_ATTENTE_B[31] + 1'NB_ATTENTE_B[32] + 1'NB_ATTENTE_B[33] + 1'NB_ATTENTE_B[34] + 1'NB_ATTENTE_B[35] + 1'NB_ATTENTE_B[36] + 1'NB_ATTENTE_B[37] + 1'NB_ATTENTE_B[38] + 1'NB_ATTENTE_B[39] + 1'NB_ATTENTE_B[40] + 1'NB_ATTENTE_B[41] + 1'NB_ATTENTE_B[42] + 1'NB_ATTENTE_B[43] + 1'NB_ATTENTE_B[44] + 1'NB_ATTENTE_B[45] + 1'NB_ATTENTE_B[46] + 1'NB_ATTENTE_B[47] + 1'NB_ATTENTE_B[48] + 1'NB_ATTENTE_B[49] + 1'NB_ATTENTE_B[50]= 1
invariant : -1'CAPACITE[0] + 1'SORTI_A[0] + 1'ROUTE_A[0] + 1'ATTENTE_A[0] + 1'ATTENTE_B[0] + 1'ROUTE_B[0] + 1'SORTI_B[0]= 80
invariant : 1'COMPTEUR[0] + 1'COMPTEUR[1] + 1'COMPTEUR[2] + 1'COMPTEUR[3] + 1'COMPTEUR[4] + 1'COMPTEUR[5] + 1'COMPTEUR[6] + 1'COMPTEUR[7] + 1'COMPTEUR[8] + 1'COMPTEUR[9] + 1'COMPTEUR[10]= 1
invariant : 1'CONTROLEUR[0] + 1'CONTROLEUR[1] + 1'CHOIX[0] + 1'CHOIX[1] + 1'VIDANGE[0] + 1'VIDANGE[1]= 1
invariant : 1'CAPACITE[0] + -1'SORTI_A[0] + -1'ROUTE_A[0] + -1'ATTENTE_A[0] + 1'SUR_PONT_B[0]= -30
invariant : 1'NB_ATTENTE_A[0] + 1'NB_ATTENTE_A[1] + 1'NB_ATTENTE_A[2] + 1'NB_ATTENTE_A[3] + 1'NB_ATTENTE_A[4] + 1'NB_ATTENTE_A[5] + 1'NB_ATTENTE_A[6] + 1'NB_ATTENTE_A[7] + 1'NB_ATTENTE_A[8] + 1'NB_ATTENTE_A[9] + 1'NB_ATTENTE_A[10] + 1'NB_ATTENTE_A[11] + 1'NB_ATTENTE_A[12] + 1'NB_ATTENTE_A[13] + 1'NB_ATTENTE_A[14] + 1'NB_ATTENTE_A[15] + 1'NB_ATTENTE_A[16] + 1'NB_ATTENTE_A[17] + 1'NB_ATTENTE_A[18] + 1'NB_ATTENTE_A[19] + 1'NB_ATTENTE_A[20] + 1'NB_ATTENTE_A[21] + 1'NB_ATTENTE_A[22] + 1'NB_ATTENTE_A[23] + 1'NB_ATTENTE_A[24] + 1'NB_ATTENTE_A[25] + 1'NB_ATTENTE_A[26] + 1'NB_ATTENTE_A[27] + 1'NB_ATTENTE_A[28] + 1'NB_ATTENTE_A[29] + 1'NB_ATTENTE_A[30] + 1'NB_ATTENTE_A[31] + 1'NB_ATTENTE_A[32] + 1'NB_ATTENTE_A[33] + 1'NB_ATTENTE_A[34] + 1'NB_ATTENTE_A[35] + 1'NB_ATTENTE_A[36] + 1'NB_ATTENTE_A[37] + 1'NB_ATTENTE_A[38] + 1'NB_ATTENTE_A[39] + 1'NB_ATTENTE_A[40] + 1'NB_ATTENTE_A[41] + 1'NB_ATTENTE_A[42] + 1'NB_ATTENTE_A[43] + 1'NB_ATTENTE_A[44] + 1'NB_ATTENTE_A[45] + 1'NB_ATTENTE_A[46] + 1'NB_ATTENTE_A[47] + 1'NB_ATTENTE_A[48] + 1'NB_ATTENTE_A[49] + 1'NB_ATTENTE_A[50]= 1
Detected timeout of ITS tools.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 8:51:32 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 8:51:32 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 02, 2017 8:51:33 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1437 ms
Jun 02, 2017 8:51:33 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
Jun 02, 2017 8:51:33 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 8:51:33 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :sens->CONTROLEUR,CHOIX,VIDANGE,
compteur->COMPTEUR,
Dot->CAPACITE,SORTI_A,ROUTE_A,ATTENTE_A,SUR_PONT_A,SUR_PONT_B,ATTENTE_B,ROUTE_B,SORTI_B,
voitureA->NB_ATTENTE_A,
voitureB->NB_ATTENTE_B,
Jun 02, 2017 8:51:33 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
Jun 02, 2017 8:51:33 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 8:51:33 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 119 instantiations of transitions. Total transitions/syncs built is 358
Jun 02, 2017 8:51:34 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 121 ms
Jun 02, 2017 8:51:34 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 15 ms
Jun 02, 2017 8:51:34 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 02, 2017 8:51:35 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 137 ms
Jun 02, 2017 8:51:39 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 128 variables to be positive in 3662 ms
Jun 02, 2017 8:51:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1328 transitions.
Jun 02, 2017 8:51:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1328 took 110 ms. Total solver calls (SAT/UNSAT): 713(2/711)
Jun 02, 2017 8:51:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 1138 ms. Total solver calls (SAT/UNSAT): 8556(24/8532)
Jun 02, 2017 8:51:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1328 took 2210 ms. Total solver calls (SAT/UNSAT): 17112(48/17064)
Jun 02, 2017 8:51:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/1328 took 3286 ms. Total solver calls (SAT/UNSAT): 25668(72/25596)
Jun 02, 2017 8:51:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/1328 took 4354 ms. Total solver calls (SAT/UNSAT): 34224(96/34128)
Jun 02, 2017 8:51:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/1328 took 5457 ms. Total solver calls (SAT/UNSAT): 43489(133/43356)
Jun 02, 2017 8:51:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/1328 took 6470 ms. Total solver calls (SAT/UNSAT): 52008(169/51839)
Jun 02, 2017 8:51:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/1328 took 7485 ms. Total solver calls (SAT/UNSAT): 60526(205/60321)
Jun 02, 2017 8:51:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/1328 took 8560 ms. Total solver calls (SAT/UNSAT): 69712(244/69468)
Jun 02, 2017 8:51:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/1328 took 9633 ms. Total solver calls (SAT/UNSAT): 78898(283/78615)
Jun 02, 2017 8:51:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/1328 took 10710 ms. Total solver calls (SAT/UNSAT): 88084(322/87762)
Jun 02, 2017 8:51:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/1328 took 11712 ms. Total solver calls (SAT/UNSAT): 96602(358/96244)
Jun 02, 2017 8:51:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/1328 took 12712 ms. Total solver calls (SAT/UNSAT): 105120(394/104726)
Jun 02, 2017 8:51:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/1328 took 13794 ms. Total solver calls (SAT/UNSAT): 114139(430/113709)
Jun 02, 2017 8:51:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/1328 took 14826 ms. Total solver calls (SAT/UNSAT): 122658(466/122192)
Jun 02, 2017 8:51:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/1328 took 15831 ms. Total solver calls (SAT/UNSAT): 131176(502/130674)
Jun 02, 2017 8:51:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/1328 took 16906 ms. Total solver calls (SAT/UNSAT): 140362(541/139821)
Jun 02, 2017 8:51:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/1328 took 17981 ms. Total solver calls (SAT/UNSAT): 149548(580/148968)
Jun 02, 2017 8:51:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/1328 took 19056 ms. Total solver calls (SAT/UNSAT): 158734(619/158115)
Jun 02, 2017 8:51:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/1328 took 20057 ms. Total solver calls (SAT/UNSAT): 167252(655/166597)
Jun 02, 2017 8:52:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/1328 took 21190 ms. Total solver calls (SAT/UNSAT): 176939(694/176245)
Jun 02, 2017 8:52:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/1328 took 22264 ms. Total solver calls (SAT/UNSAT): 186126(733/185393)
Jun 02, 2017 8:52:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/1328 took 23266 ms. Total solver calls (SAT/UNSAT): 194644(769/193875)
Jun 02, 2017 8:52:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/1328 took 24306 ms. Total solver calls (SAT/UNSAT): 203162(805/202357)
Jun 02, 2017 8:52:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/1328 took 25306 ms. Total solver calls (SAT/UNSAT): 211680(841/210839)
Jun 02, 2017 8:52:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/1328 took 26309 ms. Total solver calls (SAT/UNSAT): 220198(877/219321)
Jun 02, 2017 8:52:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/1328 took 27383 ms. Total solver calls (SAT/UNSAT): 229384(916/228468)
Jun 02, 2017 8:52:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/1328 took 28460 ms. Total solver calls (SAT/UNSAT): 237902(952/236950)
Jun 02, 2017 8:52:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/1328 took 29521 ms. Total solver calls (SAT/UNSAT): 246420(988/245432)
Jun 02, 2017 8:52:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/1328 took 30577 ms. Total solver calls (SAT/UNSAT): 255439(1024/254415)
Jun 02, 2017 8:52:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/1328 took 31649 ms. Total solver calls (SAT/UNSAT): 264626(1063/263563)
Jun 02, 2017 8:52:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/1328 took 32663 ms. Total solver calls (SAT/UNSAT): 273144(1099/272045)
Jun 02, 2017 8:52:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/1328 took 33676 ms. Total solver calls (SAT/UNSAT): 281662(1135/280527)
Jun 02, 2017 8:52:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/1328 took 34744 ms. Total solver calls (SAT/UNSAT): 290848(1174/289674)
Jun 02, 2017 8:52:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/1328 took 35773 ms. Total solver calls (SAT/UNSAT): 299366(1210/298156)
Jun 02, 2017 8:52:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/1328 took 36802 ms. Total solver calls (SAT/UNSAT): 307884(1246/306638)
Jun 02, 2017 8:52:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/1328 took 37803 ms. Total solver calls (SAT/UNSAT): 316402(1282/315120)
Jun 02, 2017 8:52:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/1328 took 38934 ms. Total solver calls (SAT/UNSAT): 326089(1321/324768)
Jun 02, 2017 8:52:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/1328 took 40038 ms. Total solver calls (SAT/UNSAT): 335276(1360/333916)
Jun 02, 2017 8:52:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/1328 took 41115 ms. Total solver calls (SAT/UNSAT): 343794(1396/342398)
Jun 02, 2017 8:52:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/1328 took 42151 ms. Total solver calls (SAT/UNSAT): 352312(1432/350880)
Jun 02, 2017 8:52:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/1328 took 43225 ms. Total solver calls (SAT/UNSAT): 361498(1471/360027)
Jun 02, 2017 8:52:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/1328 took 44225 ms. Total solver calls (SAT/UNSAT): 370016(1507/368509)
Jun 02, 2017 8:52:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/1328 took 45259 ms. Total solver calls (SAT/UNSAT): 378534(1543/376991)
Jun 02, 2017 8:52:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/1328 took 46320 ms. Total solver calls (SAT/UNSAT): 387720(1582/386138)
Jun 02, 2017 8:52:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/1328 took 47356 ms. Total solver calls (SAT/UNSAT): 396739(1618/395121)
Jun 02, 2017 8:52:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/1328 took 48411 ms. Total solver calls (SAT/UNSAT): 405926(1657/404269)
Jun 02, 2017 8:52:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/1328 took 49467 ms. Total solver calls (SAT/UNSAT): 415112(1696/413416)
Jun 02, 2017 8:52:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/1328 took 50525 ms. Total solver calls (SAT/UNSAT): 424298(1735/422563)
Jun 02, 2017 8:52:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/1328 took 51581 ms. Total solver calls (SAT/UNSAT): 433476(1774/431702)
Jun 02, 2017 8:52:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/1328 took 52635 ms. Total solver calls (SAT/UNSAT): 442659(1813/440846)
Jun 02, 2017 8:52:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/1328 took 53668 ms. Total solver calls (SAT/UNSAT): 451678(1849/449829)
Jun 02, 2017 8:52:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/1328 took 54670 ms. Total solver calls (SAT/UNSAT): 460197(1885/458312)
Jun 02, 2017 8:52:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/1328 took 55743 ms. Total solver calls (SAT/UNSAT): 469383(1924/467459)
Jun 02, 2017 8:52:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/1328 took 56794 ms. Total solver calls (SAT/UNSAT): 478569(1963/476606)
Jun 02, 2017 8:52:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/1328 took 57847 ms. Total solver calls (SAT/UNSAT): 487755(2002/485753)
Jun 02, 2017 8:52:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/1328 took 58899 ms. Total solver calls (SAT/UNSAT): 496941(2041/494900)
Jun 02, 2017 8:52:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/1328 took 60007 ms. Total solver calls (SAT/UNSAT): 506628(2080/504548)
Jun 02, 2017 8:52:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/1328 took 61010 ms. Total solver calls (SAT/UNSAT): 514478(2113/512365)
Jun 02, 2017 8:52:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/1328 took 62073 ms. Total solver calls (SAT/UNSAT): 523665(2152/521513)
Jun 02, 2017 8:52:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/1328 took 63134 ms. Total solver calls (SAT/UNSAT): 532851(2191/530660)
Jun 02, 2017 8:52:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/1328 took 64189 ms. Total solver calls (SAT/UNSAT): 542037(2230/539807)
Jun 02, 2017 8:52:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/1328 took 65248 ms. Total solver calls (SAT/UNSAT): 551223(2269/548954)
Jun 02, 2017 8:52:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/1328 took 66302 ms. Total solver calls (SAT/UNSAT): 560409(2308/558101)
Jun 02, 2017 8:52:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/1328 took 67339 ms. Total solver calls (SAT/UNSAT): 569428(2344/567084)
Jun 02, 2017 8:52:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/1328 took 68395 ms. Total solver calls (SAT/UNSAT): 578615(2383/576232)
Jun 02, 2017 8:52:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/1328 took 69449 ms. Total solver calls (SAT/UNSAT): 587801(2422/585379)
Jun 02, 2017 8:52:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/1328 took 70504 ms. Total solver calls (SAT/UNSAT): 596987(2461/594526)
Jun 02, 2017 8:52:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :849/1328 took 71558 ms. Total solver calls (SAT/UNSAT): 606173(2500/603673)
Jun 02, 2017 8:52:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :862/1328 took 72614 ms. Total solver calls (SAT/UNSAT): 615359(2539/612820)
Jun 02, 2017 8:52:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/1328 took 73650 ms. Total solver calls (SAT/UNSAT): 624378(2575/621803)
Jun 02, 2017 8:52:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/1328 took 74710 ms. Total solver calls (SAT/UNSAT): 633565(2614/630951)
Jun 02, 2017 8:52:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/1328 took 75766 ms. Total solver calls (SAT/UNSAT): 642751(2653/640098)
Jun 02, 2017 8:52:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :913/1328 took 76824 ms. Total solver calls (SAT/UNSAT): 651937(2692/649245)
Jun 02, 2017 8:52:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/1328 took 77880 ms. Total solver calls (SAT/UNSAT): 661123(2731/658392)
Jun 02, 2017 8:52:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/1328 took 78942 ms. Total solver calls (SAT/UNSAT): 670309(2770/667539)
Jun 02, 2017 8:52:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/1328 took 79990 ms. Total solver calls (SAT/UNSAT): 679328(2806/676522)
Jun 02, 2017 8:53:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/1328 took 81046 ms. Total solver calls (SAT/UNSAT): 688515(2845/685670)
Jun 02, 2017 8:53:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/1328 took 82066 ms. Total solver calls (SAT/UNSAT): 697033(2881/694152)
Jun 02, 2017 8:53:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :989/1328 took 83122 ms. Total solver calls (SAT/UNSAT): 706219(2920/703299)
Jun 02, 2017 8:53:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1002/1328 took 84172 ms. Total solver calls (SAT/UNSAT): 715405(2959/712446)
Jun 02, 2017 8:53:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1015/1328 took 85221 ms. Total solver calls (SAT/UNSAT): 724591(2998/721593)
Jun 02, 2017 8:53:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/1328 took 86328 ms. Total solver calls (SAT/UNSAT): 734278(3037/731241)
Jun 02, 2017 8:53:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1041/1328 took 87379 ms. Total solver calls (SAT/UNSAT): 743465(3076/740389)
Jun 02, 2017 8:53:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/1328 took 88432 ms. Total solver calls (SAT/UNSAT): 752651(3115/749536)
Jun 02, 2017 8:53:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1067/1328 took 89483 ms. Total solver calls (SAT/UNSAT): 761837(3154/758683)
Jun 02, 2017 8:53:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/1328 took 90536 ms. Total solver calls (SAT/UNSAT): 771023(3193/767830)
Jun 02, 2017 8:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1093/1328 took 91589 ms. Total solver calls (SAT/UNSAT): 780209(3232/776977)
Jun 02, 2017 8:53:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1105/1328 took 92631 ms. Total solver calls (SAT/UNSAT): 789228(3268/785960)
Jun 02, 2017 8:53:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/1328 took 93720 ms. Total solver calls (SAT/UNSAT): 798415(3307/795108)
Jun 02, 2017 8:53:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/1328 took 94792 ms. Total solver calls (SAT/UNSAT): 807601(3346/804255)
Jun 02, 2017 8:53:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/1328 took 95852 ms. Total solver calls (SAT/UNSAT): 816787(3385/813402)
Jun 02, 2017 8:53:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/1328 took 96969 ms. Total solver calls (SAT/UNSAT): 826236(3422/822814)
Jun 02, 2017 8:53:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/1328 took 98043 ms. Total solver calls (SAT/UNSAT): 834574(3538/831036)
Jun 02, 2017 8:53:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/1328 took 99060 ms. Total solver calls (SAT/UNSAT): 843130(3562/839568)
Jun 02, 2017 8:53:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/1328 took 100073 ms. Total solver calls (SAT/UNSAT): 851686(3586/848100)
Jun 02, 2017 8:53:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/1328 took 101088 ms. Total solver calls (SAT/UNSAT): 860242(3610/856632)
Jun 02, 2017 8:53:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1316/1328 took 102089 ms. Total solver calls (SAT/UNSAT): 868116(3707/864409)
Jun 02, 2017 8:53:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 102176 ms. Total solver calls (SAT/UNSAT): 868698(3728/864970)
Jun 02, 2017 8:53:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1328 transitions.
Jun 02, 2017 8:53:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/1328 took 1316 ms. Total solver calls (SAT/UNSAT): 2852(52/2800)
Jun 02, 2017 8:53:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/1328 took 2617 ms. Total solver calls (SAT/UNSAT): 5704(104/5600)
Jun 02, 2017 8:53:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 3920 ms. Total solver calls (SAT/UNSAT): 8556(156/8400)
Jun 02, 2017 8:53:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/1328 took 5223 ms. Total solver calls (SAT/UNSAT): 11408(208/11200)
Jun 02, 2017 8:53:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/1328 took 6525 ms. Total solver calls (SAT/UNSAT): 14260(260/14000)
Jun 02, 2017 8:53:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1328 took 7828 ms. Total solver calls (SAT/UNSAT): 17112(312/16800)
Jun 02, 2017 8:53:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/1328 took 9131 ms. Total solver calls (SAT/UNSAT): 19964(364/19600)
Jun 02, 2017 8:53:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/1328 took 10438 ms. Total solver calls (SAT/UNSAT): 22816(416/22400)
Jun 02, 2017 8:53:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/1328 took 11755 ms. Total solver calls (SAT/UNSAT): 25668(468/25200)
Jun 02, 2017 8:53:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/1328 took 13066 ms. Total solver calls (SAT/UNSAT): 28520(520/28000)
Jun 02, 2017 8:53:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/1328 took 14098 ms. Total solver calls (SAT/UNSAT): 30659(559/30100)
Jun 02, 2017 8:53:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/1328 took 15416 ms. Total solver calls (SAT/UNSAT): 33511(611/32900)
Jun 02, 2017 8:53:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/1328 took 16696 ms. Total solver calls (SAT/UNSAT): 36318(653/35665)
Jun 02, 2017 8:53:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/1328 took 17960 ms. Total solver calls (SAT/UNSAT): 38986(665/38321)
Jun 02, 2017 8:53:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/1328 took 19130 ms. Total solver calls (SAT/UNSAT): 41654(677/40977)
Jun 02, 2017 8:53:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/1328 took 20221 ms. Total solver calls (SAT/UNSAT): 44158(685/43473)
Jun 02, 2017 8:53:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/1328 took 21389 ms. Total solver calls (SAT/UNSAT): 46830(697/46133)
Jun 02, 2017 8:53:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/1328 took 22563 ms. Total solver calls (SAT/UNSAT): 49502(709/48793)
Jun 02, 2017 8:53:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/1328 took 23657 ms. Total solver calls (SAT/UNSAT): 52008(717/51291)
Jun 02, 2017 8:53:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/1328 took 24824 ms. Total solver calls (SAT/UNSAT): 54680(729/53951)
Jun 02, 2017 8:53:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/1328 took 25999 ms. Total solver calls (SAT/UNSAT): 57352(741/56611)
Jun 02, 2017 8:53:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/1328 took 27090 ms. Total solver calls (SAT/UNSAT): 59858(749/59109)
Jun 02, 2017 8:53:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/1328 took 28257 ms. Total solver calls (SAT/UNSAT): 62530(761/61769)
Jun 02, 2017 8:53:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/1328 took 29431 ms. Total solver calls (SAT/UNSAT): 65202(773/64429)
Jun 02, 2017 8:53:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/1328 took 30523 ms. Total solver calls (SAT/UNSAT): 67708(781/66927)
Jun 02, 2017 8:53:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/1328 took 31691 ms. Total solver calls (SAT/UNSAT): 70380(793/69587)
Jun 02, 2017 8:53:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/1328 took 32866 ms. Total solver calls (SAT/UNSAT): 73052(805/72247)
Jun 02, 2017 8:53:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/1328 took 33960 ms. Total solver calls (SAT/UNSAT): 75558(813/74745)
Jun 02, 2017 8:53:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/1328 took 35129 ms. Total solver calls (SAT/UNSAT): 78230(825/77405)
Jun 02, 2017 8:53:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/1328 took 36303 ms. Total solver calls (SAT/UNSAT): 80902(837/80065)
Jun 02, 2017 8:53:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/1328 took 37396 ms. Total solver calls (SAT/UNSAT): 83408(845/82563)
Jun 02, 2017 8:53:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/1328 took 38563 ms. Total solver calls (SAT/UNSAT): 86080(857/85223)
Jun 02, 2017 8:54:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/1328 took 39736 ms. Total solver calls (SAT/UNSAT): 88752(869/87883)
Jun 02, 2017 8:54:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/1328 took 40829 ms. Total solver calls (SAT/UNSAT): 91258(877/90381)
Jun 02, 2017 8:54:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/1328 took 41996 ms. Total solver calls (SAT/UNSAT): 93930(889/93041)
Jun 02, 2017 8:54:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/1328 took 43170 ms. Total solver calls (SAT/UNSAT): 96602(901/95701)
Jun 02, 2017 8:54:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/1328 took 44263 ms. Total solver calls (SAT/UNSAT): 99108(909/98199)
Jun 02, 2017 8:54:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/1328 took 45431 ms. Total solver calls (SAT/UNSAT): 101780(921/100859)
Jun 02, 2017 8:54:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/1328 took 46608 ms. Total solver calls (SAT/UNSAT): 104452(933/103519)
Jun 02, 2017 8:54:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/1328 took 47702 ms. Total solver calls (SAT/UNSAT): 106958(941/106017)
Jun 02, 2017 8:54:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/1328 took 48870 ms. Total solver calls (SAT/UNSAT): 109630(953/108677)
Jun 02, 2017 8:54:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/1328 took 50044 ms. Total solver calls (SAT/UNSAT): 112302(965/111337)
Jun 02, 2017 8:54:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/1328 took 51138 ms. Total solver calls (SAT/UNSAT): 114808(973/113835)
Jun 02, 2017 8:54:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/1328 took 52305 ms. Total solver calls (SAT/UNSAT): 117480(985/116495)
Jun 02, 2017 8:54:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/1328 took 53478 ms. Total solver calls (SAT/UNSAT): 120152(997/119155)
Jun 02, 2017 8:54:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/1328 took 54569 ms. Total solver calls (SAT/UNSAT): 122658(1005/121653)
Jun 02, 2017 8:54:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/1328 took 55736 ms. Total solver calls (SAT/UNSAT): 125330(1017/124313)
Jun 02, 2017 8:54:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/1328 took 56909 ms. Total solver calls (SAT/UNSAT): 128002(1029/126973)
Jun 02, 2017 8:54:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/1328 took 58000 ms. Total solver calls (SAT/UNSAT): 130508(1037/129471)
Jun 02, 2017 8:54:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/1328 took 59169 ms. Total solver calls (SAT/UNSAT): 133180(1049/132131)
Jun 02, 2017 8:54:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/1328 took 60347 ms. Total solver calls (SAT/UNSAT): 135852(1061/134791)
Jun 02, 2017 8:54:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/1328 took 61438 ms. Total solver calls (SAT/UNSAT): 138358(1069/137289)
Jun 02, 2017 8:54:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/1328 took 62606 ms. Total solver calls (SAT/UNSAT): 141030(1081/139949)
Jun 02, 2017 8:54:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/1328 took 63779 ms. Total solver calls (SAT/UNSAT): 143702(1093/142609)
Jun 02, 2017 8:54:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/1328 took 64871 ms. Total solver calls (SAT/UNSAT): 146208(1101/145107)
Jun 02, 2017 8:54:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/1328 took 66040 ms. Total solver calls (SAT/UNSAT): 148880(1113/147767)
Jun 02, 2017 8:54:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/1328 took 67212 ms. Total solver calls (SAT/UNSAT): 151552(1125/150427)
Jun 02, 2017 8:54:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/1328 took 68304 ms. Total solver calls (SAT/UNSAT): 154058(1133/152925)
Jun 02, 2017 8:54:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/1328 took 69472 ms. Total solver calls (SAT/UNSAT): 156730(1145/155585)
Jun 02, 2017 8:54:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/1328 took 70679 ms. Total solver calls (SAT/UNSAT): 159402(1157/158245)
Jun 02, 2017 8:54:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/1328 took 71795 ms. Total solver calls (SAT/UNSAT): 161908(1165/160743)
Jun 02, 2017 8:54:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/1328 took 72966 ms. Total solver calls (SAT/UNSAT): 164580(1177/163403)
Jun 02, 2017 8:54:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/1328 took 74144 ms. Total solver calls (SAT/UNSAT): 167252(1189/166063)
Jun 02, 2017 8:54:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/1328 took 75236 ms. Total solver calls (SAT/UNSAT): 169758(1197/168561)
Jun 02, 2017 8:54:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/1328 took 76403 ms. Total solver calls (SAT/UNSAT): 172430(1209/171221)
Jun 02, 2017 8:54:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/1328 took 77582 ms. Total solver calls (SAT/UNSAT): 175102(1221/173881)
Jun 02, 2017 8:54:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/1328 took 78675 ms. Total solver calls (SAT/UNSAT): 177608(1229/176379)
Jun 02, 2017 8:54:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/1328 took 79844 ms. Total solver calls (SAT/UNSAT): 180280(1241/179039)
Jun 02, 2017 8:54:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/1328 took 81019 ms. Total solver calls (SAT/UNSAT): 182952(1253/181699)
Jun 02, 2017 8:54:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/1328 took 82113 ms. Total solver calls (SAT/UNSAT): 185458(1261/184197)
Jun 02, 2017 8:54:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/1328 took 83282 ms. Total solver calls (SAT/UNSAT): 188130(1273/186857)
Jun 02, 2017 8:54:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/1328 took 84456 ms. Total solver calls (SAT/UNSAT): 190802(1285/189517)
Jun 02, 2017 8:54:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/1328 took 85549 ms. Total solver calls (SAT/UNSAT): 193308(1293/192015)
Jun 02, 2017 8:54:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/1328 took 86718 ms. Total solver calls (SAT/UNSAT): 195980(1305/194675)
Jun 02, 2017 8:54:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/1328 took 87892 ms. Total solver calls (SAT/UNSAT): 198652(1317/197335)
Jun 02, 2017 8:54:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/1328 took 88986 ms. Total solver calls (SAT/UNSAT): 201158(1325/199833)
Jun 02, 2017 8:54:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/1328 took 90155 ms. Total solver calls (SAT/UNSAT): 203830(1337/202493)
Jun 02, 2017 8:54:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/1328 took 91330 ms. Total solver calls (SAT/UNSAT): 206502(1349/205153)
Jun 02, 2017 8:54:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/1328 took 92424 ms. Total solver calls (SAT/UNSAT): 209008(1357/207651)
Jun 02, 2017 8:54:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/1328 took 93596 ms. Total solver calls (SAT/UNSAT): 211680(1369/210311)
Jun 02, 2017 8:54:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/1328 took 94771 ms. Total solver calls (SAT/UNSAT): 214352(1381/212971)
Jun 02, 2017 8:54:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/1328 took 95881 ms. Total solver calls (SAT/UNSAT): 216858(1389/215469)
Jun 02, 2017 8:54:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/1328 took 97059 ms. Total solver calls (SAT/UNSAT): 219530(1401/218129)
Jun 02, 2017 8:54:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/1328 took 98242 ms. Total solver calls (SAT/UNSAT): 222202(1413/220789)
Jun 02, 2017 8:55:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/1328 took 99342 ms. Total solver calls (SAT/UNSAT): 224708(1421/223287)
Jun 02, 2017 8:55:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/1328 took 100520 ms. Total solver calls (SAT/UNSAT): 227380(1433/225947)
Jun 02, 2017 8:55:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/1328 took 101703 ms. Total solver calls (SAT/UNSAT): 230052(1445/228607)
Jun 02, 2017 8:55:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/1328 took 102803 ms. Total solver calls (SAT/UNSAT): 232558(1453/231105)
Jun 02, 2017 8:55:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/1328 took 103979 ms. Total solver calls (SAT/UNSAT): 235230(1465/233765)
Jun 02, 2017 8:55:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/1328 took 105161 ms. Total solver calls (SAT/UNSAT): 237902(1477/236425)
Jun 02, 2017 8:55:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/1328 took 106261 ms. Total solver calls (SAT/UNSAT): 240408(1485/238923)
Jun 02, 2017 8:55:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/1328 took 107438 ms. Total solver calls (SAT/UNSAT): 243080(1497/241583)
Jun 02, 2017 8:55:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/1328 took 108620 ms. Total solver calls (SAT/UNSAT): 245752(1509/244243)
Jun 02, 2017 8:55:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/1328 took 109719 ms. Total solver calls (SAT/UNSAT): 248258(1517/246741)
Jun 02, 2017 8:55:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/1328 took 110908 ms. Total solver calls (SAT/UNSAT): 250930(1529/249401)
Jun 02, 2017 8:55:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/1328 took 112091 ms. Total solver calls (SAT/UNSAT): 253602(1541/252061)
Jun 02, 2017 8:55:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/1328 took 113192 ms. Total solver calls (SAT/UNSAT): 256108(1549/254559)
Jun 02, 2017 8:55:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/1328 took 114367 ms. Total solver calls (SAT/UNSAT): 258780(1561/257219)
Jun 02, 2017 8:55:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/1328 took 115549 ms. Total solver calls (SAT/UNSAT): 261452(1573/259879)
Jun 02, 2017 8:55:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/1328 took 116650 ms. Total solver calls (SAT/UNSAT): 263958(1581/262377)
Jun 02, 2017 8:55:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/1328 took 117830 ms. Total solver calls (SAT/UNSAT): 266630(1593/265037)
Jun 02, 2017 8:55:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/1328 took 119014 ms. Total solver calls (SAT/UNSAT): 269302(1605/267697)
Jun 02, 2017 8:55:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/1328 took 120114 ms. Total solver calls (SAT/UNSAT): 271808(1613/270195)
Jun 02, 2017 8:55:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/1328 took 121291 ms. Total solver calls (SAT/UNSAT): 274480(1625/272855)
Jun 02, 2017 8:55:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/1328 took 122474 ms. Total solver calls (SAT/UNSAT): 277152(1637/275515)
Jun 02, 2017 8:55:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/1328 took 123576 ms. Total solver calls (SAT/UNSAT): 279658(1645/278013)
Jun 02, 2017 8:55:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/1328 took 124751 ms. Total solver calls (SAT/UNSAT): 282330(1657/280673)
Jun 02, 2017 8:55:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/1328 took 125935 ms. Total solver calls (SAT/UNSAT): 285002(1669/283333)
Jun 02, 2017 8:55:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/1328 took 127036 ms. Total solver calls (SAT/UNSAT): 287508(1677/285831)
Jun 02, 2017 8:55:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/1328 took 128213 ms. Total solver calls (SAT/UNSAT): 290180(1689/288491)
Jun 02, 2017 8:55:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/1328 took 129396 ms. Total solver calls (SAT/UNSAT): 292852(1701/291151)
Jun 02, 2017 8:55:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/1328 took 130498 ms. Total solver calls (SAT/UNSAT): 295358(1709/293649)
Jun 02, 2017 8:55:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/1328 took 131675 ms. Total solver calls (SAT/UNSAT): 298030(1721/296309)
Jun 02, 2017 8:55:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/1328 took 132858 ms. Total solver calls (SAT/UNSAT): 300702(1733/298969)
Jun 02, 2017 8:55:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/1328 took 133961 ms. Total solver calls (SAT/UNSAT): 303208(1741/301467)
Jun 02, 2017 8:55:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/1328 took 135139 ms. Total solver calls (SAT/UNSAT): 305880(1753/304127)
Jun 02, 2017 8:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/1328 took 136322 ms. Total solver calls (SAT/UNSAT): 308552(1765/306787)
Jun 02, 2017 8:55:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/1328 took 137423 ms. Total solver calls (SAT/UNSAT): 311058(1773/309285)
Jun 02, 2017 8:55:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/1328 took 138600 ms. Total solver calls (SAT/UNSAT): 313730(1785/311945)
Jun 02, 2017 8:55:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/1328 took 139784 ms. Total solver calls (SAT/UNSAT): 316402(1797/314605)
Jun 02, 2017 8:55:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/1328 took 140886 ms. Total solver calls (SAT/UNSAT): 318908(1805/317103)
Jun 02, 2017 8:55:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/1328 took 142063 ms. Total solver calls (SAT/UNSAT): 321580(1817/319763)
Jun 02, 2017 8:55:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/1328 took 143248 ms. Total solver calls (SAT/UNSAT): 324252(1829/322423)
Jun 02, 2017 8:55:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/1328 took 144351 ms. Total solver calls (SAT/UNSAT): 326758(1837/324921)
Jun 02, 2017 8:55:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/1328 took 145526 ms. Total solver calls (SAT/UNSAT): 329430(1849/327581)
Jun 02, 2017 8:55:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/1328 took 146708 ms. Total solver calls (SAT/UNSAT): 332102(1861/330241)
Jun 02, 2017 8:55:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/1328 took 147808 ms. Total solver calls (SAT/UNSAT): 334608(1869/332739)
Jun 02, 2017 8:55:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/1328 took 148985 ms. Total solver calls (SAT/UNSAT): 337280(1881/335399)
Jun 02, 2017 8:55:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/1328 took 150167 ms. Total solver calls (SAT/UNSAT): 339952(1893/338059)
Jun 02, 2017 8:55:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/1328 took 151267 ms. Total solver calls (SAT/UNSAT): 342458(1901/340557)
Jun 02, 2017 8:55:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/1328 took 152442 ms. Total solver calls (SAT/UNSAT): 345130(1913/343217)
Jun 02, 2017 8:55:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/1328 took 153623 ms. Total solver calls (SAT/UNSAT): 347802(1925/345877)
Jun 02, 2017 8:55:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/1328 took 154722 ms. Total solver calls (SAT/UNSAT): 350308(1933/348375)
Jun 02, 2017 8:55:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/1328 took 155896 ms. Total solver calls (SAT/UNSAT): 352980(1945/351035)
Jun 02, 2017 8:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/1328 took 157123 ms. Total solver calls (SAT/UNSAT): 355652(1957/353695)
Jun 02, 2017 8:55:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/1328 took 158233 ms. Total solver calls (SAT/UNSAT): 358158(1965/356193)
Jun 02, 2017 8:56:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/1328 took 159419 ms. Total solver calls (SAT/UNSAT): 360830(1977/358853)
Jun 02, 2017 8:56:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/1328 took 160603 ms. Total solver calls (SAT/UNSAT): 363502(1989/361513)
Jun 02, 2017 8:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/1328 took 161705 ms. Total solver calls (SAT/UNSAT): 366008(1997/364011)
Jun 02, 2017 8:56:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/1328 took 162883 ms. Total solver calls (SAT/UNSAT): 368680(2009/366671)
Jun 02, 2017 8:56:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/1328 took 164067 ms. Total solver calls (SAT/UNSAT): 371352(2021/369331)
Jun 02, 2017 8:56:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/1328 took 165174 ms. Total solver calls (SAT/UNSAT): 373858(2029/371829)
Jun 02, 2017 8:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/1328 took 166367 ms. Total solver calls (SAT/UNSAT): 376530(2041/374489)
Jun 02, 2017 8:56:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/1328 took 167551 ms. Total solver calls (SAT/UNSAT): 379202(2053/377149)
Jun 02, 2017 8:56:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/1328 took 168653 ms. Total solver calls (SAT/UNSAT): 381708(2061/379647)
Jun 02, 2017 8:56:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/1328 took 169832 ms. Total solver calls (SAT/UNSAT): 384380(2073/382307)
Jun 02, 2017 8:56:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/1328 took 171016 ms. Total solver calls (SAT/UNSAT): 387052(2085/384967)
Jun 02, 2017 8:56:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/1328 took 172123 ms. Total solver calls (SAT/UNSAT): 389558(2093/387465)
Jun 02, 2017 8:56:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/1328 took 173345 ms. Total solver calls (SAT/UNSAT): 392230(2105/390125)
Jun 02, 2017 8:56:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/1328 took 174521 ms. Total solver calls (SAT/UNSAT): 394902(2117/392785)
Jun 02, 2017 8:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/1328 took 175614 ms. Total solver calls (SAT/UNSAT): 397408(2125/395283)
Jun 02, 2017 8:56:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/1328 took 176782 ms. Total solver calls (SAT/UNSAT): 400080(2137/397943)
Jun 02, 2017 8:56:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/1328 took 177949 ms. Total solver calls (SAT/UNSAT): 402752(2149/400603)
Jun 02, 2017 8:56:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/1328 took 179036 ms. Total solver calls (SAT/UNSAT): 405258(2157/403101)
Jun 02, 2017 8:56:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/1328 took 180197 ms. Total solver calls (SAT/UNSAT): 407930(2169/405761)
Jun 02, 2017 8:56:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/1328 took 181365 ms. Total solver calls (SAT/UNSAT): 410602(2181/408421)
Jun 02, 2017 8:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/1328 took 182451 ms. Total solver calls (SAT/UNSAT): 413108(2189/410919)
Jun 02, 2017 8:56:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/1328 took 183611 ms. Total solver calls (SAT/UNSAT): 415780(2201/413579)
Jun 02, 2017 8:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/1328 took 184777 ms. Total solver calls (SAT/UNSAT): 418452(2213/416239)
Jun 02, 2017 8:56:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/1328 took 185862 ms. Total solver calls (SAT/UNSAT): 420958(2221/418737)
Jun 02, 2017 8:56:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/1328 took 187023 ms. Total solver calls (SAT/UNSAT): 423630(2233/421397)
Jun 02, 2017 8:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/1328 took 188188 ms. Total solver calls (SAT/UNSAT): 426302(2245/424057)
Jun 02, 2017 8:56:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/1328 took 189273 ms. Total solver calls (SAT/UNSAT): 428807(2253/426554)
Jun 02, 2017 8:56:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/1328 took 190438 ms. Total solver calls (SAT/UNSAT): 431475(2265/429210)
Jun 02, 2017 8:56:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/1328 took 191607 ms. Total solver calls (SAT/UNSAT): 434143(2277/431866)
Jun 02, 2017 8:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/1328 took 192694 ms. Total solver calls (SAT/UNSAT): 436647(2285/434362)
Jun 02, 2017 8:56:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/1328 took 193905 ms. Total solver calls (SAT/UNSAT): 439319(2297/437022)
Jun 02, 2017 8:56:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/1328 took 195104 ms. Total solver calls (SAT/UNSAT): 441991(2309/439682)
Jun 02, 2017 8:56:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/1328 took 196219 ms. Total solver calls (SAT/UNSAT): 444497(2317/442180)
Jun 02, 2017 8:56:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/1328 took 197404 ms. Total solver calls (SAT/UNSAT): 447169(2329/444840)
Jun 02, 2017 8:56:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/1328 took 198586 ms. Total solver calls (SAT/UNSAT): 449841(2341/447500)
Jun 02, 2017 8:56:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/1328 took 199686 ms. Total solver calls (SAT/UNSAT): 452347(2349/449998)
Jun 02, 2017 8:56:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/1328 took 200864 ms. Total solver calls (SAT/UNSAT): 455019(2361/452658)
Jun 02, 2017 8:56:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/1328 took 202096 ms. Total solver calls (SAT/UNSAT): 457691(2373/455318)
Jun 02, 2017 8:56:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/1328 took 203194 ms. Total solver calls (SAT/UNSAT): 460197(2381/457816)
Jun 02, 2017 8:56:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/1328 took 204382 ms. Total solver calls (SAT/UNSAT): 462869(2393/460476)
Jun 02, 2017 8:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/1328 took 205568 ms. Total solver calls (SAT/UNSAT): 465541(2405/463136)
Jun 02, 2017 8:56:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/1328 took 206667 ms. Total solver calls (SAT/UNSAT): 468047(2413/465634)
Jun 02, 2017 8:56:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/1328 took 207848 ms. Total solver calls (SAT/UNSAT): 470719(2425/468294)
Jun 02, 2017 8:56:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/1328 took 209028 ms. Total solver calls (SAT/UNSAT): 473391(2437/470954)
Jun 02, 2017 8:56:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/1328 took 210126 ms. Total solver calls (SAT/UNSAT): 475897(2445/473452)
Jun 02, 2017 8:56:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/1328 took 211303 ms. Total solver calls (SAT/UNSAT): 478569(2457/476112)
Jun 02, 2017 8:56:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/1328 took 212485 ms. Total solver calls (SAT/UNSAT): 481241(2469/478772)
Jun 02, 2017 8:56:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/1328 took 213585 ms. Total solver calls (SAT/UNSAT): 483747(2477/481270)
Jun 02, 2017 8:56:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/1328 took 214761 ms. Total solver calls (SAT/UNSAT): 486419(2489/483930)
Jun 02, 2017 8:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/1328 took 215940 ms. Total solver calls (SAT/UNSAT): 489091(2501/486590)
Jun 02, 2017 8:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/1328 took 217038 ms. Total solver calls (SAT/UNSAT): 491597(2509/489088)
Jun 02, 2017 8:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/1328 took 218216 ms. Total solver calls (SAT/UNSAT): 494269(2521/491748)
Jun 02, 2017 8:57:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/1328 took 219398 ms. Total solver calls (SAT/UNSAT): 496941(2533/494408)
Jun 02, 2017 8:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/1328 took 220500 ms. Total solver calls (SAT/UNSAT): 499447(2541/496906)
Jun 02, 2017 8:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/1328 took 221678 ms. Total solver calls (SAT/UNSAT): 502119(2553/499566)
Jun 02, 2017 8:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/1328 took 222857 ms. Total solver calls (SAT/UNSAT): 504791(2565/502226)
Jun 02, 2017 8:57:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/1328 took 223955 ms. Total solver calls (SAT/UNSAT): 507297(2573/504724)
Jun 02, 2017 8:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/1328 took 225132 ms. Total solver calls (SAT/UNSAT): 509969(2585/507384)
Jun 02, 2017 8:57:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/1328 took 226312 ms. Total solver calls (SAT/UNSAT): 512641(2597/510044)
Jun 02, 2017 8:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/1328 took 227409 ms. Total solver calls (SAT/UNSAT): 515147(2605/512542)
Jun 02, 2017 8:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/1328 took 228585 ms. Total solver calls (SAT/UNSAT): 517819(2617/515202)
Jun 02, 2017 8:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/1328 took 229765 ms. Total solver calls (SAT/UNSAT): 520491(2629/517862)
Jun 02, 2017 8:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/1328 took 230865 ms. Total solver calls (SAT/UNSAT): 522997(2637/520360)
Jun 02, 2017 8:57:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/1328 took 232043 ms. Total solver calls (SAT/UNSAT): 525669(2649/523020)
Jun 02, 2017 8:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/1328 took 233224 ms. Total solver calls (SAT/UNSAT): 528341(2661/525680)
Jun 02, 2017 8:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/1328 took 234322 ms. Total solver calls (SAT/UNSAT): 530847(2669/528178)
Jun 02, 2017 8:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/1328 took 235501 ms. Total solver calls (SAT/UNSAT): 533519(2681/530838)
Jun 02, 2017 8:57:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/1328 took 236681 ms. Total solver calls (SAT/UNSAT): 536191(2693/533498)
Jun 02, 2017 8:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/1328 took 237779 ms. Total solver calls (SAT/UNSAT): 538697(2701/535996)
Jun 02, 2017 8:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/1328 took 238956 ms. Total solver calls (SAT/UNSAT): 541369(2713/538656)
Jun 02, 2017 8:57:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/1328 took 240142 ms. Total solver calls (SAT/UNSAT): 544041(2725/541316)
Jun 02, 2017 8:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/1328 took 241239 ms. Total solver calls (SAT/UNSAT): 546547(2733/543814)
Jun 02, 2017 8:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/1328 took 242420 ms. Total solver calls (SAT/UNSAT): 549219(2745/546474)
Jun 02, 2017 8:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/1328 took 243600 ms. Total solver calls (SAT/UNSAT): 551891(2757/549134)
Jun 02, 2017 8:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/1328 took 244699 ms. Total solver calls (SAT/UNSAT): 554397(2765/551632)
Jun 02, 2017 8:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/1328 took 245877 ms. Total solver calls (SAT/UNSAT): 557069(2777/554292)
Jun 02, 2017 8:57:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/1328 took 247058 ms. Total solver calls (SAT/UNSAT): 559741(2789/556952)
Jun 02, 2017 8:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/1328 took 248166 ms. Total solver calls (SAT/UNSAT): 562247(2797/559450)
Jun 02, 2017 8:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/1328 took 249342 ms. Total solver calls (SAT/UNSAT): 564919(2809/562110)
Jun 02, 2017 8:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/1328 took 250524 ms. Total solver calls (SAT/UNSAT): 567591(2821/564770)
Jun 02, 2017 8:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/1328 took 251621 ms. Total solver calls (SAT/UNSAT): 570097(2829/567268)
Jun 02, 2017 8:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/1328 took 252799 ms. Total solver calls (SAT/UNSAT): 572769(2841/569928)
Jun 02, 2017 8:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/1328 took 253979 ms. Total solver calls (SAT/UNSAT): 575441(2853/572588)
Jun 02, 2017 8:57:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/1328 took 255077 ms. Total solver calls (SAT/UNSAT): 577947(2861/575086)
Jun 02, 2017 8:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/1328 took 256255 ms. Total solver calls (SAT/UNSAT): 580619(2873/577746)
Jun 02, 2017 8:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/1328 took 257438 ms. Total solver calls (SAT/UNSAT): 583291(2885/580406)
Jun 02, 2017 8:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/1328 took 258538 ms. Total solver calls (SAT/UNSAT): 585797(2893/582904)
Jun 02, 2017 8:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/1328 took 259715 ms. Total solver calls (SAT/UNSAT): 588469(2905/585564)
Jun 02, 2017 8:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/1328 took 260897 ms. Total solver calls (SAT/UNSAT): 591141(2917/588224)
Jun 02, 2017 8:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/1328 took 261996 ms. Total solver calls (SAT/UNSAT): 593647(2925/590722)
Jun 02, 2017 8:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/1328 took 263173 ms. Total solver calls (SAT/UNSAT): 596319(2937/593382)
Jun 02, 2017 8:57:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :839/1328 took 264355 ms. Total solver calls (SAT/UNSAT): 598991(2949/596042)
Jun 02, 2017 8:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/1328 took 265455 ms. Total solver calls (SAT/UNSAT): 601497(2957/598540)
Jun 02, 2017 8:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/1328 took 266632 ms. Total solver calls (SAT/UNSAT): 604169(2969/601200)
Jun 02, 2017 8:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :850/1328 took 267813 ms. Total solver calls (SAT/UNSAT): 606841(2981/603860)
Jun 02, 2017 8:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :853/1328 took 268910 ms. Total solver calls (SAT/UNSAT): 609347(2989/606358)
Jun 02, 2017 8:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :857/1328 took 270086 ms. Total solver calls (SAT/UNSAT): 612019(3001/609018)
Jun 02, 2017 8:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/1328 took 271267 ms. Total solver calls (SAT/UNSAT): 614691(3013/611678)
Jun 02, 2017 8:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/1328 took 272364 ms. Total solver calls (SAT/UNSAT): 617197(3021/614176)
Jun 02, 2017 8:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/1328 took 273544 ms. Total solver calls (SAT/UNSAT): 619869(3033/616836)
Jun 02, 2017 8:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/1328 took 274724 ms. Total solver calls (SAT/UNSAT): 622541(3045/619496)
Jun 02, 2017 8:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/1328 took 275822 ms. Total solver calls (SAT/UNSAT): 625047(3053/621994)
Jun 02, 2017 8:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/1328 took 276998 ms. Total solver calls (SAT/UNSAT): 627719(3065/624654)
Jun 02, 2017 8:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/1328 took 278220 ms. Total solver calls (SAT/UNSAT): 630391(3077/627314)
Jun 02, 2017 8:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :886/1328 took 279313 ms. Total solver calls (SAT/UNSAT): 632897(3085/629812)
Jun 02, 2017 8:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :890/1328 took 280482 ms. Total solver calls (SAT/UNSAT): 635569(3097/632472)
Jun 02, 2017 8:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :894/1328 took 281646 ms. Total solver calls (SAT/UNSAT): 638241(3109/635132)
Jun 02, 2017 8:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :897/1328 took 282729 ms. Total solver calls (SAT/UNSAT): 640747(3117/637630)
Jun 02, 2017 8:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :901/1328 took 283891 ms. Total solver calls (SAT/UNSAT): 643419(3129/640290)
Jun 02, 2017 8:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :905/1328 took 285056 ms. Total solver calls (SAT/UNSAT): 646091(3141/642950)
Jun 02, 2017 8:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/1328 took 286138 ms. Total solver calls (SAT/UNSAT): 648597(3149/645448)
Jun 02, 2017 8:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/1328 took 287299 ms. Total solver calls (SAT/UNSAT): 651269(3161/648108)
Jun 02, 2017 8:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/1328 took 288466 ms. Total solver calls (SAT/UNSAT): 653941(3173/650768)
Jun 02, 2017 8:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/1328 took 289555 ms. Total solver calls (SAT/UNSAT): 656447(3181/653266)
Jun 02, 2017 8:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :923/1328 took 290717 ms. Total solver calls (SAT/UNSAT): 659119(3193/655926)
Jun 02, 2017 8:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :927/1328 took 291883 ms. Total solver calls (SAT/UNSAT): 661791(3205/658586)
Jun 02, 2017 8:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :930/1328 took 292967 ms. Total solver calls (SAT/UNSAT): 664297(3213/661084)
Jun 02, 2017 8:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :934/1328 took 294128 ms. Total solver calls (SAT/UNSAT): 666969(3225/663744)
Jun 02, 2017 8:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/1328 took 295292 ms. Total solver calls (SAT/UNSAT): 669641(3237/666404)
Jun 02, 2017 8:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :941/1328 took 296373 ms. Total solver calls (SAT/UNSAT): 672147(3245/668902)
Jun 02, 2017 8:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/1328 took 297532 ms. Total solver calls (SAT/UNSAT): 674819(3257/671562)
Jun 02, 2017 8:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :949/1328 took 298756 ms. Total solver calls (SAT/UNSAT): 677491(3269/674222)
Jun 02, 2017 8:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/1328 took 299837 ms. Total solver calls (SAT/UNSAT): 679997(3277/676720)
Jun 02, 2017 8:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/1328 took 300997 ms. Total solver calls (SAT/UNSAT): 682669(3289/679380)
Jun 02, 2017 8:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/1328 took 302161 ms. Total solver calls (SAT/UNSAT): 685341(3301/682040)
Jun 02, 2017 8:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :963/1328 took 303242 ms. Total solver calls (SAT/UNSAT): 687847(3309/684538)
Jun 02, 2017 8:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :967/1328 took 304403 ms. Total solver calls (SAT/UNSAT): 690519(3321/687198)
Jun 02, 2017 8:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/1328 took 305567 ms. Total solver calls (SAT/UNSAT): 693191(3333/689858)
Jun 02, 2017 8:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :974/1328 took 306648 ms. Total solver calls (SAT/UNSAT): 695697(3341/692356)
Jun 02, 2017 8:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :978/1328 took 307868 ms. Total solver calls (SAT/UNSAT): 698369(3353/695016)
Jun 02, 2017 8:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :982/1328 took 309046 ms. Total solver calls (SAT/UNSAT): 701041(3365/697676)
Jun 02, 2017 8:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :985/1328 took 310143 ms. Total solver calls (SAT/UNSAT): 703547(3373/700174)
Jun 02, 2017 8:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :989/1328 took 311318 ms. Total solver calls (SAT/UNSAT): 706219(3385/702834)
Jun 02, 2017 8:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :993/1328 took 312532 ms. Total solver calls (SAT/UNSAT): 708891(3397/705494)
Jun 02, 2017 8:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/1328 took 313615 ms. Total solver calls (SAT/UNSAT): 711397(3405/707992)
Jun 02, 2017 8:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/1328 took 314774 ms. Total solver calls (SAT/UNSAT): 714069(3417/710652)
Jun 02, 2017 8:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/1328 took 315938 ms. Total solver calls (SAT/UNSAT): 716741(3429/713312)
Jun 02, 2017 8:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1007/1328 took 317018 ms. Total solver calls (SAT/UNSAT): 719247(3437/715810)
Jun 02, 2017 8:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1011/1328 took 318180 ms. Total solver calls (SAT/UNSAT): 721919(3449/718470)
Jun 02, 2017 8:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1015/1328 took 319344 ms. Total solver calls (SAT/UNSAT): 724591(3461/721130)
Jun 02, 2017 8:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1018/1328 took 320426 ms. Total solver calls (SAT/UNSAT): 727097(3469/723628)
Jun 02, 2017 8:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/1328 took 321588 ms. Total solver calls (SAT/UNSAT): 729769(3481/726288)
Jun 02, 2017 8:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1026/1328 took 322754 ms. Total solver calls (SAT/UNSAT): 732441(3493/728948)
Jun 02, 2017 8:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1029/1328 took 323838 ms. Total solver calls (SAT/UNSAT): 734947(3501/731446)
Jun 02, 2017 8:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1033/1328 took 324999 ms. Total solver calls (SAT/UNSAT): 737619(3513/734106)
Jun 02, 2017 8:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1037/1328 took 326164 ms. Total solver calls (SAT/UNSAT): 740291(3525/736766)
Jun 02, 2017 8:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/1328 took 327246 ms. Total solver calls (SAT/UNSAT): 742797(3533/739264)
Jun 02, 2017 8:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/1328 took 328409 ms. Total solver calls (SAT/UNSAT): 745469(3545/741924)
Jun 02, 2017 8:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/1328 took 329579 ms. Total solver calls (SAT/UNSAT): 748141(3557/744584)
Jun 02, 2017 8:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1051/1328 took 330663 ms. Total solver calls (SAT/UNSAT): 750647(3565/747082)
Jun 02, 2017 8:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1055/1328 took 331824 ms. Total solver calls (SAT/UNSAT): 753319(3577/749742)
Jun 02, 2017 8:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1059/1328 took 332990 ms. Total solver calls (SAT/UNSAT): 755991(3589/752402)
Jun 02, 2017 8:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/1328 took 334074 ms. Total solver calls (SAT/UNSAT): 758497(3597/754900)
Jun 02, 2017 8:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/1328 took 335236 ms. Total solver calls (SAT/UNSAT): 761169(3609/757560)
Jun 02, 2017 8:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/1328 took 336401 ms. Total solver calls (SAT/UNSAT): 763841(3621/760220)
Jun 02, 2017 8:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1073/1328 took 337484 ms. Total solver calls (SAT/UNSAT): 766347(3629/762718)
Jun 02, 2017 8:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1077/1328 took 338646 ms. Total solver calls (SAT/UNSAT): 769019(3641/765378)
Jun 02, 2017 8:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1081/1328 took 339810 ms. Total solver calls (SAT/UNSAT): 771691(3653/768038)
Jun 02, 2017 8:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/1328 took 340894 ms. Total solver calls (SAT/UNSAT): 774197(3661/770536)
Jun 02, 2017 8:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/1328 took 342055 ms. Total solver calls (SAT/UNSAT): 776869(3673/773196)
Jun 02, 2017 8:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/1328 took 343219 ms. Total solver calls (SAT/UNSAT): 779541(3685/775856)
Jun 02, 2017 8:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1095/1328 took 344302 ms. Total solver calls (SAT/UNSAT): 782047(3693/778354)
Jun 02, 2017 8:59:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1099/1328 took 345464 ms. Total solver calls (SAT/UNSAT): 784719(3705/781014)
Jun 02, 2017 8:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1103/1328 took 346628 ms. Total solver calls (SAT/UNSAT): 787391(3717/783674)
Jun 02, 2017 8:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/1328 took 347711 ms. Total solver calls (SAT/UNSAT): 789897(3725/786172)
Jun 02, 2017 8:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/1328 took 348873 ms. Total solver calls (SAT/UNSAT): 792569(3737/788832)
Jun 02, 2017 8:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/1328 took 350041 ms. Total solver calls (SAT/UNSAT): 795241(3749/791492)
Jun 02, 2017 8:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1117/1328 took 351125 ms. Total solver calls (SAT/UNSAT): 797747(3757/793990)
Jun 02, 2017 8:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1121/1328 took 352288 ms. Total solver calls (SAT/UNSAT): 800419(3769/796650)
Jun 02, 2017 8:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1125/1328 took 353453 ms. Total solver calls (SAT/UNSAT): 803091(3781/799310)
Jun 02, 2017 8:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/1328 took 354539 ms. Total solver calls (SAT/UNSAT): 805597(3789/801808)
Jun 02, 2017 8:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/1328 took 355700 ms. Total solver calls (SAT/UNSAT): 808269(3801/804468)
Jun 02, 2017 8:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/1328 took 356866 ms. Total solver calls (SAT/UNSAT): 810941(3813/807128)
Jun 02, 2017 8:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/1328 took 357950 ms. Total solver calls (SAT/UNSAT): 813447(3821/809626)
Jun 02, 2017 8:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/1328 took 359108 ms. Total solver calls (SAT/UNSAT): 816119(3833/812286)
Jun 02, 2017 8:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/1328 took 360267 ms. Total solver calls (SAT/UNSAT): 818791(3845/814946)
Jun 02, 2017 8:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/1328 took 361353 ms. Total solver calls (SAT/UNSAT): 821120(4003/817117)
Jun 02, 2017 8:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1161/1328 took 362615 ms. Total solver calls (SAT/UNSAT): 823596(4462/819134)
Jun 02, 2017 8:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/1328 took 363970 ms. Total solver calls (SAT/UNSAT): 826236(4972/821264)
Jun 02, 2017 8:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1202/1328 took 364986 ms. Total solver calls (SAT/UNSAT): 827878(5033/822845)
Jun 02, 2017 8:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/1328 took 366008 ms. Total solver calls (SAT/UNSAT): 829642(5676/823966)
Jun 02, 2017 8:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/1328 took 367323 ms. Total solver calls (SAT/UNSAT): 832435(6268/826167)
Jun 02, 2017 8:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1232/1328 took 368623 ms. Total solver calls (SAT/UNSAT): 835287(6320/828967)
Jun 02, 2017 8:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1236/1328 took 369917 ms. Total solver calls (SAT/UNSAT): 838139(6372/831767)
Jun 02, 2017 8:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/1328 took 371212 ms. Total solver calls (SAT/UNSAT): 840991(6424/834567)
Jun 02, 2017 8:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1244/1328 took 372506 ms. Total solver calls (SAT/UNSAT): 843843(6476/837367)
Jun 02, 2017 8:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/1328 took 373803 ms. Total solver calls (SAT/UNSAT): 846695(6528/840167)
Jun 02, 2017 8:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/1328 took 375098 ms. Total solver calls (SAT/UNSAT): 849547(6580/842967)
Jun 02, 2017 8:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/1328 took 376396 ms. Total solver calls (SAT/UNSAT): 852399(6632/845767)
Jun 02, 2017 8:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1260/1328 took 377691 ms. Total solver calls (SAT/UNSAT): 855251(6684/848567)
Jun 02, 2017 8:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1264/1328 took 378988 ms. Total solver calls (SAT/UNSAT): 858103(6736/851367)
Jun 02, 2017 8:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1268/1328 took 380280 ms. Total solver calls (SAT/UNSAT): 860955(6788/854167)
Jun 02, 2017 8:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1272/1328 took 381573 ms. Total solver calls (SAT/UNSAT): 863807(6840/856967)
Jun 02, 2017 8:59:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1277/1328 took 382602 ms. Total solver calls (SAT/UNSAT): 866049(6930/859119)
Jun 02, 2017 8:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1308/1328 took 383617 ms. Total solver calls (SAT/UNSAT): 867692(6992/860700)
Jun 02, 2017 8:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 384239 ms. Total solver calls (SAT/UNSAT): 868698(7030/861668)
Jun 02, 2017 8:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1328 transitions.
Jun 02, 2017 8:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/1328) took 543 ms. Total solver calls (SAT/UNSAT): 3981(162/3819)
Jun 02, 2017 8:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/1328) took 1559 ms. Total solver calls (SAT/UNSAT): 11916(486/11430)
Jun 02, 2017 8:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/1328) took 2559 ms. Total solver calls (SAT/UNSAT): 19815(810/19005)
Jun 02, 2017 8:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/1328) took 3724 ms. Total solver calls (SAT/UNSAT): 28985(1188/27797)
Jun 02, 2017 8:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/1328) took 4876 ms. Total solver calls (SAT/UNSAT): 38106(1566/36540)
Jun 02, 2017 8:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/1328) took 6022 ms. Total solver calls (SAT/UNSAT): 47178(1944/45234)
Jun 02, 2017 8:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/1328) took 7164 ms. Total solver calls (SAT/UNSAT): 56201(2322/53879)
Jun 02, 2017 8:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/1328) took 8315 ms. Total solver calls (SAT/UNSAT): 65175(2700/62475)
Jun 02, 2017 8:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/1328) took 9362 ms. Total solver calls (SAT/UNSAT): 74100(2728/71372)
Jun 02, 2017 8:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/1328) took 10404 ms. Total solver calls (SAT/UNSAT): 82976(2756/80220)
Jun 02, 2017 8:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/1328) took 11437 ms. Total solver calls (SAT/UNSAT): 91803(2784/89019)
Jun 02, 2017 8:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/1328) took 12467 ms. Total solver calls (SAT/UNSAT): 100581(2812/97769)
Jun 02, 2017 8:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/1328) took 13490 ms. Total solver calls (SAT/UNSAT): 109310(2840/106470)
Jun 02, 2017 9:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/1328) took 14521 ms. Total solver calls (SAT/UNSAT): 117990(2868/115122)
Jun 02, 2017 9:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/1328) took 15538 ms. Total solver calls (SAT/UNSAT): 126621(2896/123725)
Jun 02, 2017 9:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/1328) took 16545 ms. Total solver calls (SAT/UNSAT): 135203(2924/132279)
Jun 02, 2017 9:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/1328) took 17686 ms. Total solver calls (SAT/UNSAT): 144951(2956/141995)
Jun 02, 2017 9:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/1328) took 18821 ms. Total solver calls (SAT/UNSAT): 154635(2988/151647)
Jun 02, 2017 9:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/1328) took 19955 ms. Total solver calls (SAT/UNSAT): 164255(3020/161235)
Jun 02, 2017 9:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/1328) took 21073 ms. Total solver calls (SAT/UNSAT): 173811(3052/170759)
Jun 02, 2017 9:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/1328) took 22184 ms. Total solver calls (SAT/UNSAT): 183303(3084/180219)
Jun 02, 2017 9:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/1328) took 23289 ms. Total solver calls (SAT/UNSAT): 192731(3116/189615)
Jun 02, 2017 9:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/1328) took 24387 ms. Total solver calls (SAT/UNSAT): 202095(3148/198947)
Jun 02, 2017 9:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/1328) took 25485 ms. Total solver calls (SAT/UNSAT): 211395(3180/208215)
Jun 02, 2017 9:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/1328) took 26571 ms. Total solver calls (SAT/UNSAT): 220631(3212/217419)
Jun 02, 2017 9:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/1328) took 27648 ms. Total solver calls (SAT/UNSAT): 229803(3244/226559)
Jun 02, 2017 9:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/1328) took 28716 ms. Total solver calls (SAT/UNSAT): 238911(3276/235635)
Jun 02, 2017 9:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/1328) took 29775 ms. Total solver calls (SAT/UNSAT): 247955(3308/244647)
Jun 02, 2017 9:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/1328) took 30835 ms. Total solver calls (SAT/UNSAT): 256935(3340/253595)
Jun 02, 2017 9:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/1328) took 31878 ms. Total solver calls (SAT/UNSAT): 265851(3372/262479)
Jun 02, 2017 9:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/1328) took 32914 ms. Total solver calls (SAT/UNSAT): 274703(3404/271299)
Jun 02, 2017 9:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/1328) took 33948 ms. Total solver calls (SAT/UNSAT): 283491(3436/280055)
Jun 02, 2017 9:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/1328) took 34970 ms. Total solver calls (SAT/UNSAT): 292215(3468/288747)
Jun 02, 2017 9:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/1328) took 36006 ms. Total solver calls (SAT/UNSAT): 300875(3500/297375)
Jun 02, 2017 9:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/1328) took 37070 ms. Total solver calls (SAT/UNSAT): 309471(3532/305939)
Jun 02, 2017 9:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/1328) took 38096 ms. Total solver calls (SAT/UNSAT): 318003(3564/314439)
Jun 02, 2017 9:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/1328) took 39114 ms. Total solver calls (SAT/UNSAT): 326471(3596/322875)
Jun 02, 2017 9:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/1328) took 40122 ms. Total solver calls (SAT/UNSAT): 334875(3628/331247)
Jun 02, 2017 9:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(289/1328) took 41130 ms. Total solver calls (SAT/UNSAT): 343215(3660/339555)
Jun 02, 2017 9:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(298/1328) took 42246 ms. Total solver calls (SAT/UNSAT): 352521(3696/348825)
Jun 02, 2017 9:00:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(307/1328) took 43354 ms. Total solver calls (SAT/UNSAT): 361746(3732/358014)
Jun 02, 2017 9:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(316/1328) took 44451 ms. Total solver calls (SAT/UNSAT): 370890(3768/367122)
Jun 02, 2017 9:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(325/1328) took 45538 ms. Total solver calls (SAT/UNSAT): 379953(3804/376149)
Jun 02, 2017 9:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(334/1328) took 46619 ms. Total solver calls (SAT/UNSAT): 388935(3840/385095)
Jun 02, 2017 9:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/1328) took 47687 ms. Total solver calls (SAT/UNSAT): 397836(3876/393960)
Jun 02, 2017 9:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(352/1328) took 48746 ms. Total solver calls (SAT/UNSAT): 406656(3912/402744)
Jun 02, 2017 9:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(361/1328) took 49795 ms. Total solver calls (SAT/UNSAT): 415395(3948/411447)
Jun 02, 2017 9:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/1328) took 50837 ms. Total solver calls (SAT/UNSAT): 424053(3984/420069)
Jun 02, 2017 9:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/1328) took 51865 ms. Total solver calls (SAT/UNSAT): 432630(4020/428610)
Jun 02, 2017 9:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(388/1328) took 52885 ms. Total solver calls (SAT/UNSAT): 441126(4056/437070)
Jun 02, 2017 9:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(397/1328) took 53898 ms. Total solver calls (SAT/UNSAT): 449541(4092/445449)
Jun 02, 2017 9:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(406/1328) took 54899 ms. Total solver calls (SAT/UNSAT): 457875(4128/453747)
Jun 02, 2017 9:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/1328) took 56004 ms. Total solver calls (SAT/UNSAT): 467040(4168/462872)
Jun 02, 2017 9:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(426/1328) took 57094 ms. Total solver calls (SAT/UNSAT): 476105(4208/471897)
Jun 02, 2017 9:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/1328) took 58173 ms. Total solver calls (SAT/UNSAT): 485070(4248/480822)
Jun 02, 2017 9:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(446/1328) took 59239 ms. Total solver calls (SAT/UNSAT): 493935(4288/489647)
Jun 02, 2017 9:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(456/1328) took 60297 ms. Total solver calls (SAT/UNSAT): 502700(4328/498372)
Jun 02, 2017 9:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(466/1328) took 61339 ms. Total solver calls (SAT/UNSAT): 511365(4368/506997)
Jun 02, 2017 9:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(476/1328) took 62369 ms. Total solver calls (SAT/UNSAT): 519930(4408/515522)
Jun 02, 2017 9:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(486/1328) took 63387 ms. Total solver calls (SAT/UNSAT): 528395(4448/523947)
Jun 02, 2017 9:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(496/1328) took 64399 ms. Total solver calls (SAT/UNSAT): 536760(4488/532272)
Jun 02, 2017 9:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(507/1328) took 65492 ms. Total solver calls (SAT/UNSAT): 545846(4532/541314)
Jun 02, 2017 9:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(518/1328) took 66572 ms. Total solver calls (SAT/UNSAT): 554811(4576/550235)
Jun 02, 2017 9:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(529/1328) took 67641 ms. Total solver calls (SAT/UNSAT): 563655(4620/559035)
Jun 02, 2017 9:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(540/1328) took 68693 ms. Total solver calls (SAT/UNSAT): 572378(4664/567714)
Jun 02, 2017 9:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(551/1328) took 69729 ms. Total solver calls (SAT/UNSAT): 580980(4708/576272)
Jun 02, 2017 9:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(562/1328) took 70751 ms. Total solver calls (SAT/UNSAT): 589461(4752/584709)
Jun 02, 2017 9:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(573/1328) took 71762 ms. Total solver calls (SAT/UNSAT): 597821(4796/593025)
Jun 02, 2017 9:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(585/1328) took 72844 ms. Total solver calls (SAT/UNSAT): 606803(4844/601959)
Jun 02, 2017 9:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(597/1328) took 73907 ms. Total solver calls (SAT/UNSAT): 615641(4892/610749)
Jun 02, 2017 9:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(609/1328) took 74954 ms. Total solver calls (SAT/UNSAT): 624335(4940/619395)
Jun 02, 2017 9:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(621/1328) took 75978 ms. Total solver calls (SAT/UNSAT): 632885(4988/627897)
Jun 02, 2017 9:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(633/1328) took 76986 ms. Total solver calls (SAT/UNSAT): 641291(5036/636255)
Jun 02, 2017 9:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(646/1328) took 78058 ms. Total solver calls (SAT/UNSAT): 650235(5088/645147)
Jun 02, 2017 9:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(659/1328) took 79118 ms. Total solver calls (SAT/UNSAT): 659010(5140/653870)
Jun 02, 2017 9:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(672/1328) took 80153 ms. Total solver calls (SAT/UNSAT): 667616(5192/662424)
Jun 02, 2017 9:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(685/1328) took 81164 ms. Total solver calls (SAT/UNSAT): 676053(5244/670809)
Jun 02, 2017 9:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(699/1328) took 82237 ms. Total solver calls (SAT/UNSAT): 684950(5300/679650)
Jun 02, 2017 9:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(713/1328) took 83288 ms. Total solver calls (SAT/UNSAT): 693651(5356/688295)
Jun 02, 2017 9:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(727/1328) took 84312 ms. Total solver calls (SAT/UNSAT): 702156(5412/696744)
Jun 02, 2017 9:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(741/1328) took 85315 ms. Total solver calls (SAT/UNSAT): 710465(5468/704997)
Jun 02, 2017 9:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(756/1328) took 86361 ms. Total solver calls (SAT/UNSAT): 719150(5528/713622)
Jun 02, 2017 9:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(771/1328) took 87379 ms. Total solver calls (SAT/UNSAT): 727610(5588/722022)
Jun 02, 2017 9:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(786/1328) took 88415 ms. Total solver calls (SAT/UNSAT): 735845(5648/730197)
Jun 02, 2017 9:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(802/1328) took 89443 ms. Total solver calls (SAT/UNSAT): 744381(5712/738669)
Jun 02, 2017 9:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(819/1328) took 90503 ms. Total solver calls (SAT/UNSAT): 753170(5780/747390)
Jun 02, 2017 9:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(836/1328) took 91534 ms. Total solver calls (SAT/UNSAT): 761670(5848/755822)
Jun 02, 2017 9:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(854/1328) took 92581 ms. Total solver calls (SAT/UNSAT): 770355(5920/764435)
Jun 02, 2017 9:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(872/1328) took 93587 ms. Total solver calls (SAT/UNSAT): 778716(5992/772724)
Jun 02, 2017 9:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(891/1328) took 94613 ms. Total solver calls (SAT/UNSAT): 787190(6068/781122)
Jun 02, 2017 9:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(911/1328) took 95643 ms. Total solver calls (SAT/UNSAT): 795720(6148/789572)
Jun 02, 2017 9:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(932/1328) took 96672 ms. Total solver calls (SAT/UNSAT): 804246(6232/798014)
Jun 02, 2017 9:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(953/1328) took 97705 ms. Total solver calls (SAT/UNSAT): 812331(6316/806015)
Jun 02, 2017 9:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(976/1328) took 98724 ms. Total solver calls (SAT/UNSAT): 820680(6408/814272)
Jun 02, 2017 9:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1001/1328) took 99762 ms. Total solver calls (SAT/UNSAT): 829155(6508/822647)
Jun 02, 2017 9:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1028/1328) took 100794 ms. Total solver calls (SAT/UNSAT): 837606(6616/830990)
Jun 02, 2017 9:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1057/1328) took 101806 ms. Total solver calls (SAT/UNSAT): 845871(6732/839139)
Jun 02, 2017 9:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1089/1328) took 102809 ms. Total solver calls (SAT/UNSAT): 854015(6860/847155)
Jun 02, 2017 9:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1126/1328) took 103813 ms. Total solver calls (SAT/UNSAT): 862155(7008/855147)
Jun 02, 2017 9:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1157/1328) took 104825 ms. Total solver calls (SAT/UNSAT): 867921(7932/859989)
Jun 02, 2017 9:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1178/1328) took 105855 ms. Total solver calls (SAT/UNSAT): 871281(9780/861501)
Jun 02, 2017 9:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1212/1328) took 106860 ms. Total solver calls (SAT/UNSAT): 875786(11684/864102)
Jun 02, 2017 9:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1253/1328) took 107873 ms. Total solver calls (SAT/UNSAT): 879681(13904/865777)
Jun 02, 2017 9:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 108502 ms. Total solver calls (SAT/UNSAT): 882456(15100/867356)
Jun 02, 2017 9:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1328 transitions.
Jun 02, 2017 9:50:00 AM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 02, 2017 9:50:00 AM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 02, 2017 9:50:00 AM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null
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_BridgeAndVehicles-COL-V50P20N10"
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_BridgeAndVehicles-COL-V50P20N10.tgz
mv S_BridgeAndVehicles-COL-V50P20N10 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_BridgeAndVehicles-COL-V50P20N10, 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 r090-csrt-149441076700329"
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 '
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 ;