Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is BridgeAndVehicles-PT-V50P50N10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129800503
=====================================================================

--------------------
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 1496278526661


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 01, 2017 12:55:28 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 12:55:28 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 192 ms
Jun 01, 2017 12:55:28 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 128 places.
Jun 01, 2017 12:55:28 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1328 transitions.
Jun 01, 2017 12:55:28 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 01, 2017 12:55:29 AM 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 01, 2017 12:55:29 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 515 ms
Jun 01, 2017 12:55:29 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 62 ms
Jun 01, 2017 12:55:30 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 147 ms
Jun 01, 2017 12:55:34 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 128 variables to be positive in 4373 ms
Jun 01, 2017 12:55:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1328 transitions.
Jun 01, 2017 12:55:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1328 took 99 ms. Total solver calls (SAT/UNSAT): 713(2/711)
Jun 01, 2017 12:55:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 1114 ms. Total solver calls (SAT/UNSAT): 8556(24/8532)
Jun 01, 2017 12:55:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/1328 took 2127 ms. Total solver calls (SAT/UNSAT): 15686(44/15642)
Jun 01, 2017 12:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/1328 took 3162 ms. Total solver calls (SAT/UNSAT): 23529(66/23463)
Jun 01, 2017 12:55:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1328 took 4168 ms. Total solver calls (SAT/UNSAT): 31372(88/31284)
Jun 01, 2017 12:55:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/1328 took 5197 ms. Total solver calls (SAT/UNSAT): 39663(118/39545)
Jun 01, 2017 12:55:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/1328 took 6224 ms. Total solver calls (SAT/UNSAT): 48360(157/48203)
Jun 01, 2017 12:55:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/1328 took 7264 ms. Total solver calls (SAT/UNSAT): 57057(196/56861)
Jun 01, 2017 12:55:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/1328 took 8306 ms. Total solver calls (SAT/UNSAT): 65754(235/65519)
Jun 01, 2017 12:55:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/1328 took 9381 ms. Total solver calls (SAT/UNSAT): 75110(277/74833)
Jun 01, 2017 12:55:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/1328 took 10448 ms. Total solver calls (SAT/UNSAT): 84462(319/84143)
Jun 01, 2017 12:55:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/1328 took 11450 ms. Total solver calls (SAT/UNSAT): 93146(358/92788)
Jun 01, 2017 12:55:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1328 took 12497 ms. Total solver calls (SAT/UNSAT): 101830(397/101433)
Jun 01, 2017 12:55:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/1328 took 13526 ms. Total solver calls (SAT/UNSAT): 110513(436/110077)
Jun 01, 2017 12:55:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/1328 took 14608 ms. Total solver calls (SAT/UNSAT): 119197(475/118722)
Jun 01, 2017 12:55:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/1328 took 15608 ms. Total solver calls (SAT/UNSAT): 127881(514/127367)
Jun 01, 2017 12:55:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/1328 took 16672 ms. Total solver calls (SAT/UNSAT): 136564(553/136011)
Jun 01, 2017 12:55:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/1328 took 17737 ms. Total solver calls (SAT/UNSAT): 145916(595/145321)
Jun 01, 2017 12:55:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/1328 took 18800 ms. Total solver calls (SAT/UNSAT): 155268(637/154631)
Jun 01, 2017 12:55:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/1328 took 19875 ms. Total solver calls (SAT/UNSAT): 164620(679/163941)
Jun 01, 2017 12:55:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/1328 took 20939 ms. Total solver calls (SAT/UNSAT): 173971(721/173250)
Jun 01, 2017 12:55:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/1328 took 21972 ms. Total solver calls (SAT/UNSAT): 182655(760/181895)
Jun 01, 2017 12:55:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/1328 took 23042 ms. Total solver calls (SAT/UNSAT): 192007(802/191205)
Jun 01, 2017 12:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/1328 took 24068 ms. Total solver calls (SAT/UNSAT): 200691(841/199850)
Jun 01, 2017 12:55:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/1328 took 25137 ms. Total solver calls (SAT/UNSAT): 210042(883/209159)
Jun 01, 2017 12:56:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/1328 took 26207 ms. Total solver calls (SAT/UNSAT): 219394(925/218469)
Jun 01, 2017 12:56:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/1328 took 27208 ms. Total solver calls (SAT/UNSAT): 228078(964/227114)
Jun 01, 2017 12:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/1328 took 28282 ms. Total solver calls (SAT/UNSAT): 237429(1006/236423)
Jun 01, 2017 12:56:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/1328 took 29353 ms. Total solver calls (SAT/UNSAT): 246781(1048/245733)
Jun 01, 2017 12:56:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/1328 took 30418 ms. Total solver calls (SAT/UNSAT): 256133(1090/255043)
Jun 01, 2017 12:56:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/1328 took 31454 ms. Total solver calls (SAT/UNSAT): 264817(1129/263688)
Jun 01, 2017 12:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/1328 took 32497 ms. Total solver calls (SAT/UNSAT): 273500(1168/272332)
Jun 01, 2017 12:56:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/1328 took 33526 ms. Total solver calls (SAT/UNSAT): 282184(1207/280977)
Jun 01, 2017 12:56:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/1328 took 34600 ms. Total solver calls (SAT/UNSAT): 290868(1246/289622)
Jun 01, 2017 12:56:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/1328 took 35611 ms. Total solver calls (SAT/UNSAT): 299552(1285/298267)
Jun 01, 2017 12:56:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/1328 took 36681 ms. Total solver calls (SAT/UNSAT): 308235(1324/306911)
Jun 01, 2017 12:56:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/1328 took 37755 ms. Total solver calls (SAT/UNSAT): 316919(1363/315556)
Jun 01, 2017 12:56:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/1328 took 38799 ms. Total solver calls (SAT/UNSAT): 325603(1402/324201)
Jun 01, 2017 12:56:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/1328 took 39848 ms. Total solver calls (SAT/UNSAT): 334287(1441/332846)
Jun 01, 2017 12:56:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/1328 took 40874 ms. Total solver calls (SAT/UNSAT): 342970(1480/341490)
Jun 01, 2017 12:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/1328 took 41927 ms. Total solver calls (SAT/UNSAT): 351654(1519/350135)
Jun 01, 2017 12:56:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/1328 took 42951 ms. Total solver calls (SAT/UNSAT): 359670(1555/358115)
Jun 01, 2017 12:56:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/1328 took 43959 ms. Total solver calls (SAT/UNSAT): 368354(1594/366760)
Jun 01, 2017 12:56:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/1328 took 45010 ms. Total solver calls (SAT/UNSAT): 377522(1621/375901)
Jun 01, 2017 12:56:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/1328 took 46028 ms. Total solver calls (SAT/UNSAT): 386474(1645/384829)
Jun 01, 2017 12:56:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/1328 took 47091 ms. Total solver calls (SAT/UNSAT): 395426(1669/393757)
Jun 01, 2017 12:56:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/1328 took 48109 ms. Total solver calls (SAT/UNSAT): 404378(1693/402685)
Jun 01, 2017 12:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/1328 took 49131 ms. Total solver calls (SAT/UNSAT): 413330(1717/411613)
Jun 01, 2017 12:56:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/1328 took 50201 ms. Total solver calls (SAT/UNSAT): 422282(1741/420541)
Jun 01, 2017 12:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/1328 took 51260 ms. Total solver calls (SAT/UNSAT): 431643(1777/429866)
Jun 01, 2017 12:56:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/1328 took 52342 ms. Total solver calls (SAT/UNSAT): 441228(1816/439412)
Jun 01, 2017 12:56:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/1328 took 53380 ms. Total solver calls (SAT/UNSAT): 450365(1855/448510)
Jun 01, 2017 12:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/1328 took 54421 ms. Total solver calls (SAT/UNSAT): 459501(1894/457607)
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/1328 took 55436 ms. Total solver calls (SAT/UNSAT): 467969(1930/466039)
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/1328 took 56473 ms. Total solver calls (SAT/UNSAT): 477105(1969/475136)
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/1328 took 57505 ms. Total solver calls (SAT/UNSAT): 486241(2008/484233)
Jun 01, 2017 12:56:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/1328 took 58589 ms. Total solver calls (SAT/UNSAT): 495828(2047/493781)
Jun 01, 2017 12:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/1328 took 59625 ms. Total solver calls (SAT/UNSAT): 504965(2086/502879)
Jun 01, 2017 12:56:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/1328 took 60664 ms. Total solver calls (SAT/UNSAT): 514101(2125/511976)
Jun 01, 2017 12:56:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/1328 took 61692 ms. Total solver calls (SAT/UNSAT): 523237(2164/521073)
Jun 01, 2017 12:56:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/1328 took 62720 ms. Total solver calls (SAT/UNSAT): 532373(2203/530170)
Jun 01, 2017 12:56:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/1328 took 63749 ms. Total solver calls (SAT/UNSAT): 541509(2242/539267)
Jun 01, 2017 12:56:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/1328 took 64755 ms. Total solver calls (SAT/UNSAT): 550428(2278/548150)
Jun 01, 2017 12:56:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/1328 took 65784 ms. Total solver calls (SAT/UNSAT): 559565(2317/557248)
Jun 01, 2017 12:56:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/1328 took 66819 ms. Total solver calls (SAT/UNSAT): 568701(2356/566345)
Jun 01, 2017 12:56:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/1328 took 67882 ms. Total solver calls (SAT/UNSAT): 577837(2395/575442)
Jun 01, 2017 12:56:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/1328 took 68924 ms. Total solver calls (SAT/UNSAT): 586973(2434/584539)
Jun 01, 2017 12:56:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/1328 took 69943 ms. Total solver calls (SAT/UNSAT): 596109(2473/593636)
Jun 01, 2017 12:56:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :853/1328 took 71011 ms. Total solver calls (SAT/UNSAT): 605697(2512/603185)
Jun 01, 2017 12:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/1328 took 72032 ms. Total solver calls (SAT/UNSAT): 614833(2551/612282)
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/1328 took 73045 ms. Total solver calls (SAT/UNSAT): 623969(2590/621379)
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :892/1328 took 74056 ms. Total solver calls (SAT/UNSAT): 633105(2629/630476)
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :905/1328 took 75069 ms. Total solver calls (SAT/UNSAT): 642241(2668/639573)
Jun 01, 2017 12:56:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :918/1328 took 76130 ms. Total solver calls (SAT/UNSAT): 651828(2707/649121)
Jun 01, 2017 12:56:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/1328 took 77148 ms. Total solver calls (SAT/UNSAT): 660965(2746/658219)
Jun 01, 2017 12:56:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/1328 took 78159 ms. Total solver calls (SAT/UNSAT): 670101(2785/667316)
Jun 01, 2017 12:56:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :957/1328 took 79169 ms. Total solver calls (SAT/UNSAT): 679237(2824/676413)
Jun 01, 2017 12:56:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :970/1328 took 80181 ms. Total solver calls (SAT/UNSAT): 688373(2863/685510)
Jun 01, 2017 12:56:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :983/1328 took 81190 ms. Total solver calls (SAT/UNSAT): 697509(2902/694607)
Jun 01, 2017 12:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/1328 took 82258 ms. Total solver calls (SAT/UNSAT): 707097(2941/704156)
Jun 01, 2017 12:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1009/1328 took 83274 ms. Total solver calls (SAT/UNSAT): 716233(2980/713253)
Jun 01, 2017 12:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/1328 took 84286 ms. Total solver calls (SAT/UNSAT): 725369(3019/722350)
Jun 01, 2017 12:57:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1035/1328 took 85296 ms. Total solver calls (SAT/UNSAT): 734505(3058/731447)
Jun 01, 2017 12:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/1328 took 86306 ms. Total solver calls (SAT/UNSAT): 743641(3097/740544)
Jun 01, 2017 12:57:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1061/1328 took 87365 ms. Total solver calls (SAT/UNSAT): 753228(3136/750092)
Jun 01, 2017 12:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/1328 took 88384 ms. Total solver calls (SAT/UNSAT): 762365(3175/759190)
Jun 01, 2017 12:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/1328 took 89393 ms. Total solver calls (SAT/UNSAT): 771501(3214/768287)
Jun 01, 2017 12:57:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/1328 took 90402 ms. Total solver calls (SAT/UNSAT): 780637(3253/777384)
Jun 01, 2017 12:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1113/1328 took 91411 ms. Total solver calls (SAT/UNSAT): 789773(3292/786481)
Jun 01, 2017 12:57:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/1328 took 92421 ms. Total solver calls (SAT/UNSAT): 798909(3331/795578)
Jun 01, 2017 12:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/1328 took 93486 ms. Total solver calls (SAT/UNSAT): 808497(3370/805127)
Jun 01, 2017 12:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/1328 took 94492 ms. Total solver calls (SAT/UNSAT): 817432(3411/814021)
Jun 01, 2017 12:57:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1226/1328 took 95524 ms. Total solver calls (SAT/UNSAT): 825809(3528/822281)
Jun 01, 2017 12:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/1328 took 96582 ms. Total solver calls (SAT/UNSAT): 835078(3554/831524)
Jun 01, 2017 12:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/1328 took 97641 ms. Total solver calls (SAT/UNSAT): 844347(3580/840767)
Jun 01, 2017 12:57:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1265/1328 took 98706 ms. Total solver calls (SAT/UNSAT): 853616(3606/850010)
Jun 01, 2017 12:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1298/1328 took 99709 ms. Total solver calls (SAT/UNSAT): 861962(3671/858291)
Jun 01, 2017 12:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 99929 ms. Total solver calls (SAT/UNSAT): 863498(3728/859770)
Jun 01, 2017 12:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1328 transitions.
Jun 01, 2017 12:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/1328 took 1014 ms. Total solver calls (SAT/UNSAT): 2139(39/2100)
Jun 01, 2017 12:57:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/1328 took 2315 ms. Total solver calls (SAT/UNSAT): 4991(91/4900)
Jun 01, 2017 12:57:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/1328 took 3532 ms. Total solver calls (SAT/UNSAT): 7843(143/7700)
Jun 01, 2017 12:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/1328 took 4736 ms. Total solver calls (SAT/UNSAT): 10695(195/10500)
Jun 01, 2017 12:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/1328 took 5942 ms. Total solver calls (SAT/UNSAT): 13547(247/13300)
Jun 01, 2017 12:57:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/1328 took 7150 ms. Total solver calls (SAT/UNSAT): 16399(299/16100)
Jun 01, 2017 12:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/1328 took 8356 ms. Total solver calls (SAT/UNSAT): 19251(351/18900)
Jun 01, 2017 12:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/1328 took 9562 ms. Total solver calls (SAT/UNSAT): 22103(403/21700)
Jun 01, 2017 12:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/1328 took 10767 ms. Total solver calls (SAT/UNSAT): 24955(455/24500)
Jun 01, 2017 12:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/1328 took 11972 ms. Total solver calls (SAT/UNSAT): 27807(507/27300)
Jun 01, 2017 12:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/1328 took 13181 ms. Total solver calls (SAT/UNSAT): 30659(559/30100)
Jun 01, 2017 12:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/1328 took 14392 ms. Total solver calls (SAT/UNSAT): 33511(611/32900)
Jun 01, 2017 12:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/1328 took 15425 ms. Total solver calls (SAT/UNSAT): 36318(653/35665)
Jun 01, 2017 12:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/1328 took 16468 ms. Total solver calls (SAT/UNSAT): 41670(677/40993)
Jun 01, 2017 12:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/1328 took 17511 ms. Total solver calls (SAT/UNSAT): 47022(701/46321)
Jun 01, 2017 12:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/1328 took 18556 ms. Total solver calls (SAT/UNSAT): 52374(725/51649)
Jun 01, 2017 12:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/1328 took 19600 ms. Total solver calls (SAT/UNSAT): 57726(749/56977)
Jun 01, 2017 12:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/1328 took 20645 ms. Total solver calls (SAT/UNSAT): 63078(773/62305)
Jun 01, 2017 12:57:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/1328 took 21743 ms. Total solver calls (SAT/UNSAT): 68430(797/67633)
Jun 01, 2017 12:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/1328 took 22810 ms. Total solver calls (SAT/UNSAT): 73774(821/72953)
Jun 01, 2017 12:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/1328 took 23897 ms. Total solver calls (SAT/UNSAT): 79118(845/78273)
Jun 01, 2017 12:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/1328 took 25000 ms. Total solver calls (SAT/UNSAT): 84462(869/83593)
Jun 01, 2017 12:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/1328 took 26051 ms. Total solver calls (SAT/UNSAT): 89806(893/88913)
Jun 01, 2017 12:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/1328 took 27164 ms. Total solver calls (SAT/UNSAT): 95150(917/94233)
Jun 01, 2017 12:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/1328 took 28281 ms. Total solver calls (SAT/UNSAT): 100494(941/99553)
Jun 01, 2017 12:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/1328 took 29326 ms. Total solver calls (SAT/UNSAT): 105837(965/104872)
Jun 01, 2017 12:57:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/1328 took 30372 ms. Total solver calls (SAT/UNSAT): 111181(989/110192)
Jun 01, 2017 12:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/1328 took 31420 ms. Total solver calls (SAT/UNSAT): 116525(1013/115512)
Jun 01, 2017 12:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/1328 took 32469 ms. Total solver calls (SAT/UNSAT): 121869(1037/120832)
Jun 01, 2017 12:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/1328 took 33516 ms. Total solver calls (SAT/UNSAT): 127213(1061/126152)
Jun 01, 2017 12:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/1328 took 34565 ms. Total solver calls (SAT/UNSAT): 132557(1085/131472)
Jun 01, 2017 12:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/1328 took 35612 ms. Total solver calls (SAT/UNSAT): 137900(1109/136791)
Jun 01, 2017 12:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/1328 took 36667 ms. Total solver calls (SAT/UNSAT): 143244(1133/142111)
Jun 01, 2017 12:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/1328 took 37722 ms. Total solver calls (SAT/UNSAT): 148588(1157/147431)
Jun 01, 2017 12:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/1328 took 38781 ms. Total solver calls (SAT/UNSAT): 153932(1181/152751)
Jun 01, 2017 12:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/1328 took 39837 ms. Total solver calls (SAT/UNSAT): 159276(1205/158071)
Jun 01, 2017 12:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/1328 took 40895 ms. Total solver calls (SAT/UNSAT): 164620(1229/163391)
Jun 01, 2017 12:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/1328 took 41952 ms. Total solver calls (SAT/UNSAT): 169963(1253/168710)
Jun 01, 2017 12:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/1328 took 43007 ms. Total solver calls (SAT/UNSAT): 175307(1277/174030)
Jun 01, 2017 12:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/1328 took 44059 ms. Total solver calls (SAT/UNSAT): 180651(1301/179350)
Jun 01, 2017 12:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/1328 took 45110 ms. Total solver calls (SAT/UNSAT): 185995(1325/184670)
Jun 01, 2017 12:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/1328 took 46165 ms. Total solver calls (SAT/UNSAT): 191339(1349/189990)
Jun 01, 2017 12:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/1328 took 47216 ms. Total solver calls (SAT/UNSAT): 196683(1373/195310)
Jun 01, 2017 12:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/1328 took 48268 ms. Total solver calls (SAT/UNSAT): 202027(1397/200630)
Jun 01, 2017 12:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/1328 took 49320 ms. Total solver calls (SAT/UNSAT): 207370(1421/205949)
Jun 01, 2017 12:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/1328 took 50375 ms. Total solver calls (SAT/UNSAT): 212714(1445/211269)
Jun 01, 2017 12:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/1328 took 51431 ms. Total solver calls (SAT/UNSAT): 218058(1469/216589)
Jun 01, 2017 12:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/1328 took 52486 ms. Total solver calls (SAT/UNSAT): 223402(1493/221909)
Jun 01, 2017 12:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/1328 took 53550 ms. Total solver calls (SAT/UNSAT): 228746(1517/227229)
Jun 01, 2017 12:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/1328 took 54605 ms. Total solver calls (SAT/UNSAT): 234090(1541/232549)
Jun 01, 2017 12:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/1328 took 55663 ms. Total solver calls (SAT/UNSAT): 239433(1565/237868)
Jun 01, 2017 12:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/1328 took 56728 ms. Total solver calls (SAT/UNSAT): 244777(1589/243188)
Jun 01, 2017 12:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/1328 took 57789 ms. Total solver calls (SAT/UNSAT): 250121(1613/248508)
Jun 01, 2017 12:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/1328 took 58855 ms. Total solver calls (SAT/UNSAT): 255465(1637/253828)
Jun 01, 2017 12:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/1328 took 59928 ms. Total solver calls (SAT/UNSAT): 260809(1661/259148)
Jun 01, 2017 12:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/1328 took 60999 ms. Total solver calls (SAT/UNSAT): 266153(1685/264468)
Jun 01, 2017 12:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/1328 took 62067 ms. Total solver calls (SAT/UNSAT): 271496(1709/269787)
Jun 01, 2017 12:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/1328 took 63132 ms. Total solver calls (SAT/UNSAT): 276840(1733/275107)
Jun 01, 2017 12:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/1328 took 64197 ms. Total solver calls (SAT/UNSAT): 282184(1757/280427)
Jun 01, 2017 12:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/1328 took 65260 ms. Total solver calls (SAT/UNSAT): 287528(1781/285747)
Jun 01, 2017 12:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/1328 took 66329 ms. Total solver calls (SAT/UNSAT): 292872(1805/291067)
Jun 01, 2017 12:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/1328 took 67392 ms. Total solver calls (SAT/UNSAT): 298216(1829/296387)
Jun 01, 2017 12:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/1328 took 68421 ms. Total solver calls (SAT/UNSAT): 303559(1853/301706)
Jun 01, 2017 12:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/1328 took 69451 ms. Total solver calls (SAT/UNSAT): 310239(1883/308356)
Jun 01, 2017 12:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/1328 took 70481 ms. Total solver calls (SAT/UNSAT): 316919(1913/315006)
Jun 01, 2017 12:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/1328 took 71514 ms. Total solver calls (SAT/UNSAT): 323599(1943/321656)
Jun 01, 2017 12:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/1328 took 72557 ms. Total solver calls (SAT/UNSAT): 330279(1973/328306)
Jun 01, 2017 12:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/1328 took 73623 ms. Total solver calls (SAT/UNSAT): 336958(2003/334955)
Jun 01, 2017 12:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/1328 took 74754 ms. Total solver calls (SAT/UNSAT): 342302(2027/340275)
Jun 01, 2017 12:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/1328 took 75885 ms. Total solver calls (SAT/UNSAT): 347646(2051/345595)
Jun 01, 2017 12:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/1328 took 76999 ms. Total solver calls (SAT/UNSAT): 352990(2075/350915)
Jun 01, 2017 12:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/1328 took 78050 ms. Total solver calls (SAT/UNSAT): 357666(2096/355570)
Jun 01, 2017 12:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/1328 took 79140 ms. Total solver calls (SAT/UNSAT): 363010(2120/360890)
Jun 01, 2017 12:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/1328 took 80226 ms. Total solver calls (SAT/UNSAT): 368354(2144/366210)
Jun 01, 2017 12:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/1328 took 81409 ms. Total solver calls (SAT/UNSAT): 373046(2156/370890)
Jun 01, 2017 12:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/1328 took 82422 ms. Total solver calls (SAT/UNSAT): 376403(2162/374241)
Jun 01, 2017 12:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/1328 took 83655 ms. Total solver calls (SAT/UNSAT): 380879(2170/378709)
Jun 01, 2017 12:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/1328 took 84900 ms. Total solver calls (SAT/UNSAT): 385355(2178/383177)
Jun 01, 2017 12:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/1328 took 86160 ms. Total solver calls (SAT/UNSAT): 389831(2186/387645)
Jun 01, 2017 12:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/1328 took 87381 ms. Total solver calls (SAT/UNSAT): 394307(2194/392113)
Jun 01, 2017 12:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/1328 took 88644 ms. Total solver calls (SAT/UNSAT): 398783(2202/396581)
Jun 01, 2017 12:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/1328 took 89858 ms. Total solver calls (SAT/UNSAT): 403259(2210/401049)
Jun 01, 2017 12:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/1328 took 91074 ms. Total solver calls (SAT/UNSAT): 407735(2218/405517)
Jun 01, 2017 12:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/1328 took 92285 ms. Total solver calls (SAT/UNSAT): 412211(2226/409985)
Jun 01, 2017 12:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/1328 took 93491 ms. Total solver calls (SAT/UNSAT): 416687(2234/414453)
Jun 01, 2017 12:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/1328 took 94696 ms. Total solver calls (SAT/UNSAT): 421163(2242/418921)
Jun 01, 2017 12:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/1328 took 95898 ms. Total solver calls (SAT/UNSAT): 425639(2250/423389)
Jun 01, 2017 12:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/1328 took 96948 ms. Total solver calls (SAT/UNSAT): 428308(2262/426046)
Jun 01, 2017 12:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/1328 took 98024 ms. Total solver calls (SAT/UNSAT): 430976(2274/428702)
Jun 01, 2017 12:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/1328 took 99235 ms. Total solver calls (SAT/UNSAT): 434097(2285/431812)
Jun 01, 2017 12:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/1328 took 100286 ms. Total solver calls (SAT/UNSAT): 436769(2297/434472)
Jun 01, 2017 12:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/1328 took 101372 ms. Total solver calls (SAT/UNSAT): 439441(2309/437132)
Jun 01, 2017 12:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/1328 took 102606 ms. Total solver calls (SAT/UNSAT): 442565(2320/440245)
Jun 01, 2017 12:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/1328 took 103667 ms. Total solver calls (SAT/UNSAT): 445237(2332/442905)
Jun 01, 2017 12:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/1328 took 104709 ms. Total solver calls (SAT/UNSAT): 447909(2344/445565)
Jun 01, 2017 12:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/1328 took 105938 ms. Total solver calls (SAT/UNSAT): 451033(2355/448678)
Jun 01, 2017 12:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/1328 took 107002 ms. Total solver calls (SAT/UNSAT): 453705(2367/451338)
Jun 01, 2017 12:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/1328 took 108210 ms. Total solver calls (SAT/UNSAT): 456828(2378/454450)
Jun 01, 2017 12:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/1328 took 109271 ms. Total solver calls (SAT/UNSAT): 459501(2390/457111)
Jun 01, 2017 12:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/1328 took 110337 ms. Total solver calls (SAT/UNSAT): 462173(2402/459771)
Jun 01, 2017 12:59:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/1328 took 111547 ms. Total solver calls (SAT/UNSAT): 465297(2413/462884)
Jun 01, 2017 12:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/1328 took 112607 ms. Total solver calls (SAT/UNSAT): 467969(2425/465544)
Jun 01, 2017 12:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/1328 took 113643 ms. Total solver calls (SAT/UNSAT): 470641(2437/468204)
Jun 01, 2017 12:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/1328 took 114874 ms. Total solver calls (SAT/UNSAT): 473765(2448/471317)
Jun 01, 2017 12:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/1328 took 115933 ms. Total solver calls (SAT/UNSAT): 476437(2460/473977)
Jun 01, 2017 12:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/1328 took 116973 ms. Total solver calls (SAT/UNSAT): 479109(2472/476637)
Jun 01, 2017 12:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/1328 took 118199 ms. Total solver calls (SAT/UNSAT): 482233(2483/479750)
Jun 01, 2017 12:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/1328 took 119261 ms. Total solver calls (SAT/UNSAT): 484905(2495/482410)
Jun 01, 2017 12:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/1328 took 120467 ms. Total solver calls (SAT/UNSAT): 488028(2506/485522)
Jun 01, 2017 12:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/1328 took 121533 ms. Total solver calls (SAT/UNSAT): 490701(2518/488183)
Jun 01, 2017 12:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/1328 took 122605 ms. Total solver calls (SAT/UNSAT): 493373(2530/490843)
Jun 01, 2017 12:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/1328 took 123821 ms. Total solver calls (SAT/UNSAT): 496497(2541/493956)
Jun 01, 2017 12:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/1328 took 124904 ms. Total solver calls (SAT/UNSAT): 499169(2553/496616)
Jun 01, 2017 12:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/1328 took 125966 ms. Total solver calls (SAT/UNSAT): 501841(2565/499276)
Jun 01, 2017 12:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/1328 took 127216 ms. Total solver calls (SAT/UNSAT): 504965(2576/502389)
Jun 01, 2017 12:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/1328 took 128286 ms. Total solver calls (SAT/UNSAT): 507637(2588/505049)
Jun 01, 2017 12:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/1328 took 129341 ms. Total solver calls (SAT/UNSAT): 510309(2600/507709)
Jun 01, 2017 12:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/1328 took 130590 ms. Total solver calls (SAT/UNSAT): 513433(2611/510822)
Jun 01, 2017 12:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :727/1328 took 131674 ms. Total solver calls (SAT/UNSAT): 516105(2623/513482)
Jun 01, 2017 12:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/1328 took 132905 ms. Total solver calls (SAT/UNSAT): 519228(2634/516594)
Jun 01, 2017 12:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/1328 took 133978 ms. Total solver calls (SAT/UNSAT): 521901(2646/519255)
Jun 01, 2017 12:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/1328 took 135055 ms. Total solver calls (SAT/UNSAT): 524573(2658/521915)
Jun 01, 2017 12:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/1328 took 136280 ms. Total solver calls (SAT/UNSAT): 527697(2669/525028)
Jun 01, 2017 12:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/1328 took 137354 ms. Total solver calls (SAT/UNSAT): 530369(2681/527688)
Jun 01, 2017 12:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/1328 took 138406 ms. Total solver calls (SAT/UNSAT): 533041(2693/530348)
Jun 01, 2017 12:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/1328 took 139657 ms. Total solver calls (SAT/UNSAT): 536165(2704/533461)
Jun 01, 2017 12:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/1328 took 140728 ms. Total solver calls (SAT/UNSAT): 538837(2716/536121)
Jun 01, 2017 12:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/1328 took 141773 ms. Total solver calls (SAT/UNSAT): 541509(2728/538781)
Jun 01, 2017 12:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/1328 took 143008 ms. Total solver calls (SAT/UNSAT): 544633(2739/541894)
Jun 01, 2017 12:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/1328 took 144090 ms. Total solver calls (SAT/UNSAT): 547305(2751/544554)
Jun 01, 2017 12:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/1328 took 145311 ms. Total solver calls (SAT/UNSAT): 550428(2762/547666)
Jun 01, 2017 12:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/1328 took 146391 ms. Total solver calls (SAT/UNSAT): 553101(2774/550327)
Jun 01, 2017 12:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/1328 took 147475 ms. Total solver calls (SAT/UNSAT): 555773(2786/552987)
Jun 01, 2017 12:59:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/1328 took 148699 ms. Total solver calls (SAT/UNSAT): 558897(2797/556100)
Jun 01, 2017 12:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/1328 took 149771 ms. Total solver calls (SAT/UNSAT): 561569(2809/558760)
Jun 01, 2017 12:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/1328 took 150821 ms. Total solver calls (SAT/UNSAT): 564241(2821/561420)
Jun 01, 2017 12:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/1328 took 152055 ms. Total solver calls (SAT/UNSAT): 567365(2832/564533)
Jun 01, 2017 12:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/1328 took 153121 ms. Total solver calls (SAT/UNSAT): 570037(2844/567193)
Jun 01, 2017 12:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/1328 took 154169 ms. Total solver calls (SAT/UNSAT): 572709(2856/569853)
Jun 01, 2017 12:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/1328 took 155404 ms. Total solver calls (SAT/UNSAT): 575833(2867/572966)
Jun 01, 2017 12:59:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :815/1328 took 156468 ms. Total solver calls (SAT/UNSAT): 578505(2879/575626)
Jun 01, 2017 12:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/1328 took 157682 ms. Total solver calls (SAT/UNSAT): 581628(2890/578738)
Jun 01, 2017 12:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/1328 took 158759 ms. Total solver calls (SAT/UNSAT): 584301(2902/581399)
Jun 01, 2017 12:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/1328 took 159835 ms. Total solver calls (SAT/UNSAT): 586973(2914/584059)
Jun 01, 2017 12:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/1328 took 161050 ms. Total solver calls (SAT/UNSAT): 590097(2925/587172)
Jun 01, 2017 12:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/1328 took 162112 ms. Total solver calls (SAT/UNSAT): 592769(2937/589832)
Jun 01, 2017 12:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :839/1328 took 163151 ms. Total solver calls (SAT/UNSAT): 595441(2949/592492)
Jun 01, 2017 12:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/1328 took 164172 ms. Total solver calls (SAT/UNSAT): 597897(2957/594940)
Jun 01, 2017 12:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/1328 took 165243 ms. Total solver calls (SAT/UNSAT): 600569(2969/597600)
Jun 01, 2017 1:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :850/1328 took 166293 ms. Total solver calls (SAT/UNSAT): 603241(2981/600260)
Jun 01, 2017 1:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/1328 took 167536 ms. Total solver calls (SAT/UNSAT): 606365(2992/603373)
Jun 01, 2017 1:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/1328 took 168601 ms. Total solver calls (SAT/UNSAT): 609037(3004/606033)
Jun 01, 2017 1:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :862/1328 took 169642 ms. Total solver calls (SAT/UNSAT): 611709(3016/608693)
Jun 01, 2017 1:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/1328 took 170872 ms. Total solver calls (SAT/UNSAT): 614833(3027/611806)
Jun 01, 2017 1:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :870/1328 took 171937 ms. Total solver calls (SAT/UNSAT): 617505(3039/614466)
Jun 01, 2017 1:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/1328 took 173147 ms. Total solver calls (SAT/UNSAT): 620628(3050/617578)
Jun 01, 2017 1:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/1328 took 174216 ms. Total solver calls (SAT/UNSAT): 623301(3062/620239)
Jun 01, 2017 1:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :882/1328 took 175281 ms. Total solver calls (SAT/UNSAT): 625973(3074/622899)
Jun 01, 2017 1:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :886/1328 took 176491 ms. Total solver calls (SAT/UNSAT): 629097(3085/626012)
Jun 01, 2017 1:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :890/1328 took 177554 ms. Total solver calls (SAT/UNSAT): 631769(3097/628672)
Jun 01, 2017 1:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :894/1328 took 178596 ms. Total solver calls (SAT/UNSAT): 634441(3109/631332)
Jun 01, 2017 1:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :898/1328 took 179828 ms. Total solver calls (SAT/UNSAT): 637565(3120/634445)
Jun 01, 2017 1:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :902/1328 took 180892 ms. Total solver calls (SAT/UNSAT): 640237(3132/637105)
Jun 01, 2017 1:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/1328 took 181941 ms. Total solver calls (SAT/UNSAT): 642909(3144/639765)
Jun 01, 2017 1:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :910/1328 took 183184 ms. Total solver calls (SAT/UNSAT): 646033(3155/642878)
Jun 01, 2017 1:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :914/1328 took 184251 ms. Total solver calls (SAT/UNSAT): 648705(3167/645538)
Jun 01, 2017 1:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :918/1328 took 185463 ms. Total solver calls (SAT/UNSAT): 651828(3178/648650)
Jun 01, 2017 1:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :922/1328 took 186525 ms. Total solver calls (SAT/UNSAT): 654501(3190/651311)
Jun 01, 2017 1:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/1328 took 187587 ms. Total solver calls (SAT/UNSAT): 657173(3202/653971)
Jun 01, 2017 1:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :930/1328 took 188793 ms. Total solver calls (SAT/UNSAT): 660297(3213/657084)
Jun 01, 2017 1:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :934/1328 took 189858 ms. Total solver calls (SAT/UNSAT): 662969(3225/659744)
Jun 01, 2017 1:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/1328 took 190900 ms. Total solver calls (SAT/UNSAT): 665641(3237/662404)
Jun 01, 2017 1:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/1328 took 192137 ms. Total solver calls (SAT/UNSAT): 668765(3248/665517)
Jun 01, 2017 1:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :946/1328 took 193200 ms. Total solver calls (SAT/UNSAT): 671437(3260/668177)
Jun 01, 2017 1:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :950/1328 took 194241 ms. Total solver calls (SAT/UNSAT): 674109(3272/670837)
Jun 01, 2017 1:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :954/1328 took 195474 ms. Total solver calls (SAT/UNSAT): 677233(3283/673950)
Jun 01, 2017 1:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :958/1328 took 196589 ms. Total solver calls (SAT/UNSAT): 679905(3295/676610)
Jun 01, 2017 1:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :962/1328 took 197803 ms. Total solver calls (SAT/UNSAT): 683028(3306/679722)
Jun 01, 2017 1:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/1328 took 198869 ms. Total solver calls (SAT/UNSAT): 685701(3318/682383)
Jun 01, 2017 1:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :970/1328 took 199934 ms. Total solver calls (SAT/UNSAT): 688373(3330/685043)
Jun 01, 2017 1:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :974/1328 took 201143 ms. Total solver calls (SAT/UNSAT): 691497(3341/688156)
Jun 01, 2017 1:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :978/1328 took 202206 ms. Total solver calls (SAT/UNSAT): 694169(3353/690816)
Jun 01, 2017 1:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :982/1328 took 203245 ms. Total solver calls (SAT/UNSAT): 696841(3365/693476)
Jun 01, 2017 1:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/1328 took 204482 ms. Total solver calls (SAT/UNSAT): 699965(3376/696589)
Jun 01, 2017 1:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/1328 took 205544 ms. Total solver calls (SAT/UNSAT): 702637(3388/699249)
Jun 01, 2017 1:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/1328 took 206586 ms. Total solver calls (SAT/UNSAT): 705309(3400/701909)
Jun 01, 2017 1:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :998/1328 took 207819 ms. Total solver calls (SAT/UNSAT): 708433(3411/705022)
Jun 01, 2017 1:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1002/1328 took 208882 ms. Total solver calls (SAT/UNSAT): 711105(3423/707682)
Jun 01, 2017 1:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/1328 took 210092 ms. Total solver calls (SAT/UNSAT): 714228(3434/710794)
Jun 01, 2017 1:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/1328 took 211156 ms. Total solver calls (SAT/UNSAT): 716901(3446/713455)
Jun 01, 2017 1:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/1328 took 212220 ms. Total solver calls (SAT/UNSAT): 719573(3458/716115)
Jun 01, 2017 1:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1018/1328 took 213470 ms. Total solver calls (SAT/UNSAT): 722697(3469/719228)
Jun 01, 2017 1:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/1328 took 214521 ms. Total solver calls (SAT/UNSAT): 725369(3481/721888)
Jun 01, 2017 1:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1026/1328 took 215549 ms. Total solver calls (SAT/UNSAT): 728041(3493/724548)
Jun 01, 2017 1:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/1328 took 216769 ms. Total solver calls (SAT/UNSAT): 731165(3504/727661)
Jun 01, 2017 1:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/1328 took 217827 ms. Total solver calls (SAT/UNSAT): 733837(3516/730321)
Jun 01, 2017 1:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1038/1328 took 218856 ms. Total solver calls (SAT/UNSAT): 736509(3528/732981)
Jun 01, 2017 1:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/1328 took 220107 ms. Total solver calls (SAT/UNSAT): 739633(3539/736094)
Jun 01, 2017 1:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1046/1328 took 221303 ms. Total solver calls (SAT/UNSAT): 742305(3551/738754)
Jun 01, 2017 1:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/1328 took 222595 ms. Total solver calls (SAT/UNSAT): 745428(3562/741866)
Jun 01, 2017 1:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/1328 took 223763 ms. Total solver calls (SAT/UNSAT): 748101(3574/744527)
Jun 01, 2017 1:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/1328 took 224834 ms. Total solver calls (SAT/UNSAT): 750773(3586/747187)
Jun 01, 2017 1:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/1328 took 226046 ms. Total solver calls (SAT/UNSAT): 753897(3597/750300)
Jun 01, 2017 1:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/1328 took 227117 ms. Total solver calls (SAT/UNSAT): 756569(3609/752960)
Jun 01, 2017 1:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/1328 took 228162 ms. Total solver calls (SAT/UNSAT): 759241(3621/755620)
Jun 01, 2017 1:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/1328 took 229404 ms. Total solver calls (SAT/UNSAT): 762365(3632/758733)
Jun 01, 2017 1:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/1328 took 230483 ms. Total solver calls (SAT/UNSAT): 765037(3644/761393)
Jun 01, 2017 1:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/1328 took 231541 ms. Total solver calls (SAT/UNSAT): 767709(3656/764053)
Jun 01, 2017 1:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/1328 took 232782 ms. Total solver calls (SAT/UNSAT): 770833(3667/767166)
Jun 01, 2017 1:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1090/1328 took 233853 ms. Total solver calls (SAT/UNSAT): 773505(3679/769826)
Jun 01, 2017 1:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/1328 took 235068 ms. Total solver calls (SAT/UNSAT): 776628(3690/772938)
Jun 01, 2017 1:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/1328 took 236143 ms. Total solver calls (SAT/UNSAT): 779301(3702/775599)
Jun 01, 2017 1:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/1328 took 237223 ms. Total solver calls (SAT/UNSAT): 781973(3714/778259)
Jun 01, 2017 1:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/1328 took 238448 ms. Total solver calls (SAT/UNSAT): 785097(3725/781372)
Jun 01, 2017 1:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/1328 took 239527 ms. Total solver calls (SAT/UNSAT): 787769(3737/784032)
Jun 01, 2017 1:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/1328 took 240575 ms. Total solver calls (SAT/UNSAT): 790441(3749/786692)
Jun 01, 2017 1:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/1328 took 241819 ms. Total solver calls (SAT/UNSAT): 793565(3760/789805)
Jun 01, 2017 1:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/1328 took 242900 ms. Total solver calls (SAT/UNSAT): 796237(3772/792465)
Jun 01, 2017 1:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/1328 took 243957 ms. Total solver calls (SAT/UNSAT): 798909(3784/795125)
Jun 01, 2017 1:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/1328 took 245197 ms. Total solver calls (SAT/UNSAT): 802033(3795/798238)
Jun 01, 2017 1:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/1328 took 246270 ms. Total solver calls (SAT/UNSAT): 804705(3807/800898)
Jun 01, 2017 1:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1138/1328 took 247485 ms. Total solver calls (SAT/UNSAT): 807828(3818/804010)
Jun 01, 2017 1:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/1328 took 248556 ms. Total solver calls (SAT/UNSAT): 810501(3830/806671)
Jun 01, 2017 1:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/1328 took 249620 ms. Total solver calls (SAT/UNSAT): 813173(3842/809331)
Jun 01, 2017 1:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1150/1328 took 250655 ms. Total solver calls (SAT/UNSAT): 815792(3901/811891)
Jun 01, 2017 1:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1161/1328 took 251662 ms. Total solver calls (SAT/UNSAT): 817596(4462/813134)
Jun 01, 2017 1:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/1328 took 252742 ms. Total solver calls (SAT/UNSAT): 819972(4921/815051)
Jun 01, 2017 1:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/1328 took 253770 ms. Total solver calls (SAT/UNSAT): 822095(5011/817084)
Jun 01, 2017 1:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1222/1328 took 254775 ms. Total solver calls (SAT/UNSAT): 823737(5073/818664)
Jun 01, 2017 1:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/1328 took 255851 ms. Total solver calls (SAT/UNSAT): 826522(6255/820267)
Jun 01, 2017 1:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/1328 took 256889 ms. Total solver calls (SAT/UNSAT): 830800(6333/824467)
Jun 01, 2017 1:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/1328 took 257980 ms. Total solver calls (SAT/UNSAT): 835078(6411/828667)
Jun 01, 2017 1:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/1328 took 259026 ms. Total solver calls (SAT/UNSAT): 839356(6489/832867)
Jun 01, 2017 1:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1251/1328 took 260069 ms. Total solver calls (SAT/UNSAT): 843634(6567/837067)
Jun 01, 2017 1:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/1328 took 261108 ms. Total solver calls (SAT/UNSAT): 847912(6645/841267)
Jun 01, 2017 1:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/1328 took 262195 ms. Total solver calls (SAT/UNSAT): 852190(6723/845467)
Jun 01, 2017 1:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/1328 took 263246 ms. Total solver calls (SAT/UNSAT): 856468(6801/849667)
Jun 01, 2017 1:01:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/1328 took 264293 ms. Total solver calls (SAT/UNSAT): 860746(6879/853867)
Jun 01, 2017 1:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1308/1328 took 265307 ms. Total solver calls (SAT/UNSAT): 862492(6992/855500)
Jun 01, 2017 1:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 265891 ms. Total solver calls (SAT/UNSAT): 863498(7030/856468)
Jun 01, 2017 1:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1328 transitions.
Jun 01, 2017 1:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/1328) took 605 ms. Total solver calls (SAT/UNSAT): 3981(162/3819)
Jun 01, 2017 1:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/1328) took 1753 ms. Total solver calls (SAT/UNSAT): 13235(540/12695)
Jun 01, 2017 1:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/1328) took 2849 ms. Total solver calls (SAT/UNSAT): 22440(918/21522)
Jun 01, 2017 1:01:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/1328) took 3866 ms. Total solver calls (SAT/UNSAT): 30291(1242/29049)
Jun 01, 2017 1:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/1328) took 4952 ms. Total solver calls (SAT/UNSAT): 39405(1620/37785)
Jun 01, 2017 1:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/1328) took 6029 ms. Total solver calls (SAT/UNSAT): 48470(1998/46472)
Jun 01, 2017 1:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/1328) took 7162 ms. Total solver calls (SAT/UNSAT): 57486(2376/55110)
Jun 01, 2017 1:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/1328) took 8298 ms. Total solver calls (SAT/UNSAT): 66453(2704/63749)
Jun 01, 2017 1:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/1328) took 9300 ms. Total solver calls (SAT/UNSAT): 75371(2732/72639)
Jun 01, 2017 1:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/1328) took 10351 ms. Total solver calls (SAT/UNSAT): 84240(2760/81480)
Jun 01, 2017 1:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/1328) took 11406 ms. Total solver calls (SAT/UNSAT): 93060(2788/90272)
Jun 01, 2017 1:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/1328) took 12518 ms. Total solver calls (SAT/UNSAT): 103080(2820/100260)
Jun 01, 2017 1:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/1328) took 13518 ms. Total solver calls (SAT/UNSAT): 111795(2848/108947)
Jun 01, 2017 1:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/1328) took 14644 ms. Total solver calls (SAT/UNSAT): 121695(2880/118815)
Jun 01, 2017 1:01:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/1328) took 15645 ms. Total solver calls (SAT/UNSAT): 130305(2908/127397)
Jun 01, 2017 1:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/1328) took 16729 ms. Total solver calls (SAT/UNSAT): 140085(2940/137145)
Jun 01, 2017 1:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/1328) took 17757 ms. Total solver calls (SAT/UNSAT): 148590(2968/145622)
Jun 01, 2017 1:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/1328) took 18836 ms. Total solver calls (SAT/UNSAT): 158250(3000/155250)
Jun 01, 2017 1:02:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/1328) took 19906 ms. Total solver calls (SAT/UNSAT): 167846(3032/164814)
Jun 01, 2017 1:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/1328) took 20962 ms. Total solver calls (SAT/UNSAT): 177378(3064/174314)
Jun 01, 2017 1:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/1328) took 22010 ms. Total solver calls (SAT/UNSAT): 186846(3096/183750)
Jun 01, 2017 1:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/1328) took 23050 ms. Total solver calls (SAT/UNSAT): 196250(3128/193122)
Jun 01, 2017 1:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/1328) took 24083 ms. Total solver calls (SAT/UNSAT): 205590(3160/202430)
Jun 01, 2017 1:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/1328) took 25113 ms. Total solver calls (SAT/UNSAT): 214866(3192/211674)
Jun 01, 2017 1:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/1328) took 26136 ms. Total solver calls (SAT/UNSAT): 224078(3224/220854)
Jun 01, 2017 1:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/1328) took 27148 ms. Total solver calls (SAT/UNSAT): 233226(3256/229970)
Jun 01, 2017 1:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/1328) took 28152 ms. Total solver calls (SAT/UNSAT): 242310(3288/239022)
Jun 01, 2017 1:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/1328) took 29153 ms. Total solver calls (SAT/UNSAT): 251330(3320/248010)
Jun 01, 2017 1:02:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/1328) took 30265 ms. Total solver calls (SAT/UNSAT): 261401(3356/258045)
Jun 01, 2017 1:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/1328) took 31316 ms. Total solver calls (SAT/UNSAT): 270285(3388/266897)
Jun 01, 2017 1:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/1328) took 32347 ms. Total solver calls (SAT/UNSAT): 279105(3420/275685)
Jun 01, 2017 1:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/1328) took 33379 ms. Total solver calls (SAT/UNSAT): 287861(3452/284409)
Jun 01, 2017 1:02:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/1328) took 34433 ms. Total solver calls (SAT/UNSAT): 296553(3484/293069)
Jun 01, 2017 1:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/1328) took 35439 ms. Total solver calls (SAT/UNSAT): 305181(3516/301665)
Jun 01, 2017 1:02:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(261/1328) took 36465 ms. Total solver calls (SAT/UNSAT): 313745(3548/310197)
Jun 01, 2017 1:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/1328) took 37548 ms. Total solver calls (SAT/UNSAT): 323303(3584/319719)
Jun 01, 2017 1:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/1328) took 38624 ms. Total solver calls (SAT/UNSAT): 332780(3620/329160)
Jun 01, 2017 1:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/1328) took 39717 ms. Total solver calls (SAT/UNSAT): 342176(3656/338520)
Jun 01, 2017 1:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/1328) took 40794 ms. Total solver calls (SAT/UNSAT): 351491(3692/347799)
Jun 01, 2017 1:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/1328) took 41867 ms. Total solver calls (SAT/UNSAT): 360725(3728/356997)
Jun 01, 2017 1:02:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/1328) took 43028 ms. Total solver calls (SAT/UNSAT): 369878(3764/366114)
Jun 01, 2017 1:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/1328) took 44051 ms. Total solver calls (SAT/UNSAT): 378950(3800/375150)
Jun 01, 2017 1:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/1328) took 45064 ms. Total solver calls (SAT/UNSAT): 387941(3836/384105)
Jun 01, 2017 1:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/1328) took 46173 ms. Total solver calls (SAT/UNSAT): 397836(3876/393960)
Jun 01, 2017 1:02:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/1328) took 47270 ms. Total solver calls (SAT/UNSAT): 407631(3916/403715)
Jun 01, 2017 1:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/1328) took 48358 ms. Total solver calls (SAT/UNSAT): 416361(3952/412409)
Jun 01, 2017 1:02:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/1328) took 49385 ms. Total solver calls (SAT/UNSAT): 425010(3988/421022)
Jun 01, 2017 1:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(381/1328) took 50451 ms. Total solver calls (SAT/UNSAT): 434525(4028/430497)
Jun 01, 2017 1:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(391/1328) took 51549 ms. Total solver calls (SAT/UNSAT): 443940(4068/439872)
Jun 01, 2017 1:02:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/1328) took 52642 ms. Total solver calls (SAT/UNSAT): 452328(4104/448224)
Jun 01, 2017 1:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(410/1328) took 53677 ms. Total solver calls (SAT/UNSAT): 461553(4144/457409)
Jun 01, 2017 1:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/1328) took 54692 ms. Total solver calls (SAT/UNSAT): 470678(4184/466494)
Jun 01, 2017 1:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(431/1328) took 55786 ms. Total solver calls (SAT/UNSAT): 480600(4228/476372)
Jun 01, 2017 1:02:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/1328) took 56875 ms. Total solver calls (SAT/UNSAT): 489515(4268/485247)
Jun 01, 2017 1:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(452/1328) took 57961 ms. Total solver calls (SAT/UNSAT): 499206(4312/494894)
Jun 01, 2017 1:02:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(463/1328) took 59045 ms. Total solver calls (SAT/UNSAT): 508776(4356/504420)
Jun 01, 2017 1:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(473/1328) took 60060 ms. Total solver calls (SAT/UNSAT): 517371(4396/512975)
Jun 01, 2017 1:02:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(484/1328) took 61106 ms. Total solver calls (SAT/UNSAT): 526710(4440/522270)
Jun 01, 2017 1:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(495/1328) took 62141 ms. Total solver calls (SAT/UNSAT): 535928(4484/531444)
Jun 01, 2017 1:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(506/1328) took 63199 ms. Total solver calls (SAT/UNSAT): 545025(4528/540497)
Jun 01, 2017 1:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(517/1328) took 64243 ms. Total solver calls (SAT/UNSAT): 554001(4572/549429)
Jun 01, 2017 1:02:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(528/1328) took 65245 ms. Total solver calls (SAT/UNSAT): 562856(4616/558240)
Jun 01, 2017 1:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(539/1328) took 66257 ms. Total solver calls (SAT/UNSAT): 571590(4660/566930)
Jun 01, 2017 1:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(550/1328) took 67338 ms. Total solver calls (SAT/UNSAT): 580203(4704/575499)
Jun 01, 2017 1:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(561/1328) took 68385 ms. Total solver calls (SAT/UNSAT): 588695(4748/583947)
Jun 01, 2017 1:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(573/1328) took 69410 ms. Total solver calls (SAT/UNSAT): 597821(4796/593025)
Jun 01, 2017 1:02:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(585/1328) took 70480 ms. Total solver calls (SAT/UNSAT): 606803(4844/601959)
Jun 01, 2017 1:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(598/1328) took 71559 ms. Total solver calls (SAT/UNSAT): 616371(4896/611475)
Jun 01, 2017 1:02:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(610/1328) took 72638 ms. Total solver calls (SAT/UNSAT): 625053(4944/620109)
Jun 01, 2017 1:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(623/1328) took 73701 ms. Total solver calls (SAT/UNSAT): 634296(4996/629300)
Jun 01, 2017 1:02:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(635/1328) took 74736 ms. Total solver calls (SAT/UNSAT): 642678(5044/637634)
Jun 01, 2017 1:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(648/1328) took 75797 ms. Total solver calls (SAT/UNSAT): 651596(5096/646500)
Jun 01, 2017 1:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(661/1328) took 76805 ms. Total solver calls (SAT/UNSAT): 660345(5148/655197)
Jun 01, 2017 1:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(675/1328) took 77862 ms. Total solver calls (SAT/UNSAT): 669578(5204/664374)
Jun 01, 2017 1:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(689/1328) took 78904 ms. Total solver calls (SAT/UNSAT): 678615(5260/673355)
Jun 01, 2017 1:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(703/1328) took 79963 ms. Total solver calls (SAT/UNSAT): 687456(5316/682140)
Jun 01, 2017 1:03:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(716/1328) took 80971 ms. Total solver calls (SAT/UNSAT): 695490(5368/690122)
Jun 01, 2017 1:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(731/1328) took 82009 ms. Total solver calls (SAT/UNSAT): 704550(5428/699122)
Jun 01, 2017 1:03:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(746/1328) took 83061 ms. Total solver calls (SAT/UNSAT): 713385(5488/707897)
Jun 01, 2017 1:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(762/1328) took 84092 ms. Total solver calls (SAT/UNSAT): 722561(5552/717009)
Jun 01, 2017 1:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(778/1328) took 85096 ms. Total solver calls (SAT/UNSAT): 731481(5616/725865)
Jun 01, 2017 1:03:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(795/1328) took 86130 ms. Total solver calls (SAT/UNSAT): 740678(5684/734994)
Jun 01, 2017 1:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(812/1328) took 87134 ms. Total solver calls (SAT/UNSAT): 749586(5752/743834)
Jun 01, 2017 1:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(830/1328) took 88162 ms. Total solver calls (SAT/UNSAT): 758703(5824/752879)
Jun 01, 2017 1:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(849/1328) took 89207 ms. Total solver calls (SAT/UNSAT): 767975(5900/762075)
Jun 01, 2017 1:03:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(868/1328) took 90214 ms. Total solver calls (SAT/UNSAT): 776886(5976/770910)
Jun 01, 2017 1:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(888/1328) took 91226 ms. Total solver calls (SAT/UNSAT): 785876(6056/779820)
Jun 01, 2017 1:03:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(907/1328) took 92238 ms. Total solver calls (SAT/UNSAT): 794046(6132/787914)
Jun 01, 2017 1:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(929/1328) took 93261 ms. Total solver calls (SAT/UNSAT): 803055(6220/796835)
Jun 01, 2017 1:03:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(952/1328) took 94273 ms. Total solver calls (SAT/UNSAT): 811956(6312/805644)
Jun 01, 2017 1:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(976/1328) took 95308 ms. Total solver calls (SAT/UNSAT): 820680(6408/814272)
Jun 01, 2017 1:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1001/1328) took 96324 ms. Total solver calls (SAT/UNSAT): 829155(6508/822647)
Jun 01, 2017 1:03:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1029/1328) took 97326 ms. Total solver calls (SAT/UNSAT): 837905(6620/831285)
Jun 01, 2017 1:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1060/1328) took 98327 ms. Total solver calls (SAT/UNSAT): 846678(6744/839934)
Jun 01, 2017 1:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1095/1328) took 99332 ms. Total solver calls (SAT/UNSAT): 855428(6884/848544)
Jun 01, 2017 1:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1136/1328) took 100332 ms. Total solver calls (SAT/UNSAT): 864120(7048/857072)
Jun 01, 2017 1:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1163/1328) took 101373 ms. Total solver calls (SAT/UNSAT): 868926(8556/860370)
Jun 01, 2017 1:03:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1191/1328) took 102384 ms. Total solver calls (SAT/UNSAT): 873140(10508/862632)
Jun 01, 2017 1:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1228/1328) took 103390 ms. Total solver calls (SAT/UNSAT): 877506(12604/864902)
Jun 01, 2017 1:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1301/1328) took 104391 ms. Total solver calls (SAT/UNSAT): 882105(15100/867005)
Jun 01, 2017 1:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 104438 ms. Total solver calls (SAT/UNSAT): 882456(15100/867356)
Jun 01, 2017 1:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1328 transitions.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-PT-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/BridgeAndVehicles-PT-V50P50N10.tgz
mv 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 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 r010-csrt-149436129800503"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;