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 BridgeAndVehicles-PT-V50P20N10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129800476
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496275454600


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ctl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
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= 30
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= 20
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
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -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 ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 12:04:16 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 12:04:16 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 180 ms
Jun 01, 2017 12:04:16 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 128 places.
Jun 01, 2017 12:04:16 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1328 transitions.
Jun 01, 2017 12:04:16 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 01, 2017 12:04:16 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V50P20N10-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 01, 2017 12:04:17 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 412 ms
Jun 01, 2017 12:04:17 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 44 ms
Jun 01, 2017 12:04:18 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 213 ms
Jun 01, 2017 12:04:22 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 128 variables to be positive in 4555 ms
Jun 01, 2017 12:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1328 transitions.
Jun 01, 2017 12:04:22 AM 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 01, 2017 12:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/1328 took 1175 ms. Total solver calls (SAT/UNSAT): 9269(26/9243)
Jun 01, 2017 12:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/1328 took 2218 ms. Total solver calls (SAT/UNSAT): 17825(50/17775)
Jun 01, 2017 12:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/1328 took 3262 ms. Total solver calls (SAT/UNSAT): 26381(74/26307)
Jun 01, 2017 12:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/1328 took 4329 ms. Total solver calls (SAT/UNSAT): 34937(98/34839)
Jun 01, 2017 12:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/1328 took 5390 ms. Total solver calls (SAT/UNSAT): 43677(136/43541)
Jun 01, 2017 12:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/1328 took 6399 ms. Total solver calls (SAT/UNSAT): 52374(175/52199)
Jun 01, 2017 12:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/1328 took 7456 ms. Total solver calls (SAT/UNSAT): 61071(214/60857)
Jun 01, 2017 12:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/1328 took 8478 ms. Total solver calls (SAT/UNSAT): 69766(253/69513)
Jun 01, 2017 12:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/1328 took 9546 ms. Total solver calls (SAT/UNSAT): 79118(295/78823)
Jun 01, 2017 12:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/1328 took 10584 ms. Total solver calls (SAT/UNSAT): 87802(334/87468)
Jun 01, 2017 12:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/1328 took 11588 ms. Total solver calls (SAT/UNSAT): 96486(373/96113)
Jun 01, 2017 12:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/1328 took 12629 ms. Total solver calls (SAT/UNSAT): 105169(412/104757)
Jun 01, 2017 12:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/1328 took 13676 ms. Total solver calls (SAT/UNSAT): 113853(451/113402)
Jun 01, 2017 12:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/1328 took 14694 ms. Total solver calls (SAT/UNSAT): 122537(490/122047)
Jun 01, 2017 12:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/1328 took 15695 ms. Total solver calls (SAT/UNSAT): 131221(529/130692)
Jun 01, 2017 12:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/1328 took 16729 ms. Total solver calls (SAT/UNSAT): 139904(568/139336)
Jun 01, 2017 12:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/1328 took 17796 ms. Total solver calls (SAT/UNSAT): 149256(610/148646)
Jun 01, 2017 12:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/1328 took 18807 ms. Total solver calls (SAT/UNSAT): 157940(649/157291)
Jun 01, 2017 12:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/1328 took 19909 ms. Total solver calls (SAT/UNSAT): 166624(688/165936)
Jun 01, 2017 12:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/1328 took 20947 ms. Total solver calls (SAT/UNSAT): 175307(727/174580)
Jun 01, 2017 12:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/1328 took 22012 ms. Total solver calls (SAT/UNSAT): 184659(769/183890)
Jun 01, 2017 12:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/1328 took 23087 ms. Total solver calls (SAT/UNSAT): 193343(808/192535)
Jun 01, 2017 12:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/1328 took 24146 ms. Total solver calls (SAT/UNSAT): 202695(850/201845)
Jun 01, 2017 12:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/1328 took 25209 ms. Total solver calls (SAT/UNSAT): 212046(892/211154)
Jun 01, 2017 12:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/1328 took 26265 ms. Total solver calls (SAT/UNSAT): 221398(934/220464)
Jun 01, 2017 12:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/1328 took 27323 ms. Total solver calls (SAT/UNSAT): 230750(976/229774)
Jun 01, 2017 12:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/1328 took 28383 ms. Total solver calls (SAT/UNSAT): 240101(1018/239083)
Jun 01, 2017 12:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/1328 took 29441 ms. Total solver calls (SAT/UNSAT): 249453(1060/248393)
Jun 01, 2017 12:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/1328 took 30514 ms. Total solver calls (SAT/UNSAT): 258137(1099/257038)
Jun 01, 2017 12:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/1328 took 31514 ms. Total solver calls (SAT/UNSAT): 266821(1138/265683)
Jun 01, 2017 12:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/1328 took 32585 ms. Total solver calls (SAT/UNSAT): 276172(1180/274992)
Jun 01, 2017 12:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/1328 took 33651 ms. Total solver calls (SAT/UNSAT): 284856(1219/283637)
Jun 01, 2017 12:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/1328 took 34684 ms. Total solver calls (SAT/UNSAT): 293540(1258/292282)
Jun 01, 2017 12:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/1328 took 35684 ms. Total solver calls (SAT/UNSAT): 302224(1297/300927)
Jun 01, 2017 12:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/1328 took 36757 ms. Total solver calls (SAT/UNSAT): 311575(1339/310236)
Jun 01, 2017 12:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/1328 took 37831 ms. Total solver calls (SAT/UNSAT): 320927(1381/319546)
Jun 01, 2017 12:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/1328 took 38843 ms. Total solver calls (SAT/UNSAT): 329611(1420/328191)
Jun 01, 2017 12:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/1328 took 39886 ms. Total solver calls (SAT/UNSAT): 338294(1459/336835)
Jun 01, 2017 12:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/1328 took 40924 ms. Total solver calls (SAT/UNSAT): 346978(1498/345480)
Jun 01, 2017 12:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/1328 took 41989 ms. Total solver calls (SAT/UNSAT): 356330(1540/354790)
Jun 01, 2017 12:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/1328 took 43056 ms. Total solver calls (SAT/UNSAT): 365682(1582/364100)
Jun 01, 2017 12:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/1328 took 44135 ms. Total solver calls (SAT/UNSAT): 375284(1615/373669)
Jun 01, 2017 12:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/1328 took 45258 ms. Total solver calls (SAT/UNSAT): 385355(1642/383713)
Jun 01, 2017 12:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/1328 took 46274 ms. Total solver calls (SAT/UNSAT): 394307(1666/392641)
Jun 01, 2017 12:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/1328 took 47321 ms. Total solver calls (SAT/UNSAT): 403259(1690/401569)
Jun 01, 2017 12:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/1328 took 48391 ms. Total solver calls (SAT/UNSAT): 412211(1714/410497)
Jun 01, 2017 12:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/1328 took 49436 ms. Total solver calls (SAT/UNSAT): 421163(1738/419425)
Jun 01, 2017 12:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/1328 took 50464 ms. Total solver calls (SAT/UNSAT): 430309(1771/428538)
Jun 01, 2017 12:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/1328 took 51491 ms. Total solver calls (SAT/UNSAT): 439441(1810/437631)
Jun 01, 2017 12:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/1328 took 52561 ms. Total solver calls (SAT/UNSAT): 449028(1849/447179)
Jun 01, 2017 12:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/1328 took 53590 ms. Total solver calls (SAT/UNSAT): 457497(1885/455612)
Jun 01, 2017 12:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/1328 took 54646 ms. Total solver calls (SAT/UNSAT): 466633(1924/464709)
Jun 01, 2017 12:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/1328 took 55701 ms. Total solver calls (SAT/UNSAT): 475769(1963/473806)
Jun 01, 2017 12:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/1328 took 56747 ms. Total solver calls (SAT/UNSAT): 484905(2002/482903)
Jun 01, 2017 12:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/1328 took 57761 ms. Total solver calls (SAT/UNSAT): 493373(2038/491335)
Jun 01, 2017 12:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/1328 took 58789 ms. Total solver calls (SAT/UNSAT): 502509(2077/500432)
Jun 01, 2017 12:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/1328 took 59862 ms. Total solver calls (SAT/UNSAT): 512097(2116/509981)
Jun 01, 2017 12:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/1328 took 60885 ms. Total solver calls (SAT/UNSAT): 521233(2155/519078)
Jun 01, 2017 12:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/1328 took 61899 ms. Total solver calls (SAT/UNSAT): 529701(2191/527510)
Jun 01, 2017 12:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/1328 took 62906 ms. Total solver calls (SAT/UNSAT): 538169(2227/535942)
Jun 01, 2017 12:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/1328 took 63928 ms. Total solver calls (SAT/UNSAT): 547305(2266/545039)
Jun 01, 2017 12:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/1328 took 64949 ms. Total solver calls (SAT/UNSAT): 556441(2305/554136)
Jun 01, 2017 12:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/1328 took 66019 ms. Total solver calls (SAT/UNSAT): 566028(2344/563684)
Jun 01, 2017 12:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/1328 took 67040 ms. Total solver calls (SAT/UNSAT): 575165(2383/572782)
Jun 01, 2017 12:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/1328 took 68062 ms. Total solver calls (SAT/UNSAT): 584301(2422/581879)
Jun 01, 2017 12:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/1328 took 69074 ms. Total solver calls (SAT/UNSAT): 592769(2458/590311)
Jun 01, 2017 12:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/1328 took 70117 ms. Total solver calls (SAT/UNSAT): 601905(2497/599408)
Jun 01, 2017 12:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/1328 took 71163 ms. Total solver calls (SAT/UNSAT): 611041(2536/608505)
Jun 01, 2017 12:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/1328 took 72252 ms. Total solver calls (SAT/UNSAT): 620628(2575/618053)
Jun 01, 2017 12:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/1328 took 73292 ms. Total solver calls (SAT/UNSAT): 629765(2614/627151)
Jun 01, 2017 12:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/1328 took 74336 ms. Total solver calls (SAT/UNSAT): 638901(2653/636248)
Jun 01, 2017 12:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :913/1328 took 75376 ms. Total solver calls (SAT/UNSAT): 648037(2692/645345)
Jun 01, 2017 12:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/1328 took 76425 ms. Total solver calls (SAT/UNSAT): 657173(2731/654442)
Jun 01, 2017 12:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/1328 took 77479 ms. Total solver calls (SAT/UNSAT): 666309(2770/663539)
Jun 01, 2017 12:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/1328 took 78500 ms. Total solver calls (SAT/UNSAT): 675228(2806/672422)
Jun 01, 2017 12:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/1328 took 79547 ms. Total solver calls (SAT/UNSAT): 684365(2845/681520)
Jun 01, 2017 12:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :977/1328 took 80587 ms. Total solver calls (SAT/UNSAT): 693501(2884/690617)
Jun 01, 2017 12:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/1328 took 81628 ms. Total solver calls (SAT/UNSAT): 702637(2923/699714)
Jun 01, 2017 12:05:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1003/1328 took 82669 ms. Total solver calls (SAT/UNSAT): 711773(2962/708811)
Jun 01, 2017 12:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/1328 took 83709 ms. Total solver calls (SAT/UNSAT): 720909(3001/717908)
Jun 01, 2017 12:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/1328 took 84724 ms. Total solver calls (SAT/UNSAT): 729828(3037/726791)
Jun 01, 2017 12:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1041/1328 took 85777 ms. Total solver calls (SAT/UNSAT): 738965(3076/735889)
Jun 01, 2017 12:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/1328 took 86816 ms. Total solver calls (SAT/UNSAT): 748101(3115/744986)
Jun 01, 2017 12:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1067/1328 took 87856 ms. Total solver calls (SAT/UNSAT): 757237(3154/754083)
Jun 01, 2017 12:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/1328 took 88895 ms. Total solver calls (SAT/UNSAT): 766373(3193/763180)
Jun 01, 2017 12:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1093/1328 took 89936 ms. Total solver calls (SAT/UNSAT): 775509(3232/772277)
Jun 01, 2017 12:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1105/1328 took 90950 ms. Total solver calls (SAT/UNSAT): 784428(3268/781160)
Jun 01, 2017 12:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/1328 took 91992 ms. Total solver calls (SAT/UNSAT): 793565(3307/790258)
Jun 01, 2017 12:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/1328 took 93057 ms. Total solver calls (SAT/UNSAT): 802701(3346/799355)
Jun 01, 2017 12:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/1328 took 94065 ms. Total solver calls (SAT/UNSAT): 811169(3382/807787)
Jun 01, 2017 12:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/1328 took 95174 ms. Total solver calls (SAT/UNSAT): 819972(3421/816551)
Jun 01, 2017 12:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1229/1328 took 96210 ms. Total solver calls (SAT/UNSAT): 827948(3534/824414)
Jun 01, 2017 12:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1241/1328 took 97213 ms. Total solver calls (SAT/UNSAT): 836504(3558/832946)
Jun 01, 2017 12:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1253/1328 took 98218 ms. Total solver calls (SAT/UNSAT): 845060(3582/841478)
Jun 01, 2017 12:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1265/1328 took 99269 ms. Total solver calls (SAT/UNSAT): 853616(3606/850010)
Jun 01, 2017 12:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1292/1328 took 100270 ms. Total solver calls (SAT/UNSAT): 861644(3659/857985)
Jun 01, 2017 12:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 100552 ms. Total solver calls (SAT/UNSAT): 863498(3728/859770)
Jun 01, 2017 12:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1328 transitions.
Jun 01, 2017 12:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/1328 took 1048 ms. Total solver calls (SAT/UNSAT): 2139(39/2100)
Jun 01, 2017 12:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/1328 took 2354 ms. Total solver calls (SAT/UNSAT): 4991(91/4900)
Jun 01, 2017 12:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/1328 took 3654 ms. Total solver calls (SAT/UNSAT): 7843(143/7700)
Jun 01, 2017 12:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/1328 took 4955 ms. Total solver calls (SAT/UNSAT): 10695(195/10500)
Jun 01, 2017 12:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/1328 took 6253 ms. Total solver calls (SAT/UNSAT): 13547(247/13300)
Jun 01, 2017 12:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/1328 took 7278 ms. Total solver calls (SAT/UNSAT): 15686(286/15400)
Jun 01, 2017 12:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/1328 took 8599 ms. Total solver calls (SAT/UNSAT): 18538(338/18200)
Jun 01, 2017 12:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/1328 took 9915 ms. Total solver calls (SAT/UNSAT): 21390(390/21000)
Jun 01, 2017 12:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/1328 took 11227 ms. Total solver calls (SAT/UNSAT): 24242(442/23800)
Jun 01, 2017 12:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/1328 took 12527 ms. Total solver calls (SAT/UNSAT): 27094(494/26600)
Jun 01, 2017 12:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/1328 took 13828 ms. Total solver calls (SAT/UNSAT): 29946(546/29400)
Jun 01, 2017 12:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/1328 took 15131 ms. Total solver calls (SAT/UNSAT): 32798(598/32200)
Jun 01, 2017 12:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/1328 took 16437 ms. Total solver calls (SAT/UNSAT): 35650(650/35000)
Jun 01, 2017 12:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/1328 took 17543 ms. Total solver calls (SAT/UNSAT): 41001(674/40327)
Jun 01, 2017 12:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/1328 took 18650 ms. Total solver calls (SAT/UNSAT): 45684(695/44989)
Jun 01, 2017 12:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/1328 took 19767 ms. Total solver calls (SAT/UNSAT): 51036(719/50317)
Jun 01, 2017 12:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/1328 took 20882 ms. Total solver calls (SAT/UNSAT): 56388(743/55645)
Jun 01, 2017 12:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/1328 took 21902 ms. Total solver calls (SAT/UNSAT): 61071(764/60307)
Jun 01, 2017 12:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/1328 took 22922 ms. Total solver calls (SAT/UNSAT): 65754(785/64969)
Jun 01, 2017 12:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/1328 took 24045 ms. Total solver calls (SAT/UNSAT): 71102(809/70293)
Jun 01, 2017 12:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/1328 took 25138 ms. Total solver calls (SAT/UNSAT): 76446(833/75613)
Jun 01, 2017 12:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/1328 took 26231 ms. Total solver calls (SAT/UNSAT): 81790(857/80933)
Jun 01, 2017 12:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/1328 took 27246 ms. Total solver calls (SAT/UNSAT): 86466(878/85588)
Jun 01, 2017 12:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/1328 took 28363 ms. Total solver calls (SAT/UNSAT): 91810(902/90908)
Jun 01, 2017 12:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/1328 took 29481 ms. Total solver calls (SAT/UNSAT): 97154(926/96228)
Jun 01, 2017 12:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/1328 took 30598 ms. Total solver calls (SAT/UNSAT): 102498(950/101548)
Jun 01, 2017 12:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/1328 took 31624 ms. Total solver calls (SAT/UNSAT): 107173(971/106202)
Jun 01, 2017 12:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/1328 took 32645 ms. Total solver calls (SAT/UNSAT): 111849(992/110857)
Jun 01, 2017 12:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/1328 took 33760 ms. Total solver calls (SAT/UNSAT): 117193(1016/116177)
Jun 01, 2017 12:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/1328 took 34890 ms. Total solver calls (SAT/UNSAT): 122537(1040/121497)
Jun 01, 2017 12:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/1328 took 35956 ms. Total solver calls (SAT/UNSAT): 127213(1061/126152)
Jun 01, 2017 12:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/1328 took 37098 ms. Total solver calls (SAT/UNSAT): 132557(1085/131472)
Jun 01, 2017 12:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/1328 took 38208 ms. Total solver calls (SAT/UNSAT): 137900(1109/136791)
Jun 01, 2017 12:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/1328 took 39327 ms. Total solver calls (SAT/UNSAT): 143244(1133/142111)
Jun 01, 2017 12:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/1328 took 40346 ms. Total solver calls (SAT/UNSAT): 147920(1154/146766)
Jun 01, 2017 12:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/1328 took 41455 ms. Total solver calls (SAT/UNSAT): 153264(1178/152086)
Jun 01, 2017 12:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/1328 took 42576 ms. Total solver calls (SAT/UNSAT): 158608(1202/157406)
Jun 01, 2017 12:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/1328 took 43692 ms. Total solver calls (SAT/UNSAT): 163952(1226/162726)
Jun 01, 2017 12:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/1328 took 44718 ms. Total solver calls (SAT/UNSAT): 168628(1247/167381)
Jun 01, 2017 12:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/1328 took 45834 ms. Total solver calls (SAT/UNSAT): 173971(1271/172700)
Jun 01, 2017 12:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/1328 took 46961 ms. Total solver calls (SAT/UNSAT): 179315(1295/178020)
Jun 01, 2017 12:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/1328 took 48078 ms. Total solver calls (SAT/UNSAT): 184659(1319/183340)
Jun 01, 2017 12:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/1328 took 49195 ms. Total solver calls (SAT/UNSAT): 190003(1343/188660)
Jun 01, 2017 12:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/1328 took 50311 ms. Total solver calls (SAT/UNSAT): 195347(1367/193980)
Jun 01, 2017 12:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/1328 took 51429 ms. Total solver calls (SAT/UNSAT): 200691(1391/199300)
Jun 01, 2017 12:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/1328 took 52593 ms. Total solver calls (SAT/UNSAT): 206034(1415/204619)
Jun 01, 2017 12:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/1328 took 53711 ms. Total solver calls (SAT/UNSAT): 211378(1439/209939)
Jun 01, 2017 12:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/1328 took 54826 ms. Total solver calls (SAT/UNSAT): 216722(1463/215259)
Jun 01, 2017 12:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/1328 took 55946 ms. Total solver calls (SAT/UNSAT): 222066(1487/220579)
Jun 01, 2017 12:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/1328 took 57064 ms. Total solver calls (SAT/UNSAT): 227410(1511/225899)
Jun 01, 2017 12:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/1328 took 58187 ms. Total solver calls (SAT/UNSAT): 232754(1535/231219)
Jun 01, 2017 12:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/1328 took 59308 ms. Total solver calls (SAT/UNSAT): 238097(1559/236538)
Jun 01, 2017 12:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/1328 took 60433 ms. Total solver calls (SAT/UNSAT): 243441(1583/241858)
Jun 01, 2017 12:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/1328 took 61561 ms. Total solver calls (SAT/UNSAT): 248785(1607/247178)
Jun 01, 2017 12:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/1328 took 62688 ms. Total solver calls (SAT/UNSAT): 254129(1631/252498)
Jun 01, 2017 12:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/1328 took 63814 ms. Total solver calls (SAT/UNSAT): 259473(1655/257818)
Jun 01, 2017 12:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/1328 took 64944 ms. Total solver calls (SAT/UNSAT): 264817(1679/263138)
Jun 01, 2017 12:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/1328 took 66068 ms. Total solver calls (SAT/UNSAT): 270160(1703/268457)
Jun 01, 2017 12:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/1328 took 67191 ms. Total solver calls (SAT/UNSAT): 275504(1727/273777)
Jun 01, 2017 12:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/1328 took 68250 ms. Total solver calls (SAT/UNSAT): 280180(1748/278432)
Jun 01, 2017 12:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/1328 took 69374 ms. Total solver calls (SAT/UNSAT): 285524(1772/283752)
Jun 01, 2017 12:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/1328 took 70495 ms. Total solver calls (SAT/UNSAT): 290868(1796/289072)
Jun 01, 2017 12:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/1328 took 71608 ms. Total solver calls (SAT/UNSAT): 296212(1820/294392)
Jun 01, 2017 12:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/1328 took 72723 ms. Total solver calls (SAT/UNSAT): 301556(1844/299712)
Jun 01, 2017 12:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/1328 took 73743 ms. Total solver calls (SAT/UNSAT): 307567(1871/305696)
Jun 01, 2017 12:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/1328 took 74803 ms. Total solver calls (SAT/UNSAT): 314247(1901/312346)
Jun 01, 2017 12:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/1328 took 75863 ms. Total solver calls (SAT/UNSAT): 320927(1931/318996)
Jun 01, 2017 12:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/1328 took 76923 ms. Total solver calls (SAT/UNSAT): 326939(1958/324981)
Jun 01, 2017 12:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/1328 took 77927 ms. Total solver calls (SAT/UNSAT): 332283(1982/330301)
Jun 01, 2017 12:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/1328 took 79003 ms. Total solver calls (SAT/UNSAT): 338294(2009/336285)
Jun 01, 2017 12:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/1328 took 80136 ms. Total solver calls (SAT/UNSAT): 343638(2033/341605)
Jun 01, 2017 12:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/1328 took 81269 ms. Total solver calls (SAT/UNSAT): 348982(2057/346925)
Jun 01, 2017 12:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/1328 took 82401 ms. Total solver calls (SAT/UNSAT): 354326(2081/352245)
Jun 01, 2017 12:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/1328 took 83449 ms. Total solver calls (SAT/UNSAT): 359002(2102/356900)
Jun 01, 2017 12:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/1328 took 84517 ms. Total solver calls (SAT/UNSAT): 363678(2123/361555)
Jun 01, 2017 12:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/1328 took 85582 ms. Total solver calls (SAT/UNSAT): 368354(2144/366210)
Jun 01, 2017 12:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/1328 took 86856 ms. Total solver calls (SAT/UNSAT): 373046(2156/370890)
Jun 01, 2017 12:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/1328 took 88172 ms. Total solver calls (SAT/UNSAT): 377522(2164/375358)
Jun 01, 2017 12:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/1328 took 89480 ms. Total solver calls (SAT/UNSAT): 381998(2172/379826)
Jun 01, 2017 12:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/1328 took 90791 ms. Total solver calls (SAT/UNSAT): 386474(2180/384294)
Jun 01, 2017 12:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/1328 took 92104 ms. Total solver calls (SAT/UNSAT): 390950(2188/388762)
Jun 01, 2017 12:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/1328 took 93414 ms. Total solver calls (SAT/UNSAT): 395426(2196/393230)
Jun 01, 2017 12:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/1328 took 94435 ms. Total solver calls (SAT/UNSAT): 398783(2202/396581)
Jun 01, 2017 12:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/1328 took 95740 ms. Total solver calls (SAT/UNSAT): 403259(2210/401049)
Jun 01, 2017 12:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/1328 took 97044 ms. Total solver calls (SAT/UNSAT): 407735(2218/405517)
Jun 01, 2017 12:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/1328 took 98349 ms. Total solver calls (SAT/UNSAT): 412211(2226/409985)
Jun 01, 2017 12:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/1328 took 99655 ms. Total solver calls (SAT/UNSAT): 416687(2234/414453)
Jun 01, 2017 12:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/1328 took 100959 ms. Total solver calls (SAT/UNSAT): 421163(2242/418921)
Jun 01, 2017 12:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/1328 took 102275 ms. Total solver calls (SAT/UNSAT): 425639(2250/423389)
Jun 01, 2017 12:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/1328 took 103430 ms. Total solver calls (SAT/UNSAT): 428308(2262/426046)
Jun 01, 2017 12:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/1328 took 104582 ms. Total solver calls (SAT/UNSAT): 430976(2274/428702)
Jun 01, 2017 12:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/1328 took 105602 ms. Total solver calls (SAT/UNSAT): 433428(2282/431146)
Jun 01, 2017 12:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/1328 took 106750 ms. Total solver calls (SAT/UNSAT): 436101(2294/433807)
Jun 01, 2017 12:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/1328 took 107902 ms. Total solver calls (SAT/UNSAT): 438773(2306/436467)
Jun 01, 2017 12:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/1328 took 108924 ms. Total solver calls (SAT/UNSAT): 441228(2314/438914)
Jun 01, 2017 12:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/1328 took 110079 ms. Total solver calls (SAT/UNSAT): 443901(2326/441575)
Jun 01, 2017 12:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/1328 took 111234 ms. Total solver calls (SAT/UNSAT): 446573(2338/444235)
Jun 01, 2017 12:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/1328 took 112263 ms. Total solver calls (SAT/UNSAT): 449028(2346/446682)
Jun 01, 2017 12:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/1328 took 113414 ms. Total solver calls (SAT/UNSAT): 451701(2358/449343)
Jun 01, 2017 12:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/1328 took 114569 ms. Total solver calls (SAT/UNSAT): 454373(2370/452003)
Jun 01, 2017 12:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/1328 took 115591 ms. Total solver calls (SAT/UNSAT): 456828(2378/454450)
Jun 01, 2017 12:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/1328 took 116742 ms. Total solver calls (SAT/UNSAT): 459501(2390/457111)
Jun 01, 2017 12:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/1328 took 117899 ms. Total solver calls (SAT/UNSAT): 462173(2402/459771)
Jun 01, 2017 12:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/1328 took 118929 ms. Total solver calls (SAT/UNSAT): 464628(2410/462218)
Jun 01, 2017 12:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/1328 took 120090 ms. Total solver calls (SAT/UNSAT): 467301(2422/464879)
Jun 01, 2017 12:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/1328 took 121251 ms. Total solver calls (SAT/UNSAT): 469973(2434/467539)
Jun 01, 2017 12:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/1328 took 122280 ms. Total solver calls (SAT/UNSAT): 472428(2442/469986)
Jun 01, 2017 12:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/1328 took 123434 ms. Total solver calls (SAT/UNSAT): 475101(2454/472647)
Jun 01, 2017 12:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/1328 took 124587 ms. Total solver calls (SAT/UNSAT): 477773(2466/475307)
Jun 01, 2017 12:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/1328 took 125609 ms. Total solver calls (SAT/UNSAT): 480228(2474/477754)
Jun 01, 2017 12:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/1328 took 126759 ms. Total solver calls (SAT/UNSAT): 482901(2486/480415)
Jun 01, 2017 12:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/1328 took 127911 ms. Total solver calls (SAT/UNSAT): 485573(2498/483075)
Jun 01, 2017 12:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/1328 took 128930 ms. Total solver calls (SAT/UNSAT): 488028(2506/485522)
Jun 01, 2017 12:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/1328 took 130080 ms. Total solver calls (SAT/UNSAT): 490701(2518/488183)
Jun 01, 2017 12:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/1328 took 131234 ms. Total solver calls (SAT/UNSAT): 493373(2530/490843)
Jun 01, 2017 12:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/1328 took 132254 ms. Total solver calls (SAT/UNSAT): 495828(2538/493290)
Jun 01, 2017 12:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/1328 took 133405 ms. Total solver calls (SAT/UNSAT): 498501(2550/495951)
Jun 01, 2017 12:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/1328 took 134557 ms. Total solver calls (SAT/UNSAT): 501173(2562/498611)
Jun 01, 2017 12:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/1328 took 135580 ms. Total solver calls (SAT/UNSAT): 503628(2570/501058)
Jun 01, 2017 12:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/1328 took 136741 ms. Total solver calls (SAT/UNSAT): 506301(2582/503719)
Jun 01, 2017 12:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/1328 took 137904 ms. Total solver calls (SAT/UNSAT): 508973(2594/506379)
Jun 01, 2017 12:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/1328 took 138933 ms. Total solver calls (SAT/UNSAT): 511428(2602/508826)
Jun 01, 2017 12:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/1328 took 140084 ms. Total solver calls (SAT/UNSAT): 514101(2614/511487)
Jun 01, 2017 12:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/1328 took 141239 ms. Total solver calls (SAT/UNSAT): 516773(2626/514147)
Jun 01, 2017 12:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/1328 took 142261 ms. Total solver calls (SAT/UNSAT): 519228(2634/516594)
Jun 01, 2017 12:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/1328 took 143411 ms. Total solver calls (SAT/UNSAT): 521901(2646/519255)
Jun 01, 2017 12:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/1328 took 144563 ms. Total solver calls (SAT/UNSAT): 524573(2658/521915)
Jun 01, 2017 12:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/1328 took 145585 ms. Total solver calls (SAT/UNSAT): 527028(2666/524362)
Jun 01, 2017 12:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/1328 took 146735 ms. Total solver calls (SAT/UNSAT): 529701(2678/527023)
Jun 01, 2017 12:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/1328 took 147890 ms. Total solver calls (SAT/UNSAT): 532373(2690/529683)
Jun 01, 2017 12:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/1328 took 148984 ms. Total solver calls (SAT/UNSAT): 534828(2698/532130)
Jun 01, 2017 12:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/1328 took 150151 ms. Total solver calls (SAT/UNSAT): 537501(2710/534791)
Jun 01, 2017 12:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/1328 took 151364 ms. Total solver calls (SAT/UNSAT): 540173(2722/537451)
Jun 01, 2017 12:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/1328 took 152393 ms. Total solver calls (SAT/UNSAT): 542628(2730/539898)
Jun 01, 2017 12:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/1328 took 153615 ms. Total solver calls (SAT/UNSAT): 545301(2742/542559)
Jun 01, 2017 12:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/1328 took 154784 ms. Total solver calls (SAT/UNSAT): 547973(2754/545219)
Jun 01, 2017 12:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/1328 took 155817 ms. Total solver calls (SAT/UNSAT): 550428(2762/547666)
Jun 01, 2017 12:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/1328 took 156976 ms. Total solver calls (SAT/UNSAT): 553101(2774/550327)
Jun 01, 2017 12:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/1328 took 158142 ms. Total solver calls (SAT/UNSAT): 555773(2786/552987)
Jun 01, 2017 12:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/1328 took 159172 ms. Total solver calls (SAT/UNSAT): 558228(2794/555434)
Jun 01, 2017 12:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/1328 took 160385 ms. Total solver calls (SAT/UNSAT): 560901(2806/558095)
Jun 01, 2017 12:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/1328 took 161550 ms. Total solver calls (SAT/UNSAT): 563573(2818/560755)
Jun 01, 2017 12:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/1328 took 162584 ms. Total solver calls (SAT/UNSAT): 566028(2826/563202)
Jun 01, 2017 12:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/1328 took 163739 ms. Total solver calls (SAT/UNSAT): 568701(2838/565863)
Jun 01, 2017 12:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/1328 took 164896 ms. Total solver calls (SAT/UNSAT): 571373(2850/568523)
Jun 01, 2017 12:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/1328 took 165920 ms. Total solver calls (SAT/UNSAT): 573828(2858/570970)
Jun 01, 2017 12:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/1328 took 167076 ms. Total solver calls (SAT/UNSAT): 576501(2870/573631)
Jun 01, 2017 12:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/1328 took 168235 ms. Total solver calls (SAT/UNSAT): 579173(2882/576291)
Jun 01, 2017 12:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/1328 took 169260 ms. Total solver calls (SAT/UNSAT): 581628(2890/578738)
Jun 01, 2017 12:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/1328 took 170470 ms. Total solver calls (SAT/UNSAT): 584301(2902/581399)
Jun 01, 2017 12:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/1328 took 171624 ms. Total solver calls (SAT/UNSAT): 586973(2914/584059)
Jun 01, 2017 12:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/1328 took 172647 ms. Total solver calls (SAT/UNSAT): 589428(2922/586506)
Jun 01, 2017 12:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/1328 took 173859 ms. Total solver calls (SAT/UNSAT): 592101(2934/589167)
Jun 01, 2017 12:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/1328 took 175031 ms. Total solver calls (SAT/UNSAT): 594773(2946/591827)
Jun 01, 2017 12:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/1328 took 176063 ms. Total solver calls (SAT/UNSAT): 597228(2954/594274)
Jun 01, 2017 12:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/1328 took 177226 ms. Total solver calls (SAT/UNSAT): 599901(2966/596935)
Jun 01, 2017 12:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :849/1328 took 178389 ms. Total solver calls (SAT/UNSAT): 602573(2978/599595)
Jun 01, 2017 12:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/1328 took 179421 ms. Total solver calls (SAT/UNSAT): 605028(2986/602042)
Jun 01, 2017 12:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/1328 took 180588 ms. Total solver calls (SAT/UNSAT): 607701(2998/604703)
Jun 01, 2017 12:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/1328 took 181751 ms. Total solver calls (SAT/UNSAT): 610373(3010/607363)
Jun 01, 2017 12:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :863/1328 took 182783 ms. Total solver calls (SAT/UNSAT): 612828(3018/609810)
Jun 01, 2017 12:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :867/1328 took 183944 ms. Total solver calls (SAT/UNSAT): 615501(3030/612471)
Jun 01, 2017 12:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :871/1328 took 185106 ms. Total solver calls (SAT/UNSAT): 618173(3042/615131)
Jun 01, 2017 12:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/1328 took 186142 ms. Total solver calls (SAT/UNSAT): 620628(3050/617578)
Jun 01, 2017 12:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/1328 took 187306 ms. Total solver calls (SAT/UNSAT): 623301(3062/620239)
Jun 01, 2017 12:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :882/1328 took 188471 ms. Total solver calls (SAT/UNSAT): 625973(3074/622899)
Jun 01, 2017 12:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/1328 took 189508 ms. Total solver calls (SAT/UNSAT): 628428(3082/625346)
Jun 01, 2017 12:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :889/1328 took 190672 ms. Total solver calls (SAT/UNSAT): 631101(3094/628007)
Jun 01, 2017 12:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/1328 took 191836 ms. Total solver calls (SAT/UNSAT): 633773(3106/630667)
Jun 01, 2017 12:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/1328 took 192868 ms. Total solver calls (SAT/UNSAT): 636228(3114/633114)
Jun 01, 2017 12:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/1328 took 194028 ms. Total solver calls (SAT/UNSAT): 638901(3126/635775)
Jun 01, 2017 12:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/1328 took 195193 ms. Total solver calls (SAT/UNSAT): 641573(3138/638435)
Jun 01, 2017 12:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :907/1328 took 196222 ms. Total solver calls (SAT/UNSAT): 644028(3146/640882)
Jun 01, 2017 12:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/1328 took 197382 ms. Total solver calls (SAT/UNSAT): 646701(3158/643543)
Jun 01, 2017 12:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :915/1328 took 198546 ms. Total solver calls (SAT/UNSAT): 649373(3170/646203)
Jun 01, 2017 12:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :918/1328 took 199580 ms. Total solver calls (SAT/UNSAT): 651828(3178/648650)
Jun 01, 2017 12:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :922/1328 took 200746 ms. Total solver calls (SAT/UNSAT): 654501(3190/651311)
Jun 01, 2017 12:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/1328 took 201910 ms. Total solver calls (SAT/UNSAT): 657173(3202/653971)
Jun 01, 2017 12:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/1328 took 202941 ms. Total solver calls (SAT/UNSAT): 659628(3210/656418)
Jun 01, 2017 12:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :933/1328 took 204101 ms. Total solver calls (SAT/UNSAT): 662301(3222/659079)
Jun 01, 2017 12:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :937/1328 took 205262 ms. Total solver calls (SAT/UNSAT): 664973(3234/661739)
Jun 01, 2017 12:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/1328 took 206291 ms. Total solver calls (SAT/UNSAT): 667428(3242/664186)
Jun 01, 2017 12:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/1328 took 207454 ms. Total solver calls (SAT/UNSAT): 670101(3254/666847)
Jun 01, 2017 12:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/1328 took 208620 ms. Total solver calls (SAT/UNSAT): 672773(3266/669507)
Jun 01, 2017 12:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/1328 took 209651 ms. Total solver calls (SAT/UNSAT): 675228(3274/671954)
Jun 01, 2017 12:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :955/1328 took 210813 ms. Total solver calls (SAT/UNSAT): 677901(3286/674615)
Jun 01, 2017 12:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/1328 took 211977 ms. Total solver calls (SAT/UNSAT): 680573(3298/677275)
Jun 01, 2017 12:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :962/1328 took 213011 ms. Total solver calls (SAT/UNSAT): 683028(3306/679722)
Jun 01, 2017 12:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/1328 took 214172 ms. Total solver calls (SAT/UNSAT): 685701(3318/682383)
Jun 01, 2017 12:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :970/1328 took 215343 ms. Total solver calls (SAT/UNSAT): 688373(3330/685043)
Jun 01, 2017 12:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :973/1328 took 216376 ms. Total solver calls (SAT/UNSAT): 690828(3338/687490)
Jun 01, 2017 12:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :977/1328 took 217541 ms. Total solver calls (SAT/UNSAT): 693501(3350/690151)
Jun 01, 2017 12:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/1328 took 218708 ms. Total solver calls (SAT/UNSAT): 696173(3362/692811)
Jun 01, 2017 12:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/1328 took 219739 ms. Total solver calls (SAT/UNSAT): 698628(3370/695258)
Jun 01, 2017 12:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/1328 took 220901 ms. Total solver calls (SAT/UNSAT): 701301(3382/697919)
Jun 01, 2017 12:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/1328 took 222064 ms. Total solver calls (SAT/UNSAT): 703973(3394/700579)
Jun 01, 2017 12:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :995/1328 took 223095 ms. Total solver calls (SAT/UNSAT): 706428(3402/703026)
Jun 01, 2017 12:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/1328 took 224258 ms. Total solver calls (SAT/UNSAT): 709101(3414/705687)
Jun 01, 2017 12:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1003/1328 took 225421 ms. Total solver calls (SAT/UNSAT): 711773(3426/708347)
Jun 01, 2017 12:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/1328 took 226452 ms. Total solver calls (SAT/UNSAT): 714228(3434/710794)
Jun 01, 2017 12:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/1328 took 227616 ms. Total solver calls (SAT/UNSAT): 716901(3446/713455)
Jun 01, 2017 12:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/1328 took 228781 ms. Total solver calls (SAT/UNSAT): 719573(3458/716115)
Jun 01, 2017 12:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1017/1328 took 229811 ms. Total solver calls (SAT/UNSAT): 722028(3466/718562)
Jun 01, 2017 12:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1021/1328 took 230973 ms. Total solver calls (SAT/UNSAT): 724701(3478/721223)
Jun 01, 2017 12:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1025/1328 took 232136 ms. Total solver calls (SAT/UNSAT): 727373(3490/723883)
Jun 01, 2017 12:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/1328 took 233168 ms. Total solver calls (SAT/UNSAT): 729828(3498/726330)
Jun 01, 2017 12:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/1328 took 234330 ms. Total solver calls (SAT/UNSAT): 732501(3510/728991)
Jun 01, 2017 12:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/1328 took 235494 ms. Total solver calls (SAT/UNSAT): 735173(3522/731651)
Jun 01, 2017 12:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1039/1328 took 236526 ms. Total solver calls (SAT/UNSAT): 737628(3530/734098)
Jun 01, 2017 12:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1043/1328 took 237690 ms. Total solver calls (SAT/UNSAT): 740301(3542/736759)
Jun 01, 2017 12:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/1328 took 238854 ms. Total solver calls (SAT/UNSAT): 742973(3554/739419)
Jun 01, 2017 12:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/1328 took 239885 ms. Total solver calls (SAT/UNSAT): 745428(3562/741866)
Jun 01, 2017 12:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/1328 took 241044 ms. Total solver calls (SAT/UNSAT): 748101(3574/744527)
Jun 01, 2017 12:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/1328 took 242217 ms. Total solver calls (SAT/UNSAT): 750773(3586/747187)
Jun 01, 2017 12:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1061/1328 took 243246 ms. Total solver calls (SAT/UNSAT): 753228(3594/749634)
Jun 01, 2017 12:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1065/1328 took 244406 ms. Total solver calls (SAT/UNSAT): 755901(3606/752295)
Jun 01, 2017 12:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1069/1328 took 245571 ms. Total solver calls (SAT/UNSAT): 758573(3618/754955)
Jun 01, 2017 12:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/1328 took 246602 ms. Total solver calls (SAT/UNSAT): 761028(3626/757402)
Jun 01, 2017 12:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/1328 took 247758 ms. Total solver calls (SAT/UNSAT): 763701(3638/760063)
Jun 01, 2017 12:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/1328 took 248919 ms. Total solver calls (SAT/UNSAT): 766373(3650/762723)
Jun 01, 2017 12:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1083/1328 took 249950 ms. Total solver calls (SAT/UNSAT): 768828(3658/765170)
Jun 01, 2017 12:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/1328 took 251111 ms. Total solver calls (SAT/UNSAT): 771501(3670/767831)
Jun 01, 2017 12:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1091/1328 took 252272 ms. Total solver calls (SAT/UNSAT): 774173(3682/770491)
Jun 01, 2017 12:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/1328 took 253301 ms. Total solver calls (SAT/UNSAT): 776628(3690/772938)
Jun 01, 2017 12:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/1328 took 254464 ms. Total solver calls (SAT/UNSAT): 779301(3702/775599)
Jun 01, 2017 12:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/1328 took 255627 ms. Total solver calls (SAT/UNSAT): 781973(3714/778259)
Jun 01, 2017 12:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1105/1328 took 256657 ms. Total solver calls (SAT/UNSAT): 784428(3722/780706)
Jun 01, 2017 12:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1109/1328 took 257816 ms. Total solver calls (SAT/UNSAT): 787101(3734/783367)
Jun 01, 2017 12:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1113/1328 took 258978 ms. Total solver calls (SAT/UNSAT): 789773(3746/786027)
Jun 01, 2017 12:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/1328 took 260009 ms. Total solver calls (SAT/UNSAT): 792228(3754/788474)
Jun 01, 2017 12:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/1328 took 261168 ms. Total solver calls (SAT/UNSAT): 794901(3766/791135)
Jun 01, 2017 12:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/1328 took 262329 ms. Total solver calls (SAT/UNSAT): 797573(3778/793795)
Jun 01, 2017 12:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/1328 took 263360 ms. Total solver calls (SAT/UNSAT): 800028(3786/796242)
Jun 01, 2017 12:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/1328 took 264520 ms. Total solver calls (SAT/UNSAT): 802701(3798/798903)
Jun 01, 2017 12:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/1328 took 265681 ms. Total solver calls (SAT/UNSAT): 805373(3810/801563)
Jun 01, 2017 12:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1138/1328 took 266714 ms. Total solver calls (SAT/UNSAT): 807828(3818/804010)
Jun 01, 2017 12:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/1328 took 267872 ms. Total solver calls (SAT/UNSAT): 810501(3830/806671)
Jun 01, 2017 12:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/1328 took 269026 ms. Total solver calls (SAT/UNSAT): 813173(3842/809331)
Jun 01, 2017 12:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1149/1328 took 270051 ms. Total solver calls (SAT/UNSAT): 815628(3850/811778)
Jun 01, 2017 12:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/1328 took 271142 ms. Total solver calls (SAT/UNSAT): 817432(4411/813021)
Jun 01, 2017 12:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/1328 took 272418 ms. Total solver calls (SAT/UNSAT): 819972(4921/815051)
Jun 01, 2017 12:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1189/1328 took 273436 ms. Total solver calls (SAT/UNSAT): 821989(5007/816982)
Jun 01, 2017 12:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1220/1328 took 274454 ms. Total solver calls (SAT/UNSAT): 823632(5069/818563)
Jun 01, 2017 12:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/1328 took 275607 ms. Total solver calls (SAT/UNSAT): 826522(6255/820267)
Jun 01, 2017 12:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/1328 took 276682 ms. Total solver calls (SAT/UNSAT): 830800(6333/824467)
Jun 01, 2017 12:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/1328 took 277760 ms. Total solver calls (SAT/UNSAT): 835078(6411/828667)
Jun 01, 2017 12:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/1328 took 278838 ms. Total solver calls (SAT/UNSAT): 839356(6489/832867)
Jun 01, 2017 12:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1251/1328 took 279913 ms. Total solver calls (SAT/UNSAT): 843634(6567/837067)
Jun 01, 2017 12:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/1328 took 280991 ms. Total solver calls (SAT/UNSAT): 847912(6645/841267)
Jun 01, 2017 12:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/1328 took 282069 ms. Total solver calls (SAT/UNSAT): 852190(6723/845467)
Jun 01, 2017 12:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/1328 took 283146 ms. Total solver calls (SAT/UNSAT): 856468(6801/849667)
Jun 01, 2017 12:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/1328 took 284228 ms. Total solver calls (SAT/UNSAT): 860746(6879/853867)
Jun 01, 2017 12:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1306/1328 took 285237 ms. Total solver calls (SAT/UNSAT): 862386(6988/855398)
Jun 01, 2017 12:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 285918 ms. Total solver calls (SAT/UNSAT): 863498(7030/856468)
Jun 01, 2017 12:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1328 transitions.
Jun 01, 2017 12:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/1328) took 678 ms. Total solver calls (SAT/UNSAT): 5306(216/5090)
Jun 01, 2017 12:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/1328) took 1803 ms. Total solver calls (SAT/UNSAT): 14553(594/13959)
Jun 01, 2017 12:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/1328) took 2925 ms. Total solver calls (SAT/UNSAT): 23751(972/22779)
Jun 01, 2017 12:10:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/1328) took 4034 ms. Total solver calls (SAT/UNSAT): 32900(1350/31550)
Jun 01, 2017 12:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/1328) took 5146 ms. Total solver calls (SAT/UNSAT): 42000(1728/40272)
Jun 01, 2017 12:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/1328) took 6256 ms. Total solver calls (SAT/UNSAT): 51051(2106/48945)
Jun 01, 2017 12:10:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/1328) took 7348 ms. Total solver calls (SAT/UNSAT): 60053(2484/57569)
Jun 01, 2017 12:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/1328) took 8401 ms. Total solver calls (SAT/UNSAT): 69006(2712/66294)
Jun 01, 2017 12:10:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/1328) took 9540 ms. Total solver calls (SAT/UNSAT): 79178(2744/76434)
Jun 01, 2017 12:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/1328) took 10543 ms. Total solver calls (SAT/UNSAT): 88026(2772/85254)
Jun 01, 2017 12:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/1328) took 11673 ms. Total solver calls (SAT/UNSAT): 98078(2804/95274)
Jun 01, 2017 12:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/1328) took 12798 ms. Total solver calls (SAT/UNSAT): 108066(2836/105230)
Jun 01, 2017 12:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/1328) took 13911 ms. Total solver calls (SAT/UNSAT): 117990(2868/115122)
Jun 01, 2017 12:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/1328) took 15019 ms. Total solver calls (SAT/UNSAT): 127850(2900/124950)
Jun 01, 2017 12:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/1328) took 16124 ms. Total solver calls (SAT/UNSAT): 137646(2932/134714)
Jun 01, 2017 12:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/1328) took 17220 ms. Total solver calls (SAT/UNSAT): 147378(2964/144414)
Jun 01, 2017 12:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/1328) took 18317 ms. Total solver calls (SAT/UNSAT): 157046(2996/154050)
Jun 01, 2017 12:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/1328) took 19400 ms. Total solver calls (SAT/UNSAT): 166650(3028/163622)
Jun 01, 2017 12:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/1328) took 20475 ms. Total solver calls (SAT/UNSAT): 176190(3060/173130)
Jun 01, 2017 12:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/1328) took 21583 ms. Total solver calls (SAT/UNSAT): 185666(3092/182574)
Jun 01, 2017 12:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/1328) took 22625 ms. Total solver calls (SAT/UNSAT): 195078(3124/191954)
Jun 01, 2017 12:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/1328) took 23725 ms. Total solver calls (SAT/UNSAT): 204426(3156/201270)
Jun 01, 2017 12:11:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/1328) took 24747 ms. Total solver calls (SAT/UNSAT): 213710(3188/210522)
Jun 01, 2017 12:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/1328) took 25761 ms. Total solver calls (SAT/UNSAT): 222930(3220/219710)
Jun 01, 2017 12:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/1328) took 26767 ms. Total solver calls (SAT/UNSAT): 232086(3252/228834)
Jun 01, 2017 12:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/1328) took 27771 ms. Total solver calls (SAT/UNSAT): 241178(3284/237894)
Jun 01, 2017 12:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/1328) took 28888 ms. Total solver calls (SAT/UNSAT): 251330(3320/248010)
Jun 01, 2017 12:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/1328) took 29895 ms. Total solver calls (SAT/UNSAT): 260286(3352/256934)
Jun 01, 2017 12:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/1328) took 30940 ms. Total solver calls (SAT/UNSAT): 269178(3384/265794)
Jun 01, 2017 12:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/1328) took 32057 ms. Total solver calls (SAT/UNSAT): 279105(3420/275685)
Jun 01, 2017 12:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/1328) took 33168 ms. Total solver calls (SAT/UNSAT): 288951(3456/285495)
Jun 01, 2017 12:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/1328) took 34168 ms. Total solver calls (SAT/UNSAT): 297635(3488/294147)
Jun 01, 2017 12:11:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(255/1328) took 35237 ms. Total solver calls (SAT/UNSAT): 307328(3524/303804)
Jun 01, 2017 12:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(264/1328) took 36299 ms. Total solver calls (SAT/UNSAT): 316940(3560/313380)
Jun 01, 2017 12:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/1328) took 37346 ms. Total solver calls (SAT/UNSAT): 326471(3596/322875)
Jun 01, 2017 12:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/1328) took 38386 ms. Total solver calls (SAT/UNSAT): 335921(3632/332289)
Jun 01, 2017 12:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/1328) took 39412 ms. Total solver calls (SAT/UNSAT): 345290(3668/341622)
Jun 01, 2017 12:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(300/1328) took 40429 ms. Total solver calls (SAT/UNSAT): 354578(3704/350874)
Jun 01, 2017 12:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/1328) took 41437 ms. Total solver calls (SAT/UNSAT): 363785(3740/360045)
Jun 01, 2017 12:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/1328) took 42442 ms. Total solver calls (SAT/UNSAT): 372911(3776/369135)
Jun 01, 2017 12:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/1328) took 43442 ms. Total solver calls (SAT/UNSAT): 381956(3812/378144)
Jun 01, 2017 12:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(337/1328) took 44535 ms. Total solver calls (SAT/UNSAT): 391911(3852/388059)
Jun 01, 2017 12:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/1328) took 45619 ms. Total solver calls (SAT/UNSAT): 401766(3892/397874)
Jun 01, 2017 12:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(356/1328) took 46641 ms. Total solver calls (SAT/UNSAT): 410550(3928/406622)
Jun 01, 2017 12:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/1328) took 47732 ms. Total solver calls (SAT/UNSAT): 420215(3968/416247)
Jun 01, 2017 12:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/1328) took 48746 ms. Total solver calls (SAT/UNSAT): 428828(4004/424824)
Jun 01, 2017 12:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(385/1328) took 49811 ms. Total solver calls (SAT/UNSAT): 438303(4044/434259)
Jun 01, 2017 12:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/1328) took 50863 ms. Total solver calls (SAT/UNSAT): 447678(4084/443594)
Jun 01, 2017 12:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(405/1328) took 51909 ms. Total solver calls (SAT/UNSAT): 456953(4124/452829)
Jun 01, 2017 12:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/1328) took 52935 ms. Total solver calls (SAT/UNSAT): 466128(4164/461964)
Jun 01, 2017 12:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/1328) took 53959 ms. Total solver calls (SAT/UNSAT): 475203(4204/470999)
Jun 01, 2017 12:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(435/1328) took 54971 ms. Total solver calls (SAT/UNSAT): 484178(4244/479934)
Jun 01, 2017 12:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(446/1328) took 56064 ms. Total solver calls (SAT/UNSAT): 493935(4288/489647)
Jun 01, 2017 12:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(456/1328) took 57097 ms. Total solver calls (SAT/UNSAT): 502700(4328/498372)
Jun 01, 2017 12:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(467/1328) took 58173 ms. Total solver calls (SAT/UNSAT): 512226(4372/507854)
Jun 01, 2017 12:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(478/1328) took 59239 ms. Total solver calls (SAT/UNSAT): 521631(4416/517215)
Jun 01, 2017 12:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(489/1328) took 60292 ms. Total solver calls (SAT/UNSAT): 530915(4460/526455)
Jun 01, 2017 12:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(500/1328) took 61367 ms. Total solver calls (SAT/UNSAT): 540078(4504/535574)
Jun 01, 2017 12:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(511/1328) took 62385 ms. Total solver calls (SAT/UNSAT): 549120(4548/544572)
Jun 01, 2017 12:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(522/1328) took 63388 ms. Total solver calls (SAT/UNSAT): 558041(4592/553449)
Jun 01, 2017 12:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(534/1328) took 64471 ms. Total solver calls (SAT/UNSAT): 567635(4640/562995)
Jun 01, 2017 12:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(546/1328) took 65565 ms. Total solver calls (SAT/UNSAT): 577085(4688/572397)
Jun 01, 2017 12:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(558/1328) took 66605 ms. Total solver calls (SAT/UNSAT): 586391(4736/581655)
Jun 01, 2017 12:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(570/1328) took 67621 ms. Total solver calls (SAT/UNSAT): 595553(4784/590769)
Jun 01, 2017 12:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(583/1328) took 68699 ms. Total solver calls (SAT/UNSAT): 605316(4836/600480)
Jun 01, 2017 12:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(596/1328) took 69756 ms. Total solver calls (SAT/UNSAT): 614910(4888/610022)
Jun 01, 2017 12:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(609/1328) took 70791 ms. Total solver calls (SAT/UNSAT): 624335(4940/619395)
Jun 01, 2017 12:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(622/1328) took 71814 ms. Total solver calls (SAT/UNSAT): 633591(4992/628599)
Jun 01, 2017 12:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(635/1328) took 72880 ms. Total solver calls (SAT/UNSAT): 642678(5044/637634)
Jun 01, 2017 12:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(648/1328) took 73886 ms. Total solver calls (SAT/UNSAT): 651596(5096/646500)
Jun 01, 2017 12:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(662/1328) took 74954 ms. Total solver calls (SAT/UNSAT): 661011(5152/655859)
Jun 01, 2017 12:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(676/1328) took 75992 ms. Total solver calls (SAT/UNSAT): 670230(5208/665022)
Jun 01, 2017 12:12:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(690/1328) took 77010 ms. Total solver calls (SAT/UNSAT): 679253(5264/673989)
Jun 01, 2017 12:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(705/1328) took 78072 ms. Total solver calls (SAT/UNSAT): 688703(5324/683379)
Jun 01, 2017 12:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(720/1328) took 79117 ms. Total solver calls (SAT/UNSAT): 697928(5384/692544)
Jun 01, 2017 12:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(735/1328) took 80131 ms. Total solver calls (SAT/UNSAT): 706928(5444/701484)
Jun 01, 2017 12:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(751/1328) took 81187 ms. Total solver calls (SAT/UNSAT): 716280(5508/710772)
Jun 01, 2017 12:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(767/1328) took 82212 ms. Total solver calls (SAT/UNSAT): 725376(5572/719804)
Jun 01, 2017 12:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(783/1328) took 83217 ms. Total solver calls (SAT/UNSAT): 734216(5636/728580)
Jun 01, 2017 12:12:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(800/1328) took 84245 ms. Total solver calls (SAT/UNSAT): 743328(5704/737624)
Jun 01, 2017 12:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(818/1328) took 85301 ms. Total solver calls (SAT/UNSAT): 752661(5776/746885)
Jun 01, 2017 12:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(836/1328) took 86319 ms. Total solver calls (SAT/UNSAT): 761670(5848/755822)
Jun 01, 2017 12:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(855/1328) took 87362 ms. Total solver calls (SAT/UNSAT): 770828(5924/764904)
Jun 01, 2017 12:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(875/1328) took 88410 ms. Total solver calls (SAT/UNSAT): 780078(6004/774074)
Jun 01, 2017 12:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(895/1328) took 89413 ms. Total solver calls (SAT/UNSAT): 788928(6084/782844)
Jun 01, 2017 12:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(916/1328) took 90418 ms. Total solver calls (SAT/UNSAT): 797790(6168/791622)
Jun 01, 2017 12:12:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(938/1328) took 91423 ms. Total solver calls (SAT/UNSAT): 806601(6256/800345)
Jun 01, 2017 12:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(962/1328) took 92454 ms. Total solver calls (SAT/UNSAT): 815661(6352/809309)
Jun 01, 2017 12:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(987/1328) took 93457 ms. Total solver calls (SAT/UNSAT): 824486(6452/818034)
Jun 01, 2017 12:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1014/1328) took 94465 ms. Total solver calls (SAT/UNSAT): 833315(6560/826755)
Jun 01, 2017 12:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1044/1328) took 95485 ms. Total solver calls (SAT/UNSAT): 842270(6680/835590)
Jun 01, 2017 12:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1077/1328) took 96501 ms. Total solver calls (SAT/UNSAT): 851081(6812/844269)
Jun 01, 2017 12:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1115/1328) took 97512 ms. Total solver calls (SAT/UNSAT): 859878(6964/852914)
Jun 01, 2017 12:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1153/1328) took 98514 ms. Total solver calls (SAT/UNSAT): 867231(7516/859715)
Jun 01, 2017 12:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1171/1328) took 99526 ms. Total solver calls (SAT/UNSAT): 870210(9388/860822)
Jun 01, 2017 12:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1206/1328) took 100545 ms. Total solver calls (SAT/UNSAT): 875075(11348/863727)
Jun 01, 2017 12:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1247/1328) took 101562 ms. Total solver calls (SAT/UNSAT): 879216(13592/865624)
Jun 01, 2017 12:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 102283 ms. Total solver calls (SAT/UNSAT): 882456(15100/867356)
Jun 01, 2017 12:12:31 AM 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="BridgeAndVehicles-PT-V50P20N10"
export BK_EXAMINATION="ReachabilityDeadlock"
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/BridgeAndVehicles-PT-V50P20N10.tgz
mv BridgeAndVehicles-PT-V50P20N10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is BridgeAndVehicles-PT-V50P20N10, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r010-csrt-149436129800476"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '' ReachabilityDeadlock.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 ;