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-COL-V50P50N10, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129600356
=====================================================================

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-0
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-1
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-10
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-11
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-12
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-13
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-14
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-15
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-2
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-3
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-4
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-5
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-6
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-7
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-8
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-LTLCardinality-9

=== Now, execution of the tool begins

BK_START 1496260149475


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

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((X("(VIDANGE[0]+VIDANGE[1])>=2")))
Formula 0 simplified : !X"(VIDANGE[0]+VIDANGE[1])>=2"
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1328 rows 128 cols
invariant : 1'SORTI_A[0] + 1'ROUTE_A[0] + 1'ATTENTE_A[0] + 1'SUR_PONT_A[0]= 50
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'CAPACITE[0] + 1'SORTI_A[0] + 1'ROUTE_A[0] + 1'ATTENTE_A[0] + 1'ATTENTE_B[0] + 1'ROUTE_B[0] + 1'SORTI_B[0]= 50
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
invariant : 1'CONTROLEUR[0] + 1'CONTROLEUR[1] + 1'CHOIX[0] + 1'CHOIX[1] + 1'VIDANGE[0] + 1'VIDANGE[1]= 1
invariant : 1'CAPACITE[0] + -1'SORTI_A[0] + -1'ROUTE_A[0] + -1'ATTENTE_A[0] + 1'SUR_PONT_B[0]= 0
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
Detected timeout of ITS tools.

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
May 31, 2017 7:49:11 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 31, 2017 7:49:11 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 31, 2017 7:49:12 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1380 ms
May 31, 2017 7:49:12 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
May 31, 2017 7:49:12 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
May 31, 2017 7:49:12 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :sens->CONTROLEUR,CHOIX,VIDANGE,
compteur->COMPTEUR,
Dot->CAPACITE,SORTI_A,ROUTE_A,ATTENTE_A,SUR_PONT_A,SUR_PONT_B,ATTENTE_B,ROUTE_B,SORTI_B,
voitureA->NB_ATTENTE_A,
voitureB->NB_ATTENTE_B,

May 31, 2017 7:49:12 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
May 31, 2017 7:49:12 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
May 31, 2017 7:49:12 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 119 instantiations of transitions. Total transitions/syncs built is 358
May 31, 2017 7:49:12 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 109 ms
May 31, 2017 7:49:12 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 14 ms
May 31, 2017 7:49:12 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 2 ms
May 31, 2017 7:49:14 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 144 ms
May 31, 2017 7:49:18 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 128 variables to be positive in 4051 ms
May 31, 2017 7:49:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1328 transitions.
May 31, 2017 7:49:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1328 took 140 ms. Total solver calls (SAT/UNSAT): 713(2/711)
May 31, 2017 7:49:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/1328 took 1199 ms. Total solver calls (SAT/UNSAT): 8556(24/8532)
May 31, 2017 7:49:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/1328 took 2213 ms. Total solver calls (SAT/UNSAT): 15686(44/15642)
May 31, 2017 7:49:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/1328 took 3252 ms. Total solver calls (SAT/UNSAT): 23529(66/23463)
May 31, 2017 7:49:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1328 took 4266 ms. Total solver calls (SAT/UNSAT): 31372(88/31284)
May 31, 2017 7:49:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/1328 took 5316 ms. Total solver calls (SAT/UNSAT): 39653(118/39535)
May 31, 2017 7:49:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/1328 took 6390 ms. Total solver calls (SAT/UNSAT): 48166(154/48012)
May 31, 2017 7:49:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/1328 took 7395 ms. Total solver calls (SAT/UNSAT): 56016(187/55829)
May 31, 2017 7:49:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/1328 took 8425 ms. Total solver calls (SAT/UNSAT): 64534(223/64311)
May 31, 2017 7:49:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/1328 took 9438 ms. Total solver calls (SAT/UNSAT): 73052(259/72793)
May 31, 2017 7:49:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/1328 took 10481 ms. Total solver calls (SAT/UNSAT): 81570(295/81275)
May 31, 2017 7:49:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/1328 took 11616 ms. Total solver calls (SAT/UNSAT): 90589(331/90258)
May 31, 2017 7:49:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/1328 took 12644 ms. Total solver calls (SAT/UNSAT): 98439(364/98075)
May 31, 2017 7:49:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/1328 took 13733 ms. Total solver calls (SAT/UNSAT): 106958(400/106558)
May 31, 2017 7:49:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/1328 took 14757 ms. Total solver calls (SAT/UNSAT): 115476(436/115040)
May 31, 2017 7:49:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/1328 took 15833 ms. Total solver calls (SAT/UNSAT): 123994(472/123522)
May 31, 2017 7:49:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/1328 took 16877 ms. Total solver calls (SAT/UNSAT): 132512(508/132004)
May 31, 2017 7:49:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/1328 took 17877 ms. Total solver calls (SAT/UNSAT): 141030(544/140486)
May 31, 2017 7:49:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/1328 took 18961 ms. Total solver calls (SAT/UNSAT): 148880(577/148303)
May 31, 2017 7:49:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/1328 took 20027 ms. Total solver calls (SAT/UNSAT): 156730(610/156120)
May 31, 2017 7:49:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/1328 took 21045 ms. Total solver calls (SAT/UNSAT): 165248(646/164602)
May 31, 2017 7:49:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/1328 took 22057 ms. Total solver calls (SAT/UNSAT): 173766(682/173084)
May 31, 2017 7:49:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/1328 took 23068 ms. Total solver calls (SAT/UNSAT): 182284(718/181566)
May 31, 2017 7:49:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/1328 took 24078 ms. Total solver calls (SAT/UNSAT): 190802(754/190048)
May 31, 2017 7:49:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/1328 took 25095 ms. Total solver calls (SAT/UNSAT): 199320(790/198530)
May 31, 2017 7:49:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/1328 took 26187 ms. Total solver calls (SAT/UNSAT): 208339(826/207513)
May 31, 2017 7:49:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/1328 took 27229 ms. Total solver calls (SAT/UNSAT): 216858(862/215996)
May 31, 2017 7:49:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/1328 took 28245 ms. Total solver calls (SAT/UNSAT): 225376(898/224478)
May 31, 2017 7:49:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/1328 took 29262 ms. Total solver calls (SAT/UNSAT): 233894(934/232960)
May 31, 2017 7:49:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/1328 took 30277 ms. Total solver calls (SAT/UNSAT): 242412(970/241442)
May 31, 2017 7:49:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/1328 took 31291 ms. Total solver calls (SAT/UNSAT): 250930(1006/249924)
May 31, 2017 7:49:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/1328 took 32306 ms. Total solver calls (SAT/UNSAT): 259448(1042/258406)
May 31, 2017 7:49:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/1328 took 33321 ms. Total solver calls (SAT/UNSAT): 267966(1078/266888)
May 31, 2017 7:49:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/1328 took 34337 ms. Total solver calls (SAT/UNSAT): 276484(1114/275370)
May 31, 2017 7:49:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/1328 took 35352 ms. Total solver calls (SAT/UNSAT): 285002(1150/283852)
May 31, 2017 7:49:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/1328 took 36371 ms. Total solver calls (SAT/UNSAT): 293520(1186/292334)
May 31, 2017 7:49:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/1328 took 37453 ms. Total solver calls (SAT/UNSAT): 302539(1222/301317)
May 31, 2017 7:49:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/1328 took 38489 ms. Total solver calls (SAT/UNSAT): 310389(1255/309134)
May 31, 2017 7:49:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/1328 took 39541 ms. Total solver calls (SAT/UNSAT): 318908(1291/317617)
May 31, 2017 7:49:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/1328 took 40592 ms. Total solver calls (SAT/UNSAT): 327426(1327/326099)
May 31, 2017 7:49:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/1328 took 41637 ms. Total solver calls (SAT/UNSAT): 335944(1363/334581)
May 31, 2017 7:50:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/1328 took 42684 ms. Total solver calls (SAT/UNSAT): 344462(1399/343063)
May 31, 2017 7:50:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/1328 took 43731 ms. Total solver calls (SAT/UNSAT): 352980(1435/351545)
May 31, 2017 7:50:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/1328 took 44784 ms. Total solver calls (SAT/UNSAT): 361498(1471/360027)
May 31, 2017 7:50:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/1328 took 45864 ms. Total solver calls (SAT/UNSAT): 370016(1507/368509)
May 31, 2017 7:50:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/1328 took 46914 ms. Total solver calls (SAT/UNSAT): 378534(1543/376991)
May 31, 2017 7:50:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/1328 took 47956 ms. Total solver calls (SAT/UNSAT): 387052(1579/385473)
May 31, 2017 7:50:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/1328 took 49002 ms. Total solver calls (SAT/UNSAT): 395570(1615/393955)
May 31, 2017 7:50:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/1328 took 50106 ms. Total solver calls (SAT/UNSAT): 404589(1651/402938)
May 31, 2017 7:50:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/1328 took 51150 ms. Total solver calls (SAT/UNSAT): 413108(1687/411421)
May 31, 2017 7:50:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/1328 took 52197 ms. Total solver calls (SAT/UNSAT): 421626(1723/419903)
May 31, 2017 7:50:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/1328 took 53235 ms. Total solver calls (SAT/UNSAT): 430141(1759/428382)
May 31, 2017 7:50:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/1328 took 54268 ms. Total solver calls (SAT/UNSAT): 438651(1795/436856)
May 31, 2017 7:50:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/1328 took 55304 ms. Total solver calls (SAT/UNSAT): 447169(1831/445338)
May 31, 2017 7:50:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/1328 took 56346 ms. Total solver calls (SAT/UNSAT): 455687(1867/453820)
May 31, 2017 7:50:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/1328 took 57384 ms. Total solver calls (SAT/UNSAT): 464205(1903/462302)
May 31, 2017 7:50:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/1328 took 58419 ms. Total solver calls (SAT/UNSAT): 472723(1939/470784)
May 31, 2017 7:50:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/1328 took 59456 ms. Total solver calls (SAT/UNSAT): 481241(1975/479266)
May 31, 2017 7:50:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1328 took 60490 ms. Total solver calls (SAT/UNSAT): 489759(2011/487748)
May 31, 2017 7:50:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/1328 took 61583 ms. Total solver calls (SAT/UNSAT): 498778(2047/496731)
May 31, 2017 7:50:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/1328 took 62620 ms. Total solver calls (SAT/UNSAT): 507297(2083/505214)
May 31, 2017 7:50:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/1328 took 63655 ms. Total solver calls (SAT/UNSAT): 515815(2119/513696)
May 31, 2017 7:50:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/1328 took 64696 ms. Total solver calls (SAT/UNSAT): 524333(2155/522178)
May 31, 2017 7:50:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/1328 took 65738 ms. Total solver calls (SAT/UNSAT): 532851(2191/530660)
May 31, 2017 7:50:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/1328 took 66793 ms. Total solver calls (SAT/UNSAT): 541369(2227/539142)
May 31, 2017 7:50:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/1328 took 67842 ms. Total solver calls (SAT/UNSAT): 549887(2263/547624)
May 31, 2017 7:50:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/1328 took 68880 ms. Total solver calls (SAT/UNSAT): 558405(2299/556106)
May 31, 2017 7:50:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/1328 took 69919 ms. Total solver calls (SAT/UNSAT): 566923(2335/564588)
May 31, 2017 7:50:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/1328 took 70957 ms. Total solver calls (SAT/UNSAT): 575441(2371/573070)
May 31, 2017 7:50:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/1328 took 71994 ms. Total solver calls (SAT/UNSAT): 583959(2407/581552)
May 31, 2017 7:50:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/1328 took 73092 ms. Total solver calls (SAT/UNSAT): 592978(2443/590535)
May 31, 2017 7:50:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/1328 took 74130 ms. Total solver calls (SAT/UNSAT): 601497(2479/599018)
May 31, 2017 7:50:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/1328 took 75168 ms. Total solver calls (SAT/UNSAT): 610015(2515/607500)
May 31, 2017 7:50:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/1328 took 76205 ms. Total solver calls (SAT/UNSAT): 618533(2551/615982)
May 31, 2017 7:50:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/1328 took 77243 ms. Total solver calls (SAT/UNSAT): 627051(2587/624464)
May 31, 2017 7:50:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :890/1328 took 78289 ms. Total solver calls (SAT/UNSAT): 635569(2623/632946)
May 31, 2017 7:50:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :902/1328 took 79328 ms. Total solver calls (SAT/UNSAT): 644087(2659/641428)
May 31, 2017 7:50:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :914/1328 took 80367 ms. Total solver calls (SAT/UNSAT): 652605(2695/649910)
May 31, 2017 7:50:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/1328 took 81407 ms. Total solver calls (SAT/UNSAT): 661123(2731/658392)
May 31, 2017 7:50:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/1328 took 82445 ms. Total solver calls (SAT/UNSAT): 669641(2767/666874)
May 31, 2017 7:50:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :950/1328 took 83482 ms. Total solver calls (SAT/UNSAT): 678159(2803/675356)
May 31, 2017 7:50:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :962/1328 took 84578 ms. Total solver calls (SAT/UNSAT): 687178(2839/684339)
May 31, 2017 7:50:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :974/1328 took 85615 ms. Total solver calls (SAT/UNSAT): 695697(2875/692822)
May 31, 2017 7:50:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/1328 took 86653 ms. Total solver calls (SAT/UNSAT): 704215(2911/701304)
May 31, 2017 7:50:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :998/1328 took 87692 ms. Total solver calls (SAT/UNSAT): 712733(2947/709786)
May 31, 2017 7:50:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/1328 took 88731 ms. Total solver calls (SAT/UNSAT): 721251(2983/718268)
May 31, 2017 7:50:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/1328 took 89788 ms. Total solver calls (SAT/UNSAT): 729769(3019/726750)
May 31, 2017 7:50:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/1328 took 90826 ms. Total solver calls (SAT/UNSAT): 738287(3055/735232)
May 31, 2017 7:50:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1046/1328 took 91865 ms. Total solver calls (SAT/UNSAT): 746805(3091/743714)
May 31, 2017 7:50:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/1328 took 92902 ms. Total solver calls (SAT/UNSAT): 755323(3127/752196)
May 31, 2017 7:50:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/1328 took 93940 ms. Total solver calls (SAT/UNSAT): 763841(3163/760678)
May 31, 2017 7:50:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/1328 took 94976 ms. Total solver calls (SAT/UNSAT): 772359(3199/769160)
May 31, 2017 7:50:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/1328 took 96073 ms. Total solver calls (SAT/UNSAT): 781378(3235/778143)
May 31, 2017 7:50:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/1328 took 97108 ms. Total solver calls (SAT/UNSAT): 789897(3271/786626)
May 31, 2017 7:50:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/1328 took 98144 ms. Total solver calls (SAT/UNSAT): 798415(3307/795108)
May 31, 2017 7:50:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/1328 took 99183 ms. Total solver calls (SAT/UNSAT): 806933(3343/803590)
May 31, 2017 7:50:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/1328 took 100222 ms. Total solver calls (SAT/UNSAT): 815451(3379/812072)
May 31, 2017 7:50:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1161/1328 took 101235 ms. Total solver calls (SAT/UNSAT): 823596(3412/820184)
May 31, 2017 7:51:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1226/1328 took 102236 ms. Total solver calls (SAT/UNSAT): 831009(3528/827481)
May 31, 2017 7:51:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1238/1328 took 103301 ms. Total solver calls (SAT/UNSAT): 839565(3552/836013)
May 31, 2017 7:51:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1250/1328 took 104366 ms. Total solver calls (SAT/UNSAT): 848121(3576/844545)
May 31, 2017 7:51:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1262/1328 took 105430 ms. Total solver calls (SAT/UNSAT): 856677(3600/853077)
May 31, 2017 7:51:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1274/1328 took 106494 ms. Total solver calls (SAT/UNSAT): 865233(3624/861609)
May 31, 2017 7:51:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 107005 ms. Total solver calls (SAT/UNSAT): 868698(3728/864970)
May 31, 2017 7:51:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1328 transitions.
May 31, 2017 7:51:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/1328 took 1009 ms. Total solver calls (SAT/UNSAT): 2139(39/2100)
May 31, 2017 7:51:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/1328 took 2266 ms. Total solver calls (SAT/UNSAT): 4991(91/4900)
May 31, 2017 7:51:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/1328 took 3526 ms. Total solver calls (SAT/UNSAT): 7843(143/7700)
May 31, 2017 7:51:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/1328 took 4782 ms. Total solver calls (SAT/UNSAT): 10695(195/10500)
May 31, 2017 7:51:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/1328 took 6065 ms. Total solver calls (SAT/UNSAT): 13547(247/13300)
May 31, 2017 7:51:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/1328 took 7065 ms. Total solver calls (SAT/UNSAT): 15686(286/15400)
May 31, 2017 7:51:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/1328 took 8329 ms. Total solver calls (SAT/UNSAT): 18538(338/18200)
May 31, 2017 7:51:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/1328 took 9632 ms. Total solver calls (SAT/UNSAT): 21390(390/21000)
May 31, 2017 7:51:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/1328 took 10885 ms. Total solver calls (SAT/UNSAT): 24242(442/23800)
May 31, 2017 7:51:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/1328 took 12196 ms. Total solver calls (SAT/UNSAT): 27094(494/26600)
May 31, 2017 7:51:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/1328 took 13237 ms. Total solver calls (SAT/UNSAT): 29233(533/28700)
May 31, 2017 7:51:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/1328 took 14485 ms. Total solver calls (SAT/UNSAT): 32085(585/31500)
May 31, 2017 7:51:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/1328 took 15781 ms. Total solver calls (SAT/UNSAT): 34937(637/34300)
May 31, 2017 7:51:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/1328 took 16936 ms. Total solver calls (SAT/UNSAT): 37652(659/36993)
May 31, 2017 7:51:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/1328 took 18050 ms. Total solver calls (SAT/UNSAT): 40320(671/39649)
May 31, 2017 7:51:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/1328 took 19381 ms. Total solver calls (SAT/UNSAT): 43489(682/42807)
May 31, 2017 7:51:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/1328 took 20505 ms. Total solver calls (SAT/UNSAT): 46162(694/45468)
May 31, 2017 7:51:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/1328 took 21636 ms. Total solver calls (SAT/UNSAT): 48834(706/48128)
May 31, 2017 7:51:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/1328 took 22690 ms. Total solver calls (SAT/UNSAT): 51339(714/50625)
May 31, 2017 7:51:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/1328 took 23812 ms. Total solver calls (SAT/UNSAT): 54012(726/53286)
May 31, 2017 7:51:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/1328 took 24942 ms. Total solver calls (SAT/UNSAT): 56684(738/55946)
May 31, 2017 7:51:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/1328 took 25995 ms. Total solver calls (SAT/UNSAT): 59189(746/58443)
May 31, 2017 7:51:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/1328 took 27119 ms. Total solver calls (SAT/UNSAT): 61862(758/61104)
May 31, 2017 7:51:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/1328 took 28248 ms. Total solver calls (SAT/UNSAT): 64534(770/63764)
May 31, 2017 7:51:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/1328 took 29300 ms. Total solver calls (SAT/UNSAT): 67039(778/66261)
May 31, 2017 7:51:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/1328 took 30423 ms. Total solver calls (SAT/UNSAT): 69712(790/68922)
May 31, 2017 7:51:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/1328 took 31550 ms. Total solver calls (SAT/UNSAT): 72384(802/71582)
May 31, 2017 7:51:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/1328 took 32582 ms. Total solver calls (SAT/UNSAT): 74889(810/74079)
May 31, 2017 7:51:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/1328 took 33704 ms. Total solver calls (SAT/UNSAT): 77562(822/76740)
May 31, 2017 7:51:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/1328 took 34832 ms. Total solver calls (SAT/UNSAT): 80234(834/79400)
May 31, 2017 7:51:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/1328 took 35885 ms. Total solver calls (SAT/UNSAT): 82739(842/81897)
May 31, 2017 7:51:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/1328 took 37006 ms. Total solver calls (SAT/UNSAT): 85412(854/84558)
May 31, 2017 7:51:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/1328 took 38120 ms. Total solver calls (SAT/UNSAT): 88084(866/87218)
May 31, 2017 7:51:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/1328 took 39171 ms. Total solver calls (SAT/UNSAT): 90589(874/89715)
May 31, 2017 7:51:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/1328 took 40294 ms. Total solver calls (SAT/UNSAT): 93262(886/92376)
May 31, 2017 7:51:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/1328 took 41422 ms. Total solver calls (SAT/UNSAT): 95934(898/95036)
May 31, 2017 7:51:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/1328 took 42474 ms. Total solver calls (SAT/UNSAT): 98439(906/97533)
May 31, 2017 7:51:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/1328 took 43597 ms. Total solver calls (SAT/UNSAT): 101112(918/100194)
May 31, 2017 7:51:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/1328 took 44725 ms. Total solver calls (SAT/UNSAT): 103784(930/102854)
May 31, 2017 7:51:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1328 took 45777 ms. Total solver calls (SAT/UNSAT): 106289(938/105351)
May 31, 2017 7:51:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/1328 took 46900 ms. Total solver calls (SAT/UNSAT): 108962(950/108012)
May 31, 2017 7:51:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/1328 took 48029 ms. Total solver calls (SAT/UNSAT): 111634(962/110672)
May 31, 2017 7:51:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/1328 took 49082 ms. Total solver calls (SAT/UNSAT): 114139(970/113169)
May 31, 2017 7:51:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/1328 took 50205 ms. Total solver calls (SAT/UNSAT): 116812(982/115830)
May 31, 2017 7:51:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/1328 took 51333 ms. Total solver calls (SAT/UNSAT): 119484(994/118490)
May 31, 2017 7:51:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/1328 took 52388 ms. Total solver calls (SAT/UNSAT): 121989(1002/120987)
May 31, 2017 7:51:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/1328 took 53511 ms. Total solver calls (SAT/UNSAT): 124662(1014/123648)
May 31, 2017 7:51:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/1328 took 54640 ms. Total solver calls (SAT/UNSAT): 127334(1026/126308)
May 31, 2017 7:52:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/1328 took 55693 ms. Total solver calls (SAT/UNSAT): 129839(1034/128805)
May 31, 2017 7:52:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/1328 took 56810 ms. Total solver calls (SAT/UNSAT): 132512(1046/131466)
May 31, 2017 7:52:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/1328 took 57930 ms. Total solver calls (SAT/UNSAT): 135184(1058/134126)
May 31, 2017 7:52:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/1328 took 58984 ms. Total solver calls (SAT/UNSAT): 137689(1066/136623)
May 31, 2017 7:52:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/1328 took 60110 ms. Total solver calls (SAT/UNSAT): 140362(1078/139284)
May 31, 2017 7:52:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/1328 took 61239 ms. Total solver calls (SAT/UNSAT): 143034(1090/141944)
May 31, 2017 7:52:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/1328 took 62293 ms. Total solver calls (SAT/UNSAT): 145539(1098/144441)
May 31, 2017 7:52:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/1328 took 63416 ms. Total solver calls (SAT/UNSAT): 148212(1110/147102)
May 31, 2017 7:52:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/1328 took 64546 ms. Total solver calls (SAT/UNSAT): 150884(1122/149762)
May 31, 2017 7:52:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/1328 took 65599 ms. Total solver calls (SAT/UNSAT): 153389(1130/152259)
May 31, 2017 7:52:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/1328 took 66711 ms. Total solver calls (SAT/UNSAT): 156062(1142/154920)
May 31, 2017 7:52:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/1328 took 67829 ms. Total solver calls (SAT/UNSAT): 158734(1154/157580)
May 31, 2017 7:52:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/1328 took 68883 ms. Total solver calls (SAT/UNSAT): 161239(1162/160077)
May 31, 2017 7:52:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/1328 took 70008 ms. Total solver calls (SAT/UNSAT): 163912(1174/162738)
May 31, 2017 7:52:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/1328 took 71138 ms. Total solver calls (SAT/UNSAT): 166584(1186/165398)
May 31, 2017 7:52:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/1328 took 72194 ms. Total solver calls (SAT/UNSAT): 169089(1194/167895)
May 31, 2017 7:52:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/1328 took 73319 ms. Total solver calls (SAT/UNSAT): 171762(1206/170556)
May 31, 2017 7:52:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/1328 took 74448 ms. Total solver calls (SAT/UNSAT): 174434(1218/173216)
May 31, 2017 7:52:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/1328 took 75504 ms. Total solver calls (SAT/UNSAT): 176939(1226/175713)
May 31, 2017 7:52:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/1328 took 76628 ms. Total solver calls (SAT/UNSAT): 179612(1238/178374)
May 31, 2017 7:52:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/1328 took 77758 ms. Total solver calls (SAT/UNSAT): 182284(1250/181034)
May 31, 2017 7:52:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/1328 took 78813 ms. Total solver calls (SAT/UNSAT): 184789(1258/183531)
May 31, 2017 7:52:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/1328 took 79938 ms. Total solver calls (SAT/UNSAT): 187462(1270/186192)
May 31, 2017 7:52:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/1328 took 81069 ms. Total solver calls (SAT/UNSAT): 190134(1282/188852)
May 31, 2017 7:52:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/1328 took 82123 ms. Total solver calls (SAT/UNSAT): 192639(1290/191349)
May 31, 2017 7:52:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/1328 took 83248 ms. Total solver calls (SAT/UNSAT): 195312(1302/194010)
May 31, 2017 7:52:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/1328 took 84378 ms. Total solver calls (SAT/UNSAT): 197984(1314/196670)
May 31, 2017 7:52:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/1328 took 85432 ms. Total solver calls (SAT/UNSAT): 200489(1322/199167)
May 31, 2017 7:52:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/1328 took 86558 ms. Total solver calls (SAT/UNSAT): 203162(1334/201828)
May 31, 2017 7:52:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/1328 took 87687 ms. Total solver calls (SAT/UNSAT): 205834(1346/204488)
May 31, 2017 7:52:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/1328 took 88741 ms. Total solver calls (SAT/UNSAT): 208339(1354/206985)
May 31, 2017 7:52:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/1328 took 89831 ms. Total solver calls (SAT/UNSAT): 211012(1366/209646)
May 31, 2017 7:52:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/1328 took 90960 ms. Total solver calls (SAT/UNSAT): 213684(1378/212306)
May 31, 2017 7:52:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/1328 took 92016 ms. Total solver calls (SAT/UNSAT): 216189(1386/214803)
May 31, 2017 7:52:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/1328 took 93141 ms. Total solver calls (SAT/UNSAT): 218862(1398/217464)
May 31, 2017 7:52:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/1328 took 94271 ms. Total solver calls (SAT/UNSAT): 221534(1410/220124)
May 31, 2017 7:52:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/1328 took 95326 ms. Total solver calls (SAT/UNSAT): 224039(1418/222621)
May 31, 2017 7:52:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/1328 took 96451 ms. Total solver calls (SAT/UNSAT): 226712(1430/225282)
May 31, 2017 7:52:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/1328 took 97588 ms. Total solver calls (SAT/UNSAT): 229384(1442/227942)
May 31, 2017 7:52:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/1328 took 98643 ms. Total solver calls (SAT/UNSAT): 231889(1450/230439)
May 31, 2017 7:52:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/1328 took 99766 ms. Total solver calls (SAT/UNSAT): 234562(1462/233100)
May 31, 2017 7:52:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/1328 took 100895 ms. Total solver calls (SAT/UNSAT): 237234(1474/235760)
May 31, 2017 7:52:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/1328 took 101950 ms. Total solver calls (SAT/UNSAT): 239739(1482/238257)
May 31, 2017 7:52:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/1328 took 103075 ms. Total solver calls (SAT/UNSAT): 242412(1494/240918)
May 31, 2017 7:52:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/1328 took 104204 ms. Total solver calls (SAT/UNSAT): 245084(1506/243578)
May 31, 2017 7:52:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/1328 took 105263 ms. Total solver calls (SAT/UNSAT): 247589(1514/246075)
May 31, 2017 7:52:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/1328 took 106387 ms. Total solver calls (SAT/UNSAT): 250262(1526/248736)
May 31, 2017 7:52:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/1328 took 107516 ms. Total solver calls (SAT/UNSAT): 252934(1538/251396)
May 31, 2017 7:52:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/1328 took 108569 ms. Total solver calls (SAT/UNSAT): 255439(1546/253893)
May 31, 2017 7:52:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/1328 took 109701 ms. Total solver calls (SAT/UNSAT): 258112(1558/256554)
May 31, 2017 7:52:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/1328 took 110838 ms. Total solver calls (SAT/UNSAT): 260784(1570/259214)
May 31, 2017 7:52:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/1328 took 111895 ms. Total solver calls (SAT/UNSAT): 263289(1578/261711)
May 31, 2017 7:52:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/1328 took 113020 ms. Total solver calls (SAT/UNSAT): 265962(1590/264372)
May 31, 2017 7:52:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/1328 took 114149 ms. Total solver calls (SAT/UNSAT): 268634(1602/267032)
May 31, 2017 7:53:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/1328 took 115199 ms. Total solver calls (SAT/UNSAT): 271139(1610/269529)
May 31, 2017 7:53:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/1328 took 116323 ms. Total solver calls (SAT/UNSAT): 273812(1622/272190)
May 31, 2017 7:53:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/1328 took 117453 ms. Total solver calls (SAT/UNSAT): 276484(1634/274850)
May 31, 2017 7:53:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/1328 took 118508 ms. Total solver calls (SAT/UNSAT): 278989(1642/277347)
May 31, 2017 7:53:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/1328 took 119631 ms. Total solver calls (SAT/UNSAT): 281662(1654/280008)
May 31, 2017 7:53:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/1328 took 120760 ms. Total solver calls (SAT/UNSAT): 284334(1666/282668)
May 31, 2017 7:53:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/1328 took 121816 ms. Total solver calls (SAT/UNSAT): 286839(1674/285165)
May 31, 2017 7:53:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/1328 took 122940 ms. Total solver calls (SAT/UNSAT): 289512(1686/287826)
May 31, 2017 7:53:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/1328 took 124069 ms. Total solver calls (SAT/UNSAT): 292184(1698/290486)
May 31, 2017 7:53:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/1328 took 125124 ms. Total solver calls (SAT/UNSAT): 294689(1706/292983)
May 31, 2017 7:53:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/1328 took 126249 ms. Total solver calls (SAT/UNSAT): 297362(1718/295644)
May 31, 2017 7:53:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/1328 took 127378 ms. Total solver calls (SAT/UNSAT): 300034(1730/298304)
May 31, 2017 7:53:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/1328 took 128433 ms. Total solver calls (SAT/UNSAT): 302539(1738/300801)
May 31, 2017 7:53:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/1328 took 129559 ms. Total solver calls (SAT/UNSAT): 305212(1750/303462)
May 31, 2017 7:53:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/1328 took 130692 ms. Total solver calls (SAT/UNSAT): 307884(1762/306122)
May 31, 2017 7:53:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/1328 took 131747 ms. Total solver calls (SAT/UNSAT): 310389(1770/308619)
May 31, 2017 7:53:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/1328 took 132872 ms. Total solver calls (SAT/UNSAT): 313062(1782/311280)
May 31, 2017 7:53:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/1328 took 134008 ms. Total solver calls (SAT/UNSAT): 315734(1794/313940)
May 31, 2017 7:53:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/1328 took 135064 ms. Total solver calls (SAT/UNSAT): 318239(1802/316437)
May 31, 2017 7:53:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/1328 took 136189 ms. Total solver calls (SAT/UNSAT): 320912(1814/319098)
May 31, 2017 7:53:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/1328 took 137319 ms. Total solver calls (SAT/UNSAT): 323584(1826/321758)
May 31, 2017 7:53:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/1328 took 138374 ms. Total solver calls (SAT/UNSAT): 326089(1834/324255)
May 31, 2017 7:53:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/1328 took 139499 ms. Total solver calls (SAT/UNSAT): 328762(1846/326916)
May 31, 2017 7:53:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/1328 took 140630 ms. Total solver calls (SAT/UNSAT): 331434(1858/329576)
May 31, 2017 7:53:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/1328 took 141660 ms. Total solver calls (SAT/UNSAT): 333939(1866/332073)
May 31, 2017 7:53:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/1328 took 142764 ms. Total solver calls (SAT/UNSAT): 336612(1878/334734)
May 31, 2017 7:53:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/1328 took 143890 ms. Total solver calls (SAT/UNSAT): 339284(1890/337394)
May 31, 2017 7:53:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/1328 took 144947 ms. Total solver calls (SAT/UNSAT): 341789(1898/339891)
May 31, 2017 7:53:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/1328 took 146071 ms. Total solver calls (SAT/UNSAT): 344462(1910/342552)
May 31, 2017 7:53:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/1328 took 147197 ms. Total solver calls (SAT/UNSAT): 347134(1922/345212)
May 31, 2017 7:53:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/1328 took 148245 ms. Total solver calls (SAT/UNSAT): 349639(1930/347709)
May 31, 2017 7:53:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/1328 took 149370 ms. Total solver calls (SAT/UNSAT): 352312(1942/350370)
May 31, 2017 7:53:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/1328 took 150500 ms. Total solver calls (SAT/UNSAT): 354984(1954/353030)
May 31, 2017 7:53:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/1328 took 151555 ms. Total solver calls (SAT/UNSAT): 357489(1962/355527)
May 31, 2017 7:53:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/1328 took 152676 ms. Total solver calls (SAT/UNSAT): 360162(1974/358188)
May 31, 2017 7:53:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/1328 took 153806 ms. Total solver calls (SAT/UNSAT): 362834(1986/360848)
May 31, 2017 7:53:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/1328 took 154860 ms. Total solver calls (SAT/UNSAT): 365339(1994/363345)
May 31, 2017 7:53:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/1328 took 155984 ms. Total solver calls (SAT/UNSAT): 368012(2006/366006)
May 31, 2017 7:53:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/1328 took 157114 ms. Total solver calls (SAT/UNSAT): 370684(2018/368666)
May 31, 2017 7:53:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/1328 took 158169 ms. Total solver calls (SAT/UNSAT): 373189(2026/371163)
May 31, 2017 7:53:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/1328 took 159294 ms. Total solver calls (SAT/UNSAT): 375862(2038/373824)
May 31, 2017 7:53:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/1328 took 160423 ms. Total solver calls (SAT/UNSAT): 378534(2050/376484)
May 31, 2017 7:53:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/1328 took 161527 ms. Total solver calls (SAT/UNSAT): 381039(2058/378981)
May 31, 2017 7:53:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/1328 took 162707 ms. Total solver calls (SAT/UNSAT): 383712(2070/381642)
May 31, 2017 7:53:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/1328 took 163855 ms. Total solver calls (SAT/UNSAT): 386384(2082/384302)
May 31, 2017 7:53:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/1328 took 164924 ms. Total solver calls (SAT/UNSAT): 388889(2090/386799)
May 31, 2017 7:53:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/1328 took 166049 ms. Total solver calls (SAT/UNSAT): 391562(2102/389460)
May 31, 2017 7:53:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/1328 took 167235 ms. Total solver calls (SAT/UNSAT): 394234(2114/392120)
May 31, 2017 7:53:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/1328 took 168436 ms. Total solver calls (SAT/UNSAT): 396739(2122/394617)
May 31, 2017 7:53:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/1328 took 169645 ms. Total solver calls (SAT/UNSAT): 399412(2134/397278)
May 31, 2017 7:53:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/1328 took 170779 ms. Total solver calls (SAT/UNSAT): 402084(2146/399938)
May 31, 2017 7:53:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/1328 took 171894 ms. Total solver calls (SAT/UNSAT): 404589(2154/402435)
May 31, 2017 7:53:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/1328 took 173033 ms. Total solver calls (SAT/UNSAT): 407262(2166/405096)
May 31, 2017 7:53:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/1328 took 174162 ms. Total solver calls (SAT/UNSAT): 409934(2178/407756)
May 31, 2017 7:54:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/1328 took 175216 ms. Total solver calls (SAT/UNSAT): 412439(2186/410253)
May 31, 2017 7:54:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/1328 took 176342 ms. Total solver calls (SAT/UNSAT): 415112(2198/412914)
May 31, 2017 7:54:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/1328 took 177525 ms. Total solver calls (SAT/UNSAT): 417784(2210/415574)
May 31, 2017 7:54:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/1328 took 178632 ms. Total solver calls (SAT/UNSAT): 420289(2218/418071)
May 31, 2017 7:54:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/1328 took 179754 ms. Total solver calls (SAT/UNSAT): 422962(2230/420732)
May 31, 2017 7:54:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/1328 took 180929 ms. Total solver calls (SAT/UNSAT): 425634(2242/423392)
May 31, 2017 7:54:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/1328 took 181982 ms. Total solver calls (SAT/UNSAT): 428139(2250/425889)
May 31, 2017 7:54:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/1328 took 183108 ms. Total solver calls (SAT/UNSAT): 430808(2262/428546)
May 31, 2017 7:54:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/1328 took 184234 ms. Total solver calls (SAT/UNSAT): 433476(2274/431202)
May 31, 2017 7:54:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/1328 took 185285 ms. Total solver calls (SAT/UNSAT): 435978(2282/433696)
May 31, 2017 7:54:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/1328 took 186411 ms. Total solver calls (SAT/UNSAT): 438651(2294/436357)
May 31, 2017 7:54:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/1328 took 187538 ms. Total solver calls (SAT/UNSAT): 441323(2306/439017)
May 31, 2017 7:54:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/1328 took 188591 ms. Total solver calls (SAT/UNSAT): 443828(2314/441514)
May 31, 2017 7:54:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/1328 took 189716 ms. Total solver calls (SAT/UNSAT): 446501(2326/444175)
May 31, 2017 7:54:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/1328 took 190845 ms. Total solver calls (SAT/UNSAT): 449173(2338/446835)
May 31, 2017 7:54:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/1328 took 191896 ms. Total solver calls (SAT/UNSAT): 451678(2346/449332)
May 31, 2017 7:54:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/1328 took 193022 ms. Total solver calls (SAT/UNSAT): 454351(2358/451993)
May 31, 2017 7:54:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/1328 took 194150 ms. Total solver calls (SAT/UNSAT): 457023(2370/454653)
May 31, 2017 7:54:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/1328 took 195197 ms. Total solver calls (SAT/UNSAT): 459528(2378/457150)
May 31, 2017 7:54:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/1328 took 196320 ms. Total solver calls (SAT/UNSAT): 462201(2390/459811)
May 31, 2017 7:54:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/1328 took 197451 ms. Total solver calls (SAT/UNSAT): 464873(2402/462471)
May 31, 2017 7:54:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/1328 took 198505 ms. Total solver calls (SAT/UNSAT): 467378(2410/464968)
May 31, 2017 7:54:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/1328 took 199630 ms. Total solver calls (SAT/UNSAT): 470051(2422/467629)
May 31, 2017 7:54:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/1328 took 200758 ms. Total solver calls (SAT/UNSAT): 472723(2434/470289)
May 31, 2017 7:54:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/1328 took 201809 ms. Total solver calls (SAT/UNSAT): 475228(2442/472786)
May 31, 2017 7:54:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/1328 took 202933 ms. Total solver calls (SAT/UNSAT): 477901(2454/475447)
May 31, 2017 7:54:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/1328 took 204091 ms. Total solver calls (SAT/UNSAT): 480573(2466/478107)
May 31, 2017 7:54:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/1328 took 205153 ms. Total solver calls (SAT/UNSAT): 483078(2474/480604)
May 31, 2017 7:54:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/1328 took 206284 ms. Total solver calls (SAT/UNSAT): 485751(2486/483265)
May 31, 2017 7:54:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/1328 took 207413 ms. Total solver calls (SAT/UNSAT): 488423(2498/485925)
May 31, 2017 7:54:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/1328 took 208514 ms. Total solver calls (SAT/UNSAT): 490928(2506/488422)
May 31, 2017 7:54:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/1328 took 209665 ms. Total solver calls (SAT/UNSAT): 493601(2518/491083)
May 31, 2017 7:54:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/1328 took 210794 ms. Total solver calls (SAT/UNSAT): 496273(2530/493743)
May 31, 2017 7:54:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/1328 took 211851 ms. Total solver calls (SAT/UNSAT): 498778(2538/496240)
May 31, 2017 7:54:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/1328 took 212980 ms. Total solver calls (SAT/UNSAT): 501451(2550/498901)
May 31, 2017 7:54:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/1328 took 214100 ms. Total solver calls (SAT/UNSAT): 504123(2562/501561)
May 31, 2017 7:54:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/1328 took 215143 ms. Total solver calls (SAT/UNSAT): 506628(2570/504058)
May 31, 2017 7:54:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/1328 took 216260 ms. Total solver calls (SAT/UNSAT): 509301(2582/506719)
May 31, 2017 7:54:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/1328 took 217382 ms. Total solver calls (SAT/UNSAT): 511973(2594/509379)
May 31, 2017 7:54:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/1328 took 218472 ms. Total solver calls (SAT/UNSAT): 514478(2602/511876)
May 31, 2017 7:54:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/1328 took 219648 ms. Total solver calls (SAT/UNSAT): 517151(2614/514537)
May 31, 2017 7:54:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/1328 took 220796 ms. Total solver calls (SAT/UNSAT): 519823(2626/517197)
May 31, 2017 7:54:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/1328 took 221850 ms. Total solver calls (SAT/UNSAT): 522328(2634/519694)
May 31, 2017 7:54:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/1328 took 222963 ms. Total solver calls (SAT/UNSAT): 525001(2646/522355)
May 31, 2017 7:54:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/1328 took 224080 ms. Total solver calls (SAT/UNSAT): 527673(2658/525015)
May 31, 2017 7:54:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/1328 took 225119 ms. Total solver calls (SAT/UNSAT): 530178(2666/527512)
May 31, 2017 7:54:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/1328 took 226229 ms. Total solver calls (SAT/UNSAT): 532851(2678/530173)
May 31, 2017 7:54:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/1328 took 227342 ms. Total solver calls (SAT/UNSAT): 535523(2690/532833)
May 31, 2017 7:54:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/1328 took 228379 ms. Total solver calls (SAT/UNSAT): 538028(2698/535330)
May 31, 2017 7:54:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/1328 took 229490 ms. Total solver calls (SAT/UNSAT): 540701(2710/537991)
May 31, 2017 7:54:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/1328 took 230603 ms. Total solver calls (SAT/UNSAT): 543373(2722/540651)
May 31, 2017 7:54:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/1328 took 231640 ms. Total solver calls (SAT/UNSAT): 545878(2730/543148)
May 31, 2017 7:54:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/1328 took 232750 ms. Total solver calls (SAT/UNSAT): 548551(2742/545809)
May 31, 2017 7:54:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/1328 took 233863 ms. Total solver calls (SAT/UNSAT): 551223(2754/548469)
May 31, 2017 7:55:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/1328 took 234900 ms. Total solver calls (SAT/UNSAT): 553728(2762/550966)
May 31, 2017 7:55:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/1328 took 236024 ms. Total solver calls (SAT/UNSAT): 556401(2774/553627)
May 31, 2017 7:55:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/1328 took 237144 ms. Total solver calls (SAT/UNSAT): 559073(2786/556287)
May 31, 2017 7:55:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/1328 took 238181 ms. Total solver calls (SAT/UNSAT): 561578(2794/558784)
May 31, 2017 7:55:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/1328 took 239292 ms. Total solver calls (SAT/UNSAT): 564251(2806/561445)
May 31, 2017 7:55:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/1328 took 240406 ms. Total solver calls (SAT/UNSAT): 566923(2818/564105)
May 31, 2017 7:55:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/1328 took 241442 ms. Total solver calls (SAT/UNSAT): 569428(2826/566602)
May 31, 2017 7:55:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/1328 took 242553 ms. Total solver calls (SAT/UNSAT): 572101(2838/569263)
May 31, 2017 7:55:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/1328 took 243666 ms. Total solver calls (SAT/UNSAT): 574773(2850/571923)
May 31, 2017 7:55:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/1328 took 244702 ms. Total solver calls (SAT/UNSAT): 577278(2858/574420)
May 31, 2017 7:55:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/1328 took 245812 ms. Total solver calls (SAT/UNSAT): 579951(2870/577081)
May 31, 2017 7:55:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/1328 took 246925 ms. Total solver calls (SAT/UNSAT): 582623(2882/579741)
May 31, 2017 7:55:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/1328 took 247961 ms. Total solver calls (SAT/UNSAT): 585128(2890/582238)
May 31, 2017 7:55:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/1328 took 249071 ms. Total solver calls (SAT/UNSAT): 587801(2902/584899)
May 31, 2017 7:55:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/1328 took 250182 ms. Total solver calls (SAT/UNSAT): 590473(2914/587559)
May 31, 2017 7:55:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/1328 took 251219 ms. Total solver calls (SAT/UNSAT): 592978(2922/590056)
May 31, 2017 7:55:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/1328 took 252330 ms. Total solver calls (SAT/UNSAT): 595651(2934/592717)
May 31, 2017 7:55:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/1328 took 253436 ms. Total solver calls (SAT/UNSAT): 598323(2946/595377)
May 31, 2017 7:55:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/1328 took 254452 ms. Total solver calls (SAT/UNSAT): 600828(2954/597874)
May 31, 2017 7:55:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/1328 took 255541 ms. Total solver calls (SAT/UNSAT): 603501(2966/600535)
May 31, 2017 7:55:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :849/1328 took 256652 ms. Total solver calls (SAT/UNSAT): 606173(2978/603195)
May 31, 2017 7:55:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/1328 took 257685 ms. Total solver calls (SAT/UNSAT): 608678(2986/605692)
May 31, 2017 7:55:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/1328 took 258773 ms. Total solver calls (SAT/UNSAT): 611351(2998/608353)
May 31, 2017 7:55:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/1328 took 259864 ms. Total solver calls (SAT/UNSAT): 614023(3010/611013)
May 31, 2017 7:55:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :863/1328 took 260876 ms. Total solver calls (SAT/UNSAT): 616528(3018/613510)
May 31, 2017 7:55:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :867/1328 took 261956 ms. Total solver calls (SAT/UNSAT): 619201(3030/616171)
May 31, 2017 7:55:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :871/1328 took 263083 ms. Total solver calls (SAT/UNSAT): 621873(3042/618831)
May 31, 2017 7:55:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/1328 took 264119 ms. Total solver calls (SAT/UNSAT): 624378(3050/621328)
May 31, 2017 7:55:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/1328 took 265272 ms. Total solver calls (SAT/UNSAT): 627051(3062/623989)
May 31, 2017 7:55:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :882/1328 took 266383 ms. Total solver calls (SAT/UNSAT): 629723(3074/626649)
May 31, 2017 7:55:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/1328 took 267424 ms. Total solver calls (SAT/UNSAT): 632228(3082/629146)
May 31, 2017 7:55:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :889/1328 took 268540 ms. Total solver calls (SAT/UNSAT): 634901(3094/631807)
May 31, 2017 7:55:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/1328 took 269659 ms. Total solver calls (SAT/UNSAT): 637573(3106/634467)
May 31, 2017 7:55:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/1328 took 270693 ms. Total solver calls (SAT/UNSAT): 640078(3114/636964)
May 31, 2017 7:55:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/1328 took 271806 ms. Total solver calls (SAT/UNSAT): 642751(3126/639625)
May 31, 2017 7:55:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/1328 took 272922 ms. Total solver calls (SAT/UNSAT): 645423(3138/642285)
May 31, 2017 7:55:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :907/1328 took 274011 ms. Total solver calls (SAT/UNSAT): 647928(3146/644782)
May 31, 2017 7:55:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/1328 took 275110 ms. Total solver calls (SAT/UNSAT): 650601(3158/647443)
May 31, 2017 7:55:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :915/1328 took 276234 ms. Total solver calls (SAT/UNSAT): 653273(3170/650103)
May 31, 2017 7:55:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :918/1328 took 277277 ms. Total solver calls (SAT/UNSAT): 655778(3178/652600)
May 31, 2017 7:55:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :922/1328 took 278391 ms. Total solver calls (SAT/UNSAT): 658451(3190/655261)
May 31, 2017 7:55:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/1328 took 279506 ms. Total solver calls (SAT/UNSAT): 661123(3202/657921)
May 31, 2017 7:55:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/1328 took 280596 ms. Total solver calls (SAT/UNSAT): 663628(3210/660418)
May 31, 2017 7:55:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :933/1328 took 281737 ms. Total solver calls (SAT/UNSAT): 666301(3222/663079)
May 31, 2017 7:55:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :937/1328 took 282835 ms. Total solver calls (SAT/UNSAT): 668973(3234/665739)
May 31, 2017 7:55:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/1328 took 283857 ms. Total solver calls (SAT/UNSAT): 671478(3242/668236)
May 31, 2017 7:55:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/1328 took 284968 ms. Total solver calls (SAT/UNSAT): 674151(3254/670897)
May 31, 2017 7:55:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/1328 took 286147 ms. Total solver calls (SAT/UNSAT): 676823(3266/673557)
May 31, 2017 7:55:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/1328 took 287174 ms. Total solver calls (SAT/UNSAT): 679328(3274/676054)
May 31, 2017 7:55:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :955/1328 took 288284 ms. Total solver calls (SAT/UNSAT): 682001(3286/678715)
May 31, 2017 7:55:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/1328 took 289401 ms. Total solver calls (SAT/UNSAT): 684673(3298/681375)
May 31, 2017 7:55:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :962/1328 took 290443 ms. Total solver calls (SAT/UNSAT): 687178(3306/683872)
May 31, 2017 7:55:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/1328 took 291557 ms. Total solver calls (SAT/UNSAT): 689851(3318/686533)
May 31, 2017 7:55:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :970/1328 took 292680 ms. Total solver calls (SAT/UNSAT): 692523(3330/689193)
May 31, 2017 7:55:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :973/1328 took 293725 ms. Total solver calls (SAT/UNSAT): 695028(3338/691690)
May 31, 2017 7:56:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :977/1328 took 294889 ms. Total solver calls (SAT/UNSAT): 697701(3350/694351)
May 31, 2017 7:56:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/1328 took 296005 ms. Total solver calls (SAT/UNSAT): 700373(3362/697011)
May 31, 2017 7:56:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/1328 took 297027 ms. Total solver calls (SAT/UNSAT): 702878(3370/699508)
May 31, 2017 7:56:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/1328 took 298126 ms. Total solver calls (SAT/UNSAT): 705551(3382/702169)
May 31, 2017 7:56:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/1328 took 299240 ms. Total solver calls (SAT/UNSAT): 708223(3394/704829)
May 31, 2017 7:56:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :995/1328 took 300273 ms. Total solver calls (SAT/UNSAT): 710728(3402/707326)
May 31, 2017 7:56:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/1328 took 301423 ms. Total solver calls (SAT/UNSAT): 713401(3414/709987)
May 31, 2017 7:56:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1003/1328 took 302526 ms. Total solver calls (SAT/UNSAT): 716073(3426/712647)
May 31, 2017 7:56:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/1328 took 303547 ms. Total solver calls (SAT/UNSAT): 718578(3434/715144)
May 31, 2017 7:56:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/1328 took 304695 ms. Total solver calls (SAT/UNSAT): 721251(3446/717805)
May 31, 2017 7:56:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/1328 took 305792 ms. Total solver calls (SAT/UNSAT): 723923(3458/720465)
May 31, 2017 7:56:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1017/1328 took 306793 ms. Total solver calls (SAT/UNSAT): 726428(3466/722962)
May 31, 2017 7:56:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1021/1328 took 307903 ms. Total solver calls (SAT/UNSAT): 729101(3478/725623)
May 31, 2017 7:56:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1025/1328 took 309016 ms. Total solver calls (SAT/UNSAT): 731773(3490/728283)
May 31, 2017 7:56:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/1328 took 310053 ms. Total solver calls (SAT/UNSAT): 734278(3498/730780)
May 31, 2017 7:56:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/1328 took 311164 ms. Total solver calls (SAT/UNSAT): 736951(3510/733441)
May 31, 2017 7:56:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/1328 took 312277 ms. Total solver calls (SAT/UNSAT): 739623(3522/736101)
May 31, 2017 7:56:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1039/1328 took 313315 ms. Total solver calls (SAT/UNSAT): 742128(3530/738598)
May 31, 2017 7:56:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1043/1328 took 314427 ms. Total solver calls (SAT/UNSAT): 744801(3542/741259)
May 31, 2017 7:56:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/1328 took 315542 ms. Total solver calls (SAT/UNSAT): 747473(3554/743919)
May 31, 2017 7:56:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/1328 took 316615 ms. Total solver calls (SAT/UNSAT): 749978(3562/746416)
May 31, 2017 7:56:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/1328 took 317743 ms. Total solver calls (SAT/UNSAT): 752651(3574/749077)
May 31, 2017 7:56:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/1328 took 318872 ms. Total solver calls (SAT/UNSAT): 755323(3586/751737)
May 31, 2017 7:56:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1061/1328 took 319925 ms. Total solver calls (SAT/UNSAT): 757828(3594/754234)
May 31, 2017 7:56:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1065/1328 took 321050 ms. Total solver calls (SAT/UNSAT): 760501(3606/756895)
May 31, 2017 7:56:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1069/1328 took 322192 ms. Total solver calls (SAT/UNSAT): 763173(3618/759555)
May 31, 2017 7:56:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/1328 took 323259 ms. Total solver calls (SAT/UNSAT): 765678(3626/762052)
May 31, 2017 7:56:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/1328 took 324402 ms. Total solver calls (SAT/UNSAT): 768351(3638/764713)
May 31, 2017 7:56:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/1328 took 325545 ms. Total solver calls (SAT/UNSAT): 771023(3650/767373)
May 31, 2017 7:56:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1083/1328 took 326589 ms. Total solver calls (SAT/UNSAT): 773528(3658/769870)
May 31, 2017 7:56:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/1328 took 327715 ms. Total solver calls (SAT/UNSAT): 776201(3670/772531)
May 31, 2017 7:56:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1091/1328 took 328842 ms. Total solver calls (SAT/UNSAT): 778873(3682/775191)
May 31, 2017 7:56:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/1328 took 329895 ms. Total solver calls (SAT/UNSAT): 781378(3690/777688)
May 31, 2017 7:56:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/1328 took 331021 ms. Total solver calls (SAT/UNSAT): 784051(3702/780349)
May 31, 2017 7:56:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/1328 took 332143 ms. Total solver calls (SAT/UNSAT): 786723(3714/783009)
May 31, 2017 7:56:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1105/1328 took 333232 ms. Total solver calls (SAT/UNSAT): 789228(3722/785506)
May 31, 2017 7:56:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1109/1328 took 334345 ms. Total solver calls (SAT/UNSAT): 791901(3734/788167)
May 31, 2017 7:56:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1113/1328 took 335465 ms. Total solver calls (SAT/UNSAT): 794573(3746/790827)
May 31, 2017 7:56:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/1328 took 336507 ms. Total solver calls (SAT/UNSAT): 797078(3754/793324)
May 31, 2017 7:56:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/1328 took 337690 ms. Total solver calls (SAT/UNSAT): 799751(3766/795985)
May 31, 2017 7:56:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/1328 took 338821 ms. Total solver calls (SAT/UNSAT): 802423(3778/798645)
May 31, 2017 7:56:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/1328 took 339875 ms. Total solver calls (SAT/UNSAT): 804928(3786/801142)
May 31, 2017 7:56:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/1328 took 341004 ms. Total solver calls (SAT/UNSAT): 807601(3798/803803)
May 31, 2017 7:56:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/1328 took 342134 ms. Total solver calls (SAT/UNSAT): 810273(3810/806463)
May 31, 2017 7:56:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1138/1328 took 343187 ms. Total solver calls (SAT/UNSAT): 812778(3818/808960)
May 31, 2017 7:56:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/1328 took 344311 ms. Total solver calls (SAT/UNSAT): 815451(3830/811621)
May 31, 2017 7:56:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/1328 took 345432 ms. Total solver calls (SAT/UNSAT): 818123(3842/814281)
May 31, 2017 7:56:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1149/1328 took 346471 ms. Total solver calls (SAT/UNSAT): 820628(3850/816778)
May 31, 2017 7:56:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/1328 took 347520 ms. Total solver calls (SAT/UNSAT): 822432(4411/818021)
May 31, 2017 7:56:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1167/1328 took 348547 ms. Total solver calls (SAT/UNSAT): 824580(4768/819812)
May 31, 2017 7:56:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/1328 took 349548 ms. Total solver calls (SAT/UNSAT): 826659(4987/821672)
May 31, 2017 7:56:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/1328 took 350574 ms. Total solver calls (SAT/UNSAT): 828355(5051/823304)
May 31, 2017 7:56:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1225/1328 took 351645 ms. Total solver calls (SAT/UNSAT): 830296(6229/824067)
May 31, 2017 7:56:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1229/1328 took 352876 ms. Total solver calls (SAT/UNSAT): 833148(6281/826867)
May 31, 2017 7:56:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/1328 took 354111 ms. Total solver calls (SAT/UNSAT): 836000(6333/829667)
May 31, 2017 7:57:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/1328 took 355343 ms. Total solver calls (SAT/UNSAT): 838852(6385/832467)
May 31, 2017 7:57:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1241/1328 took 356578 ms. Total solver calls (SAT/UNSAT): 841704(6437/835267)
May 31, 2017 7:57:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/1328 took 357811 ms. Total solver calls (SAT/UNSAT): 844556(6489/838067)
May 31, 2017 7:57:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/1328 took 359049 ms. Total solver calls (SAT/UNSAT): 847408(6541/840867)
May 31, 2017 7:57:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1253/1328 took 360268 ms. Total solver calls (SAT/UNSAT): 850260(6593/843667)
May 31, 2017 7:57:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/1328 took 361492 ms. Total solver calls (SAT/UNSAT): 853112(6645/846467)
May 31, 2017 7:57:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/1328 took 362725 ms. Total solver calls (SAT/UNSAT): 855964(6697/849267)
May 31, 2017 7:57:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1265/1328 took 363957 ms. Total solver calls (SAT/UNSAT): 858816(6749/852067)
May 31, 2017 7:57:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/1328 took 365190 ms. Total solver calls (SAT/UNSAT): 861668(6801/854867)
May 31, 2017 7:57:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/1328 took 366423 ms. Total solver calls (SAT/UNSAT): 864520(6853/857667)
May 31, 2017 7:57:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/1328 took 367452 ms. Total solver calls (SAT/UNSAT): 866632(6952/859680)
May 31, 2017 7:57:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1320/1328 took 368483 ms. Total solver calls (SAT/UNSAT): 868328(7016/861312)
May 31, 2017 7:57:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 368709 ms. Total solver calls (SAT/UNSAT): 868698(7030/861668)
May 31, 2017 7:57:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1328 transitions.
May 31, 2017 7:57:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/1328) took 710 ms. Total solver calls (SAT/UNSAT): 5306(216/5090)
May 31, 2017 7:57:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/1328) took 1752 ms. Total solver calls (SAT/UNSAT): 13235(540/12695)
May 31, 2017 7:57:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/1328) took 2776 ms. Total solver calls (SAT/UNSAT): 21128(864/20264)
May 31, 2017 7:57:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/1328) took 3796 ms. Total solver calls (SAT/UNSAT): 28985(1188/27797)
May 31, 2017 7:57:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/1328) took 4811 ms. Total solver calls (SAT/UNSAT): 36806(1512/35294)
May 31, 2017 7:57:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/1328) took 5821 ms. Total solver calls (SAT/UNSAT): 44591(1836/42755)
May 31, 2017 7:57:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/1328) took 6835 ms. Total solver calls (SAT/UNSAT): 52340(2160/50180)
May 31, 2017 7:57:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/1328) took 7999 ms. Total solver calls (SAT/UNSAT): 61335(2538/58797)
May 31, 2017 7:57:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/1328) took 9114 ms. Total solver calls (SAT/UNSAT): 70281(2716/67565)
May 31, 2017 7:57:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/1328) took 10194 ms. Total solver calls (SAT/UNSAT): 79178(2744/76434)
May 31, 2017 7:57:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/1328) took 11275 ms. Total solver calls (SAT/UNSAT): 88026(2772/85254)
May 31, 2017 7:57:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/1328) took 12344 ms. Total solver calls (SAT/UNSAT): 96825(2800/94025)
May 31, 2017 7:57:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/1328) took 13409 ms. Total solver calls (SAT/UNSAT): 105575(2828/102747)
May 31, 2017 7:57:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/1328) took 14467 ms. Total solver calls (SAT/UNSAT): 114276(2856/111420)
May 31, 2017 7:57:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/1328) took 15519 ms. Total solver calls (SAT/UNSAT): 122928(2884/120044)
May 31, 2017 7:57:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/1328) took 16571 ms. Total solver calls (SAT/UNSAT): 131531(2912/128619)
May 31, 2017 7:57:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/1328) took 17599 ms. Total solver calls (SAT/UNSAT): 140085(2940/137145)
May 31, 2017 7:57:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/1328) took 18632 ms. Total solver calls (SAT/UNSAT): 148590(2968/145622)
May 31, 2017 7:57:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/1328) took 19660 ms. Total solver calls (SAT/UNSAT): 157046(2996/154050)
May 31, 2017 7:57:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/1328) took 20688 ms. Total solver calls (SAT/UNSAT): 165453(3024/162429)
May 31, 2017 7:57:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/1328) took 21703 ms. Total solver calls (SAT/UNSAT): 173811(3052/170759)
May 31, 2017 7:57:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/1328) took 22711 ms. Total solver calls (SAT/UNSAT): 182120(3080/179040)
May 31, 2017 7:57:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/1328) took 23711 ms. Total solver calls (SAT/UNSAT): 190380(3108/187272)
May 31, 2017 7:57:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/1328) took 24836 ms. Total solver calls (SAT/UNSAT): 199760(3140/196620)
May 31, 2017 7:57:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/1328) took 25946 ms. Total solver calls (SAT/UNSAT): 209076(3172/205904)
May 31, 2017 7:57:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/1328) took 27050 ms. Total solver calls (SAT/UNSAT): 218328(3204/215124)
May 31, 2017 7:57:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/1328) took 28162 ms. Total solver calls (SAT/UNSAT): 227516(3236/224280)
May 31, 2017 7:57:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/1328) took 29264 ms. Total solver calls (SAT/UNSAT): 236640(3268/233372)
May 31, 2017 7:57:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/1328) took 30357 ms. Total solver calls (SAT/UNSAT): 245700(3300/242400)
May 31, 2017 7:57:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/1328) took 31444 ms. Total solver calls (SAT/UNSAT): 254696(3332/251364)
May 31, 2017 7:57:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/1328) took 32537 ms. Total solver calls (SAT/UNSAT): 263628(3364/260264)
May 31, 2017 7:57:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/1328) took 33613 ms. Total solver calls (SAT/UNSAT): 272496(3396/269100)
May 31, 2017 7:57:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/1328) took 34676 ms. Total solver calls (SAT/UNSAT): 281300(3428/277872)
May 31, 2017 7:57:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/1328) took 35754 ms. Total solver calls (SAT/UNSAT): 290040(3460/286580)
May 31, 2017 7:57:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/1328) took 36774 ms. Total solver calls (SAT/UNSAT): 298716(3492/295224)
May 31, 2017 7:57:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(255/1328) took 37781 ms. Total solver calls (SAT/UNSAT): 307328(3524/303804)
May 31, 2017 7:57:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/1328) took 38793 ms. Total solver calls (SAT/UNSAT): 315876(3556/312320)
May 31, 2017 7:57:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/1328) took 39916 ms. Total solver calls (SAT/UNSAT): 325416(3592/321824)
May 31, 2017 7:57:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/1328) took 41034 ms. Total solver calls (SAT/UNSAT): 334875(3628/331247)
May 31, 2017 7:57:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/1328) took 42156 ms. Total solver calls (SAT/UNSAT): 344253(3664/340589)
May 31, 2017 7:57:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/1328) took 43264 ms. Total solver calls (SAT/UNSAT): 353550(3700/349850)
May 31, 2017 7:57:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/1328) took 44359 ms. Total solver calls (SAT/UNSAT): 362766(3736/359030)
May 31, 2017 7:57:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/1328) took 45449 ms. Total solver calls (SAT/UNSAT): 371901(3772/368129)
May 31, 2017 7:58:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/1328) took 46524 ms. Total solver calls (SAT/UNSAT): 380955(3808/377147)
May 31, 2017 7:58:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/1328) took 47588 ms. Total solver calls (SAT/UNSAT): 389928(3844/386084)
May 31, 2017 7:58:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/1328) took 48652 ms. Total solver calls (SAT/UNSAT): 398820(3880/394940)
May 31, 2017 7:58:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/1328) took 49695 ms. Total solver calls (SAT/UNSAT): 407631(3916/403715)
May 31, 2017 7:58:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/1328) took 50731 ms. Total solver calls (SAT/UNSAT): 416361(3952/412409)
May 31, 2017 7:58:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/1328) took 51769 ms. Total solver calls (SAT/UNSAT): 425010(3988/421022)
May 31, 2017 7:58:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/1328) took 52788 ms. Total solver calls (SAT/UNSAT): 433578(4024/429554)
May 31, 2017 7:58:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/1328) took 53799 ms. Total solver calls (SAT/UNSAT): 442065(4060/438005)
May 31, 2017 7:58:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(399/1328) took 54904 ms. Total solver calls (SAT/UNSAT): 451400(4100/447300)
May 31, 2017 7:58:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(409/1328) took 55996 ms. Total solver calls (SAT/UNSAT): 460635(4140/456495)
May 31, 2017 7:58:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(419/1328) took 57066 ms. Total solver calls (SAT/UNSAT): 469770(4180/465590)
May 31, 2017 7:58:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/1328) took 58128 ms. Total solver calls (SAT/UNSAT): 478805(4220/474585)
May 31, 2017 7:58:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(439/1328) took 59182 ms. Total solver calls (SAT/UNSAT): 487740(4260/483480)
May 31, 2017 7:58:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(449/1328) took 60220 ms. Total solver calls (SAT/UNSAT): 496575(4300/492275)
May 31, 2017 7:58:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(459/1328) took 61249 ms. Total solver calls (SAT/UNSAT): 505310(4340/500970)
May 31, 2017 7:58:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(469/1328) took 62270 ms. Total solver calls (SAT/UNSAT): 513945(4380/509565)
May 31, 2017 7:58:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(479/1328) took 63301 ms. Total solver calls (SAT/UNSAT): 522480(4420/518060)
May 31, 2017 7:58:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(489/1328) took 64329 ms. Total solver calls (SAT/UNSAT): 530915(4460/526455)
May 31, 2017 7:58:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(500/1328) took 65424 ms. Total solver calls (SAT/UNSAT): 540078(4504/535574)
May 31, 2017 7:58:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(511/1328) took 66518 ms. Total solver calls (SAT/UNSAT): 549120(4548/544572)
May 31, 2017 7:58:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(522/1328) took 67603 ms. Total solver calls (SAT/UNSAT): 558041(4592/553449)
May 31, 2017 7:58:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(533/1328) took 68665 ms. Total solver calls (SAT/UNSAT): 566841(4636/562205)
May 31, 2017 7:58:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(544/1328) took 69704 ms. Total solver calls (SAT/UNSAT): 575520(4680/570840)
May 31, 2017 7:58:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(555/1328) took 70756 ms. Total solver calls (SAT/UNSAT): 584078(4724/579354)
May 31, 2017 7:58:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(567/1328) took 71842 ms. Total solver calls (SAT/UNSAT): 593276(4772/588504)
May 31, 2017 7:58:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(578/1328) took 72875 ms. Total solver calls (SAT/UNSAT): 601581(4816/596765)
May 31, 2017 7:58:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(590/1328) took 73937 ms. Total solver calls (SAT/UNSAT): 610503(4864/605639)
May 31, 2017 7:58:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(602/1328) took 75007 ms. Total solver calls (SAT/UNSAT): 619281(4912/614369)
May 31, 2017 7:58:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(614/1328) took 76047 ms. Total solver calls (SAT/UNSAT): 627915(4960/622955)
May 31, 2017 7:58:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(626/1328) took 77150 ms. Total solver calls (SAT/UNSAT): 636405(5008/631397)
May 31, 2017 7:58:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(638/1328) took 78165 ms. Total solver calls (SAT/UNSAT): 644751(5056/639695)
May 31, 2017 7:58:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(651/1328) took 79242 ms. Total solver calls (SAT/UNSAT): 653630(5108/648522)
May 31, 2017 7:58:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(664/1328) took 80301 ms. Total solver calls (SAT/UNSAT): 662340(5160/657180)
May 31, 2017 7:58:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(677/1328) took 81333 ms. Total solver calls (SAT/UNSAT): 670881(5212/665669)
May 31, 2017 7:58:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(690/1328) took 82338 ms. Total solver calls (SAT/UNSAT): 679253(5264/673989)
May 31, 2017 7:58:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(704/1328) took 83409 ms. Total solver calls (SAT/UNSAT): 688080(5320/682760)
May 31, 2017 7:58:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(718/1328) took 84463 ms. Total solver calls (SAT/UNSAT): 696711(5376/691335)
May 31, 2017 7:58:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(732/1328) took 85490 ms. Total solver calls (SAT/UNSAT): 705146(5432/699714)
May 31, 2017 7:58:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(747/1328) took 86534 ms. Total solver calls (SAT/UNSAT): 713966(5492/708474)
May 31, 2017 7:58:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(762/1328) took 87552 ms. Total solver calls (SAT/UNSAT): 722561(5552/717009)
May 31, 2017 7:58:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(778/1328) took 88627 ms. Total solver calls (SAT/UNSAT): 731481(5616/725865)
May 31, 2017 7:58:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(793/1328) took 89643 ms. Total solver calls (SAT/UNSAT): 739611(5676/733935)
May 31, 2017 7:58:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(810/1328) took 90698 ms. Total solver calls (SAT/UNSAT): 748553(5744/742809)
May 31, 2017 7:58:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(827/1328) took 91728 ms. Total solver calls (SAT/UNSAT): 757206(5812/751394)
May 31, 2017 7:58:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(845/1328) took 92768 ms. Total solver calls (SAT/UNSAT): 766053(5884/760169)
May 31, 2017 7:58:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(863/1328) took 93794 ms. Total solver calls (SAT/UNSAT): 774576(5956/768620)
May 31, 2017 7:58:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(882/1328) took 94839 ms. Total solver calls (SAT/UNSAT): 783221(6032/777189)
May 31, 2017 7:58:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(901/1328) took 95840 ms. Total solver calls (SAT/UNSAT): 791505(6108/785397)
May 31, 2017 7:58:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(921/1328) took 96847 ms. Total solver calls (SAT/UNSAT): 799835(6188/793647)
May 31, 2017 7:58:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(941/1328) took 97873 ms. Total solver calls (SAT/UNSAT): 807765(6268/801497)
May 31, 2017 7:58:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(964/1328) took 98881 ms. Total solver calls (SAT/UNSAT): 816390(6360/810030)
May 31, 2017 7:58:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(988/1328) took 99890 ms. Total solver calls (SAT/UNSAT): 824826(6456/818370)
May 31, 2017 7:58:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1014/1328) took 100900 ms. Total solver calls (SAT/UNSAT): 833315(6560/826755)
May 31, 2017 7:58:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1043/1328) took 101917 ms. Total solver calls (SAT/UNSAT): 841986(6676/835310)
May 31, 2017 7:58:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1076/1328) took 102945 ms. Total solver calls (SAT/UNSAT): 850830(6808/844022)
May 31, 2017 7:58:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1112/1328) took 103949 ms. Total solver calls (SAT/UNSAT): 859236(6952/852284)
May 31, 2017 7:58:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1152/1328) took 104977 ms. Total solver calls (SAT/UNSAT): 867056(7412/859644)
May 31, 2017 7:59:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1171/1328) took 106025 ms. Total solver calls (SAT/UNSAT): 870210(9388/860822)
May 31, 2017 7:59:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1206/1328) took 107036 ms. Total solver calls (SAT/UNSAT): 875075(11348/863727)
May 31, 2017 7:59:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1248/1328) took 108052 ms. Total solver calls (SAT/UNSAT): 879296(13644/865652)
May 31, 2017 7:59:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 108733 ms. Total solver calls (SAT/UNSAT): 882456(15100/867356)
May 31, 2017 7:59:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1328 transitions.
May 31, 2017 8:47:39 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
May 31, 2017 8:47:39 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
May 31, 2017 8:47:39 PM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null

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-COL-V50P50N10"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

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