About the Execution of ITS-Tools for S_BridgeAndVehicles-COL-V50P50N10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10337.970 | 3600000.00 | 7129677.00 | 601.70 | [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-V50P50N10, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076700356
=====================================================================
--------------------
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-V50P50N10-LTLCardinality-0
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-1
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-10
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-11
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-12
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-13
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-14
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-15
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-2
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-3
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-4
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-5
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-6
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-7
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-8
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496397350563
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((X("(VIDANGE[0]+VIDANGE[1])>=2")))
Formula 0 simplified : !X"(VIDANGE[0]+VIDANGE[1])>=2"
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]= 50
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]= 0
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 9:55:51 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 9:55:52 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 9:55:53 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1320 ms
Jun 02, 2017 9:55:53 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
Jun 02, 2017 9:55:53 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 9:55:53 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 9:55:53 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
Jun 02, 2017 9:55:53 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 9:55:53 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 9:55:53 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 109 ms
Jun 02, 2017 9:55:53 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 16 ms
Jun 02, 2017 9:55:53 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 02, 2017 9:55:55 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 191 ms
Jun 02, 2017 9:55:58 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 128 variables to be positive in 3885 ms
Jun 02, 2017 9:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1328 transitions.
Jun 02, 2017 9:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1328 took 102 ms. Total solver calls (SAT/UNSAT): 713(2/711)
Jun 02, 2017 9:55:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 1155 ms. Total solver calls (SAT/UNSAT): 8556(24/8532)
Jun 02, 2017 9:56:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1328 took 2237 ms. Total solver calls (SAT/UNSAT): 17112(48/17064)
Jun 02, 2017 9:56:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/1328 took 3245 ms. Total solver calls (SAT/UNSAT): 24955(70/24885)
Jun 02, 2017 9:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/1328 took 4295 ms. Total solver calls (SAT/UNSAT): 33511(94/33417)
Jun 02, 2017 9:56:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/1328 took 5328 ms. Total solver calls (SAT/UNSAT): 42321(130/42191)
Jun 02, 2017 9:56:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/1328 took 6374 ms. Total solver calls (SAT/UNSAT): 51339(166/51173)
Jun 02, 2017 9:56:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/1328 took 7443 ms. Total solver calls (SAT/UNSAT): 60526(205/60321)
Jun 02, 2017 9:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/1328 took 8499 ms. Total solver calls (SAT/UNSAT): 69712(244/69468)
Jun 02, 2017 9:56:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/1328 took 9555 ms. Total solver calls (SAT/UNSAT): 78898(283/78615)
Jun 02, 2017 9:56:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/1328 took 10608 ms. Total solver calls (SAT/UNSAT): 88084(322/87762)
Jun 02, 2017 9:56:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/1328 took 11657 ms. Total solver calls (SAT/UNSAT): 97270(361/96909)
Jun 02, 2017 9:56:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1328 took 12705 ms. Total solver calls (SAT/UNSAT): 106289(397/105892)
Jun 02, 2017 9:56:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/1328 took 13766 ms. Total solver calls (SAT/UNSAT): 115476(436/115040)
Jun 02, 2017 9:56:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/1328 took 14810 ms. Total solver calls (SAT/UNSAT): 124662(475/124187)
Jun 02, 2017 9:56:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/1328 took 15853 ms. Total solver calls (SAT/UNSAT): 133848(514/133334)
Jun 02, 2017 9:56:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/1328 took 16897 ms. Total solver calls (SAT/UNSAT): 143034(553/142481)
Jun 02, 2017 9:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/1328 took 17940 ms. Total solver calls (SAT/UNSAT): 152220(592/151628)
Jun 02, 2017 9:56:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/1328 took 19056 ms. Total solver calls (SAT/UNSAT): 161239(628/160611)
Jun 02, 2017 9:56:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/1328 took 20091 ms. Total solver calls (SAT/UNSAT): 170426(667/169759)
Jun 02, 2017 9:56:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/1328 took 21127 ms. Total solver calls (SAT/UNSAT): 179612(706/178906)
Jun 02, 2017 9:56:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/1328 took 22159 ms. Total solver calls (SAT/UNSAT): 188798(745/188053)
Jun 02, 2017 9:56:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/1328 took 23196 ms. Total solver calls (SAT/UNSAT): 197984(784/197200)
Jun 02, 2017 9:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/1328 took 24235 ms. Total solver calls (SAT/UNSAT): 207170(823/206347)
Jun 02, 2017 9:56:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/1328 took 25257 ms. Total solver calls (SAT/UNSAT): 216189(859/215330)
Jun 02, 2017 9:56:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/1328 took 26295 ms. Total solver calls (SAT/UNSAT): 225376(898/224478)
Jun 02, 2017 9:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/1328 took 27335 ms. Total solver calls (SAT/UNSAT): 234562(937/233625)
Jun 02, 2017 9:56:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/1328 took 28380 ms. Total solver calls (SAT/UNSAT): 243748(976/242772)
Jun 02, 2017 9:56:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/1328 took 29459 ms. Total solver calls (SAT/UNSAT): 252934(1015/251919)
Jun 02, 2017 9:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/1328 took 30512 ms. Total solver calls (SAT/UNSAT): 262120(1054/261066)
Jun 02, 2017 9:56:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/1328 took 31528 ms. Total solver calls (SAT/UNSAT): 271139(1090/270049)
Jun 02, 2017 9:56:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/1328 took 32564 ms. Total solver calls (SAT/UNSAT): 280326(1129/279197)
Jun 02, 2017 9:56:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/1328 took 33599 ms. Total solver calls (SAT/UNSAT): 289512(1168/288344)
Jun 02, 2017 9:56:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/1328 took 34637 ms. Total solver calls (SAT/UNSAT): 298698(1207/297491)
Jun 02, 2017 9:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/1328 took 35675 ms. Total solver calls (SAT/UNSAT): 307884(1246/306638)
Jun 02, 2017 9:56:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/1328 took 36714 ms. Total solver calls (SAT/UNSAT): 317070(1285/315785)
Jun 02, 2017 9:56:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/1328 took 37733 ms. Total solver calls (SAT/UNSAT): 326089(1321/324768)
Jun 02, 2017 9:56:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/1328 took 38770 ms. Total solver calls (SAT/UNSAT): 335276(1360/333916)
Jun 02, 2017 9:56:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/1328 took 39808 ms. Total solver calls (SAT/UNSAT): 343794(1396/342398)
Jun 02, 2017 9:56:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/1328 took 40873 ms. Total solver calls (SAT/UNSAT): 352980(1435/351545)
Jun 02, 2017 9:56:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/1328 took 41896 ms. Total solver calls (SAT/UNSAT): 361498(1471/360027)
Jun 02, 2017 9:56:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/1328 took 42937 ms. Total solver calls (SAT/UNSAT): 370684(1510/369174)
Jun 02, 2017 9:56:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/1328 took 43981 ms. Total solver calls (SAT/UNSAT): 379870(1549/378321)
Jun 02, 2017 9:56:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/1328 took 45003 ms. Total solver calls (SAT/UNSAT): 388889(1585/387304)
Jun 02, 2017 9:56:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/1328 took 46046 ms. Total solver calls (SAT/UNSAT): 398076(1624/396452)
Jun 02, 2017 9:56:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/1328 took 47097 ms. Total solver calls (SAT/UNSAT): 407262(1663/405599)
Jun 02, 2017 9:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/1328 took 48142 ms. Total solver calls (SAT/UNSAT): 416448(1702/414746)
Jun 02, 2017 9:56:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/1328 took 49206 ms. Total solver calls (SAT/UNSAT): 425634(1741/423893)
Jun 02, 2017 9:56:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/1328 took 50273 ms. Total solver calls (SAT/UNSAT): 434810(1780/433030)
Jun 02, 2017 9:56:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/1328 took 51362 ms. Total solver calls (SAT/UNSAT): 443828(1816/442012)
Jun 02, 2017 9:56:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/1328 took 52417 ms. Total solver calls (SAT/UNSAT): 453015(1855/451160)
Jun 02, 2017 9:56:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/1328 took 53474 ms. Total solver calls (SAT/UNSAT): 462201(1894/460307)
Jun 02, 2017 9:56:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/1328 took 54529 ms. Total solver calls (SAT/UNSAT): 471387(1933/469454)
Jun 02, 2017 9:56:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/1328 took 55582 ms. Total solver calls (SAT/UNSAT): 480573(1972/478601)
Jun 02, 2017 9:56:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1328 took 56634 ms. Total solver calls (SAT/UNSAT): 489759(2011/487748)
Jun 02, 2017 9:56:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/1328 took 57662 ms. Total solver calls (SAT/UNSAT): 498778(2047/496731)
Jun 02, 2017 9:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/1328 took 58721 ms. Total solver calls (SAT/UNSAT): 507965(2086/505879)
Jun 02, 2017 9:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/1328 took 59772 ms. Total solver calls (SAT/UNSAT): 517151(2125/515026)
Jun 02, 2017 9:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/1328 took 60823 ms. Total solver calls (SAT/UNSAT): 526337(2164/524173)
Jun 02, 2017 9:57:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/1328 took 61883 ms. Total solver calls (SAT/UNSAT): 535523(2203/533320)
Jun 02, 2017 9:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/1328 took 62927 ms. Total solver calls (SAT/UNSAT): 544709(2242/542467)
Jun 02, 2017 9:57:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/1328 took 63985 ms. Total solver calls (SAT/UNSAT): 553728(2278/551450)
Jun 02, 2017 9:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/1328 took 65053 ms. Total solver calls (SAT/UNSAT): 562915(2317/560598)
Jun 02, 2017 9:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/1328 took 66116 ms. Total solver calls (SAT/UNSAT): 572101(2356/569745)
Jun 02, 2017 9:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/1328 took 67179 ms. Total solver calls (SAT/UNSAT): 581287(2395/578892)
Jun 02, 2017 9:57:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/1328 took 68236 ms. Total solver calls (SAT/UNSAT): 590473(2434/588039)
Jun 02, 2017 9:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/1328 took 69293 ms. Total solver calls (SAT/UNSAT): 599659(2473/597186)
Jun 02, 2017 9:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/1328 took 70329 ms. Total solver calls (SAT/UNSAT): 608678(2509/606169)
Jun 02, 2017 9:57:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :865/1328 took 71386 ms. Total solver calls (SAT/UNSAT): 617865(2548/615317)
Jun 02, 2017 9:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/1328 took 72461 ms. Total solver calls (SAT/UNSAT): 627051(2587/624464)
Jun 02, 2017 9:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/1328 took 73548 ms. Total solver calls (SAT/UNSAT): 636237(2626/633611)
Jun 02, 2017 9:57:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :903/1328 took 74606 ms. Total solver calls (SAT/UNSAT): 644755(2662/642093)
Jun 02, 2017 9:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/1328 took 75671 ms. Total solver calls (SAT/UNSAT): 653941(2701/651240)
Jun 02, 2017 9:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/1328 took 76794 ms. Total solver calls (SAT/UNSAT): 663628(2740/660888)
Jun 02, 2017 9:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/1328 took 77861 ms. Total solver calls (SAT/UNSAT): 672815(2779/670036)
Jun 02, 2017 9:57:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :955/1328 took 78927 ms. Total solver calls (SAT/UNSAT): 682001(2818/679183)
Jun 02, 2017 9:57:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/1328 took 79995 ms. Total solver calls (SAT/UNSAT): 691187(2857/688330)
Jun 02, 2017 9:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/1328 took 81062 ms. Total solver calls (SAT/UNSAT): 700373(2896/697477)
Jun 02, 2017 9:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/1328 took 82130 ms. Total solver calls (SAT/UNSAT): 709559(2935/706624)
Jun 02, 2017 9:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/1328 took 83176 ms. Total solver calls (SAT/UNSAT): 718578(2971/715607)
Jun 02, 2017 9:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1019/1328 took 84244 ms. Total solver calls (SAT/UNSAT): 727765(3010/724755)
Jun 02, 2017 9:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1031/1328 took 85249 ms. Total solver calls (SAT/UNSAT): 736283(3046/733237)
Jun 02, 2017 9:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/1328 took 86317 ms. Total solver calls (SAT/UNSAT): 745469(3085/742384)
Jun 02, 2017 9:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1057/1328 took 87383 ms. Total solver calls (SAT/UNSAT): 754655(3124/751531)
Jun 02, 2017 9:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/1328 took 88450 ms. Total solver calls (SAT/UNSAT): 763841(3163/760678)
Jun 02, 2017 9:57:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1083/1328 took 89573 ms. Total solver calls (SAT/UNSAT): 773528(3202/770326)
Jun 02, 2017 9:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/1328 took 90639 ms. Total solver calls (SAT/UNSAT): 782715(3241/779474)
Jun 02, 2017 9:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1109/1328 took 91704 ms. Total solver calls (SAT/UNSAT): 791901(3280/788621)
Jun 02, 2017 9:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/1328 took 92772 ms. Total solver calls (SAT/UNSAT): 801087(3319/797768)
Jun 02, 2017 9:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/1328 took 93838 ms. Total solver calls (SAT/UNSAT): 810273(3358/806915)
Jun 02, 2017 9:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/1328 took 94901 ms. Total solver calls (SAT/UNSAT): 819459(3397/816062)
Jun 02, 2017 9:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1196/1328 took 95907 ms. Total solver calls (SAT/UNSAT): 827560(3472/824088)
Jun 02, 2017 9:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/1328 took 96968 ms. Total solver calls (SAT/UNSAT): 836000(3542/832458)
Jun 02, 2017 9:57:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/1328 took 97988 ms. Total solver calls (SAT/UNSAT): 844556(3566/840990)
Jun 02, 2017 9:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/1328 took 99006 ms. Total solver calls (SAT/UNSAT): 853112(3590/849522)
Jun 02, 2017 9:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/1328 took 100067 ms. Total solver calls (SAT/UNSAT): 861668(3614/858054)
Jun 02, 2017 9:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 100970 ms. Total solver calls (SAT/UNSAT): 868698(3728/864970)
Jun 02, 2017 9:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1328 transitions.
Jun 02, 2017 9:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/1328 took 1284 ms. Total solver calls (SAT/UNSAT): 2852(52/2800)
Jun 02, 2017 9:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/1328 took 2528 ms. Total solver calls (SAT/UNSAT): 5704(104/5600)
Jun 02, 2017 9:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 3772 ms. Total solver calls (SAT/UNSAT): 8556(156/8400)
Jun 02, 2017 9:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/1328 took 5015 ms. Total solver calls (SAT/UNSAT): 11408(208/11200)
Jun 02, 2017 9:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/1328 took 6260 ms. Total solver calls (SAT/UNSAT): 14260(260/14000)
Jun 02, 2017 9:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1328 took 7504 ms. Total solver calls (SAT/UNSAT): 17112(312/16800)
Jun 02, 2017 9:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/1328 took 8748 ms. Total solver calls (SAT/UNSAT): 19964(364/19600)
Jun 02, 2017 9:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/1328 took 9994 ms. Total solver calls (SAT/UNSAT): 22816(416/22400)
Jun 02, 2017 9:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/1328 took 11243 ms. Total solver calls (SAT/UNSAT): 25668(468/25200)
Jun 02, 2017 9:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/1328 took 12484 ms. Total solver calls (SAT/UNSAT): 28520(520/28000)
Jun 02, 2017 9:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1328 took 13728 ms. Total solver calls (SAT/UNSAT): 31372(572/30800)
Jun 02, 2017 9:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/1328 took 14975 ms. Total solver calls (SAT/UNSAT): 34224(624/33600)
Jun 02, 2017 9:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/1328 took 16151 ms. Total solver calls (SAT/UNSAT): 36985(656/36329)
Jun 02, 2017 9:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/1328 took 17261 ms. Total solver calls (SAT/UNSAT): 39653(668/38985)
Jun 02, 2017 9:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/1328 took 18377 ms. Total solver calls (SAT/UNSAT): 42321(680/41641)
Jun 02, 2017 9:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/1328 took 19412 ms. Total solver calls (SAT/UNSAT): 44826(688/44138)
Jun 02, 2017 9:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/1328 took 20524 ms. Total solver calls (SAT/UNSAT): 47498(700/46798)
Jun 02, 2017 9:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/1328 took 21645 ms. Total solver calls (SAT/UNSAT): 50170(712/49458)
Jun 02, 2017 9:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/1328 took 22680 ms. Total solver calls (SAT/UNSAT): 52676(720/51956)
Jun 02, 2017 9:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/1328 took 23789 ms. Total solver calls (SAT/UNSAT): 55348(732/54616)
Jun 02, 2017 9:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/1328 took 24909 ms. Total solver calls (SAT/UNSAT): 58020(744/57276)
Jun 02, 2017 9:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/1328 took 25945 ms. Total solver calls (SAT/UNSAT): 60526(752/59774)
Jun 02, 2017 9:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/1328 took 27055 ms. Total solver calls (SAT/UNSAT): 63198(764/62434)
Jun 02, 2017 9:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/1328 took 28173 ms. Total solver calls (SAT/UNSAT): 65870(776/65094)
Jun 02, 2017 9:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/1328 took 29285 ms. Total solver calls (SAT/UNSAT): 68376(784/67592)
Jun 02, 2017 9:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/1328 took 30462 ms. Total solver calls (SAT/UNSAT): 71048(796/70252)
Jun 02, 2017 9:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/1328 took 31590 ms. Total solver calls (SAT/UNSAT): 73720(808/72912)
Jun 02, 2017 9:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/1328 took 32631 ms. Total solver calls (SAT/UNSAT): 76226(816/75410)
Jun 02, 2017 9:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/1328 took 33748 ms. Total solver calls (SAT/UNSAT): 78898(828/78070)
Jun 02, 2017 9:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/1328 took 34875 ms. Total solver calls (SAT/UNSAT): 81570(840/80730)
Jun 02, 2017 9:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/1328 took 36012 ms. Total solver calls (SAT/UNSAT): 84076(848/83228)
Jun 02, 2017 9:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/1328 took 37175 ms. Total solver calls (SAT/UNSAT): 86748(860/85888)
Jun 02, 2017 9:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/1328 took 38347 ms. Total solver calls (SAT/UNSAT): 89420(872/88548)
Jun 02, 2017 9:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/1328 took 39387 ms. Total solver calls (SAT/UNSAT): 91926(880/91046)
Jun 02, 2017 9:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/1328 took 40554 ms. Total solver calls (SAT/UNSAT): 94598(892/93706)
Jun 02, 2017 9:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/1328 took 41683 ms. Total solver calls (SAT/UNSAT): 97270(904/96366)
Jun 02, 2017 9:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/1328 took 42721 ms. Total solver calls (SAT/UNSAT): 99776(912/98864)
Jun 02, 2017 9:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/1328 took 43934 ms. Total solver calls (SAT/UNSAT): 102448(924/101524)
Jun 02, 2017 9:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/1328 took 45125 ms. Total solver calls (SAT/UNSAT): 105120(936/104184)
Jun 02, 2017 9:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/1328 took 46185 ms. Total solver calls (SAT/UNSAT): 107626(944/106682)
Jun 02, 2017 9:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/1328 took 47404 ms. Total solver calls (SAT/UNSAT): 110298(956/109342)
Jun 02, 2017 9:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/1328 took 48523 ms. Total solver calls (SAT/UNSAT): 112970(968/112002)
Jun 02, 2017 9:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/1328 took 49557 ms. Total solver calls (SAT/UNSAT): 115476(976/114500)
Jun 02, 2017 9:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/1328 took 50718 ms. Total solver calls (SAT/UNSAT): 118148(988/117160)
Jun 02, 2017 9:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/1328 took 51862 ms. Total solver calls (SAT/UNSAT): 120820(1000/119820)
Jun 02, 2017 9:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/1328 took 52917 ms. Total solver calls (SAT/UNSAT): 123326(1008/122318)
Jun 02, 2017 9:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/1328 took 54055 ms. Total solver calls (SAT/UNSAT): 125998(1020/124978)
Jun 02, 2017 9:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/1328 took 55184 ms. Total solver calls (SAT/UNSAT): 128670(1032/127638)
Jun 02, 2017 9:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/1328 took 56229 ms. Total solver calls (SAT/UNSAT): 131176(1040/130136)
Jun 02, 2017 9:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/1328 took 57351 ms. Total solver calls (SAT/UNSAT): 133848(1052/132796)
Jun 02, 2017 9:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/1328 took 58479 ms. Total solver calls (SAT/UNSAT): 136520(1064/135456)
Jun 02, 2017 9:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/1328 took 59524 ms. Total solver calls (SAT/UNSAT): 139026(1072/137954)
Jun 02, 2017 9:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/1328 took 60645 ms. Total solver calls (SAT/UNSAT): 141698(1084/140614)
Jun 02, 2017 9:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/1328 took 61774 ms. Total solver calls (SAT/UNSAT): 144370(1096/143274)
Jun 02, 2017 9:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/1328 took 62817 ms. Total solver calls (SAT/UNSAT): 146876(1104/145772)
Jun 02, 2017 9:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/1328 took 63939 ms. Total solver calls (SAT/UNSAT): 149548(1116/148432)
Jun 02, 2017 9:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/1328 took 65064 ms. Total solver calls (SAT/UNSAT): 152220(1128/151092)
Jun 02, 2017 9:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/1328 took 66109 ms. Total solver calls (SAT/UNSAT): 154726(1136/153590)
Jun 02, 2017 9:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/1328 took 67231 ms. Total solver calls (SAT/UNSAT): 157398(1148/156250)
Jun 02, 2017 9:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/1328 took 68361 ms. Total solver calls (SAT/UNSAT): 160070(1160/158910)
Jun 02, 2017 9:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/1328 took 69406 ms. Total solver calls (SAT/UNSAT): 162576(1168/161408)
Jun 02, 2017 9:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/1328 took 70528 ms. Total solver calls (SAT/UNSAT): 165248(1180/164068)
Jun 02, 2017 9:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/1328 took 71659 ms. Total solver calls (SAT/UNSAT): 167920(1192/166728)
Jun 02, 2017 9:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/1328 took 72704 ms. Total solver calls (SAT/UNSAT): 170426(1200/169226)
Jun 02, 2017 9:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/1328 took 73822 ms. Total solver calls (SAT/UNSAT): 173098(1212/171886)
Jun 02, 2017 9:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/1328 took 74942 ms. Total solver calls (SAT/UNSAT): 175770(1224/174546)
Jun 02, 2017 9:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/1328 took 75993 ms. Total solver calls (SAT/UNSAT): 178276(1232/177044)
Jun 02, 2017 9:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/1328 took 77115 ms. Total solver calls (SAT/UNSAT): 180948(1244/179704)
Jun 02, 2017 9:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/1328 took 78242 ms. Total solver calls (SAT/UNSAT): 183620(1256/182364)
Jun 02, 2017 9:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/1328 took 79286 ms. Total solver calls (SAT/UNSAT): 186126(1264/184862)
Jun 02, 2017 9:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/1328 took 80410 ms. Total solver calls (SAT/UNSAT): 188798(1276/187522)
Jun 02, 2017 9:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/1328 took 81539 ms. Total solver calls (SAT/UNSAT): 191470(1288/190182)
Jun 02, 2017 9:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/1328 took 82583 ms. Total solver calls (SAT/UNSAT): 193976(1296/192680)
Jun 02, 2017 9:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/1328 took 83707 ms. Total solver calls (SAT/UNSAT): 196648(1308/195340)
Jun 02, 2017 9:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/1328 took 84835 ms. Total solver calls (SAT/UNSAT): 199320(1320/198000)
Jun 02, 2017 9:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/1328 took 85881 ms. Total solver calls (SAT/UNSAT): 201826(1328/200498)
Jun 02, 2017 9:59:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/1328 took 87002 ms. Total solver calls (SAT/UNSAT): 204498(1340/203158)
Jun 02, 2017 9:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/1328 took 88163 ms. Total solver calls (SAT/UNSAT): 207170(1352/205818)
Jun 02, 2017 9:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/1328 took 89204 ms. Total solver calls (SAT/UNSAT): 209676(1360/208316)
Jun 02, 2017 9:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/1328 took 90328 ms. Total solver calls (SAT/UNSAT): 212348(1372/210976)
Jun 02, 2017 9:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/1328 took 91456 ms. Total solver calls (SAT/UNSAT): 215020(1384/213636)
Jun 02, 2017 9:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/1328 took 92496 ms. Total solver calls (SAT/UNSAT): 217526(1392/216134)
Jun 02, 2017 9:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/1328 took 93614 ms. Total solver calls (SAT/UNSAT): 220198(1404/218794)
Jun 02, 2017 9:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/1328 took 94739 ms. Total solver calls (SAT/UNSAT): 222870(1416/221454)
Jun 02, 2017 9:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/1328 took 95780 ms. Total solver calls (SAT/UNSAT): 225376(1424/223952)
Jun 02, 2017 9:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/1328 took 96897 ms. Total solver calls (SAT/UNSAT): 228048(1436/226612)
Jun 02, 2017 9:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/1328 took 98022 ms. Total solver calls (SAT/UNSAT): 230720(1448/229272)
Jun 02, 2017 9:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/1328 took 99062 ms. Total solver calls (SAT/UNSAT): 233226(1456/231770)
Jun 02, 2017 9:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/1328 took 100179 ms. Total solver calls (SAT/UNSAT): 235898(1468/234430)
Jun 02, 2017 9:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/1328 took 101305 ms. Total solver calls (SAT/UNSAT): 238570(1480/237090)
Jun 02, 2017 9:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/1328 took 102345 ms. Total solver calls (SAT/UNSAT): 241076(1488/239588)
Jun 02, 2017 9:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/1328 took 103461 ms. Total solver calls (SAT/UNSAT): 243748(1500/242248)
Jun 02, 2017 9:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/1328 took 104586 ms. Total solver calls (SAT/UNSAT): 246420(1512/244908)
Jun 02, 2017 9:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/1328 took 105627 ms. Total solver calls (SAT/UNSAT): 248926(1520/247406)
Jun 02, 2017 9:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/1328 took 106744 ms. Total solver calls (SAT/UNSAT): 251598(1532/250066)
Jun 02, 2017 9:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/1328 took 107868 ms. Total solver calls (SAT/UNSAT): 254270(1544/252726)
Jun 02, 2017 9:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/1328 took 108908 ms. Total solver calls (SAT/UNSAT): 256776(1552/255224)
Jun 02, 2017 9:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/1328 took 110025 ms. Total solver calls (SAT/UNSAT): 259448(1564/257884)
Jun 02, 2017 9:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/1328 took 111152 ms. Total solver calls (SAT/UNSAT): 262120(1576/260544)
Jun 02, 2017 9:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/1328 took 112192 ms. Total solver calls (SAT/UNSAT): 264626(1584/263042)
Jun 02, 2017 9:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/1328 took 113309 ms. Total solver calls (SAT/UNSAT): 267298(1596/265702)
Jun 02, 2017 9:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/1328 took 114436 ms. Total solver calls (SAT/UNSAT): 269970(1608/268362)
Jun 02, 2017 9:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/1328 took 115479 ms. Total solver calls (SAT/UNSAT): 272476(1616/270860)
Jun 02, 2017 9:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/1328 took 116596 ms. Total solver calls (SAT/UNSAT): 275148(1628/273520)
Jun 02, 2017 9:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/1328 took 117728 ms. Total solver calls (SAT/UNSAT): 277820(1640/276180)
Jun 02, 2017 9:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/1328 took 118773 ms. Total solver calls (SAT/UNSAT): 280326(1648/278678)
Jun 02, 2017 9:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/1328 took 119888 ms. Total solver calls (SAT/UNSAT): 282998(1660/281338)
Jun 02, 2017 9:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/1328 took 121012 ms. Total solver calls (SAT/UNSAT): 285670(1672/283998)
Jun 02, 2017 9:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/1328 took 122053 ms. Total solver calls (SAT/UNSAT): 288176(1680/286496)
Jun 02, 2017 9:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/1328 took 123168 ms. Total solver calls (SAT/UNSAT): 290848(1692/289156)
Jun 02, 2017 9:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/1328 took 124296 ms. Total solver calls (SAT/UNSAT): 293520(1704/291816)
Jun 02, 2017 9:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/1328 took 125335 ms. Total solver calls (SAT/UNSAT): 296026(1712/294314)
Jun 02, 2017 9:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/1328 took 126451 ms. Total solver calls (SAT/UNSAT): 298698(1724/296974)
Jun 02, 2017 9:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/1328 took 127574 ms. Total solver calls (SAT/UNSAT): 301370(1736/299634)
Jun 02, 2017 9:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/1328 took 128614 ms. Total solver calls (SAT/UNSAT): 303876(1744/302132)
Jun 02, 2017 9:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/1328 took 129732 ms. Total solver calls (SAT/UNSAT): 306548(1756/304792)
Jun 02, 2017 9:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/1328 took 130856 ms. Total solver calls (SAT/UNSAT): 309220(1768/307452)
Jun 02, 2017 9:59:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/1328 took 131896 ms. Total solver calls (SAT/UNSAT): 311726(1776/309950)
Jun 02, 2017 9:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/1328 took 133011 ms. Total solver calls (SAT/UNSAT): 314398(1788/312610)
Jun 02, 2017 9:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/1328 took 134133 ms. Total solver calls (SAT/UNSAT): 317070(1800/315270)
Jun 02, 2017 9:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/1328 took 135170 ms. Total solver calls (SAT/UNSAT): 319576(1808/317768)
Jun 02, 2017 9:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/1328 took 136284 ms. Total solver calls (SAT/UNSAT): 322248(1820/320428)
Jun 02, 2017 9:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/1328 took 137408 ms. Total solver calls (SAT/UNSAT): 324920(1832/323088)
Jun 02, 2017 9:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/1328 took 138446 ms. Total solver calls (SAT/UNSAT): 327426(1840/325586)
Jun 02, 2017 9:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/1328 took 139563 ms. Total solver calls (SAT/UNSAT): 330098(1852/328246)
Jun 02, 2017 10:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/1328 took 140687 ms. Total solver calls (SAT/UNSAT): 332770(1864/330906)
Jun 02, 2017 10:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/1328 took 141726 ms. Total solver calls (SAT/UNSAT): 335276(1872/333404)
Jun 02, 2017 10:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/1328 took 142841 ms. Total solver calls (SAT/UNSAT): 337948(1884/336064)
Jun 02, 2017 10:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/1328 took 143961 ms. Total solver calls (SAT/UNSAT): 340620(1896/338724)
Jun 02, 2017 10:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/1328 took 145000 ms. Total solver calls (SAT/UNSAT): 343126(1904/341222)
Jun 02, 2017 10:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/1328 took 146116 ms. Total solver calls (SAT/UNSAT): 345798(1916/343882)
Jun 02, 2017 10:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/1328 took 147240 ms. Total solver calls (SAT/UNSAT): 348470(1928/346542)
Jun 02, 2017 10:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/1328 took 148280 ms. Total solver calls (SAT/UNSAT): 350976(1936/349040)
Jun 02, 2017 10:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/1328 took 149395 ms. Total solver calls (SAT/UNSAT): 353648(1948/351700)
Jun 02, 2017 10:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/1328 took 150520 ms. Total solver calls (SAT/UNSAT): 356320(1960/354360)
Jun 02, 2017 10:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/1328 took 151560 ms. Total solver calls (SAT/UNSAT): 358826(1968/356858)
Jun 02, 2017 10:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/1328 took 152676 ms. Total solver calls (SAT/UNSAT): 361498(1980/359518)
Jun 02, 2017 10:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/1328 took 153800 ms. Total solver calls (SAT/UNSAT): 364170(1992/362178)
Jun 02, 2017 10:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/1328 took 154841 ms. Total solver calls (SAT/UNSAT): 366676(2000/364676)
Jun 02, 2017 10:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/1328 took 155959 ms. Total solver calls (SAT/UNSAT): 369348(2012/367336)
Jun 02, 2017 10:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/1328 took 157084 ms. Total solver calls (SAT/UNSAT): 372020(2024/369996)
Jun 02, 2017 10:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/1328 took 158133 ms. Total solver calls (SAT/UNSAT): 374526(2032/372494)
Jun 02, 2017 10:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/1328 took 159250 ms. Total solver calls (SAT/UNSAT): 377198(2044/375154)
Jun 02, 2017 10:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/1328 took 160374 ms. Total solver calls (SAT/UNSAT): 379870(2056/377814)
Jun 02, 2017 10:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/1328 took 161413 ms. Total solver calls (SAT/UNSAT): 382376(2064/380312)
Jun 02, 2017 10:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/1328 took 162532 ms. Total solver calls (SAT/UNSAT): 385048(2076/382972)
Jun 02, 2017 10:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/1328 took 163658 ms. Total solver calls (SAT/UNSAT): 387720(2088/385632)
Jun 02, 2017 10:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/1328 took 164698 ms. Total solver calls (SAT/UNSAT): 390226(2096/388130)
Jun 02, 2017 10:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/1328 took 165816 ms. Total solver calls (SAT/UNSAT): 392898(2108/390790)
Jun 02, 2017 10:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/1328 took 166940 ms. Total solver calls (SAT/UNSAT): 395570(2120/393450)
Jun 02, 2017 10:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/1328 took 167981 ms. Total solver calls (SAT/UNSAT): 398076(2128/395948)
Jun 02, 2017 10:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/1328 took 169099 ms. Total solver calls (SAT/UNSAT): 400748(2140/398608)
Jun 02, 2017 10:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/1328 took 170224 ms. Total solver calls (SAT/UNSAT): 403420(2152/401268)
Jun 02, 2017 10:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/1328 took 171266 ms. Total solver calls (SAT/UNSAT): 405926(2160/403766)
Jun 02, 2017 10:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/1328 took 172384 ms. Total solver calls (SAT/UNSAT): 408598(2172/406426)
Jun 02, 2017 10:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/1328 took 173509 ms. Total solver calls (SAT/UNSAT): 411270(2184/409086)
Jun 02, 2017 10:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/1328 took 174551 ms. Total solver calls (SAT/UNSAT): 413776(2192/411584)
Jun 02, 2017 10:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/1328 took 175670 ms. Total solver calls (SAT/UNSAT): 416448(2204/414244)
Jun 02, 2017 10:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/1328 took 176795 ms. Total solver calls (SAT/UNSAT): 419120(2216/416904)
Jun 02, 2017 10:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/1328 took 177835 ms. Total solver calls (SAT/UNSAT): 421626(2224/419402)
Jun 02, 2017 10:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/1328 took 178955 ms. Total solver calls (SAT/UNSAT): 424298(2236/422062)
Jun 02, 2017 10:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/1328 took 180078 ms. Total solver calls (SAT/UNSAT): 426970(2248/424722)
Jun 02, 2017 10:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/1328 took 181119 ms. Total solver calls (SAT/UNSAT): 429474(2256/427218)
Jun 02, 2017 10:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/1328 took 182236 ms. Total solver calls (SAT/UNSAT): 432142(2268/429874)
Jun 02, 2017 10:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/1328 took 183358 ms. Total solver calls (SAT/UNSAT): 434810(2280/432530)
Jun 02, 2017 10:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/1328 took 184396 ms. Total solver calls (SAT/UNSAT): 437315(2288/435027)
Jun 02, 2017 10:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/1328 took 185513 ms. Total solver calls (SAT/UNSAT): 439987(2300/437687)
Jun 02, 2017 10:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/1328 took 186635 ms. Total solver calls (SAT/UNSAT): 442659(2312/440347)
Jun 02, 2017 10:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/1328 took 187673 ms. Total solver calls (SAT/UNSAT): 445165(2320/442845)
Jun 02, 2017 10:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/1328 took 188790 ms. Total solver calls (SAT/UNSAT): 447837(2332/445505)
Jun 02, 2017 10:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/1328 took 189912 ms. Total solver calls (SAT/UNSAT): 450509(2344/448165)
Jun 02, 2017 10:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/1328 took 190951 ms. Total solver calls (SAT/UNSAT): 453015(2352/450663)
Jun 02, 2017 10:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/1328 took 192069 ms. Total solver calls (SAT/UNSAT): 455687(2364/453323)
Jun 02, 2017 10:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/1328 took 193190 ms. Total solver calls (SAT/UNSAT): 458359(2376/455983)
Jun 02, 2017 10:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/1328 took 194228 ms. Total solver calls (SAT/UNSAT): 460865(2384/458481)
Jun 02, 2017 10:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/1328 took 195345 ms. Total solver calls (SAT/UNSAT): 463537(2396/461141)
Jun 02, 2017 10:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/1328 took 196467 ms. Total solver calls (SAT/UNSAT): 466209(2408/463801)
Jun 02, 2017 10:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/1328 took 197522 ms. Total solver calls (SAT/UNSAT): 468715(2416/466299)
Jun 02, 2017 10:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/1328 took 198644 ms. Total solver calls (SAT/UNSAT): 471387(2428/468959)
Jun 02, 2017 10:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/1328 took 199765 ms. Total solver calls (SAT/UNSAT): 474059(2440/471619)
Jun 02, 2017 10:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/1328 took 200804 ms. Total solver calls (SAT/UNSAT): 476565(2448/474117)
Jun 02, 2017 10:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/1328 took 201920 ms. Total solver calls (SAT/UNSAT): 479237(2460/476777)
Jun 02, 2017 10:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/1328 took 203039 ms. Total solver calls (SAT/UNSAT): 481909(2472/479437)
Jun 02, 2017 10:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/1328 took 204075 ms. Total solver calls (SAT/UNSAT): 484415(2480/481935)
Jun 02, 2017 10:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/1328 took 205189 ms. Total solver calls (SAT/UNSAT): 487087(2492/484595)
Jun 02, 2017 10:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1328 took 206307 ms. Total solver calls (SAT/UNSAT): 489759(2504/487255)
Jun 02, 2017 10:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/1328 took 207403 ms. Total solver calls (SAT/UNSAT): 492265(2512/489753)
Jun 02, 2017 10:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/1328 took 208535 ms. Total solver calls (SAT/UNSAT): 494937(2524/492413)
Jun 02, 2017 10:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/1328 took 209672 ms. Total solver calls (SAT/UNSAT): 497609(2536/495073)
Jun 02, 2017 10:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/1328 took 210718 ms. Total solver calls (SAT/UNSAT): 500115(2544/497571)
Jun 02, 2017 10:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/1328 took 211841 ms. Total solver calls (SAT/UNSAT): 502787(2556/500231)
Jun 02, 2017 10:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/1328 took 212966 ms. Total solver calls (SAT/UNSAT): 505459(2568/502891)
Jun 02, 2017 10:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/1328 took 214017 ms. Total solver calls (SAT/UNSAT): 507965(2576/505389)
Jun 02, 2017 10:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/1328 took 215266 ms. Total solver calls (SAT/UNSAT): 510637(2588/508049)
Jun 02, 2017 10:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/1328 took 216391 ms. Total solver calls (SAT/UNSAT): 513309(2600/510709)
Jun 02, 2017 10:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/1328 took 217483 ms. Total solver calls (SAT/UNSAT): 515815(2608/513207)
Jun 02, 2017 10:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/1328 took 218606 ms. Total solver calls (SAT/UNSAT): 518487(2620/515867)
Jun 02, 2017 10:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/1328 took 219733 ms. Total solver calls (SAT/UNSAT): 521159(2632/518527)
Jun 02, 2017 10:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/1328 took 220778 ms. Total solver calls (SAT/UNSAT): 523665(2640/521025)
Jun 02, 2017 10:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/1328 took 221897 ms. Total solver calls (SAT/UNSAT): 526337(2652/523685)
Jun 02, 2017 10:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/1328 took 223065 ms. Total solver calls (SAT/UNSAT): 529009(2664/526345)
Jun 02, 2017 10:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/1328 took 224108 ms. Total solver calls (SAT/UNSAT): 531515(2672/528843)
Jun 02, 2017 10:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/1328 took 225218 ms. Total solver calls (SAT/UNSAT): 534187(2684/531503)
Jun 02, 2017 10:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/1328 took 226333 ms. Total solver calls (SAT/UNSAT): 536859(2696/534163)
Jun 02, 2017 10:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/1328 took 227365 ms. Total solver calls (SAT/UNSAT): 539365(2704/536661)
Jun 02, 2017 10:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/1328 took 228475 ms. Total solver calls (SAT/UNSAT): 542037(2716/539321)
Jun 02, 2017 10:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/1328 took 229589 ms. Total solver calls (SAT/UNSAT): 544709(2728/541981)
Jun 02, 2017 10:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/1328 took 230620 ms. Total solver calls (SAT/UNSAT): 547215(2736/544479)
Jun 02, 2017 10:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/1328 took 231731 ms. Total solver calls (SAT/UNSAT): 549887(2748/547139)
Jun 02, 2017 10:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/1328 took 232847 ms. Total solver calls (SAT/UNSAT): 552559(2760/549799)
Jun 02, 2017 10:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/1328 took 233888 ms. Total solver calls (SAT/UNSAT): 555065(2768/552297)
Jun 02, 2017 10:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/1328 took 234995 ms. Total solver calls (SAT/UNSAT): 557737(2780/554957)
Jun 02, 2017 10:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/1328 took 236110 ms. Total solver calls (SAT/UNSAT): 560409(2792/557617)
Jun 02, 2017 10:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/1328 took 237142 ms. Total solver calls (SAT/UNSAT): 562915(2800/560115)
Jun 02, 2017 10:01:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/1328 took 238251 ms. Total solver calls (SAT/UNSAT): 565587(2812/562775)
Jun 02, 2017 10:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/1328 took 239364 ms. Total solver calls (SAT/UNSAT): 568259(2824/565435)
Jun 02, 2017 10:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/1328 took 240393 ms. Total solver calls (SAT/UNSAT): 570765(2832/567933)
Jun 02, 2017 10:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/1328 took 241500 ms. Total solver calls (SAT/UNSAT): 573437(2844/570593)
Jun 02, 2017 10:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/1328 took 242611 ms. Total solver calls (SAT/UNSAT): 576109(2856/573253)
Jun 02, 2017 10:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/1328 took 243643 ms. Total solver calls (SAT/UNSAT): 578615(2864/575751)
Jun 02, 2017 10:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/1328 took 244750 ms. Total solver calls (SAT/UNSAT): 581287(2876/578411)
Jun 02, 2017 10:01:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/1328 took 245864 ms. Total solver calls (SAT/UNSAT): 583959(2888/581071)
Jun 02, 2017 10:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/1328 took 246898 ms. Total solver calls (SAT/UNSAT): 586465(2896/583569)
Jun 02, 2017 10:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/1328 took 248011 ms. Total solver calls (SAT/UNSAT): 589137(2908/586229)
Jun 02, 2017 10:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/1328 took 249128 ms. Total solver calls (SAT/UNSAT): 591809(2920/588889)
Jun 02, 2017 10:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/1328 took 250158 ms. Total solver calls (SAT/UNSAT): 594315(2928/591387)
Jun 02, 2017 10:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/1328 took 251268 ms. Total solver calls (SAT/UNSAT): 596987(2940/594047)
Jun 02, 2017 10:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/1328 took 252382 ms. Total solver calls (SAT/UNSAT): 599659(2952/596707)
Jun 02, 2017 10:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/1328 took 253469 ms. Total solver calls (SAT/UNSAT): 602165(2960/599205)
Jun 02, 2017 10:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/1328 took 254594 ms. Total solver calls (SAT/UNSAT): 604837(2972/601865)
Jun 02, 2017 10:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/1328 took 255723 ms. Total solver calls (SAT/UNSAT): 607509(2984/604525)
Jun 02, 2017 10:01:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/1328 took 256769 ms. Total solver calls (SAT/UNSAT): 610015(2992/607023)
Jun 02, 2017 10:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/1328 took 257893 ms. Total solver calls (SAT/UNSAT): 612687(3004/609683)
Jun 02, 2017 10:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :862/1328 took 259020 ms. Total solver calls (SAT/UNSAT): 615359(3016/612343)
Jun 02, 2017 10:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :865/1328 took 260064 ms. Total solver calls (SAT/UNSAT): 617865(3024/614841)
Jun 02, 2017 10:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :869/1328 took 261190 ms. Total solver calls (SAT/UNSAT): 620537(3036/617501)
Jun 02, 2017 10:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :873/1328 took 262321 ms. Total solver calls (SAT/UNSAT): 623209(3048/620161)
Jun 02, 2017 10:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/1328 took 263364 ms. Total solver calls (SAT/UNSAT): 625715(3056/622659)
Jun 02, 2017 10:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/1328 took 264487 ms. Total solver calls (SAT/UNSAT): 628387(3068/625319)
Jun 02, 2017 10:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :884/1328 took 265613 ms. Total solver calls (SAT/UNSAT): 631059(3080/627979)
Jun 02, 2017 10:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/1328 took 266656 ms. Total solver calls (SAT/UNSAT): 633565(3088/630477)
Jun 02, 2017 10:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/1328 took 267780 ms. Total solver calls (SAT/UNSAT): 636237(3100/633137)
Jun 02, 2017 10:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :895/1328 took 268916 ms. Total solver calls (SAT/UNSAT): 638909(3112/635797)
Jun 02, 2017 10:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :898/1328 took 269965 ms. Total solver calls (SAT/UNSAT): 641415(3120/638295)
Jun 02, 2017 10:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :902/1328 took 271088 ms. Total solver calls (SAT/UNSAT): 644087(3132/640955)
Jun 02, 2017 10:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/1328 took 272213 ms. Total solver calls (SAT/UNSAT): 646759(3144/643615)
Jun 02, 2017 10:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/1328 took 273255 ms. Total solver calls (SAT/UNSAT): 649265(3152/646113)
Jun 02, 2017 10:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :913/1328 took 274376 ms. Total solver calls (SAT/UNSAT): 651937(3164/648773)
Jun 02, 2017 10:02:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/1328 took 275499 ms. Total solver calls (SAT/UNSAT): 654609(3176/651433)
Jun 02, 2017 10:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/1328 took 276540 ms. Total solver calls (SAT/UNSAT): 657115(3184/653931)
Jun 02, 2017 10:02:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/1328 took 277658 ms. Total solver calls (SAT/UNSAT): 659787(3196/656591)
Jun 02, 2017 10:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/1328 took 278781 ms. Total solver calls (SAT/UNSAT): 662459(3208/659251)
Jun 02, 2017 10:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/1328 took 279824 ms. Total solver calls (SAT/UNSAT): 664965(3216/661749)
Jun 02, 2017 10:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :935/1328 took 280946 ms. Total solver calls (SAT/UNSAT): 667637(3228/664409)
Jun 02, 2017 10:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/1328 took 282071 ms. Total solver calls (SAT/UNSAT): 670309(3240/667069)
Jun 02, 2017 10:02:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/1328 took 283107 ms. Total solver calls (SAT/UNSAT): 672815(3248/669567)
Jun 02, 2017 10:02:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :946/1328 took 284228 ms. Total solver calls (SAT/UNSAT): 675487(3260/672227)
Jun 02, 2017 10:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :950/1328 took 285355 ms. Total solver calls (SAT/UNSAT): 678159(3272/674887)
Jun 02, 2017 10:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :953/1328 took 286390 ms. Total solver calls (SAT/UNSAT): 680665(3280/677385)
Jun 02, 2017 10:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :957/1328 took 287502 ms. Total solver calls (SAT/UNSAT): 683337(3292/680045)
Jun 02, 2017 10:02:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :961/1328 took 288617 ms. Total solver calls (SAT/UNSAT): 686009(3304/682705)
Jun 02, 2017 10:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/1328 took 289651 ms. Total solver calls (SAT/UNSAT): 688515(3312/685203)
Jun 02, 2017 10:02:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/1328 took 290772 ms. Total solver calls (SAT/UNSAT): 691187(3324/687863)
Jun 02, 2017 10:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/1328 took 291897 ms. Total solver calls (SAT/UNSAT): 693859(3336/690523)
Jun 02, 2017 10:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :975/1328 took 292940 ms. Total solver calls (SAT/UNSAT): 696365(3344/693021)
Jun 02, 2017 10:02:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :979/1328 took 294062 ms. Total solver calls (SAT/UNSAT): 699037(3356/695681)
Jun 02, 2017 10:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :983/1328 took 295188 ms. Total solver calls (SAT/UNSAT): 701709(3368/698341)
Jun 02, 2017 10:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/1328 took 296232 ms. Total solver calls (SAT/UNSAT): 704215(3376/700839)
Jun 02, 2017 10:02:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/1328 took 297354 ms. Total solver calls (SAT/UNSAT): 706887(3388/703499)
Jun 02, 2017 10:02:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/1328 took 298480 ms. Total solver calls (SAT/UNSAT): 709559(3400/706159)
Jun 02, 2017 10:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :997/1328 took 299526 ms. Total solver calls (SAT/UNSAT): 712065(3408/708657)
Jun 02, 2017 10:02:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1001/1328 took 300697 ms. Total solver calls (SAT/UNSAT): 714737(3420/711317)
Jun 02, 2017 10:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1005/1328 took 301828 ms. Total solver calls (SAT/UNSAT): 717409(3432/713977)
Jun 02, 2017 10:02:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/1328 took 302878 ms. Total solver calls (SAT/UNSAT): 719915(3440/716475)
Jun 02, 2017 10:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/1328 took 304006 ms. Total solver calls (SAT/UNSAT): 722587(3452/719135)
Jun 02, 2017 10:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/1328 took 305133 ms. Total solver calls (SAT/UNSAT): 725259(3464/721795)
Jun 02, 2017 10:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1019/1328 took 306178 ms. Total solver calls (SAT/UNSAT): 727765(3472/724293)
Jun 02, 2017 10:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1023/1328 took 307301 ms. Total solver calls (SAT/UNSAT): 730437(3484/726953)
Jun 02, 2017 10:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1027/1328 took 308429 ms. Total solver calls (SAT/UNSAT): 733109(3496/729613)
Jun 02, 2017 10:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/1328 took 309475 ms. Total solver calls (SAT/UNSAT): 735615(3504/732111)
Jun 02, 2017 10:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/1328 took 310600 ms. Total solver calls (SAT/UNSAT): 738287(3516/734771)
Jun 02, 2017 10:02:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1038/1328 took 311727 ms. Total solver calls (SAT/UNSAT): 740959(3528/737431)
Jun 02, 2017 10:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1041/1328 took 312773 ms. Total solver calls (SAT/UNSAT): 743465(3536/739929)
Jun 02, 2017 10:02:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1045/1328 took 313934 ms. Total solver calls (SAT/UNSAT): 746137(3548/742589)
Jun 02, 2017 10:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1049/1328 took 315050 ms. Total solver calls (SAT/UNSAT): 748809(3560/745249)
Jun 02, 2017 10:02:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/1328 took 316082 ms. Total solver calls (SAT/UNSAT): 751315(3568/747747)
Jun 02, 2017 10:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/1328 took 317189 ms. Total solver calls (SAT/UNSAT): 753987(3580/750407)
Jun 02, 2017 10:02:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/1328 took 318300 ms. Total solver calls (SAT/UNSAT): 756659(3592/753067)
Jun 02, 2017 10:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1063/1328 took 319328 ms. Total solver calls (SAT/UNSAT): 759165(3600/755565)
Jun 02, 2017 10:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1067/1328 took 320436 ms. Total solver calls (SAT/UNSAT): 761837(3612/758225)
Jun 02, 2017 10:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1071/1328 took 321548 ms. Total solver calls (SAT/UNSAT): 764509(3624/760885)
Jun 02, 2017 10:03:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/1328 took 322578 ms. Total solver calls (SAT/UNSAT): 767015(3632/763383)
Jun 02, 2017 10:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/1328 took 323687 ms. Total solver calls (SAT/UNSAT): 769687(3644/766043)
Jun 02, 2017 10:03:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/1328 took 324800 ms. Total solver calls (SAT/UNSAT): 772359(3656/768703)
Jun 02, 2017 10:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1085/1328 took 325831 ms. Total solver calls (SAT/UNSAT): 774865(3664/771201)
Jun 02, 2017 10:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1089/1328 took 326939 ms. Total solver calls (SAT/UNSAT): 777537(3676/773861)
Jun 02, 2017 10:03:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1093/1328 took 328050 ms. Total solver calls (SAT/UNSAT): 780209(3688/776521)
Jun 02, 2017 10:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/1328 took 329081 ms. Total solver calls (SAT/UNSAT): 782715(3696/779019)
Jun 02, 2017 10:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/1328 took 330190 ms. Total solver calls (SAT/UNSAT): 785387(3708/781679)
Jun 02, 2017 10:03:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/1328 took 331303 ms. Total solver calls (SAT/UNSAT): 788059(3720/784339)
Jun 02, 2017 10:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/1328 took 332333 ms. Total solver calls (SAT/UNSAT): 790565(3728/786837)
Jun 02, 2017 10:03:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1111/1328 took 333490 ms. Total solver calls (SAT/UNSAT): 793237(3740/789497)
Jun 02, 2017 10:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1115/1328 took 334605 ms. Total solver calls (SAT/UNSAT): 795909(3752/792157)
Jun 02, 2017 10:03:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/1328 took 335648 ms. Total solver calls (SAT/UNSAT): 798415(3760/794655)
Jun 02, 2017 10:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/1328 took 336757 ms. Total solver calls (SAT/UNSAT): 801087(3772/797315)
Jun 02, 2017 10:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/1328 took 337870 ms. Total solver calls (SAT/UNSAT): 803759(3784/799975)
Jun 02, 2017 10:03:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1129/1328 took 338900 ms. Total solver calls (SAT/UNSAT): 806265(3792/802473)
Jun 02, 2017 10:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1133/1328 took 340009 ms. Total solver calls (SAT/UNSAT): 808937(3804/805133)
Jun 02, 2017 10:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1137/1328 took 341121 ms. Total solver calls (SAT/UNSAT): 811609(3816/807793)
Jun 02, 2017 10:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/1328 took 342150 ms. Total solver calls (SAT/UNSAT): 814115(3824/810291)
Jun 02, 2017 10:03:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/1328 took 343253 ms. Total solver calls (SAT/UNSAT): 816787(3836/812951)
Jun 02, 2017 10:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/1328 took 344427 ms. Total solver calls (SAT/UNSAT): 819459(3848/815611)
Jun 02, 2017 10:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1154/1328 took 345434 ms. Total solver calls (SAT/UNSAT): 821448(4105/817343)
Jun 02, 2017 10:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1161/1328 took 346441 ms. Total solver calls (SAT/UNSAT): 823596(4462/819134)
Jun 02, 2017 10:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/1328 took 347735 ms. Total solver calls (SAT/UNSAT): 826236(4972/821264)
Jun 02, 2017 10:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/1328 took 348746 ms. Total solver calls (SAT/UNSAT): 827931(5035/822896)
Jun 02, 2017 10:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1225/1328 took 350053 ms. Total solver calls (SAT/UNSAT): 830296(6229/824067)
Jun 02, 2017 10:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1229/1328 took 351261 ms. Total solver calls (SAT/UNSAT): 833148(6281/826867)
Jun 02, 2017 10:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/1328 took 352471 ms. Total solver calls (SAT/UNSAT): 836000(6333/829667)
Jun 02, 2017 10:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/1328 took 353680 ms. Total solver calls (SAT/UNSAT): 838852(6385/832467)
Jun 02, 2017 10:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1241/1328 took 354889 ms. Total solver calls (SAT/UNSAT): 841704(6437/835267)
Jun 02, 2017 10:03:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/1328 took 356098 ms. Total solver calls (SAT/UNSAT): 844556(6489/838067)
Jun 02, 2017 10:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/1328 took 357309 ms. Total solver calls (SAT/UNSAT): 847408(6541/840867)
Jun 02, 2017 10:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1253/1328 took 358518 ms. Total solver calls (SAT/UNSAT): 850260(6593/843667)
Jun 02, 2017 10:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/1328 took 359728 ms. Total solver calls (SAT/UNSAT): 853112(6645/846467)
Jun 02, 2017 10:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/1328 took 361003 ms. Total solver calls (SAT/UNSAT): 855964(6697/849267)
Jun 02, 2017 10:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1265/1328 took 362234 ms. Total solver calls (SAT/UNSAT): 858816(6749/852067)
Jun 02, 2017 10:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/1328 took 363465 ms. Total solver calls (SAT/UNSAT): 861668(6801/854867)
Jun 02, 2017 10:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/1328 took 364696 ms. Total solver calls (SAT/UNSAT): 864520(6853/857667)
Jun 02, 2017 10:03:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/1328 took 365723 ms. Total solver calls (SAT/UNSAT): 866632(6952/859680)
Jun 02, 2017 10:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1319/1328 took 366726 ms. Total solver calls (SAT/UNSAT): 868275(7014/861261)
Jun 02, 2017 10:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 366984 ms. Total solver calls (SAT/UNSAT): 868698(7030/861668)
Jun 02, 2017 10:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1328 transitions.
Jun 02, 2017 10:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/1328) took 737 ms. Total solver calls (SAT/UNSAT): 5306(216/5090)
Jun 02, 2017 10:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/1328) took 1759 ms. Total solver calls (SAT/UNSAT): 13235(540/12695)
Jun 02, 2017 10:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/1328) took 2770 ms. Total solver calls (SAT/UNSAT): 21128(864/20264)
Jun 02, 2017 10:03:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/1328) took 3786 ms. Total solver calls (SAT/UNSAT): 28985(1188/27797)
Jun 02, 2017 10:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/1328) took 4891 ms. Total solver calls (SAT/UNSAT): 36806(1512/35294)
Jun 02, 2017 10:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/1328) took 6053 ms. Total solver calls (SAT/UNSAT): 45885(1890/43995)
Jun 02, 2017 10:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/1328) took 7213 ms. Total solver calls (SAT/UNSAT): 54915(2268/52647)
Jun 02, 2017 10:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/1328) took 8406 ms. Total solver calls (SAT/UNSAT): 63896(2646/61250)
Jun 02, 2017 10:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/1328) took 9545 ms. Total solver calls (SAT/UNSAT): 72828(2724/70104)
Jun 02, 2017 10:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/1328) took 10623 ms. Total solver calls (SAT/UNSAT): 81711(2752/78959)
Jun 02, 2017 10:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/1328) took 11775 ms. Total solver calls (SAT/UNSAT): 90545(2780/87765)
Jun 02, 2017 10:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/1328) took 12838 ms. Total solver calls (SAT/UNSAT): 99330(2808/96522)
Jun 02, 2017 10:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/1328) took 13898 ms. Total solver calls (SAT/UNSAT): 108066(2836/105230)
Jun 02, 2017 10:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/1328) took 14947 ms. Total solver calls (SAT/UNSAT): 116753(2864/113889)
Jun 02, 2017 10:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/1328) took 16034 ms. Total solver calls (SAT/UNSAT): 125391(2892/122499)
Jun 02, 2017 10:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/1328) took 17071 ms. Total solver calls (SAT/UNSAT): 133980(2920/131060)
Jun 02, 2017 10:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/1328) took 18102 ms. Total solver calls (SAT/UNSAT): 142520(2948/139572)
Jun 02, 2017 10:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/1328) took 19125 ms. Total solver calls (SAT/UNSAT): 151011(2976/148035)
Jun 02, 2017 10:04:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/1328) took 20147 ms. Total solver calls (SAT/UNSAT): 159453(3004/156449)
Jun 02, 2017 10:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/1328) took 21162 ms. Total solver calls (SAT/UNSAT): 167846(3032/164814)
Jun 02, 2017 10:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/1328) took 22216 ms. Total solver calls (SAT/UNSAT): 176190(3060/173130)
Jun 02, 2017 10:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/1328) took 23356 ms. Total solver calls (SAT/UNSAT): 185666(3092/182574)
Jun 02, 2017 10:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/1328) took 24487 ms. Total solver calls (SAT/UNSAT): 195078(3124/191954)
Jun 02, 2017 10:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/1328) took 25611 ms. Total solver calls (SAT/UNSAT): 204426(3156/201270)
Jun 02, 2017 10:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/1328) took 26731 ms. Total solver calls (SAT/UNSAT): 213710(3188/210522)
Jun 02, 2017 10:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/1328) took 27842 ms. Total solver calls (SAT/UNSAT): 222930(3220/219710)
Jun 02, 2017 10:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/1328) took 28946 ms. Total solver calls (SAT/UNSAT): 232086(3252/228834)
Jun 02, 2017 10:04:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/1328) took 30039 ms. Total solver calls (SAT/UNSAT): 241178(3284/237894)
Jun 02, 2017 10:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/1328) took 31175 ms. Total solver calls (SAT/UNSAT): 250206(3316/246890)
Jun 02, 2017 10:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/1328) took 32270 ms. Total solver calls (SAT/UNSAT): 259170(3348/255822)
Jun 02, 2017 10:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/1328) took 33343 ms. Total solver calls (SAT/UNSAT): 268070(3380/264690)
Jun 02, 2017 10:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/1328) took 34408 ms. Total solver calls (SAT/UNSAT): 276906(3412/273494)
Jun 02, 2017 10:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/1328) took 35466 ms. Total solver calls (SAT/UNSAT): 285678(3444/282234)
Jun 02, 2017 10:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/1328) took 36520 ms. Total solver calls (SAT/UNSAT): 294386(3476/290910)
Jun 02, 2017 10:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/1328) took 37570 ms. Total solver calls (SAT/UNSAT): 303030(3508/299522)
Jun 02, 2017 10:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/1328) took 38610 ms. Total solver calls (SAT/UNSAT): 311610(3540/308070)
Jun 02, 2017 10:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/1328) took 39647 ms. Total solver calls (SAT/UNSAT): 320126(3572/316554)
Jun 02, 2017 10:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/1328) took 40672 ms. Total solver calls (SAT/UNSAT): 328578(3604/324974)
Jun 02, 2017 10:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(283/1328) took 41693 ms. Total solver calls (SAT/UNSAT): 336966(3636/333330)
Jun 02, 2017 10:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/1328) took 42700 ms. Total solver calls (SAT/UNSAT): 345290(3668/341622)
Jun 02, 2017 10:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/1328) took 43701 ms. Total solver calls (SAT/UNSAT): 353550(3700/349850)
Jun 02, 2017 10:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/1328) took 44820 ms. Total solver calls (SAT/UNSAT): 362766(3736/359030)
Jun 02, 2017 10:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/1328) took 45930 ms. Total solver calls (SAT/UNSAT): 371901(3772/368129)
Jun 02, 2017 10:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/1328) took 47029 ms. Total solver calls (SAT/UNSAT): 380955(3808/377147)
Jun 02, 2017 10:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/1328) took 48119 ms. Total solver calls (SAT/UNSAT): 389928(3844/386084)
Jun 02, 2017 10:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/1328) took 49199 ms. Total solver calls (SAT/UNSAT): 398820(3880/394940)
Jun 02, 2017 10:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/1328) took 50270 ms. Total solver calls (SAT/UNSAT): 407631(3916/403715)
Jun 02, 2017 10:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/1328) took 51331 ms. Total solver calls (SAT/UNSAT): 416361(3952/412409)
Jun 02, 2017 10:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/1328) took 52381 ms. Total solver calls (SAT/UNSAT): 425010(3988/421022)
Jun 02, 2017 10:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/1328) took 53425 ms. Total solver calls (SAT/UNSAT): 433578(4024/429554)
Jun 02, 2017 10:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/1328) took 54462 ms. Total solver calls (SAT/UNSAT): 442065(4060/438005)
Jun 02, 2017 10:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(398/1328) took 55525 ms. Total solver calls (SAT/UNSAT): 450471(4096/446375)
Jun 02, 2017 10:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(407/1328) took 56533 ms. Total solver calls (SAT/UNSAT): 458796(4132/454664)
Jun 02, 2017 10:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/1328) took 57633 ms. Total solver calls (SAT/UNSAT): 467040(4168/462872)
Jun 02, 2017 10:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(426/1328) took 58737 ms. Total solver calls (SAT/UNSAT): 476105(4208/471897)
Jun 02, 2017 10:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(435/1328) took 59758 ms. Total solver calls (SAT/UNSAT): 484178(4244/479934)
Jun 02, 2017 10:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/1328) took 60815 ms. Total solver calls (SAT/UNSAT): 493053(4284/488769)
Jun 02, 2017 10:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/1328) took 61920 ms. Total solver calls (SAT/UNSAT): 501828(4324/497504)
Jun 02, 2017 10:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(465/1328) took 62991 ms. Total solver calls (SAT/UNSAT): 510503(4364/506139)
Jun 02, 2017 10:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(475/1328) took 64031 ms. Total solver calls (SAT/UNSAT): 519078(4404/514674)
Jun 02, 2017 10:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(485/1328) took 65066 ms. Total solver calls (SAT/UNSAT): 527553(4444/523109)
Jun 02, 2017 10:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(495/1328) took 66081 ms. Total solver calls (SAT/UNSAT): 535928(4484/531444)
Jun 02, 2017 10:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/1328) took 67084 ms. Total solver calls (SAT/UNSAT): 544203(4524/539679)
Jun 02, 2017 10:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(516/1328) took 68176 ms. Total solver calls (SAT/UNSAT): 553190(4568/548622)
Jun 02, 2017 10:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(526/1328) took 69193 ms. Total solver calls (SAT/UNSAT): 561255(4608/556647)
Jun 02, 2017 10:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(537/1328) took 70284 ms. Total solver calls (SAT/UNSAT): 570011(4652/565359)
Jun 02, 2017 10:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(548/1328) took 71383 ms. Total solver calls (SAT/UNSAT): 578646(4696/573950)
Jun 02, 2017 10:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(559/1328) took 72438 ms. Total solver calls (SAT/UNSAT): 587160(4740/582420)
Jun 02, 2017 10:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(570/1328) took 73472 ms. Total solver calls (SAT/UNSAT): 595553(4784/590769)
Jun 02, 2017 10:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(581/1328) took 74491 ms. Total solver calls (SAT/UNSAT): 603825(4828/598997)
Jun 02, 2017 10:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(592/1328) took 75525 ms. Total solver calls (SAT/UNSAT): 611976(4872/607104)
Jun 02, 2017 10:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(604/1328) took 76586 ms. Total solver calls (SAT/UNSAT): 620730(4920/615810)
Jun 02, 2017 10:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(616/1328) took 77627 ms. Total solver calls (SAT/UNSAT): 629340(4968/624372)
Jun 02, 2017 10:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(628/1328) took 78652 ms. Total solver calls (SAT/UNSAT): 637806(5016/632790)
Jun 02, 2017 10:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(640/1328) took 79654 ms. Total solver calls (SAT/UNSAT): 646128(5064/641064)
Jun 02, 2017 10:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(653/1328) took 80725 ms. Total solver calls (SAT/UNSAT): 654981(5116/649865)
Jun 02, 2017 10:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(666/1328) took 81779 ms. Total solver calls (SAT/UNSAT): 663665(5168/658497)
Jun 02, 2017 10:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(679/1328) took 82808 ms. Total solver calls (SAT/UNSAT): 672180(5220/666960)
Jun 02, 2017 10:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(692/1328) took 83883 ms. Total solver calls (SAT/UNSAT): 680526(5272/675254)
Jun 02, 2017 10:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(705/1328) took 84896 ms. Total solver calls (SAT/UNSAT): 688703(5324/683379)
Jun 02, 2017 10:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(719/1328) took 85939 ms. Total solver calls (SAT/UNSAT): 697320(5380/691940)
Jun 02, 2017 10:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(733/1328) took 86966 ms. Total solver calls (SAT/UNSAT): 705741(5436/700305)
Jun 02, 2017 10:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(748/1328) took 88035 ms. Total solver calls (SAT/UNSAT): 714546(5496/709050)
Jun 02, 2017 10:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(763/1328) took 89077 ms. Total solver calls (SAT/UNSAT): 723126(5556/717570)
Jun 02, 2017 10:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(778/1328) took 90092 ms. Total solver calls (SAT/UNSAT): 731481(5616/725865)
Jun 02, 2017 10:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(794/1328) took 91142 ms. Total solver calls (SAT/UNSAT): 740145(5680/734465)
Jun 02, 2017 10:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(810/1328) took 92165 ms. Total solver calls (SAT/UNSAT): 748553(5744/742809)
Jun 02, 2017 10:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(827/1328) took 93219 ms. Total solver calls (SAT/UNSAT): 757206(5812/751394)
Jun 02, 2017 10:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(844/1328) took 94240 ms. Total solver calls (SAT/UNSAT): 765570(5880/759690)
Jun 02, 2017 10:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(862/1328) took 95280 ms. Total solver calls (SAT/UNSAT): 774111(5952/768159)
Jun 02, 2017 10:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(880/1328) took 96281 ms. Total solver calls (SAT/UNSAT): 782328(6024/776304)
Jun 02, 2017 10:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(899/1328) took 97298 ms. Total solver calls (SAT/UNSAT): 790650(6100/784550)
Jun 02, 2017 10:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(919/1328) took 98318 ms. Total solver calls (SAT/UNSAT): 799020(6180/792840)
Jun 02, 2017 10:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(940/1328) took 99340 ms. Total solver calls (SAT/UNSAT): 807378(6264/801114)
Jun 02, 2017 10:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(962/1328) took 100353 ms. Total solver calls (SAT/UNSAT): 815661(6352/809309)
Jun 02, 2017 10:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(985/1328) took 101354 ms. Total solver calls (SAT/UNSAT): 823803(6444/817359)
Jun 02, 2017 10:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1010/1328) took 102365 ms. Total solver calls (SAT/UNSAT): 832053(6544/825509)
Jun 02, 2017 10:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1037/1328) took 103378 ms. Total solver calls (SAT/UNSAT): 840261(6652/833609)
Jun 02, 2017 10:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1067/1328) took 104392 ms. Total solver calls (SAT/UNSAT): 848526(6772/841754)
Jun 02, 2017 10:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1100/1328) took 105394 ms. Total solver calls (SAT/UNSAT): 856578(6904/849674)
Jun 02, 2017 10:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1139/1328) took 106400 ms. Total solver calls (SAT/UNSAT): 864690(7060/857630)
Jun 02, 2017 10:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1163/1328) took 107429 ms. Total solver calls (SAT/UNSAT): 868926(8556/860370)
Jun 02, 2017 10:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1189/1328) took 108435 ms. Total solver calls (SAT/UNSAT): 872865(10396/862469)
Jun 02, 2017 10:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1224/1328) took 109435 ms. Total solver calls (SAT/UNSAT): 877100(12397/864703)
Jun 02, 2017 10:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1273/1328) took 110436 ms. Total solver calls (SAT/UNSAT): 880971(14944/866027)
Jun 02, 2017 10:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 110676 ms. Total solver calls (SAT/UNSAT): 882456(15100/867356)
Jun 02, 2017 10:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1328 transitions.
Jun 02, 2017 10:54:18 AM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null
Jun 02, 2017 10:54:18 AM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 02, 2017 10:54:18 AM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
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-V50P50N10"
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-V50P50N10.tgz
mv S_BridgeAndVehicles-COL-V50P50N10 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-V50P50N10, 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-149441076700356"
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 ;