fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r090-csrt-149441076900500
Last Updated
June 27, 2017

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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;