About the Execution of ITS-Tools for S_BridgeAndVehicles-PT-V50P50N10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15940.810 | 3600000.00 | 4658748.00 | 569.30 | [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-PT-V50P50N10, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076900500
=====================================================================
--------------------
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 1496415480512
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_1+VIDANGE_2)>=2")))
Formula 0 simplified : !X"(VIDANGE_1+VIDANGE_2)>=2"
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1328 rows 128 cols
invariant : -1'SUR_PONT_A + -1'CAPACITE + 1'ATTENTE_B + 1'SORTI_B + 1'ROUTE_B= 0
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'ROUTE_A + 1'ATTENTE_A + 1'SUR_PONT_A + 1'SORTI_A= 50
invariant : 1'SUR_PONT_A + 1'CAPACITE + 1'SUR_PONT_B= 50
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
invariant : 1'CONTROLEUR_1 + 1'CONTROLEUR_2 + 1'CHOIX_1 + 1'CHOIX_2 + 1'VIDANGE_1 + 1'VIDANGE_2= 1
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
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 2:58:02 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 2:58:02 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 190 ms
Jun 02, 2017 2:58:02 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 128 places.
Jun 02, 2017 2:58:02 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1328 transitions.
Jun 02, 2017 2:58:03 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 362 ms
Jun 02, 2017 2:58:03 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 52 ms
Jun 02, 2017 2:58:03 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 2 ms
Jun 02, 2017 2:58:04 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 141 ms
Jun 02, 2017 2:58:08 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 128 variables to be positive in 4456 ms
Jun 02, 2017 2:58:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1328 transitions.
Jun 02, 2017 2:58:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1328 took 97 ms. Total solver calls (SAT/UNSAT): 713(2/711)
Jun 02, 2017 2:58:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/1328 took 1184 ms. Total solver calls (SAT/UNSAT): 9269(26/9243)
Jun 02, 2017 2:58:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1328 took 2261 ms. Total solver calls (SAT/UNSAT): 17112(48/17064)
Jun 02, 2017 2:58:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/1328 took 3327 ms. Total solver calls (SAT/UNSAT): 24955(70/24885)
Jun 02, 2017 2:58:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/1328 took 4431 ms. Total solver calls (SAT/UNSAT): 32798(92/32706)
Jun 02, 2017 2:58:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/1328 took 5466 ms. Total solver calls (SAT/UNSAT): 41670(127/41543)
Jun 02, 2017 2:58:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/1328 took 6484 ms. Total solver calls (SAT/UNSAT): 49698(163/49535)
Jun 02, 2017 2:58:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/1328 took 7497 ms. Total solver calls (SAT/UNSAT): 57726(199/57527)
Jun 02, 2017 2:58:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/1328 took 8547 ms. Total solver calls (SAT/UNSAT): 65754(235/65519)
Jun 02, 2017 2:58:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/1328 took 9558 ms. Total solver calls (SAT/UNSAT): 73774(271/73503)
Jun 02, 2017 2:58:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/1328 took 10560 ms. Total solver calls (SAT/UNSAT): 81790(307/81483)
Jun 02, 2017 2:58:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/1328 took 11561 ms. Total solver calls (SAT/UNSAT): 89806(343/89463)
Jun 02, 2017 2:58:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/1328 took 12577 ms. Total solver calls (SAT/UNSAT): 98490(382/98108)
Jun 02, 2017 2:58:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/1328 took 13646 ms. Total solver calls (SAT/UNSAT): 107841(424/107417)
Jun 02, 2017 2:58:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/1328 took 14692 ms. Total solver calls (SAT/UNSAT): 117193(466/116727)
Jun 02, 2017 2:58:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/1328 took 15714 ms. Total solver calls (SAT/UNSAT): 125209(502/124707)
Jun 02, 2017 2:58:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/1328 took 16782 ms. Total solver calls (SAT/UNSAT): 134561(544/134017)
Jun 02, 2017 2:58:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/1328 took 17802 ms. Total solver calls (SAT/UNSAT): 142576(580/141996)
Jun 02, 2017 2:58:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/1328 took 18829 ms. Total solver calls (SAT/UNSAT): 150592(616/149976)
Jun 02, 2017 2:58:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/1328 took 19837 ms. Total solver calls (SAT/UNSAT): 157940(649/157291)
Jun 02, 2017 2:58:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/1328 took 20850 ms. Total solver calls (SAT/UNSAT): 165956(685/165271)
Jun 02, 2017 2:58:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/1328 took 21871 ms. Total solver calls (SAT/UNSAT): 173971(721/173250)
Jun 02, 2017 2:58:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/1328 took 22891 ms. Total solver calls (SAT/UNSAT): 181987(757/181230)
Jun 02, 2017 2:58:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/1328 took 23913 ms. Total solver calls (SAT/UNSAT): 190003(793/189210)
Jun 02, 2017 2:58:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/1328 took 24934 ms. Total solver calls (SAT/UNSAT): 198019(829/197190)
Jun 02, 2017 2:58:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/1328 took 26015 ms. Total solver calls (SAT/UNSAT): 206034(865/205169)
Jun 02, 2017 2:58:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/1328 took 27044 ms. Total solver calls (SAT/UNSAT): 214050(901/213149)
Jun 02, 2017 2:58:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/1328 took 28050 ms. Total solver calls (SAT/UNSAT): 222066(937/221129)
Jun 02, 2017 2:58:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/1328 took 29070 ms. Total solver calls (SAT/UNSAT): 230082(973/229109)
Jun 02, 2017 2:58:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/1328 took 30095 ms. Total solver calls (SAT/UNSAT): 238097(1009/237088)
Jun 02, 2017 2:58:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/1328 took 31118 ms. Total solver calls (SAT/UNSAT): 246113(1045/245068)
Jun 02, 2017 2:58:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/1328 took 32142 ms. Total solver calls (SAT/UNSAT): 254129(1081/253048)
Jun 02, 2017 2:58:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/1328 took 33172 ms. Total solver calls (SAT/UNSAT): 262145(1117/261028)
Jun 02, 2017 2:58:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/1328 took 34192 ms. Total solver calls (SAT/UNSAT): 269493(1150/268343)
Jun 02, 2017 2:58:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/1328 took 35210 ms. Total solver calls (SAT/UNSAT): 277508(1186/276322)
Jun 02, 2017 2:58:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/1328 took 36287 ms. Total solver calls (SAT/UNSAT): 286192(1225/284967)
Jun 02, 2017 2:58:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/1328 took 37298 ms. Total solver calls (SAT/UNSAT): 294208(1261/292947)
Jun 02, 2017 2:58:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/1328 took 38314 ms. Total solver calls (SAT/UNSAT): 302224(1297/300927)
Jun 02, 2017 2:58:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/1328 took 39334 ms. Total solver calls (SAT/UNSAT): 310239(1333/308906)
Jun 02, 2017 2:58:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/1328 took 40357 ms. Total solver calls (SAT/UNSAT): 318255(1369/316886)
Jun 02, 2017 2:58:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/1328 took 41373 ms. Total solver calls (SAT/UNSAT): 325603(1402/324201)
Jun 02, 2017 2:58:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/1328 took 42454 ms. Total solver calls (SAT/UNSAT): 334287(1441/332846)
Jun 02, 2017 2:58:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/1328 took 43460 ms. Total solver calls (SAT/UNSAT): 342302(1477/340825)
Jun 02, 2017 2:58:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/1328 took 44537 ms. Total solver calls (SAT/UNSAT): 350986(1516/349470)
Jun 02, 2017 2:58:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/1328 took 45548 ms. Total solver calls (SAT/UNSAT): 359002(1552/357450)
Jun 02, 2017 2:58:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/1328 took 46567 ms. Total solver calls (SAT/UNSAT): 367018(1588/365430)
Jun 02, 2017 2:58:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/1328 took 47598 ms. Total solver calls (SAT/UNSAT): 375284(1615/373669)
Jun 02, 2017 2:58:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/1328 took 48730 ms. Total solver calls (SAT/UNSAT): 384236(1639/382597)
Jun 02, 2017 2:58:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/1328 took 49866 ms. Total solver calls (SAT/UNSAT): 393188(1663/391525)
Jun 02, 2017 2:58:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/1328 took 50939 ms. Total solver calls (SAT/UNSAT): 401021(1684/399337)
Jun 02, 2017 2:59:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/1328 took 52059 ms. Total solver calls (SAT/UNSAT): 409973(1708/408265)
Jun 02, 2017 2:59:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/1328 took 53182 ms. Total solver calls (SAT/UNSAT): 418925(1732/417193)
Jun 02, 2017 2:59:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/1328 took 54182 ms. Total solver calls (SAT/UNSAT): 426974(1756/425218)
Jun 02, 2017 2:59:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/1328 took 55237 ms. Total solver calls (SAT/UNSAT): 435433(1792/433641)
Jun 02, 2017 2:59:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/1328 took 56298 ms. Total solver calls (SAT/UNSAT): 443901(1828/442073)
Jun 02, 2017 2:59:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/1328 took 57312 ms. Total solver calls (SAT/UNSAT): 451701(1861/449840)
Jun 02, 2017 2:59:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/1328 took 58384 ms. Total solver calls (SAT/UNSAT): 460169(1897/458272)
Jun 02, 2017 2:59:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/1328 took 59419 ms. Total solver calls (SAT/UNSAT): 469305(1936/467369)
Jun 02, 2017 2:59:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/1328 took 60464 ms. Total solver calls (SAT/UNSAT): 478441(1975/476466)
Jun 02, 2017 2:59:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/1328 took 61547 ms. Total solver calls (SAT/UNSAT): 488028(2014/486014)
Jun 02, 2017 2:59:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/1328 took 62579 ms. Total solver calls (SAT/UNSAT): 497165(2053/495112)
Jun 02, 2017 2:59:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/1328 took 63608 ms. Total solver calls (SAT/UNSAT): 506301(2092/504209)
Jun 02, 2017 2:59:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/1328 took 64637 ms. Total solver calls (SAT/UNSAT): 515437(2131/513306)
Jun 02, 2017 2:59:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/1328 took 65710 ms. Total solver calls (SAT/UNSAT): 524573(2170/522403)
Jun 02, 2017 2:59:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/1328 took 66737 ms. Total solver calls (SAT/UNSAT): 533709(2209/531500)
Jun 02, 2017 2:59:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/1328 took 67737 ms. Total solver calls (SAT/UNSAT): 542628(2245/540383)
Jun 02, 2017 2:59:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/1328 took 68764 ms. Total solver calls (SAT/UNSAT): 551765(2284/549481)
Jun 02, 2017 2:59:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/1328 took 69787 ms. Total solver calls (SAT/UNSAT): 560901(2323/558578)
Jun 02, 2017 2:59:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/1328 took 70812 ms. Total solver calls (SAT/UNSAT): 570037(2362/567675)
Jun 02, 2017 2:59:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/1328 took 71834 ms. Total solver calls (SAT/UNSAT): 579173(2401/576772)
Jun 02, 2017 2:59:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/1328 took 72862 ms. Total solver calls (SAT/UNSAT): 588309(2440/585869)
Jun 02, 2017 2:59:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/1328 took 73884 ms. Total solver calls (SAT/UNSAT): 597228(2476/594752)
Jun 02, 2017 2:59:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/1328 took 74908 ms. Total solver calls (SAT/UNSAT): 606365(2515/603850)
Jun 02, 2017 2:59:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :867/1328 took 75933 ms. Total solver calls (SAT/UNSAT): 615501(2554/612947)
Jun 02, 2017 2:59:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/1328 took 76958 ms. Total solver calls (SAT/UNSAT): 624637(2593/622044)
Jun 02, 2017 2:59:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/1328 took 77972 ms. Total solver calls (SAT/UNSAT): 633773(2632/631141)
Jun 02, 2017 2:59:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/1328 took 78991 ms. Total solver calls (SAT/UNSAT): 642909(2671/640238)
Jun 02, 2017 2:59:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/1328 took 80063 ms. Total solver calls (SAT/UNSAT): 652497(2710/649787)
Jun 02, 2017 2:59:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/1328 took 81087 ms. Total solver calls (SAT/UNSAT): 661633(2749/658884)
Jun 02, 2017 2:59:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/1328 took 82133 ms. Total solver calls (SAT/UNSAT): 670769(2788/667981)
Jun 02, 2017 2:59:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :958/1328 took 83158 ms. Total solver calls (SAT/UNSAT): 679905(2827/677078)
Jun 02, 2017 2:59:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/1328 took 84186 ms. Total solver calls (SAT/UNSAT): 689041(2866/686175)
Jun 02, 2017 2:59:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/1328 took 85262 ms. Total solver calls (SAT/UNSAT): 698628(2905/695723)
Jun 02, 2017 2:59:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :997/1328 took 86288 ms. Total solver calls (SAT/UNSAT): 707765(2944/704821)
Jun 02, 2017 2:59:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/1328 took 87311 ms. Total solver calls (SAT/UNSAT): 716901(2983/713918)
Jun 02, 2017 2:59:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1023/1328 took 88337 ms. Total solver calls (SAT/UNSAT): 726037(3022/723015)
Jun 02, 2017 2:59:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/1328 took 89365 ms. Total solver calls (SAT/UNSAT): 735173(3061/732112)
Jun 02, 2017 2:59:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1049/1328 took 90412 ms. Total solver calls (SAT/UNSAT): 744309(3100/741209)
Jun 02, 2017 2:59:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1061/1328 took 91415 ms. Total solver calls (SAT/UNSAT): 753228(3136/750092)
Jun 02, 2017 2:59:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/1328 took 92434 ms. Total solver calls (SAT/UNSAT): 762365(3175/759190)
Jun 02, 2017 2:59:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/1328 took 93478 ms. Total solver calls (SAT/UNSAT): 771501(3214/768287)
Jun 02, 2017 2:59:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/1328 took 94505 ms. Total solver calls (SAT/UNSAT): 780637(3253/777384)
Jun 02, 2017 2:59:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1113/1328 took 95527 ms. Total solver calls (SAT/UNSAT): 789773(3292/786481)
Jun 02, 2017 2:59:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/1328 took 96544 ms. Total solver calls (SAT/UNSAT): 798909(3331/795578)
Jun 02, 2017 2:59:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/1328 took 97608 ms. Total solver calls (SAT/UNSAT): 808497(3370/805127)
Jun 02, 2017 2:59:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/1328 took 98610 ms. Total solver calls (SAT/UNSAT): 816776(3407/813369)
Jun 02, 2017 2:59:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1225/1328 took 99656 ms. Total solver calls (SAT/UNSAT): 825096(3526/821570)
Jun 02, 2017 2:59:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1238/1328 took 100732 ms. Total solver calls (SAT/UNSAT): 834365(3552/830813)
Jun 02, 2017 2:59:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/1328 took 101753 ms. Total solver calls (SAT/UNSAT): 842208(3574/838634)
Jun 02, 2017 2:59:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1262/1328 took 102811 ms. Total solver calls (SAT/UNSAT): 851477(3600/847877)
Jun 02, 2017 2:59:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/1328 took 103859 ms. Total solver calls (SAT/UNSAT): 860746(3626/857120)
Jun 02, 2017 2:59:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 104263 ms. Total solver calls (SAT/UNSAT): 863498(3728/859770)
Jun 02, 2017 2:59:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1328 transitions.
Jun 02, 2017 2:59:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/1328 took 1207 ms. Total solver calls (SAT/UNSAT): 2852(52/2800)
Jun 02, 2017 2:59:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/1328 took 2387 ms. Total solver calls (SAT/UNSAT): 5704(104/5600)
Jun 02, 2017 2:59:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 3567 ms. Total solver calls (SAT/UNSAT): 8556(156/8400)
Jun 02, 2017 2:59:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/1328 took 4752 ms. Total solver calls (SAT/UNSAT): 11408(208/11200)
Jun 02, 2017 2:59:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/1328 took 5933 ms. Total solver calls (SAT/UNSAT): 14260(260/14000)
Jun 02, 2017 2:59:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1328 took 7119 ms. Total solver calls (SAT/UNSAT): 17112(312/16800)
Jun 02, 2017 3:00:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/1328 took 8304 ms. Total solver calls (SAT/UNSAT): 19964(364/19600)
Jun 02, 2017 3:00:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/1328 took 9487 ms. Total solver calls (SAT/UNSAT): 22816(416/22400)
Jun 02, 2017 3:00:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/1328 took 10678 ms. Total solver calls (SAT/UNSAT): 25668(468/25200)
Jun 02, 2017 3:00:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/1328 took 11864 ms. Total solver calls (SAT/UNSAT): 28520(520/28000)
Jun 02, 2017 3:00:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1328 took 13087 ms. Total solver calls (SAT/UNSAT): 31372(572/30800)
Jun 02, 2017 3:00:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/1328 took 14277 ms. Total solver calls (SAT/UNSAT): 34224(624/33600)
Jun 02, 2017 3:00:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/1328 took 15390 ms. Total solver calls (SAT/UNSAT): 38325(662/37663)
Jun 02, 2017 3:00:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/1328 took 16427 ms. Total solver calls (SAT/UNSAT): 43677(686/42991)
Jun 02, 2017 3:00:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/1328 took 17510 ms. Total solver calls (SAT/UNSAT): 49029(710/48319)
Jun 02, 2017 3:00:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/1328 took 18553 ms. Total solver calls (SAT/UNSAT): 54381(734/53647)
Jun 02, 2017 3:00:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/1328 took 19601 ms. Total solver calls (SAT/UNSAT): 59733(758/58975)
Jun 02, 2017 3:00:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/1328 took 20650 ms. Total solver calls (SAT/UNSAT): 65085(782/64303)
Jun 02, 2017 3:00:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/1328 took 21692 ms. Total solver calls (SAT/UNSAT): 70434(806/69628)
Jun 02, 2017 3:00:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/1328 took 22734 ms. Total solver calls (SAT/UNSAT): 75778(830/74948)
Jun 02, 2017 3:00:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/1328 took 23777 ms. Total solver calls (SAT/UNSAT): 81122(854/80268)
Jun 02, 2017 3:00:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/1328 took 24821 ms. Total solver calls (SAT/UNSAT): 86466(878/85588)
Jun 02, 2017 3:00:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/1328 took 25869 ms. Total solver calls (SAT/UNSAT): 91810(902/90908)
Jun 02, 2017 3:00:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/1328 took 26914 ms. Total solver calls (SAT/UNSAT): 97154(926/96228)
Jun 02, 2017 3:00:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/1328 took 27960 ms. Total solver calls (SAT/UNSAT): 102498(950/101548)
Jun 02, 2017 3:00:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/1328 took 29001 ms. Total solver calls (SAT/UNSAT): 107841(974/106867)
Jun 02, 2017 3:00:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/1328 took 30048 ms. Total solver calls (SAT/UNSAT): 113185(998/112187)
Jun 02, 2017 3:00:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/1328 took 31094 ms. Total solver calls (SAT/UNSAT): 118529(1022/117507)
Jun 02, 2017 3:00:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/1328 took 32137 ms. Total solver calls (SAT/UNSAT): 123873(1046/122827)
Jun 02, 2017 3:00:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/1328 took 33184 ms. Total solver calls (SAT/UNSAT): 129217(1070/128147)
Jun 02, 2017 3:00:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/1328 took 34238 ms. Total solver calls (SAT/UNSAT): 134561(1094/133467)
Jun 02, 2017 3:00:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/1328 took 35334 ms. Total solver calls (SAT/UNSAT): 139904(1118/138786)
Jun 02, 2017 3:00:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/1328 took 36406 ms. Total solver calls (SAT/UNSAT): 145248(1142/144106)
Jun 02, 2017 3:00:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/1328 took 37446 ms. Total solver calls (SAT/UNSAT): 150592(1166/149426)
Jun 02, 2017 3:00:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/1328 took 38486 ms. Total solver calls (SAT/UNSAT): 155936(1190/154746)
Jun 02, 2017 3:00:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/1328 took 39531 ms. Total solver calls (SAT/UNSAT): 161280(1214/160066)
Jun 02, 2017 3:00:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/1328 took 40538 ms. Total solver calls (SAT/UNSAT): 165956(1235/164721)
Jun 02, 2017 3:00:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/1328 took 41568 ms. Total solver calls (SAT/UNSAT): 171299(1259/170040)
Jun 02, 2017 3:00:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/1328 took 42621 ms. Total solver calls (SAT/UNSAT): 176643(1283/175360)
Jun 02, 2017 3:00:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/1328 took 43675 ms. Total solver calls (SAT/UNSAT): 181987(1307/180680)
Jun 02, 2017 3:00:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/1328 took 44736 ms. Total solver calls (SAT/UNSAT): 187331(1331/186000)
Jun 02, 2017 3:00:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/1328 took 45791 ms. Total solver calls (SAT/UNSAT): 192675(1355/191320)
Jun 02, 2017 3:00:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/1328 took 46846 ms. Total solver calls (SAT/UNSAT): 198019(1379/196640)
Jun 02, 2017 3:00:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/1328 took 47900 ms. Total solver calls (SAT/UNSAT): 203362(1403/201959)
Jun 02, 2017 3:00:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/1328 took 48958 ms. Total solver calls (SAT/UNSAT): 208706(1427/207279)
Jun 02, 2017 3:00:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/1328 took 50060 ms. Total solver calls (SAT/UNSAT): 214050(1451/212599)
Jun 02, 2017 3:00:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/1328 took 51069 ms. Total solver calls (SAT/UNSAT): 218726(1472/217254)
Jun 02, 2017 3:00:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/1328 took 52124 ms. Total solver calls (SAT/UNSAT): 224070(1496/222574)
Jun 02, 2017 3:00:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/1328 took 53176 ms. Total solver calls (SAT/UNSAT): 229414(1520/227894)
Jun 02, 2017 3:00:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/1328 took 54229 ms. Total solver calls (SAT/UNSAT): 234758(1544/233214)
Jun 02, 2017 3:00:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/1328 took 55285 ms. Total solver calls (SAT/UNSAT): 240101(1568/238533)
Jun 02, 2017 3:00:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/1328 took 56344 ms. Total solver calls (SAT/UNSAT): 245445(1592/243853)
Jun 02, 2017 3:00:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/1328 took 57403 ms. Total solver calls (SAT/UNSAT): 250789(1616/249173)
Jun 02, 2017 3:00:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/1328 took 58444 ms. Total solver calls (SAT/UNSAT): 256133(1640/254493)
Jun 02, 2017 3:00:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/1328 took 59472 ms. Total solver calls (SAT/UNSAT): 261477(1664/259813)
Jun 02, 2017 3:00:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/1328 took 60495 ms. Total solver calls (SAT/UNSAT): 266821(1688/265133)
Jun 02, 2017 3:00:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/1328 took 61528 ms. Total solver calls (SAT/UNSAT): 272164(1712/270452)
Jun 02, 2017 3:00:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/1328 took 62545 ms. Total solver calls (SAT/UNSAT): 277508(1736/275772)
Jun 02, 2017 3:00:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/1328 took 63574 ms. Total solver calls (SAT/UNSAT): 282852(1760/281092)
Jun 02, 2017 3:00:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/1328 took 64596 ms. Total solver calls (SAT/UNSAT): 288196(1784/286412)
Jun 02, 2017 3:00:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/1328 took 65615 ms. Total solver calls (SAT/UNSAT): 293540(1808/291732)
Jun 02, 2017 3:00:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/1328 took 66649 ms. Total solver calls (SAT/UNSAT): 298884(1832/297052)
Jun 02, 2017 3:01:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/1328 took 67715 ms. Total solver calls (SAT/UNSAT): 304895(1859/303036)
Jun 02, 2017 3:01:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/1328 took 68814 ms. Total solver calls (SAT/UNSAT): 312243(1892/310351)
Jun 02, 2017 3:01:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/1328 took 69910 ms. Total solver calls (SAT/UNSAT): 319591(1925/317666)
Jun 02, 2017 3:01:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/1328 took 71002 ms. Total solver calls (SAT/UNSAT): 326939(1958/324981)
Jun 02, 2017 3:01:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/1328 took 72004 ms. Total solver calls (SAT/UNSAT): 333619(1988/331631)
Jun 02, 2017 3:01:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/1328 took 73044 ms. Total solver calls (SAT/UNSAT): 339630(2015/337615)
Jun 02, 2017 3:01:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/1328 took 74078 ms. Total solver calls (SAT/UNSAT): 344974(2039/342935)
Jun 02, 2017 3:01:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/1328 took 75124 ms. Total solver calls (SAT/UNSAT): 350318(2063/348255)
Jun 02, 2017 3:01:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/1328 took 76154 ms. Total solver calls (SAT/UNSAT): 355662(2087/353575)
Jun 02, 2017 3:01:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/1328 took 77193 ms. Total solver calls (SAT/UNSAT): 361006(2111/358895)
Jun 02, 2017 3:01:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/1328 took 78227 ms. Total solver calls (SAT/UNSAT): 366350(2135/364215)
Jun 02, 2017 3:01:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/1328 took 79449 ms. Total solver calls (SAT/UNSAT): 371927(2154/369773)
Jun 02, 2017 3:01:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/1328 took 80618 ms. Total solver calls (SAT/UNSAT): 376403(2162/374241)
Jun 02, 2017 3:01:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/1328 took 81782 ms. Total solver calls (SAT/UNSAT): 380879(2170/378709)
Jun 02, 2017 3:01:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/1328 took 82946 ms. Total solver calls (SAT/UNSAT): 385355(2178/383177)
Jun 02, 2017 3:01:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/1328 took 84113 ms. Total solver calls (SAT/UNSAT): 389831(2186/387645)
Jun 02, 2017 3:01:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/1328 took 85288 ms. Total solver calls (SAT/UNSAT): 394307(2194/392113)
Jun 02, 2017 3:01:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/1328 took 86450 ms. Total solver calls (SAT/UNSAT): 398783(2202/396581)
Jun 02, 2017 3:01:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/1328 took 87611 ms. Total solver calls (SAT/UNSAT): 403259(2210/401049)
Jun 02, 2017 3:01:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/1328 took 88841 ms. Total solver calls (SAT/UNSAT): 407735(2218/405517)
Jun 02, 2017 3:01:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/1328 took 90051 ms. Total solver calls (SAT/UNSAT): 412211(2226/409985)
Jun 02, 2017 3:01:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/1328 took 91232 ms. Total solver calls (SAT/UNSAT): 416687(2234/414453)
Jun 02, 2017 3:01:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/1328 took 92405 ms. Total solver calls (SAT/UNSAT): 421163(2242/418921)
Jun 02, 2017 3:01:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/1328 took 93587 ms. Total solver calls (SAT/UNSAT): 425639(2250/423389)
Jun 02, 2017 3:01:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/1328 took 94619 ms. Total solver calls (SAT/UNSAT): 428308(2262/426046)
Jun 02, 2017 3:01:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/1328 took 95627 ms. Total solver calls (SAT/UNSAT): 430976(2274/428702)
Jun 02, 2017 3:01:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/1328 took 96774 ms. Total solver calls (SAT/UNSAT): 434097(2285/431812)
Jun 02, 2017 3:01:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/1328 took 97777 ms. Total solver calls (SAT/UNSAT): 436769(2297/434472)
Jun 02, 2017 3:01:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/1328 took 99013 ms. Total solver calls (SAT/UNSAT): 440109(2312/437797)
Jun 02, 2017 3:01:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/1328 took 100176 ms. Total solver calls (SAT/UNSAT): 443233(2323/440910)
Jun 02, 2017 3:01:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/1328 took 101187 ms. Total solver calls (SAT/UNSAT): 445905(2335/443570)
Jun 02, 2017 3:01:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/1328 took 102328 ms. Total solver calls (SAT/UNSAT): 449028(2346/446682)
Jun 02, 2017 3:01:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/1328 took 103335 ms. Total solver calls (SAT/UNSAT): 451701(2358/449343)
Jun 02, 2017 3:01:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/1328 took 104338 ms. Total solver calls (SAT/UNSAT): 454373(2370/452003)
Jun 02, 2017 3:01:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/1328 took 105487 ms. Total solver calls (SAT/UNSAT): 457497(2381/455116)
Jun 02, 2017 3:01:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/1328 took 106492 ms. Total solver calls (SAT/UNSAT): 460169(2393/457776)
Jun 02, 2017 3:01:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/1328 took 107731 ms. Total solver calls (SAT/UNSAT): 463509(2408/461101)
Jun 02, 2017 3:01:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/1328 took 108893 ms. Total solver calls (SAT/UNSAT): 466633(2419/464214)
Jun 02, 2017 3:01:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/1328 took 109896 ms. Total solver calls (SAT/UNSAT): 469305(2431/466874)
Jun 02, 2017 3:01:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/1328 took 111047 ms. Total solver calls (SAT/UNSAT): 472428(2442/469986)
Jun 02, 2017 3:01:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/1328 took 112047 ms. Total solver calls (SAT/UNSAT): 475101(2454/472647)
Jun 02, 2017 3:01:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/1328 took 113052 ms. Total solver calls (SAT/UNSAT): 477773(2466/475307)
Jun 02, 2017 3:01:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/1328 took 114199 ms. Total solver calls (SAT/UNSAT): 480897(2477/478420)
Jun 02, 2017 3:01:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/1328 took 115199 ms. Total solver calls (SAT/UNSAT): 483569(2489/481080)
Jun 02, 2017 3:01:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1328 took 116441 ms. Total solver calls (SAT/UNSAT): 486909(2504/484405)
Jun 02, 2017 3:01:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/1328 took 117612 ms. Total solver calls (SAT/UNSAT): 490033(2515/487518)
Jun 02, 2017 3:01:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/1328 took 118622 ms. Total solver calls (SAT/UNSAT): 492705(2527/490178)
Jun 02, 2017 3:01:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/1328 took 119769 ms. Total solver calls (SAT/UNSAT): 495828(2538/493290)
Jun 02, 2017 3:01:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/1328 took 120777 ms. Total solver calls (SAT/UNSAT): 498501(2550/495951)
Jun 02, 2017 3:01:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/1328 took 121809 ms. Total solver calls (SAT/UNSAT): 501173(2562/498611)
Jun 02, 2017 3:01:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/1328 took 122957 ms. Total solver calls (SAT/UNSAT): 504297(2573/501724)
Jun 02, 2017 3:01:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/1328 took 123972 ms. Total solver calls (SAT/UNSAT): 506969(2585/504384)
Jun 02, 2017 3:01:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/1328 took 124977 ms. Total solver calls (SAT/UNSAT): 509641(2597/507044)
Jun 02, 2017 3:01:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/1328 took 126152 ms. Total solver calls (SAT/UNSAT): 512765(2608/510157)
Jun 02, 2017 3:01:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/1328 took 127165 ms. Total solver calls (SAT/UNSAT): 515437(2620/512817)
Jun 02, 2017 3:02:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/1328 took 128570 ms. Total solver calls (SAT/UNSAT): 519228(2634/516594)
Jun 02, 2017 3:02:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/1328 took 129575 ms. Total solver calls (SAT/UNSAT): 521901(2646/519255)
Jun 02, 2017 3:02:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/1328 took 130577 ms. Total solver calls (SAT/UNSAT): 524573(2658/521915)
Jun 02, 2017 3:02:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/1328 took 131720 ms. Total solver calls (SAT/UNSAT): 527697(2669/525028)
Jun 02, 2017 3:02:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/1328 took 132728 ms. Total solver calls (SAT/UNSAT): 530369(2681/527688)
Jun 02, 2017 3:02:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/1328 took 133970 ms. Total solver calls (SAT/UNSAT): 533709(2696/531013)
Jun 02, 2017 3:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/1328 took 135127 ms. Total solver calls (SAT/UNSAT): 536833(2707/534126)
Jun 02, 2017 3:02:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/1328 took 136134 ms. Total solver calls (SAT/UNSAT): 539505(2719/536786)
Jun 02, 2017 3:02:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/1328 took 137273 ms. Total solver calls (SAT/UNSAT): 542628(2730/539898)
Jun 02, 2017 3:02:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/1328 took 138281 ms. Total solver calls (SAT/UNSAT): 545301(2742/542559)
Jun 02, 2017 3:02:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/1328 took 139302 ms. Total solver calls (SAT/UNSAT): 547973(2754/545219)
Jun 02, 2017 3:02:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/1328 took 140440 ms. Total solver calls (SAT/UNSAT): 551097(2765/548332)
Jun 02, 2017 3:02:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/1328 took 141446 ms. Total solver calls (SAT/UNSAT): 553769(2777/550992)
Jun 02, 2017 3:02:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/1328 took 142682 ms. Total solver calls (SAT/UNSAT): 557109(2792/554317)
Jun 02, 2017 3:02:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/1328 took 143854 ms. Total solver calls (SAT/UNSAT): 560233(2803/557430)
Jun 02, 2017 3:02:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/1328 took 144883 ms. Total solver calls (SAT/UNSAT): 562905(2815/560090)
Jun 02, 2017 3:02:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/1328 took 146033 ms. Total solver calls (SAT/UNSAT): 566028(2826/563202)
Jun 02, 2017 3:02:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/1328 took 147034 ms. Total solver calls (SAT/UNSAT): 568701(2838/565863)
Jun 02, 2017 3:02:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/1328 took 148048 ms. Total solver calls (SAT/UNSAT): 571373(2850/568523)
Jun 02, 2017 3:02:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/1328 took 149210 ms. Total solver calls (SAT/UNSAT): 574497(2861/571636)
Jun 02, 2017 3:02:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/1328 took 150217 ms. Total solver calls (SAT/UNSAT): 577169(2873/574296)
Jun 02, 2017 3:02:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/1328 took 151455 ms. Total solver calls (SAT/UNSAT): 580509(2888/577621)
Jun 02, 2017 3:02:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/1328 took 152630 ms. Total solver calls (SAT/UNSAT): 583633(2899/580734)
Jun 02, 2017 3:02:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/1328 took 153692 ms. Total solver calls (SAT/UNSAT): 586305(2911/583394)
Jun 02, 2017 3:02:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/1328 took 154849 ms. Total solver calls (SAT/UNSAT): 589428(2922/586506)
Jun 02, 2017 3:02:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/1328 took 155863 ms. Total solver calls (SAT/UNSAT): 592101(2934/589167)
Jun 02, 2017 3:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/1328 took 156877 ms. Total solver calls (SAT/UNSAT): 594773(2946/591827)
Jun 02, 2017 3:02:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/1328 took 158082 ms. Total solver calls (SAT/UNSAT): 597897(2957/594940)
Jun 02, 2017 3:02:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/1328 took 159093 ms. Total solver calls (SAT/UNSAT): 600569(2969/597600)
Jun 02, 2017 3:02:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/1328 took 160325 ms. Total solver calls (SAT/UNSAT): 603909(2984/600925)
Jun 02, 2017 3:02:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :855/1328 took 161499 ms. Total solver calls (SAT/UNSAT): 607033(2995/604038)
Jun 02, 2017 3:02:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :859/1328 took 162506 ms. Total solver calls (SAT/UNSAT): 609705(3007/606698)
Jun 02, 2017 3:02:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :863/1328 took 163658 ms. Total solver calls (SAT/UNSAT): 612828(3018/609810)
Jun 02, 2017 3:02:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :867/1328 took 164662 ms. Total solver calls (SAT/UNSAT): 615501(3030/612471)
Jun 02, 2017 3:02:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :871/1328 took 165669 ms. Total solver calls (SAT/UNSAT): 618173(3042/615131)
Jun 02, 2017 3:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/1328 took 166837 ms. Total solver calls (SAT/UNSAT): 621297(3053/618244)
Jun 02, 2017 3:02:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/1328 took 167852 ms. Total solver calls (SAT/UNSAT): 623969(3065/620904)
Jun 02, 2017 3:02:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/1328 took 168860 ms. Total solver calls (SAT/UNSAT): 626641(3077/623564)
Jun 02, 2017 3:02:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/1328 took 170023 ms. Total solver calls (SAT/UNSAT): 629765(3088/626677)
Jun 02, 2017 3:02:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/1328 took 171034 ms. Total solver calls (SAT/UNSAT): 632437(3100/629337)
Jun 02, 2017 3:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/1328 took 172424 ms. Total solver calls (SAT/UNSAT): 636228(3114/633114)
Jun 02, 2017 3:02:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/1328 took 173446 ms. Total solver calls (SAT/UNSAT): 638901(3126/635775)
Jun 02, 2017 3:02:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/1328 took 174454 ms. Total solver calls (SAT/UNSAT): 641573(3138/638435)
Jun 02, 2017 3:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/1328 took 175596 ms. Total solver calls (SAT/UNSAT): 644697(3149/641548)
Jun 02, 2017 3:02:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/1328 took 176599 ms. Total solver calls (SAT/UNSAT): 647369(3161/644208)
Jun 02, 2017 3:02:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/1328 took 177844 ms. Total solver calls (SAT/UNSAT): 650709(3176/647533)
Jun 02, 2017 3:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :921/1328 took 179031 ms. Total solver calls (SAT/UNSAT): 653833(3187/650646)
Jun 02, 2017 3:02:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :925/1328 took 180034 ms. Total solver calls (SAT/UNSAT): 656505(3199/653306)
Jun 02, 2017 3:02:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/1328 took 181178 ms. Total solver calls (SAT/UNSAT): 659628(3210/656418)
Jun 02, 2017 3:02:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :933/1328 took 182178 ms. Total solver calls (SAT/UNSAT): 662301(3222/659079)
Jun 02, 2017 3:02:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :937/1328 took 183194 ms. Total solver calls (SAT/UNSAT): 664973(3234/661739)
Jun 02, 2017 3:02:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :941/1328 took 184362 ms. Total solver calls (SAT/UNSAT): 668097(3245/664852)
Jun 02, 2017 3:02:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/1328 took 185474 ms. Total solver calls (SAT/UNSAT): 670769(3257/667512)
Jun 02, 2017 3:02:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :949/1328 took 186561 ms. Total solver calls (SAT/UNSAT): 673441(3269/670172)
Jun 02, 2017 3:03:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/1328 took 187562 ms. Total solver calls (SAT/UNSAT): 675897(3277/672620)
Jun 02, 2017 3:03:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/1328 took 188599 ms. Total solver calls (SAT/UNSAT): 678569(3289/675280)
Jun 02, 2017 3:03:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/1328 took 189609 ms. Total solver calls (SAT/UNSAT): 681241(3301/677940)
Jun 02, 2017 3:03:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/1328 took 190801 ms. Total solver calls (SAT/UNSAT): 684365(3312/681053)
Jun 02, 2017 3:03:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/1328 took 191826 ms. Total solver calls (SAT/UNSAT): 687037(3324/683713)
Jun 02, 2017 3:03:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/1328 took 192826 ms. Total solver calls (SAT/UNSAT): 689709(3336/686373)
Jun 02, 2017 3:03:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/1328 took 194011 ms. Total solver calls (SAT/UNSAT): 692833(3347/689486)
Jun 02, 2017 3:03:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/1328 took 195025 ms. Total solver calls (SAT/UNSAT): 695505(3359/692146)
Jun 02, 2017 3:03:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/1328 took 196165 ms. Total solver calls (SAT/UNSAT): 698628(3370/695258)
Jun 02, 2017 3:03:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/1328 took 197179 ms. Total solver calls (SAT/UNSAT): 701301(3382/697919)
Jun 02, 2017 3:03:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/1328 took 198198 ms. Total solver calls (SAT/UNSAT): 703973(3394/700579)
Jun 02, 2017 3:03:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/1328 took 199363 ms. Total solver calls (SAT/UNSAT): 707097(3405/703692)
Jun 02, 2017 3:03:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/1328 took 200389 ms. Total solver calls (SAT/UNSAT): 709769(3417/706352)
Jun 02, 2017 3:03:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1005/1328 took 201600 ms. Total solver calls (SAT/UNSAT): 713109(3432/709677)
Jun 02, 2017 3:03:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1009/1328 took 202732 ms. Total solver calls (SAT/UNSAT): 716233(3443/712790)
Jun 02, 2017 3:03:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/1328 took 203966 ms. Total solver calls (SAT/UNSAT): 719573(3458/716115)
Jun 02, 2017 3:03:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1018/1328 took 205124 ms. Total solver calls (SAT/UNSAT): 722697(3469/719228)
Jun 02, 2017 3:03:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/1328 took 206136 ms. Total solver calls (SAT/UNSAT): 725369(3481/721888)
Jun 02, 2017 3:03:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1027/1328 took 207379 ms. Total solver calls (SAT/UNSAT): 728709(3496/725213)
Jun 02, 2017 3:03:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1031/1328 took 208623 ms. Total solver calls (SAT/UNSAT): 731833(3507/728326)
Jun 02, 2017 3:03:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1035/1328 took 209653 ms. Total solver calls (SAT/UNSAT): 734505(3519/730986)
Jun 02, 2017 3:03:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1039/1328 took 210802 ms. Total solver calls (SAT/UNSAT): 737628(3530/734098)
Jun 02, 2017 3:03:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1043/1328 took 211811 ms. Total solver calls (SAT/UNSAT): 740301(3542/736759)
Jun 02, 2017 3:03:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/1328 took 212822 ms. Total solver calls (SAT/UNSAT): 742973(3554/739419)
Jun 02, 2017 3:03:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1051/1328 took 213981 ms. Total solver calls (SAT/UNSAT): 746097(3565/742532)
Jun 02, 2017 3:03:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1055/1328 took 214988 ms. Total solver calls (SAT/UNSAT): 748769(3577/745192)
Jun 02, 2017 3:03:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/1328 took 216232 ms. Total solver calls (SAT/UNSAT): 752109(3592/748517)
Jun 02, 2017 3:03:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/1328 took 217452 ms. Total solver calls (SAT/UNSAT): 755233(3603/751630)
Jun 02, 2017 3:03:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/1328 took 218459 ms. Total solver calls (SAT/UNSAT): 757905(3615/754290)
Jun 02, 2017 3:03:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/1328 took 219610 ms. Total solver calls (SAT/UNSAT): 761028(3626/757402)
Jun 02, 2017 3:03:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/1328 took 220613 ms. Total solver calls (SAT/UNSAT): 763701(3638/760063)
Jun 02, 2017 3:03:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/1328 took 221617 ms. Total solver calls (SAT/UNSAT): 766373(3650/762723)
Jun 02, 2017 3:03:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/1328 took 222762 ms. Total solver calls (SAT/UNSAT): 769497(3661/765836)
Jun 02, 2017 3:03:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/1328 took 223771 ms. Total solver calls (SAT/UNSAT): 772169(3673/768496)
Jun 02, 2017 3:03:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1093/1328 took 225017 ms. Total solver calls (SAT/UNSAT): 775509(3688/771821)
Jun 02, 2017 3:03:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1097/1328 took 226185 ms. Total solver calls (SAT/UNSAT): 778633(3699/774934)
Jun 02, 2017 3:03:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1101/1328 took 227190 ms. Total solver calls (SAT/UNSAT): 781305(3711/777594)
Jun 02, 2017 3:03:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1105/1328 took 228347 ms. Total solver calls (SAT/UNSAT): 784428(3722/780706)
Jun 02, 2017 3:03:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1109/1328 took 229367 ms. Total solver calls (SAT/UNSAT): 787101(3734/783367)
Jun 02, 2017 3:03:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1113/1328 took 230401 ms. Total solver calls (SAT/UNSAT): 789773(3746/786027)
Jun 02, 2017 3:03:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1117/1328 took 231553 ms. Total solver calls (SAT/UNSAT): 792897(3757/789140)
Jun 02, 2017 3:03:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1121/1328 took 232559 ms. Total solver calls (SAT/UNSAT): 795569(3769/791800)
Jun 02, 2017 3:03:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/1328 took 233801 ms. Total solver calls (SAT/UNSAT): 798909(3784/795125)
Jun 02, 2017 3:03:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/1328 took 234965 ms. Total solver calls (SAT/UNSAT): 802033(3795/798238)
Jun 02, 2017 3:03:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/1328 took 235979 ms. Total solver calls (SAT/UNSAT): 804705(3807/800898)
Jun 02, 2017 3:03:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1138/1328 took 237128 ms. Total solver calls (SAT/UNSAT): 807828(3818/804010)
Jun 02, 2017 3:03:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/1328 took 238134 ms. Total solver calls (SAT/UNSAT): 810501(3830/806671)
Jun 02, 2017 3:03:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/1328 took 239138 ms. Total solver calls (SAT/UNSAT): 813173(3842/809331)
Jun 02, 2017 3:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1151/1328 took 240206 ms. Total solver calls (SAT/UNSAT): 815956(3952/812004)
Jun 02, 2017 3:03:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1162/1328 took 241226 ms. Total solver calls (SAT/UNSAT): 817760(4513/813247)
Jun 02, 2017 3:03:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/1328 took 242525 ms. Total solver calls (SAT/UNSAT): 821036(4972/816064)
Jun 02, 2017 3:03:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1205/1328 took 243551 ms. Total solver calls (SAT/UNSAT): 822837(5039/817798)
Jun 02, 2017 3:03:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1225/1328 took 244758 ms. Total solver calls (SAT/UNSAT): 825096(6229/818867)
Jun 02, 2017 3:03:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1232/1328 took 245916 ms. Total solver calls (SAT/UNSAT): 830087(6320/823767)
Jun 02, 2017 3:03:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/1328 took 247071 ms. Total solver calls (SAT/UNSAT): 835078(6411/828667)
Jun 02, 2017 3:04:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1246/1328 took 248224 ms. Total solver calls (SAT/UNSAT): 840069(6502/833567)
Jun 02, 2017 3:04:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1253/1328 took 249381 ms. Total solver calls (SAT/UNSAT): 845060(6593/838467)
Jun 02, 2017 3:04:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1260/1328 took 250540 ms. Total solver calls (SAT/UNSAT): 850051(6684/843367)
Jun 02, 2017 3:04:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1266/1328 took 251555 ms. Total solver calls (SAT/UNSAT): 854329(6762/847567)
Jun 02, 2017 3:04:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1272/1328 took 252577 ms. Total solver calls (SAT/UNSAT): 858607(6840/851767)
Jun 02, 2017 3:04:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1292/1328 took 253601 ms. Total solver calls (SAT/UNSAT): 861644(6960/854684)
Jun 02, 2017 3:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1327/1328 took 254604 ms. Total solver calls (SAT/UNSAT): 863498(7030/856468)
Jun 02, 2017 3:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 254604 ms. Total solver calls (SAT/UNSAT): 863498(7030/856468)
Jun 02, 2017 3:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1328 transitions.
Jun 02, 2017 3:04:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/1328) took 632 ms. Total solver calls (SAT/UNSAT): 5306(216/5090)
Jun 02, 2017 3:04:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/1328) took 1724 ms. Total solver calls (SAT/UNSAT): 14553(594/13959)
Jun 02, 2017 3:04:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/1328) took 2802 ms. Total solver calls (SAT/UNSAT): 23751(972/22779)
Jun 02, 2017 3:04:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/1328) took 3887 ms. Total solver calls (SAT/UNSAT): 32900(1350/31550)
Jun 02, 2017 3:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/1328) took 4945 ms. Total solver calls (SAT/UNSAT): 42000(1728/40272)
Jun 02, 2017 3:04:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/1328) took 6012 ms. Total solver calls (SAT/UNSAT): 51051(2106/48945)
Jun 02, 2017 3:04:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/1328) took 7062 ms. Total solver calls (SAT/UNSAT): 60053(2484/57569)
Jun 02, 2017 3:04:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/1328) took 8070 ms. Total solver calls (SAT/UNSAT): 69006(2712/66294)
Jun 02, 2017 3:04:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/1328) took 9189 ms. Total solver calls (SAT/UNSAT): 79178(2744/76434)
Jun 02, 2017 3:04:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/1328) took 10281 ms. Total solver calls (SAT/UNSAT): 89286(2776/86510)
Jun 02, 2017 3:04:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/1328) took 11380 ms. Total solver calls (SAT/UNSAT): 99330(2808/96522)
Jun 02, 2017 3:04:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/1328) took 12468 ms. Total solver calls (SAT/UNSAT): 109310(2840/106470)
Jun 02, 2017 3:04:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/1328) took 13544 ms. Total solver calls (SAT/UNSAT): 119226(2872/116354)
Jun 02, 2017 3:04:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/1328) took 14627 ms. Total solver calls (SAT/UNSAT): 129078(2904/126174)
Jun 02, 2017 3:04:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/1328) took 15686 ms. Total solver calls (SAT/UNSAT): 138866(2936/135930)
Jun 02, 2017 3:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/1328) took 16799 ms. Total solver calls (SAT/UNSAT): 148590(2968/145622)
Jun 02, 2017 3:04:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/1328) took 17848 ms. Total solver calls (SAT/UNSAT): 158250(3000/155250)
Jun 02, 2017 3:04:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/1328) took 18905 ms. Total solver calls (SAT/UNSAT): 167846(3032/164814)
Jun 02, 2017 3:04:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/1328) took 19939 ms. Total solver calls (SAT/UNSAT): 177378(3064/174314)
Jun 02, 2017 3:04:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/1328) took 20964 ms. Total solver calls (SAT/UNSAT): 186846(3096/183750)
Jun 02, 2017 3:04:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/1328) took 22058 ms. Total solver calls (SAT/UNSAT): 196250(3128/193122)
Jun 02, 2017 3:04:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/1328) took 23075 ms. Total solver calls (SAT/UNSAT): 205590(3160/202430)
Jun 02, 2017 3:04:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/1328) took 24086 ms. Total solver calls (SAT/UNSAT): 214866(3192/211674)
Jun 02, 2017 3:04:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/1328) took 25087 ms. Total solver calls (SAT/UNSAT): 224078(3224/220854)
Jun 02, 2017 3:04:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/1328) took 26207 ms. Total solver calls (SAT/UNSAT): 234365(3260/231105)
Jun 02, 2017 3:04:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/1328) took 27311 ms. Total solver calls (SAT/UNSAT): 244571(3296/241275)
Jun 02, 2017 3:04:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/1328) took 28415 ms. Total solver calls (SAT/UNSAT): 254696(3332/251364)
Jun 02, 2017 3:04:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/1328) took 29507 ms. Total solver calls (SAT/UNSAT): 264740(3368/261372)
Jun 02, 2017 3:04:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/1328) took 30591 ms. Total solver calls (SAT/UNSAT): 274703(3404/271299)
Jun 02, 2017 3:04:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/1328) took 31663 ms. Total solver calls (SAT/UNSAT): 284585(3440/281145)
Jun 02, 2017 3:04:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/1328) took 32734 ms. Total solver calls (SAT/UNSAT): 294386(3476/290910)
Jun 02, 2017 3:04:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(252/1328) took 33795 ms. Total solver calls (SAT/UNSAT): 304106(3512/300594)
Jun 02, 2017 3:04:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(261/1328) took 34846 ms. Total solver calls (SAT/UNSAT): 313745(3548/310197)
Jun 02, 2017 3:04:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/1328) took 35885 ms. Total solver calls (SAT/UNSAT): 323303(3584/319719)
Jun 02, 2017 3:04:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/1328) took 36917 ms. Total solver calls (SAT/UNSAT): 332780(3620/329160)
Jun 02, 2017 3:04:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/1328) took 37944 ms. Total solver calls (SAT/UNSAT): 342176(3656/338520)
Jun 02, 2017 3:04:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/1328) took 38962 ms. Total solver calls (SAT/UNSAT): 351491(3692/347799)
Jun 02, 2017 3:04:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/1328) took 39987 ms. Total solver calls (SAT/UNSAT): 360725(3728/356997)
Jun 02, 2017 3:04:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(316/1328) took 41095 ms. Total solver calls (SAT/UNSAT): 370890(3768/367122)
Jun 02, 2017 3:04:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(325/1328) took 42128 ms. Total solver calls (SAT/UNSAT): 379953(3804/376149)
Jun 02, 2017 3:04:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/1328) took 43216 ms. Total solver calls (SAT/UNSAT): 389928(3844/386084)
Jun 02, 2017 3:04:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/1328) took 44297 ms. Total solver calls (SAT/UNSAT): 399803(3884/395919)
Jun 02, 2017 3:04:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/1328) took 45368 ms. Total solver calls (SAT/UNSAT): 409578(3924/405654)
Jun 02, 2017 3:04:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(365/1328) took 46426 ms. Total solver calls (SAT/UNSAT): 419253(3964/415289)
Jun 02, 2017 3:04:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/1328) took 47473 ms. Total solver calls (SAT/UNSAT): 428828(4004/424824)
Jun 02, 2017 3:04:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(385/1328) took 48512 ms. Total solver calls (SAT/UNSAT): 438303(4044/434259)
Jun 02, 2017 3:04:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/1328) took 49571 ms. Total solver calls (SAT/UNSAT): 447678(4084/443594)
Jun 02, 2017 3:04:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(405/1328) took 50579 ms. Total solver calls (SAT/UNSAT): 456953(4124/452829)
Jun 02, 2017 3:04:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/1328) took 51668 ms. Total solver calls (SAT/UNSAT): 467040(4168/462872)
Jun 02, 2017 3:05:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(427/1328) took 52751 ms. Total solver calls (SAT/UNSAT): 477006(4212/472794)
Jun 02, 2017 3:05:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(438/1328) took 53833 ms. Total solver calls (SAT/UNSAT): 486851(4256/482595)
Jun 02, 2017 3:05:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(449/1328) took 54882 ms. Total solver calls (SAT/UNSAT): 496575(4300/492275)
Jun 02, 2017 3:05:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/1328) took 55919 ms. Total solver calls (SAT/UNSAT): 506178(4344/501834)
Jun 02, 2017 3:05:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(471/1328) took 56945 ms. Total solver calls (SAT/UNSAT): 515660(4388/511272)
Jun 02, 2017 3:05:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(482/1328) took 57948 ms. Total solver calls (SAT/UNSAT): 525021(4432/520589)
Jun 02, 2017 3:05:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(494/1328) took 59034 ms. Total solver calls (SAT/UNSAT): 535095(4480/530615)
Jun 02, 2017 3:05:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(506/1328) took 60101 ms. Total solver calls (SAT/UNSAT): 545025(4528/540497)
Jun 02, 2017 3:05:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(518/1328) took 61152 ms. Total solver calls (SAT/UNSAT): 554811(4576/550235)
Jun 02, 2017 3:05:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(530/1328) took 62200 ms. Total solver calls (SAT/UNSAT): 564453(4624/559829)
Jun 02, 2017 3:05:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(542/1328) took 63221 ms. Total solver calls (SAT/UNSAT): 573951(4672/569279)
Jun 02, 2017 3:05:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(554/1328) took 64242 ms. Total solver calls (SAT/UNSAT): 583305(4720/578585)
Jun 02, 2017 3:05:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(567/1328) took 65311 ms. Total solver calls (SAT/UNSAT): 593276(4772/588504)
Jun 02, 2017 3:05:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(580/1328) took 66364 ms. Total solver calls (SAT/UNSAT): 603078(4824/598254)
Jun 02, 2017 3:05:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(593/1328) took 67407 ms. Total solver calls (SAT/UNSAT): 612711(4876/607835)
Jun 02, 2017 3:05:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(606/1328) took 68432 ms. Total solver calls (SAT/UNSAT): 622175(4928/617247)
Jun 02, 2017 3:05:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(619/1328) took 69434 ms. Total solver calls (SAT/UNSAT): 631470(4980/626490)
Jun 02, 2017 3:05:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(632/1328) took 70491 ms. Total solver calls (SAT/UNSAT): 640596(5032/635564)
Jun 02, 2017 3:05:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(646/1328) took 71541 ms. Total solver calls (SAT/UNSAT): 650235(5088/645147)
Jun 02, 2017 3:05:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(660/1328) took 72587 ms. Total solver calls (SAT/UNSAT): 659678(5144/654534)
Jun 02, 2017 3:05:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(674/1328) took 73608 ms. Total solver calls (SAT/UNSAT): 668925(5200/663725)
Jun 02, 2017 3:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(689/1328) took 74673 ms. Total solver calls (SAT/UNSAT): 678615(5260/673355)
Jun 02, 2017 3:05:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(704/1328) took 75707 ms. Total solver calls (SAT/UNSAT): 688080(5320/682760)
Jun 02, 2017 3:05:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(719/1328) took 76713 ms. Total solver calls (SAT/UNSAT): 697320(5380/691940)
Jun 02, 2017 3:05:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(735/1328) took 77773 ms. Total solver calls (SAT/UNSAT): 706928(5444/701484)
Jun 02, 2017 3:05:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(751/1328) took 78792 ms. Total solver calls (SAT/UNSAT): 716280(5508/710772)
Jun 02, 2017 3:05:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(767/1328) took 79800 ms. Total solver calls (SAT/UNSAT): 725376(5572/719804)
Jun 02, 2017 3:05:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(784/1328) took 80826 ms. Total solver calls (SAT/UNSAT): 734760(5640/729120)
Jun 02, 2017 3:05:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(802/1328) took 81875 ms. Total solver calls (SAT/UNSAT): 744381(5712/738669)
Jun 02, 2017 3:05:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(820/1328) took 82892 ms. Total solver calls (SAT/UNSAT): 753678(5784/747894)
Jun 02, 2017 3:05:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(839/1328) took 83938 ms. Total solver calls (SAT/UNSAT): 763140(5860/757280)
Jun 02, 2017 3:05:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(858/1328) took 84953 ms. Total solver calls (SAT/UNSAT): 772241(5936/766305)
Jun 02, 2017 3:05:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(878/1328) took 85960 ms. Total solver calls (SAT/UNSAT): 781431(6016/775415)
Jun 02, 2017 3:05:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(899/1328) took 86965 ms. Total solver calls (SAT/UNSAT): 790650(6100/784550)
Jun 02, 2017 3:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(921/1328) took 87966 ms. Total solver calls (SAT/UNSAT): 799835(6188/793647)
Jun 02, 2017 3:05:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(944/1328) took 88971 ms. Total solver calls (SAT/UNSAT): 808920(6280/802640)
Jun 02, 2017 3:05:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(968/1328) took 89973 ms. Total solver calls (SAT/UNSAT): 817836(6376/811460)
Jun 02, 2017 3:05:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(993/1328) took 90981 ms. Total solver calls (SAT/UNSAT): 826511(6476/820035)
Jun 02, 2017 3:05:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1022/1328) took 92004 ms. Total solver calls (SAT/UNSAT): 835791(6592/829199)
Jun 02, 2017 3:05:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1054/1328) took 93024 ms. Total solver calls (SAT/UNSAT): 845055(6720/838335)
Jun 02, 2017 3:05:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1090/1328) took 94040 ms. Total solver calls (SAT/UNSAT): 854253(6864/847389)
Jun 02, 2017 3:05:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1129/1328) took 95042 ms. Total solver calls (SAT/UNSAT): 862755(7020/855735)
Jun 02, 2017 3:05:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1161/1328) took 96078 ms. Total solver calls (SAT/UNSAT): 868595(8348/860247)
Jun 02, 2017 3:05:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1189/1328) took 97091 ms. Total solver calls (SAT/UNSAT): 872865(10396/862469)
Jun 02, 2017 3:05:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1228/1328) took 98094 ms. Total solver calls (SAT/UNSAT): 877506(12604/864902)
Jun 02, 2017 3:05:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 99091 ms. Total solver calls (SAT/UNSAT): 882456(15100/867356)
Jun 02, 2017 3:05:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1328 transitions.
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-PT-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-PT-V50P50N10.tgz
mv S_BridgeAndVehicles-PT-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-PT-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-149441076900500"
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 ;