About the Execution of ITS-Tools for S_BridgeAndVehicles-PT-V50P50N10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15936.330 | 3600000.00 | 4716356.00 | 586.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_BridgeAndVehicles-PT-V50P50N10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076900503
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496415641362
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= 0
invariant : 1'NB_ATTENTE_B_0 + 1'NB_ATTENTE_B_1 + 1'NB_ATTENTE_B_2 + 1'NB_ATTENTE_B_3 + 1'NB_ATTENTE_B_4 + 1'NB_ATTENTE_B_5 + 1'NB_ATTENTE_B_6 + 1'NB_ATTENTE_B_7 + 1'NB_ATTENTE_B_8 + 1'NB_ATTENTE_B_9 + 1'NB_ATTENTE_B_10 + 1'NB_ATTENTE_B_11 + 1'NB_ATTENTE_B_12 + 1'NB_ATTENTE_B_13 + 1'NB_ATTENTE_B_14 + 1'NB_ATTENTE_B_15 + 1'NB_ATTENTE_B_16 + 1'NB_ATTENTE_B_17 + 1'NB_ATTENTE_B_18 + 1'NB_ATTENTE_B_19 + 1'NB_ATTENTE_B_20 + 1'NB_ATTENTE_B_21 + 1'NB_ATTENTE_B_22 + 1'NB_ATTENTE_B_23 + 1'NB_ATTENTE_B_24 + 1'NB_ATTENTE_B_25 + 1'NB_ATTENTE_B_26 + 1'NB_ATTENTE_B_27 + 1'NB_ATTENTE_B_28 + 1'NB_ATTENTE_B_29 + 1'NB_ATTENTE_B_30 + 1'NB_ATTENTE_B_31 + 1'NB_ATTENTE_B_32 + 1'NB_ATTENTE_B_33 + 1'NB_ATTENTE_B_34 + 1'NB_ATTENTE_B_35 + 1'NB_ATTENTE_B_36 + 1'NB_ATTENTE_B_37 + 1'NB_ATTENTE_B_38 + 1'NB_ATTENTE_B_39 + 1'NB_ATTENTE_B_40 + 1'NB_ATTENTE_B_41 + 1'NB_ATTENTE_B_42 + 1'NB_ATTENTE_B_43 + 1'NB_ATTENTE_B_44 + 1'NB_ATTENTE_B_45 + 1'NB_ATTENTE_B_46 + 1'NB_ATTENTE_B_47 + 1'NB_ATTENTE_B_48 + 1'NB_ATTENTE_B_49 + 1'NB_ATTENTE_B_50= 1
invariant : 1'ROUTE_A + 1'ATTENTE_A + 1'SUR_PONT_A + 1'SORTI_A= 50
invariant : 1'SUR_PONT_A + 1'CAPACITE + 1'SUR_PONT_B= 50
invariant : 1'NB_ATTENTE_A_0 + 1'NB_ATTENTE_A_1 + 1'NB_ATTENTE_A_2 + 1'NB_ATTENTE_A_3 + 1'NB_ATTENTE_A_4 + 1'NB_ATTENTE_A_5 + 1'NB_ATTENTE_A_6 + 1'NB_ATTENTE_A_7 + 1'NB_ATTENTE_A_8 + 1'NB_ATTENTE_A_9 + 1'NB_ATTENTE_A_10 + 1'NB_ATTENTE_A_11 + 1'NB_ATTENTE_A_12 + 1'NB_ATTENTE_A_13 + 1'NB_ATTENTE_A_14 + 1'NB_ATTENTE_A_15 + 1'NB_ATTENTE_A_16 + 1'NB_ATTENTE_A_17 + 1'NB_ATTENTE_A_18 + 1'NB_ATTENTE_A_19 + 1'NB_ATTENTE_A_20 + 1'NB_ATTENTE_A_21 + 1'NB_ATTENTE_A_22 + 1'NB_ATTENTE_A_23 + 1'NB_ATTENTE_A_24 + 1'NB_ATTENTE_A_25 + 1'NB_ATTENTE_A_26 + 1'NB_ATTENTE_A_27 + 1'NB_ATTENTE_A_28 + 1'NB_ATTENTE_A_29 + 1'NB_ATTENTE_A_30 + 1'NB_ATTENTE_A_31 + 1'NB_ATTENTE_A_32 + 1'NB_ATTENTE_A_33 + 1'NB_ATTENTE_A_34 + 1'NB_ATTENTE_A_35 + 1'NB_ATTENTE_A_36 + 1'NB_ATTENTE_A_37 + 1'NB_ATTENTE_A_38 + 1'NB_ATTENTE_A_39 + 1'NB_ATTENTE_A_40 + 1'NB_ATTENTE_A_41 + 1'NB_ATTENTE_A_42 + 1'NB_ATTENTE_A_43 + 1'NB_ATTENTE_A_44 + 1'NB_ATTENTE_A_45 + 1'NB_ATTENTE_A_46 + 1'NB_ATTENTE_A_47 + 1'NB_ATTENTE_A_48 + 1'NB_ATTENTE_A_49 + 1'NB_ATTENTE_A_50= 1
invariant : 1'CONTROLEUR_1 + 1'CONTROLEUR_2 + 1'CHOIX_1 + 1'CHOIX_2 + 1'VIDANGE_1 + 1'VIDANGE_2= 1
invariant : 1'COMPTEUR_0 + 1'COMPTEUR_1 + 1'COMPTEUR_2 + 1'COMPTEUR_3 + 1'COMPTEUR_4 + 1'COMPTEUR_5 + 1'COMPTEUR_6 + 1'COMPTEUR_7 + 1'COMPTEUR_8 + 1'COMPTEUR_9 + 1'COMPTEUR_10= 1
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ 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 02, 2017 3:00:42 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 3:00:43 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 193 ms
Jun 02, 2017 3:00:43 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 128 places.
Jun 02, 2017 3:00:43 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1328 transitions.
Jun 02, 2017 3:00:43 PM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 02, 2017 3:00:44 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V50P50N10-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 02, 2017 3:00:44 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 465 ms
Jun 02, 2017 3:00:44 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 60 ms
Jun 02, 2017 3:00:45 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 180 ms
Jun 02, 2017 3:00:49 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 128 variables to be positive in 4444 ms
Jun 02, 2017 3:00:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1328 transitions.
Jun 02, 2017 3:00:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1328 took 110 ms. Total solver calls (SAT/UNSAT): 713(2/711)
Jun 02, 2017 3:00:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 1158 ms. Total solver calls (SAT/UNSAT): 8556(24/8532)
Jun 02, 2017 3:00:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1328 took 2245 ms. Total solver calls (SAT/UNSAT): 17112(48/17064)
Jun 02, 2017 3:00:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/1328 took 3304 ms. Total solver calls (SAT/UNSAT): 25668(72/25596)
Jun 02, 2017 3:00:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/1328 took 4313 ms. Total solver calls (SAT/UNSAT): 32798(92/32706)
Jun 02, 2017 3:00:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/1328 took 5369 ms. Total solver calls (SAT/UNSAT): 41001(124/40877)
Jun 02, 2017 3:00:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/1328 took 6433 ms. Total solver calls (SAT/UNSAT): 49029(160/48869)
Jun 02, 2017 3:00:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/1328 took 7466 ms. Total solver calls (SAT/UNSAT): 57726(199/57527)
Jun 02, 2017 3:00:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/1328 took 8531 ms. Total solver calls (SAT/UNSAT): 66423(238/66185)
Jun 02, 2017 3:00:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/1328 took 9594 ms. Total solver calls (SAT/UNSAT): 75778(280/75498)
Jun 02, 2017 3:01:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/1328 took 10621 ms. Total solver calls (SAT/UNSAT): 84462(319/84143)
Jun 02, 2017 3:01:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/1328 took 11626 ms. Total solver calls (SAT/UNSAT): 92478(355/92123)
Jun 02, 2017 3:01:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1328 took 12686 ms. Total solver calls (SAT/UNSAT): 101830(397/101433)
Jun 02, 2017 3:01:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/1328 took 13753 ms. Total solver calls (SAT/UNSAT): 111181(439/110742)
Jun 02, 2017 3:01:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/1328 took 14819 ms. Total solver calls (SAT/UNSAT): 120533(481/120052)
Jun 02, 2017 3:01:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/1328 took 15879 ms. Total solver calls (SAT/UNSAT): 129885(523/129362)
Jun 02, 2017 3:01:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/1328 took 16934 ms. Total solver calls (SAT/UNSAT): 139236(565/138671)
Jun 02, 2017 3:01:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/1328 took 17950 ms. Total solver calls (SAT/UNSAT): 147920(604/147316)
Jun 02, 2017 3:01:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/1328 took 19003 ms. Total solver calls (SAT/UNSAT): 155936(640/155296)
Jun 02, 2017 3:01:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/1328 took 20020 ms. Total solver calls (SAT/UNSAT): 164620(679/163941)
Jun 02, 2017 3:01:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/1328 took 21073 ms. Total solver calls (SAT/UNSAT): 173303(718/172585)
Jun 02, 2017 3:01:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/1328 took 22140 ms. Total solver calls (SAT/UNSAT): 182655(760/181895)
Jun 02, 2017 3:01:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/1328 took 23181 ms. Total solver calls (SAT/UNSAT): 191339(799/190540)
Jun 02, 2017 3:01:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/1328 took 24185 ms. Total solver calls (SAT/UNSAT): 200023(838/199185)
Jun 02, 2017 3:01:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/1328 took 25230 ms. Total solver calls (SAT/UNSAT): 208706(877/207829)
Jun 02, 2017 3:01:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/1328 took 26235 ms. Total solver calls (SAT/UNSAT): 217390(916/216474)
Jun 02, 2017 3:01:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/1328 took 27284 ms. Total solver calls (SAT/UNSAT): 226074(955/225119)
Jun 02, 2017 3:01:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/1328 took 28348 ms. Total solver calls (SAT/UNSAT): 235426(997/234429)
Jun 02, 2017 3:01:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/1328 took 29407 ms. Total solver calls (SAT/UNSAT): 244777(1039/243738)
Jun 02, 2017 3:01:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/1328 took 30448 ms. Total solver calls (SAT/UNSAT): 253461(1078/252383)
Jun 02, 2017 3:01:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/1328 took 31452 ms. Total solver calls (SAT/UNSAT): 262145(1117/261028)
Jun 02, 2017 3:01:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/1328 took 32471 ms. Total solver calls (SAT/UNSAT): 270828(1156/269672)
Jun 02, 2017 3:01:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/1328 took 33472 ms. Total solver calls (SAT/UNSAT): 279512(1195/278317)
Jun 02, 2017 3:01:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/1328 took 34488 ms. Total solver calls (SAT/UNSAT): 288196(1234/286962)
Jun 02, 2017 3:01:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/1328 took 35496 ms. Total solver calls (SAT/UNSAT): 296212(1270/294942)
Jun 02, 2017 3:01:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/1328 took 36498 ms. Total solver calls (SAT/UNSAT): 304895(1309/303586)
Jun 02, 2017 3:01:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/1328 took 37544 ms. Total solver calls (SAT/UNSAT): 313579(1348/312231)
Jun 02, 2017 3:01:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/1328 took 38563 ms. Total solver calls (SAT/UNSAT): 322263(1387/320876)
Jun 02, 2017 3:01:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/1328 took 39631 ms. Total solver calls (SAT/UNSAT): 330947(1426/329521)
Jun 02, 2017 3:01:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/1328 took 40690 ms. Total solver calls (SAT/UNSAT): 340298(1468/338830)
Jun 02, 2017 3:01:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/1328 took 41740 ms. Total solver calls (SAT/UNSAT): 348982(1507/347475)
Jun 02, 2017 3:01:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/1328 took 42799 ms. Total solver calls (SAT/UNSAT): 358334(1549/356785)
Jun 02, 2017 3:01:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/1328 took 43854 ms. Total solver calls (SAT/UNSAT): 367686(1591/366095)
Jun 02, 2017 3:01:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/1328 took 44954 ms. Total solver calls (SAT/UNSAT): 377522(1621/375901)
Jun 02, 2017 3:01:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/1328 took 46020 ms. Total solver calls (SAT/UNSAT): 386474(1645/384829)
Jun 02, 2017 3:01:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/1328 took 47045 ms. Total solver calls (SAT/UNSAT): 395426(1669/393757)
Jun 02, 2017 3:01:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/1328 took 48095 ms. Total solver calls (SAT/UNSAT): 404378(1693/402685)
Jun 02, 2017 3:01:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/1328 took 49166 ms. Total solver calls (SAT/UNSAT): 413330(1717/411613)
Jun 02, 2017 3:01:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/1328 took 50189 ms. Total solver calls (SAT/UNSAT): 422282(1741/420541)
Jun 02, 2017 3:01:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/1328 took 51234 ms. Total solver calls (SAT/UNSAT): 430976(1774/429202)
Jun 02, 2017 3:01:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/1328 took 52247 ms. Total solver calls (SAT/UNSAT): 439441(1810/437631)
Jun 02, 2017 3:01:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/1328 took 53337 ms. Total solver calls (SAT/UNSAT): 449028(1849/447179)
Jun 02, 2017 3:01:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/1328 took 54392 ms. Total solver calls (SAT/UNSAT): 458165(1888/456277)
Jun 02, 2017 3:01:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/1328 took 55432 ms. Total solver calls (SAT/UNSAT): 467301(1927/465374)
Jun 02, 2017 3:01:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/1328 took 56448 ms. Total solver calls (SAT/UNSAT): 475769(1963/473806)
Jun 02, 2017 3:01:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/1328 took 57470 ms. Total solver calls (SAT/UNSAT): 484237(1999/482238)
Jun 02, 2017 3:01:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/1328 took 58471 ms. Total solver calls (SAT/UNSAT): 492705(2035/490670)
Jun 02, 2017 3:01:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/1328 took 59503 ms. Total solver calls (SAT/UNSAT): 501841(2074/499767)
Jun 02, 2017 3:01:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/1328 took 60601 ms. Total solver calls (SAT/UNSAT): 511428(2113/509315)
Jun 02, 2017 3:01:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/1328 took 61627 ms. Total solver calls (SAT/UNSAT): 520565(2152/518413)
Jun 02, 2017 3:01:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/1328 took 62653 ms. Total solver calls (SAT/UNSAT): 529701(2191/527510)
Jun 02, 2017 3:01:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/1328 took 63678 ms. Total solver calls (SAT/UNSAT): 538837(2230/536607)
Jun 02, 2017 3:01:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/1328 took 64704 ms. Total solver calls (SAT/UNSAT): 547973(2269/545704)
Jun 02, 2017 3:01:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/1328 took 65730 ms. Total solver calls (SAT/UNSAT): 557109(2308/554801)
Jun 02, 2017 3:01:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/1328 took 66731 ms. Total solver calls (SAT/UNSAT): 564909(2341/562568)
Jun 02, 2017 3:01:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/1328 took 67792 ms. Total solver calls (SAT/UNSAT): 573828(2377/571451)
Jun 02, 2017 3:01:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/1328 took 68819 ms. Total solver calls (SAT/UNSAT): 582965(2416/580549)
Jun 02, 2017 3:01:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/1328 took 69838 ms. Total solver calls (SAT/UNSAT): 591433(2452/588981)
Jun 02, 2017 3:02:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/1328 took 70873 ms. Total solver calls (SAT/UNSAT): 599901(2488/597413)
Jun 02, 2017 3:02:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :857/1328 took 71894 ms. Total solver calls (SAT/UNSAT): 608369(2524/605845)
Jun 02, 2017 3:02:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :869/1328 took 72920 ms. Total solver calls (SAT/UNSAT): 616837(2560/614277)
Jun 02, 2017 3:02:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :881/1328 took 73972 ms. Total solver calls (SAT/UNSAT): 625305(2596/622709)
Jun 02, 2017 3:02:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :894/1328 took 75025 ms. Total solver calls (SAT/UNSAT): 634441(2635/631806)
Jun 02, 2017 3:02:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/1328 took 76049 ms. Total solver calls (SAT/UNSAT): 642909(2671/640238)
Jun 02, 2017 3:02:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/1328 took 77118 ms. Total solver calls (SAT/UNSAT): 652497(2710/649787)
Jun 02, 2017 3:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/1328 took 78160 ms. Total solver calls (SAT/UNSAT): 661633(2749/658884)
Jun 02, 2017 3:02:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/1328 took 79206 ms. Total solver calls (SAT/UNSAT): 670769(2788/667981)
Jun 02, 2017 3:02:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :958/1328 took 80260 ms. Total solver calls (SAT/UNSAT): 679905(2827/677078)
Jun 02, 2017 3:02:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :970/1328 took 81312 ms. Total solver calls (SAT/UNSAT): 688373(2863/685510)
Jun 02, 2017 3:02:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :983/1328 took 82358 ms. Total solver calls (SAT/UNSAT): 697509(2902/694607)
Jun 02, 2017 3:02:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :995/1328 took 83385 ms. Total solver calls (SAT/UNSAT): 706428(2938/703490)
Jun 02, 2017 3:02:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/1328 took 84435 ms. Total solver calls (SAT/UNSAT): 715565(2977/712588)
Jun 02, 2017 3:02:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1021/1328 took 85481 ms. Total solver calls (SAT/UNSAT): 724701(3016/721685)
Jun 02, 2017 3:02:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1033/1328 took 86549 ms. Total solver calls (SAT/UNSAT): 733169(3052/730117)
Jun 02, 2017 3:02:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1046/1328 took 87579 ms. Total solver calls (SAT/UNSAT): 742305(3091/739214)
Jun 02, 2017 3:02:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1059/1328 took 88599 ms. Total solver calls (SAT/UNSAT): 751441(3130/748311)
Jun 02, 2017 3:02:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/1328 took 89704 ms. Total solver calls (SAT/UNSAT): 761028(3169/757859)
Jun 02, 2017 3:02:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/1328 took 90706 ms. Total solver calls (SAT/UNSAT): 769497(3205/766292)
Jun 02, 2017 3:02:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1097/1328 took 91749 ms. Total solver calls (SAT/UNSAT): 778633(3244/775389)
Jun 02, 2017 3:02:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/1328 took 92824 ms. Total solver calls (SAT/UNSAT): 787769(3283/784486)
Jun 02, 2017 3:02:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/1328 took 93858 ms. Total solver calls (SAT/UNSAT): 796237(3319/792918)
Jun 02, 2017 3:02:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/1328 took 94891 ms. Total solver calls (SAT/UNSAT): 805373(3358/802015)
Jun 02, 2017 3:02:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/1328 took 95926 ms. Total solver calls (SAT/UNSAT): 814509(3397/811112)
Jun 02, 2017 3:02:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1202/1328 took 96931 ms. Total solver calls (SAT/UNSAT): 822678(3484/819194)
Jun 02, 2017 3:02:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1234/1328 took 97981 ms. Total solver calls (SAT/UNSAT): 831513(3544/827969)
Jun 02, 2017 3:02:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/1328 took 99057 ms. Total solver calls (SAT/UNSAT): 840782(3570/837212)
Jun 02, 2017 3:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1260/1328 took 100129 ms. Total solver calls (SAT/UNSAT): 850051(3596/846455)
Jun 02, 2017 3:02:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/1328 took 101203 ms. Total solver calls (SAT/UNSAT): 859320(3622/855698)
Jun 02, 2017 3:02:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 101778 ms. Total solver calls (SAT/UNSAT): 863498(3728/859770)
Jun 02, 2017 3:02:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1328 transitions.
Jun 02, 2017 3:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/1328 took 1231 ms. Total solver calls (SAT/UNSAT): 2852(52/2800)
Jun 02, 2017 3:02:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/1328 took 2444 ms. Total solver calls (SAT/UNSAT): 5704(104/5600)
Jun 02, 2017 3:02:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 3656 ms. Total solver calls (SAT/UNSAT): 8556(156/8400)
Jun 02, 2017 3:02:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/1328 took 4869 ms. Total solver calls (SAT/UNSAT): 11408(208/11200)
Jun 02, 2017 3:02:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/1328 took 6086 ms. Total solver calls (SAT/UNSAT): 14260(260/14000)
Jun 02, 2017 3:02:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1328 took 7299 ms. Total solver calls (SAT/UNSAT): 17112(312/16800)
Jun 02, 2017 3:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/1328 took 8515 ms. Total solver calls (SAT/UNSAT): 19964(364/19600)
Jun 02, 2017 3:02:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/1328 took 9730 ms. Total solver calls (SAT/UNSAT): 22816(416/22400)
Jun 02, 2017 3:02:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/1328 took 10948 ms. Total solver calls (SAT/UNSAT): 25668(468/25200)
Jun 02, 2017 3:02:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/1328 took 12167 ms. Total solver calls (SAT/UNSAT): 28520(520/28000)
Jun 02, 2017 3:02:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1328 took 13386 ms. Total solver calls (SAT/UNSAT): 31372(572/30800)
Jun 02, 2017 3:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/1328 took 14602 ms. Total solver calls (SAT/UNSAT): 34224(624/33600)
Jun 02, 2017 3:02:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/1328 took 15618 ms. Total solver calls (SAT/UNSAT): 37656(659/36997)
Jun 02, 2017 3:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/1328 took 16744 ms. Total solver calls (SAT/UNSAT): 43008(683/42325)
Jun 02, 2017 3:02:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/1328 took 17821 ms. Total solver calls (SAT/UNSAT): 48360(707/47653)
Jun 02, 2017 3:02:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/1328 took 18891 ms. Total solver calls (SAT/UNSAT): 53712(731/52981)
Jun 02, 2017 3:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/1328 took 20004 ms. Total solver calls (SAT/UNSAT): 59064(755/58309)
Jun 02, 2017 3:02:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/1328 took 21074 ms. Total solver calls (SAT/UNSAT): 64416(779/63637)
Jun 02, 2017 3:02:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/1328 took 22140 ms. Total solver calls (SAT/UNSAT): 69766(803/68963)
Jun 02, 2017 3:02:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/1328 took 23205 ms. Total solver calls (SAT/UNSAT): 75110(827/74283)
Jun 02, 2017 3:02:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/1328 took 24269 ms. Total solver calls (SAT/UNSAT): 80454(851/79603)
Jun 02, 2017 3:02:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/1328 took 25336 ms. Total solver calls (SAT/UNSAT): 85798(875/84923)
Jun 02, 2017 3:02:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/1328 took 26399 ms. Total solver calls (SAT/UNSAT): 91142(899/90243)
Jun 02, 2017 3:02:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/1328 took 27466 ms. Total solver calls (SAT/UNSAT): 96486(923/95563)
Jun 02, 2017 3:02:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1328 took 28530 ms. Total solver calls (SAT/UNSAT): 101830(947/100883)
Jun 02, 2017 3:03:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/1328 took 29585 ms. Total solver calls (SAT/UNSAT): 107173(971/106202)
Jun 02, 2017 3:03:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/1328 took 30641 ms. Total solver calls (SAT/UNSAT): 112517(995/111522)
Jun 02, 2017 3:03:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/1328 took 31698 ms. Total solver calls (SAT/UNSAT): 117861(1019/116842)
Jun 02, 2017 3:03:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/1328 took 32755 ms. Total solver calls (SAT/UNSAT): 123205(1043/122162)
Jun 02, 2017 3:03:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/1328 took 33815 ms. Total solver calls (SAT/UNSAT): 128549(1067/127482)
Jun 02, 2017 3:03:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/1328 took 34873 ms. Total solver calls (SAT/UNSAT): 133893(1091/132802)
Jun 02, 2017 3:03:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/1328 took 35935 ms. Total solver calls (SAT/UNSAT): 139236(1115/138121)
Jun 02, 2017 3:03:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/1328 took 37002 ms. Total solver calls (SAT/UNSAT): 144580(1139/143441)
Jun 02, 2017 3:03:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/1328 took 38068 ms. Total solver calls (SAT/UNSAT): 149924(1163/148761)
Jun 02, 2017 3:03:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/1328 took 39138 ms. Total solver calls (SAT/UNSAT): 155268(1187/154081)
Jun 02, 2017 3:03:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/1328 took 40205 ms. Total solver calls (SAT/UNSAT): 160612(1211/159401)
Jun 02, 2017 3:03:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/1328 took 41282 ms. Total solver calls (SAT/UNSAT): 165956(1235/164721)
Jun 02, 2017 3:03:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/1328 took 42354 ms. Total solver calls (SAT/UNSAT): 171299(1259/170040)
Jun 02, 2017 3:03:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/1328 took 43416 ms. Total solver calls (SAT/UNSAT): 176643(1283/175360)
Jun 02, 2017 3:03:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/1328 took 44478 ms. Total solver calls (SAT/UNSAT): 181987(1307/180680)
Jun 02, 2017 3:03:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/1328 took 45541 ms. Total solver calls (SAT/UNSAT): 187331(1331/186000)
Jun 02, 2017 3:03:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/1328 took 46607 ms. Total solver calls (SAT/UNSAT): 192675(1355/191320)
Jun 02, 2017 3:03:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/1328 took 47670 ms. Total solver calls (SAT/UNSAT): 198019(1379/196640)
Jun 02, 2017 3:03:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/1328 took 48733 ms. Total solver calls (SAT/UNSAT): 203362(1403/201959)
Jun 02, 2017 3:03:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/1328 took 49797 ms. Total solver calls (SAT/UNSAT): 208706(1427/207279)
Jun 02, 2017 3:03:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/1328 took 50860 ms. Total solver calls (SAT/UNSAT): 214050(1451/212599)
Jun 02, 2017 3:03:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/1328 took 51924 ms. Total solver calls (SAT/UNSAT): 219394(1475/217919)
Jun 02, 2017 3:03:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/1328 took 52991 ms. Total solver calls (SAT/UNSAT): 224738(1499/223239)
Jun 02, 2017 3:03:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/1328 took 54057 ms. Total solver calls (SAT/UNSAT): 230082(1523/228559)
Jun 02, 2017 3:03:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/1328 took 55122 ms. Total solver calls (SAT/UNSAT): 235426(1547/233879)
Jun 02, 2017 3:03:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/1328 took 56192 ms. Total solver calls (SAT/UNSAT): 240769(1571/239198)
Jun 02, 2017 3:03:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/1328 took 57263 ms. Total solver calls (SAT/UNSAT): 246113(1595/244518)
Jun 02, 2017 3:03:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/1328 took 58334 ms. Total solver calls (SAT/UNSAT): 251457(1619/249838)
Jun 02, 2017 3:03:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/1328 took 59397 ms. Total solver calls (SAT/UNSAT): 256801(1643/255158)
Jun 02, 2017 3:03:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/1328 took 60470 ms. Total solver calls (SAT/UNSAT): 262145(1667/260478)
Jun 02, 2017 3:03:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/1328 took 61542 ms. Total solver calls (SAT/UNSAT): 267489(1691/265798)
Jun 02, 2017 3:03:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/1328 took 62610 ms. Total solver calls (SAT/UNSAT): 272832(1715/271117)
Jun 02, 2017 3:03:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/1328 took 63680 ms. Total solver calls (SAT/UNSAT): 278176(1739/276437)
Jun 02, 2017 3:03:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/1328 took 64750 ms. Total solver calls (SAT/UNSAT): 283520(1763/281757)
Jun 02, 2017 3:03:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/1328 took 65820 ms. Total solver calls (SAT/UNSAT): 288864(1787/287077)
Jun 02, 2017 3:03:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/1328 took 66893 ms. Total solver calls (SAT/UNSAT): 294208(1811/292397)
Jun 02, 2017 3:03:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/1328 took 67965 ms. Total solver calls (SAT/UNSAT): 299552(1835/297717)
Jun 02, 2017 3:03:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/1328 took 69053 ms. Total solver calls (SAT/UNSAT): 305563(1862/303701)
Jun 02, 2017 3:03:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/1328 took 70097 ms. Total solver calls (SAT/UNSAT): 312243(1892/310351)
Jun 02, 2017 3:03:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/1328 took 71142 ms. Total solver calls (SAT/UNSAT): 318923(1922/317001)
Jun 02, 2017 3:03:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/1328 took 72187 ms. Total solver calls (SAT/UNSAT): 325603(1952/323651)
Jun 02, 2017 3:03:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/1328 took 73231 ms. Total solver calls (SAT/UNSAT): 332283(1982/330301)
Jun 02, 2017 3:03:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/1328 took 74262 ms. Total solver calls (SAT/UNSAT): 338294(2009/336285)
Jun 02, 2017 3:03:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/1328 took 75351 ms. Total solver calls (SAT/UNSAT): 343638(2033/341605)
Jun 02, 2017 3:03:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/1328 took 76442 ms. Total solver calls (SAT/UNSAT): 348982(2057/346925)
Jun 02, 2017 3:03:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/1328 took 77531 ms. Total solver calls (SAT/UNSAT): 354326(2081/352245)
Jun 02, 2017 3:03:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/1328 took 78620 ms. Total solver calls (SAT/UNSAT): 359670(2105/357565)
Jun 02, 2017 3:03:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/1328 took 79702 ms. Total solver calls (SAT/UNSAT): 365014(2129/362885)
Jun 02, 2017 3:03:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/1328 took 80951 ms. Total solver calls (SAT/UNSAT): 370808(2152/368656)
Jun 02, 2017 3:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/1328 took 82171 ms. Total solver calls (SAT/UNSAT): 375284(2160/373124)
Jun 02, 2017 3:03:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/1328 took 83386 ms. Total solver calls (SAT/UNSAT): 379760(2168/377592)
Jun 02, 2017 3:03:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/1328 took 84601 ms. Total solver calls (SAT/UNSAT): 384236(2176/382060)
Jun 02, 2017 3:03:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/1328 took 85822 ms. Total solver calls (SAT/UNSAT): 388712(2184/386528)
Jun 02, 2017 3:03:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/1328 took 87044 ms. Total solver calls (SAT/UNSAT): 393188(2192/390996)
Jun 02, 2017 3:03:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/1328 took 88259 ms. Total solver calls (SAT/UNSAT): 397664(2200/395464)
Jun 02, 2017 3:04:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/1328 took 89473 ms. Total solver calls (SAT/UNSAT): 402140(2208/399932)
Jun 02, 2017 3:04:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/1328 took 90687 ms. Total solver calls (SAT/UNSAT): 406616(2216/404400)
Jun 02, 2017 3:04:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/1328 took 91894 ms. Total solver calls (SAT/UNSAT): 411092(2224/408868)
Jun 02, 2017 3:04:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/1328 took 93065 ms. Total solver calls (SAT/UNSAT): 415568(2232/413336)
Jun 02, 2017 3:04:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/1328 took 94232 ms. Total solver calls (SAT/UNSAT): 420044(2240/417804)
Jun 02, 2017 3:04:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/1328 took 95411 ms. Total solver calls (SAT/UNSAT): 424520(2248/422272)
Jun 02, 2017 3:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/1328 took 96504 ms. Total solver calls (SAT/UNSAT): 427641(2259/425382)
Jun 02, 2017 3:04:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/1328 took 97555 ms. Total solver calls (SAT/UNSAT): 430309(2271/428038)
Jun 02, 2017 3:04:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/1328 took 98758 ms. Total solver calls (SAT/UNSAT): 433428(2282/431146)
Jun 02, 2017 3:04:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/1328 took 99811 ms. Total solver calls (SAT/UNSAT): 436101(2294/433807)
Jun 02, 2017 3:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/1328 took 100869 ms. Total solver calls (SAT/UNSAT): 438773(2306/436467)
Jun 02, 2017 3:04:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/1328 took 102070 ms. Total solver calls (SAT/UNSAT): 441897(2317/439580)
Jun 02, 2017 3:04:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/1328 took 103126 ms. Total solver calls (SAT/UNSAT): 444569(2329/442240)
Jun 02, 2017 3:04:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/1328 took 104158 ms. Total solver calls (SAT/UNSAT): 447241(2341/444900)
Jun 02, 2017 3:04:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/1328 took 105380 ms. Total solver calls (SAT/UNSAT): 450365(2352/448013)
Jun 02, 2017 3:04:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/1328 took 106431 ms. Total solver calls (SAT/UNSAT): 453037(2364/450673)
Jun 02, 2017 3:04:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/1328 took 107463 ms. Total solver calls (SAT/UNSAT): 455709(2376/453333)
Jun 02, 2017 3:04:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/1328 took 108683 ms. Total solver calls (SAT/UNSAT): 458833(2387/456446)
Jun 02, 2017 3:04:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/1328 took 109739 ms. Total solver calls (SAT/UNSAT): 461505(2399/459106)
Jun 02, 2017 3:04:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/1328 took 110938 ms. Total solver calls (SAT/UNSAT): 464628(2410/462218)
Jun 02, 2017 3:04:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/1328 took 111991 ms. Total solver calls (SAT/UNSAT): 467301(2422/464879)
Jun 02, 2017 3:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/1328 took 113045 ms. Total solver calls (SAT/UNSAT): 469973(2434/467539)
Jun 02, 2017 3:04:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/1328 took 114244 ms. Total solver calls (SAT/UNSAT): 473097(2445/470652)
Jun 02, 2017 3:04:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/1328 took 115307 ms. Total solver calls (SAT/UNSAT): 475769(2457/473312)
Jun 02, 2017 3:04:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/1328 took 116345 ms. Total solver calls (SAT/UNSAT): 478441(2469/475972)
Jun 02, 2017 3:04:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/1328 took 117578 ms. Total solver calls (SAT/UNSAT): 481565(2480/479085)
Jun 02, 2017 3:04:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/1328 took 118637 ms. Total solver calls (SAT/UNSAT): 484237(2492/481745)
Jun 02, 2017 3:04:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1328 took 119669 ms. Total solver calls (SAT/UNSAT): 486909(2504/484405)
Jun 02, 2017 3:04:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/1328 took 120889 ms. Total solver calls (SAT/UNSAT): 490033(2515/487518)
Jun 02, 2017 3:04:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/1328 took 121943 ms. Total solver calls (SAT/UNSAT): 492705(2527/490178)
Jun 02, 2017 3:04:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/1328 took 123142 ms. Total solver calls (SAT/UNSAT): 495828(2538/493290)
Jun 02, 2017 3:04:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/1328 took 124196 ms. Total solver calls (SAT/UNSAT): 498501(2550/495951)
Jun 02, 2017 3:04:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/1328 took 125251 ms. Total solver calls (SAT/UNSAT): 501173(2562/498611)
Jun 02, 2017 3:04:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/1328 took 126444 ms. Total solver calls (SAT/UNSAT): 504297(2573/501724)
Jun 02, 2017 3:04:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/1328 took 127499 ms. Total solver calls (SAT/UNSAT): 506969(2585/504384)
Jun 02, 2017 3:04:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/1328 took 128532 ms. Total solver calls (SAT/UNSAT): 509641(2597/507044)
Jun 02, 2017 3:04:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/1328 took 129755 ms. Total solver calls (SAT/UNSAT): 512765(2608/510157)
Jun 02, 2017 3:04:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/1328 took 130809 ms. Total solver calls (SAT/UNSAT): 515437(2620/512817)
Jun 02, 2017 3:04:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/1328 took 131854 ms. Total solver calls (SAT/UNSAT): 518109(2632/515477)
Jun 02, 2017 3:04:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/1328 took 133086 ms. Total solver calls (SAT/UNSAT): 521233(2643/518590)
Jun 02, 2017 3:04:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/1328 took 134149 ms. Total solver calls (SAT/UNSAT): 523905(2655/521250)
Jun 02, 2017 3:04:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/1328 took 135352 ms. Total solver calls (SAT/UNSAT): 527028(2666/524362)
Jun 02, 2017 3:04:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/1328 took 136407 ms. Total solver calls (SAT/UNSAT): 529701(2678/527023)
Jun 02, 2017 3:04:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/1328 took 137461 ms. Total solver calls (SAT/UNSAT): 532373(2690/529683)
Jun 02, 2017 3:04:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/1328 took 138660 ms. Total solver calls (SAT/UNSAT): 535497(2701/532796)
Jun 02, 2017 3:04:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/1328 took 139712 ms. Total solver calls (SAT/UNSAT): 538169(2713/535456)
Jun 02, 2017 3:04:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/1328 took 140742 ms. Total solver calls (SAT/UNSAT): 540841(2725/538116)
Jun 02, 2017 3:04:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/1328 took 141966 ms. Total solver calls (SAT/UNSAT): 543965(2736/541229)
Jun 02, 2017 3:04:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/1328 took 143019 ms. Total solver calls (SAT/UNSAT): 546637(2748/543889)
Jun 02, 2017 3:04:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/1328 took 144052 ms. Total solver calls (SAT/UNSAT): 549309(2760/546549)
Jun 02, 2017 3:04:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/1328 took 145273 ms. Total solver calls (SAT/UNSAT): 552433(2771/549662)
Jun 02, 2017 3:04:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/1328 took 146334 ms. Total solver calls (SAT/UNSAT): 555105(2783/552322)
Jun 02, 2017 3:04:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/1328 took 147537 ms. Total solver calls (SAT/UNSAT): 558228(2794/555434)
Jun 02, 2017 3:04:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/1328 took 148593 ms. Total solver calls (SAT/UNSAT): 560901(2806/558095)
Jun 02, 2017 3:05:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/1328 took 149647 ms. Total solver calls (SAT/UNSAT): 563573(2818/560755)
Jun 02, 2017 3:05:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/1328 took 150847 ms. Total solver calls (SAT/UNSAT): 566697(2829/563868)
Jun 02, 2017 3:05:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/1328 took 151900 ms. Total solver calls (SAT/UNSAT): 569369(2841/566528)
Jun 02, 2017 3:05:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/1328 took 152930 ms. Total solver calls (SAT/UNSAT): 572041(2853/569188)
Jun 02, 2017 3:05:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/1328 took 154154 ms. Total solver calls (SAT/UNSAT): 575165(2864/572301)
Jun 02, 2017 3:05:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/1328 took 155209 ms. Total solver calls (SAT/UNSAT): 577837(2876/574961)
Jun 02, 2017 3:05:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/1328 took 156242 ms. Total solver calls (SAT/UNSAT): 580509(2888/577621)
Jun 02, 2017 3:05:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/1328 took 157463 ms. Total solver calls (SAT/UNSAT): 583633(2899/580734)
Jun 02, 2017 3:05:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/1328 took 158520 ms. Total solver calls (SAT/UNSAT): 586305(2911/583394)
Jun 02, 2017 3:05:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/1328 took 159722 ms. Total solver calls (SAT/UNSAT): 589428(2922/586506)
Jun 02, 2017 3:05:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/1328 took 160775 ms. Total solver calls (SAT/UNSAT): 592101(2934/589167)
Jun 02, 2017 3:05:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/1328 took 161824 ms. Total solver calls (SAT/UNSAT): 594773(2946/591827)
Jun 02, 2017 3:05:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/1328 took 163003 ms. Total solver calls (SAT/UNSAT): 597897(2957/594940)
Jun 02, 2017 3:05:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/1328 took 164034 ms. Total solver calls (SAT/UNSAT): 600569(2969/597600)
Jun 02, 2017 3:05:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :850/1328 took 165081 ms. Total solver calls (SAT/UNSAT): 603241(2981/600260)
Jun 02, 2017 3:05:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/1328 took 166322 ms. Total solver calls (SAT/UNSAT): 606365(2992/603373)
Jun 02, 2017 3:05:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/1328 took 167391 ms. Total solver calls (SAT/UNSAT): 609037(3004/606033)
Jun 02, 2017 3:05:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :862/1328 took 168439 ms. Total solver calls (SAT/UNSAT): 611709(3016/608693)
Jun 02, 2017 3:05:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/1328 took 169678 ms. Total solver calls (SAT/UNSAT): 614833(3027/611806)
Jun 02, 2017 3:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :870/1328 took 170748 ms. Total solver calls (SAT/UNSAT): 617505(3039/614466)
Jun 02, 2017 3:05:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/1328 took 171965 ms. Total solver calls (SAT/UNSAT): 620628(3050/617578)
Jun 02, 2017 3:05:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/1328 took 173033 ms. Total solver calls (SAT/UNSAT): 623301(3062/620239)
Jun 02, 2017 3:05:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :882/1328 took 174104 ms. Total solver calls (SAT/UNSAT): 625973(3074/622899)
Jun 02, 2017 3:05:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :886/1328 took 175328 ms. Total solver calls (SAT/UNSAT): 629097(3085/626012)
Jun 02, 2017 3:05:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :890/1328 took 176397 ms. Total solver calls (SAT/UNSAT): 631769(3097/628672)
Jun 02, 2017 3:05:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :894/1328 took 177441 ms. Total solver calls (SAT/UNSAT): 634441(3109/631332)
Jun 02, 2017 3:05:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :898/1328 took 178680 ms. Total solver calls (SAT/UNSAT): 637565(3120/634445)
Jun 02, 2017 3:05:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :902/1328 took 179749 ms. Total solver calls (SAT/UNSAT): 640237(3132/637105)
Jun 02, 2017 3:05:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/1328 took 180795 ms. Total solver calls (SAT/UNSAT): 642909(3144/639765)
Jun 02, 2017 3:05:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :910/1328 took 182034 ms. Total solver calls (SAT/UNSAT): 646033(3155/642878)
Jun 02, 2017 3:05:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :914/1328 took 183103 ms. Total solver calls (SAT/UNSAT): 648705(3167/645538)
Jun 02, 2017 3:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :918/1328 took 184320 ms. Total solver calls (SAT/UNSAT): 651828(3178/648650)
Jun 02, 2017 3:05:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :922/1328 took 185391 ms. Total solver calls (SAT/UNSAT): 654501(3190/651311)
Jun 02, 2017 3:05:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/1328 took 186463 ms. Total solver calls (SAT/UNSAT): 657173(3202/653971)
Jun 02, 2017 3:05:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :930/1328 took 187680 ms. Total solver calls (SAT/UNSAT): 660297(3213/657084)
Jun 02, 2017 3:05:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :934/1328 took 188747 ms. Total solver calls (SAT/UNSAT): 662969(3225/659744)
Jun 02, 2017 3:05:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/1328 took 189796 ms. Total solver calls (SAT/UNSAT): 665641(3237/662404)
Jun 02, 2017 3:05:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/1328 took 191036 ms. Total solver calls (SAT/UNSAT): 668765(3248/665517)
Jun 02, 2017 3:05:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :946/1328 took 192105 ms. Total solver calls (SAT/UNSAT): 671437(3260/668177)
Jun 02, 2017 3:05:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :950/1328 took 193154 ms. Total solver calls (SAT/UNSAT): 674109(3272/670837)
Jun 02, 2017 3:05:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :954/1328 took 194392 ms. Total solver calls (SAT/UNSAT): 677233(3283/673950)
Jun 02, 2017 3:05:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :958/1328 took 195462 ms. Total solver calls (SAT/UNSAT): 679905(3295/676610)
Jun 02, 2017 3:05:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :962/1328 took 196680 ms. Total solver calls (SAT/UNSAT): 683028(3306/679722)
Jun 02, 2017 3:05:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/1328 took 197749 ms. Total solver calls (SAT/UNSAT): 685701(3318/682383)
Jun 02, 2017 3:05:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :970/1328 took 198820 ms. Total solver calls (SAT/UNSAT): 688373(3330/685043)
Jun 02, 2017 3:05:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :974/1328 took 200037 ms. Total solver calls (SAT/UNSAT): 691497(3341/688156)
Jun 02, 2017 3:05:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :978/1328 took 201107 ms. Total solver calls (SAT/UNSAT): 694169(3353/690816)
Jun 02, 2017 3:05:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :982/1328 took 202157 ms. Total solver calls (SAT/UNSAT): 696841(3365/693476)
Jun 02, 2017 3:05:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/1328 took 203399 ms. Total solver calls (SAT/UNSAT): 699965(3376/696589)
Jun 02, 2017 3:05:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/1328 took 204468 ms. Total solver calls (SAT/UNSAT): 702637(3388/699249)
Jun 02, 2017 3:05:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/1328 took 205517 ms. Total solver calls (SAT/UNSAT): 705309(3400/701909)
Jun 02, 2017 3:05:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :998/1328 took 206757 ms. Total solver calls (SAT/UNSAT): 708433(3411/705022)
Jun 02, 2017 3:05:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1002/1328 took 207828 ms. Total solver calls (SAT/UNSAT): 711105(3423/707682)
Jun 02, 2017 3:06:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/1328 took 209046 ms. Total solver calls (SAT/UNSAT): 714228(3434/710794)
Jun 02, 2017 3:06:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/1328 took 210116 ms. Total solver calls (SAT/UNSAT): 716901(3446/713455)
Jun 02, 2017 3:06:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/1328 took 211187 ms. Total solver calls (SAT/UNSAT): 719573(3458/716115)
Jun 02, 2017 3:06:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1018/1328 took 212402 ms. Total solver calls (SAT/UNSAT): 722697(3469/719228)
Jun 02, 2017 3:06:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/1328 took 213472 ms. Total solver calls (SAT/UNSAT): 725369(3481/721888)
Jun 02, 2017 3:06:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1026/1328 took 214519 ms. Total solver calls (SAT/UNSAT): 728041(3493/724548)
Jun 02, 2017 3:06:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/1328 took 215762 ms. Total solver calls (SAT/UNSAT): 731165(3504/727661)
Jun 02, 2017 3:06:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/1328 took 216830 ms. Total solver calls (SAT/UNSAT): 733837(3516/730321)
Jun 02, 2017 3:06:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1038/1328 took 217873 ms. Total solver calls (SAT/UNSAT): 736509(3528/732981)
Jun 02, 2017 3:06:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/1328 took 219086 ms. Total solver calls (SAT/UNSAT): 739633(3539/736094)
Jun 02, 2017 3:06:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1046/1328 took 220139 ms. Total solver calls (SAT/UNSAT): 742305(3551/738754)
Jun 02, 2017 3:06:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/1328 took 221342 ms. Total solver calls (SAT/UNSAT): 745428(3562/741866)
Jun 02, 2017 3:06:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/1328 took 222410 ms. Total solver calls (SAT/UNSAT): 748101(3574/744527)
Jun 02, 2017 3:06:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/1328 took 223484 ms. Total solver calls (SAT/UNSAT): 750773(3586/747187)
Jun 02, 2017 3:06:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/1328 took 224703 ms. Total solver calls (SAT/UNSAT): 753897(3597/750300)
Jun 02, 2017 3:06:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/1328 took 225777 ms. Total solver calls (SAT/UNSAT): 756569(3609/752960)
Jun 02, 2017 3:06:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/1328 took 226833 ms. Total solver calls (SAT/UNSAT): 759241(3621/755620)
Jun 02, 2017 3:06:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/1328 took 228088 ms. Total solver calls (SAT/UNSAT): 762365(3632/758733)
Jun 02, 2017 3:06:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/1328 took 229171 ms. Total solver calls (SAT/UNSAT): 765037(3644/761393)
Jun 02, 2017 3:06:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/1328 took 230237 ms. Total solver calls (SAT/UNSAT): 767709(3656/764053)
Jun 02, 2017 3:06:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/1328 took 231489 ms. Total solver calls (SAT/UNSAT): 770833(3667/767166)
Jun 02, 2017 3:06:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1090/1328 took 232571 ms. Total solver calls (SAT/UNSAT): 773505(3679/769826)
Jun 02, 2017 3:06:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/1328 took 233807 ms. Total solver calls (SAT/UNSAT): 776628(3690/772938)
Jun 02, 2017 3:06:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/1328 took 234903 ms. Total solver calls (SAT/UNSAT): 779301(3702/775599)
Jun 02, 2017 3:06:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/1328 took 235985 ms. Total solver calls (SAT/UNSAT): 781973(3714/778259)
Jun 02, 2017 3:06:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/1328 took 237226 ms. Total solver calls (SAT/UNSAT): 785097(3725/781372)
Jun 02, 2017 3:06:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/1328 took 238311 ms. Total solver calls (SAT/UNSAT): 787769(3737/784032)
Jun 02, 2017 3:06:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/1328 took 239371 ms. Total solver calls (SAT/UNSAT): 790441(3749/786692)
Jun 02, 2017 3:06:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/1328 took 240622 ms. Total solver calls (SAT/UNSAT): 793565(3760/789805)
Jun 02, 2017 3:06:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/1328 took 241702 ms. Total solver calls (SAT/UNSAT): 796237(3772/792465)
Jun 02, 2017 3:06:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/1328 took 242762 ms. Total solver calls (SAT/UNSAT): 798909(3784/795125)
Jun 02, 2017 3:06:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/1328 took 244027 ms. Total solver calls (SAT/UNSAT): 802033(3795/798238)
Jun 02, 2017 3:06:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/1328 took 245129 ms. Total solver calls (SAT/UNSAT): 804705(3807/800898)
Jun 02, 2017 3:06:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1138/1328 took 246357 ms. Total solver calls (SAT/UNSAT): 807828(3818/804010)
Jun 02, 2017 3:06:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/1328 took 247445 ms. Total solver calls (SAT/UNSAT): 810501(3830/806671)
Jun 02, 2017 3:06:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/1328 took 248522 ms. Total solver calls (SAT/UNSAT): 813173(3842/809331)
Jun 02, 2017 3:06:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1150/1328 took 249558 ms. Total solver calls (SAT/UNSAT): 815792(3901/811891)
Jun 02, 2017 3:06:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1161/1328 took 250573 ms. Total solver calls (SAT/UNSAT): 817596(4462/813134)
Jun 02, 2017 3:06:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/1328 took 251657 ms. Total solver calls (SAT/UNSAT): 819972(4921/815051)
Jun 02, 2017 3:06:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/1328 took 252687 ms. Total solver calls (SAT/UNSAT): 822095(5011/817084)
Jun 02, 2017 3:06:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1222/1328 took 253688 ms. Total solver calls (SAT/UNSAT): 823737(5073/818664)
Jun 02, 2017 3:06:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/1328 took 254765 ms. Total solver calls (SAT/UNSAT): 826522(6255/820267)
Jun 02, 2017 3:06:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/1328 took 255814 ms. Total solver calls (SAT/UNSAT): 830800(6333/824467)
Jun 02, 2017 3:06:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/1328 took 256861 ms. Total solver calls (SAT/UNSAT): 835078(6411/828667)
Jun 02, 2017 3:06:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/1328 took 257910 ms. Total solver calls (SAT/UNSAT): 839356(6489/832867)
Jun 02, 2017 3:06:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1251/1328 took 258959 ms. Total solver calls (SAT/UNSAT): 843634(6567/837067)
Jun 02, 2017 3:06:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/1328 took 260014 ms. Total solver calls (SAT/UNSAT): 847912(6645/841267)
Jun 02, 2017 3:06:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/1328 took 261066 ms. Total solver calls (SAT/UNSAT): 852190(6723/845467)
Jun 02, 2017 3:06:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/1328 took 262119 ms. Total solver calls (SAT/UNSAT): 856468(6801/849667)
Jun 02, 2017 3:06:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/1328 took 263174 ms. Total solver calls (SAT/UNSAT): 860746(6879/853867)
Jun 02, 2017 3:06:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1308/1328 took 264183 ms. Total solver calls (SAT/UNSAT): 862492(6992/855500)
Jun 02, 2017 3:06:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 264760 ms. Total solver calls (SAT/UNSAT): 863498(7030/856468)
Jun 02, 2017 3:06:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1328 transitions.
Jun 02, 2017 3:06:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/1328) took 547 ms. Total solver calls (SAT/UNSAT): 3981(162/3819)
Jun 02, 2017 3:06:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/1328) took 1695 ms. Total solver calls (SAT/UNSAT): 13235(540/12695)
Jun 02, 2017 3:06:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/1328) took 2841 ms. Total solver calls (SAT/UNSAT): 22440(918/21522)
Jun 02, 2017 3:07:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/1328) took 3982 ms. Total solver calls (SAT/UNSAT): 31596(1296/30300)
Jun 02, 2017 3:07:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/1328) took 5107 ms. Total solver calls (SAT/UNSAT): 40703(1674/39029)
Jun 02, 2017 3:07:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/1328) took 6236 ms. Total solver calls (SAT/UNSAT): 49761(2052/47709)
Jun 02, 2017 3:07:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/1328) took 7355 ms. Total solver calls (SAT/UNSAT): 58770(2430/56340)
Jun 02, 2017 3:07:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/1328) took 8445 ms. Total solver calls (SAT/UNSAT): 67730(2708/65022)
Jun 02, 2017 3:07:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/1328) took 9475 ms. Total solver calls (SAT/UNSAT): 76641(2736/73905)
Jun 02, 2017 3:07:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/1328) took 10492 ms. Total solver calls (SAT/UNSAT): 85503(2764/82739)
Jun 02, 2017 3:07:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/1328) took 11508 ms. Total solver calls (SAT/UNSAT): 94316(2792/91524)
Jun 02, 2017 3:07:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/1328) took 12521 ms. Total solver calls (SAT/UNSAT): 103080(2820/100260)
Jun 02, 2017 3:07:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/1328) took 13530 ms. Total solver calls (SAT/UNSAT): 111795(2848/108947)
Jun 02, 2017 3:07:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/1328) took 14670 ms. Total solver calls (SAT/UNSAT): 121695(2880/118815)
Jun 02, 2017 3:07:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/1328) took 15811 ms. Total solver calls (SAT/UNSAT): 131531(2912/128619)
Jun 02, 2017 3:07:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/1328) took 16940 ms. Total solver calls (SAT/UNSAT): 141303(2944/138359)
Jun 02, 2017 3:07:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/1328) took 18063 ms. Total solver calls (SAT/UNSAT): 151011(2976/148035)
Jun 02, 2017 3:07:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/1328) took 19177 ms. Total solver calls (SAT/UNSAT): 160655(3008/157647)
Jun 02, 2017 3:07:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/1328) took 20286 ms. Total solver calls (SAT/UNSAT): 170235(3040/167195)
Jun 02, 2017 3:07:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/1328) took 21386 ms. Total solver calls (SAT/UNSAT): 179751(3072/176679)
Jun 02, 2017 3:07:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/1328) took 22482 ms. Total solver calls (SAT/UNSAT): 189203(3104/186099)
Jun 02, 2017 3:07:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/1328) took 23569 ms. Total solver calls (SAT/UNSAT): 198591(3136/195455)
Jun 02, 2017 3:07:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/1328) took 24649 ms. Total solver calls (SAT/UNSAT): 207915(3168/204747)
Jun 02, 2017 3:07:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/1328) took 25718 ms. Total solver calls (SAT/UNSAT): 217175(3200/213975)
Jun 02, 2017 3:07:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/1328) took 26785 ms. Total solver calls (SAT/UNSAT): 226371(3232/223139)
Jun 02, 2017 3:07:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/1328) took 27843 ms. Total solver calls (SAT/UNSAT): 235503(3264/232239)
Jun 02, 2017 3:07:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/1328) took 28904 ms. Total solver calls (SAT/UNSAT): 244571(3296/241275)
Jun 02, 2017 3:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/1328) took 29950 ms. Total solver calls (SAT/UNSAT): 253575(3328/250247)
Jun 02, 2017 3:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/1328) took 30990 ms. Total solver calls (SAT/UNSAT): 262515(3360/259155)
Jun 02, 2017 3:07:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/1328) took 32021 ms. Total solver calls (SAT/UNSAT): 271391(3392/267999)
Jun 02, 2017 3:07:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/1328) took 33045 ms. Total solver calls (SAT/UNSAT): 280203(3424/276779)
Jun 02, 2017 3:07:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/1328) took 34065 ms. Total solver calls (SAT/UNSAT): 288951(3456/285495)
Jun 02, 2017 3:07:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/1328) took 35075 ms. Total solver calls (SAT/UNSAT): 297635(3488/294147)
Jun 02, 2017 3:07:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/1328) took 36078 ms. Total solver calls (SAT/UNSAT): 306255(3520/302735)
Jun 02, 2017 3:07:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/1328) took 37111 ms. Total solver calls (SAT/UNSAT): 314811(3552/311259)
Jun 02, 2017 3:07:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/1328) took 38117 ms. Total solver calls (SAT/UNSAT): 323303(3584/319719)
Jun 02, 2017 3:07:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/1328) took 39195 ms. Total solver calls (SAT/UNSAT): 332780(3620/329160)
Jun 02, 2017 3:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/1328) took 40265 ms. Total solver calls (SAT/UNSAT): 342176(3656/338520)
Jun 02, 2017 3:07:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/1328) took 41325 ms. Total solver calls (SAT/UNSAT): 351491(3692/347799)
Jun 02, 2017 3:07:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/1328) took 42373 ms. Total solver calls (SAT/UNSAT): 360725(3728/356997)
Jun 02, 2017 3:07:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/1328) took 43419 ms. Total solver calls (SAT/UNSAT): 369878(3764/366114)
Jun 02, 2017 3:07:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/1328) took 44451 ms. Total solver calls (SAT/UNSAT): 378950(3800/375150)
Jun 02, 2017 3:07:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/1328) took 45474 ms. Total solver calls (SAT/UNSAT): 387941(3836/384105)
Jun 02, 2017 3:07:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/1328) took 46492 ms. Total solver calls (SAT/UNSAT): 396851(3872/392979)
Jun 02, 2017 3:07:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/1328) took 47500 ms. Total solver calls (SAT/UNSAT): 405680(3908/401772)
Jun 02, 2017 3:07:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/1328) took 48506 ms. Total solver calls (SAT/UNSAT): 414428(3944/410484)
Jun 02, 2017 3:07:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/1328) took 49603 ms. Total solver calls (SAT/UNSAT): 424053(3984/420069)
Jun 02, 2017 3:07:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/1328) took 50695 ms. Total solver calls (SAT/UNSAT): 433578(4024/429554)
Jun 02, 2017 3:07:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/1328) took 51769 ms. Total solver calls (SAT/UNSAT): 443003(4064/438939)
Jun 02, 2017 3:07:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/1328) took 52833 ms. Total solver calls (SAT/UNSAT): 452328(4104/448224)
Jun 02, 2017 3:07:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(410/1328) took 53895 ms. Total solver calls (SAT/UNSAT): 461553(4144/457409)
Jun 02, 2017 3:07:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/1328) took 54934 ms. Total solver calls (SAT/UNSAT): 470678(4184/466494)
Jun 02, 2017 3:07:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(430/1328) took 55958 ms. Total solver calls (SAT/UNSAT): 479703(4224/475479)
Jun 02, 2017 3:07:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/1328) took 56977 ms. Total solver calls (SAT/UNSAT): 488628(4264/484364)
Jun 02, 2017 3:07:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/1328) took 57982 ms. Total solver calls (SAT/UNSAT): 497453(4304/493149)
Jun 02, 2017 3:07:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(461/1328) took 59080 ms. Total solver calls (SAT/UNSAT): 507045(4348/502697)
Jun 02, 2017 3:07:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(472/1328) took 60159 ms. Total solver calls (SAT/UNSAT): 516516(4392/512124)
Jun 02, 2017 3:07:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(483/1328) took 61229 ms. Total solver calls (SAT/UNSAT): 525866(4436/521430)
Jun 02, 2017 3:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(494/1328) took 62286 ms. Total solver calls (SAT/UNSAT): 535095(4480/530615)
Jun 02, 2017 3:07:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/1328) took 63327 ms. Total solver calls (SAT/UNSAT): 544203(4524/539679)
Jun 02, 2017 3:08:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(516/1328) took 64353 ms. Total solver calls (SAT/UNSAT): 553190(4568/548622)
Jun 02, 2017 3:08:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(527/1328) took 65364 ms. Total solver calls (SAT/UNSAT): 562056(4612/557444)
Jun 02, 2017 3:08:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(538/1328) took 66365 ms. Total solver calls (SAT/UNSAT): 570801(4656/566145)
Jun 02, 2017 3:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(549/1328) took 67424 ms. Total solver calls (SAT/UNSAT): 579425(4700/574725)
Jun 02, 2017 3:08:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(560/1328) took 68431 ms. Total solver calls (SAT/UNSAT): 587928(4744/583184)
Jun 02, 2017 3:08:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(572/1328) took 69500 ms. Total solver calls (SAT/UNSAT): 597066(4792/592274)
Jun 02, 2017 3:08:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(584/1328) took 70551 ms. Total solver calls (SAT/UNSAT): 606060(4840/601220)
Jun 02, 2017 3:08:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(596/1328) took 71587 ms. Total solver calls (SAT/UNSAT): 614910(4888/610022)
Jun 02, 2017 3:08:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(608/1328) took 72601 ms. Total solver calls (SAT/UNSAT): 623616(4936/618680)
Jun 02, 2017 3:08:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(620/1328) took 73606 ms. Total solver calls (SAT/UNSAT): 632178(4984/627194)
Jun 02, 2017 3:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(633/1328) took 74671 ms. Total solver calls (SAT/UNSAT): 641291(5036/636255)
Jun 02, 2017 3:08:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(646/1328) took 75712 ms. Total solver calls (SAT/UNSAT): 650235(5088/645147)
Jun 02, 2017 3:08:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(659/1328) took 76746 ms. Total solver calls (SAT/UNSAT): 659010(5140/653870)
Jun 02, 2017 3:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(671/1328) took 77797 ms. Total solver calls (SAT/UNSAT): 666960(5188/661772)
Jun 02, 2017 3:08:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(685/1328) took 78858 ms. Total solver calls (SAT/UNSAT): 676053(5244/670809)
Jun 02, 2017 3:08:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(699/1328) took 79902 ms. Total solver calls (SAT/UNSAT): 684950(5300/679650)
Jun 02, 2017 3:08:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(713/1328) took 80919 ms. Total solver calls (SAT/UNSAT): 693651(5356/688295)
Jun 02, 2017 3:08:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(728/1328) took 81981 ms. Total solver calls (SAT/UNSAT): 702756(5416/697340)
Jun 02, 2017 3:08:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(743/1328) took 83015 ms. Total solver calls (SAT/UNSAT): 711636(5476/706160)
Jun 02, 2017 3:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(758/1328) took 84029 ms. Total solver calls (SAT/UNSAT): 720291(5536/714755)
Jun 02, 2017 3:08:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(774/1328) took 85079 ms. Total solver calls (SAT/UNSAT): 729275(5600/723675)
Jun 02, 2017 3:08:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(790/1328) took 86107 ms. Total solver calls (SAT/UNSAT): 738003(5664/732339)
Jun 02, 2017 3:08:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(806/1328) took 87156 ms. Total solver calls (SAT/UNSAT): 746475(5728/740747)
Jun 02, 2017 3:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(822/1328) took 88160 ms. Total solver calls (SAT/UNSAT): 754691(5792/748899)
Jun 02, 2017 3:08:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(840/1328) took 89209 ms. Total solver calls (SAT/UNSAT): 763628(5864/757764)
Jun 02, 2017 3:08:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(858/1328) took 90217 ms. Total solver calls (SAT/UNSAT): 772241(5936/766305)
Jun 02, 2017 3:08:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(877/1328) took 91238 ms. Total solver calls (SAT/UNSAT): 780981(6012/774969)
Jun 02, 2017 3:08:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(897/1328) took 92272 ms. Total solver calls (SAT/UNSAT): 789791(6092/783699)
Jun 02, 2017 3:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(917/1328) took 93305 ms. Total solver calls (SAT/UNSAT): 798201(6172/792029)
Jun 02, 2017 3:08:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(938/1328) took 94305 ms. Total solver calls (SAT/UNSAT): 806601(6256/800345)
Jun 02, 2017 3:08:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(961/1328) took 95326 ms. Total solver calls (SAT/UNSAT): 815295(6348/808947)
Jun 02, 2017 3:08:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(985/1328) took 96330 ms. Total solver calls (SAT/UNSAT): 823803(6444/817359)
Jun 02, 2017 3:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1011/1328) took 97344 ms. Total solver calls (SAT/UNSAT): 832370(6548/825822)
Jun 02, 2017 3:08:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1039/1328) took 98346 ms. Total solver calls (SAT/UNSAT): 840840(6660/834180)
Jun 02, 2017 3:08:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1069/1328) took 99363 ms. Total solver calls (SAT/UNSAT): 849045(6780/842265)
Jun 02, 2017 3:08:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1104/1328) took 100372 ms. Total solver calls (SAT/UNSAT): 857480(6920/850560)
Jun 02, 2017 3:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1146/1328) took 101381 ms. Total solver calls (SAT/UNSAT): 865985(7088/858897)
Jun 02, 2017 3:08:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1166/1328) took 102383 ms. Total solver calls (SAT/UNSAT): 869415(8868/860547)
Jun 02, 2017 3:08:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1196/1328) took 103396 ms. Total solver calls (SAT/UNSAT): 873810(10788/863022)
Jun 02, 2017 3:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1235/1328) took 104414 ms. Total solver calls (SAT/UNSAT): 878178(12968/865210)
Jun 02, 2017 3:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 105336 ms. Total solver calls (SAT/UNSAT): 882456(15100/867356)
Jun 02, 2017 3:08:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1328 transitions.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_BridgeAndVehicles-PT-V50P50N10"
export BK_EXAMINATION="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/S_BridgeAndVehicles-PT-V50P50N10.tgz
mv S_BridgeAndVehicles-PT-V50P50N10 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_BridgeAndVehicles-PT-V50P50N10, examination is 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 r090-csrt-149441076900503"
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 '
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 ;