About the Execution of ITS-Tools for PermAdmissibility-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15941.700 | 3600000.00 | 4487668.00 | 1700.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is PermAdmissibility-PT-05, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486600422
=====================================================================
--------------------
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 PermAdmissibility-COL-05-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496323963593
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ctl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 10
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out3_0 + 1'out3_1 + 1'out3_6 + 1'out3_7 + 1'out3_2 + 1'out3_3 + 1'out3_4 + 1'out3_5= 0
invariant : -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out8_1 + 1'out8_0 + 1'out8_3 + 1'out8_2 + 1'out8_6 + 1'out8_7 + 1'out8_4 + 1'out8_5= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + 2'c14= 0
invariant : -2'c20 + -2'out7_1 + -2'out7_0 + -2'out7_3 + -2'out7_2 + -2'out7_5 + -2'out7_4 + -2'out7_7 + -2'out7_6 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'aux6_0 + -1'c12 + -1'aux6_5 + -1'aux6_1 + -1'aux6_4 + -2'c13 + -2'in3_5 + -2'in3_4 + 2'c5= -10
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 1:32:44 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 1:32:44 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 109 ms
Jun 01, 2017 1:32:44 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 1:32:45 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 1:32:45 PM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 01, 2017 1:32:45 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property PermAdmissibility-COL-05-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 01, 2017 1:32:45 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 201 ms
Jun 01, 2017 1:32:45 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 25 ms
Jun 01, 2017 1:32:46 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 153 ms
Jun 01, 2017 1:32:54 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8721 ms
Jun 01, 2017 1:32:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 1:32:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 419 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 1:32:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1458 ms. Total solver calls (SAT/UNSAT): 408(237/171)
Jun 01, 2017 1:32:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/592 took 2797 ms. Total solver calls (SAT/UNSAT): 680(395/285)
Jun 01, 2017 1:32:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3872 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 01, 2017 1:32:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 5225 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 01, 2017 1:33:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 6521 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 01, 2017 1:33:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7805 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 01, 2017 1:33:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 8854 ms. Total solver calls (SAT/UNSAT): 2448(1422/1026)
Jun 01, 2017 1:33:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/592 took 9866 ms. Total solver calls (SAT/UNSAT): 2720(1580/1140)
Jun 01, 2017 1:33:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/592 took 11239 ms. Total solver calls (SAT/UNSAT): 3128(1817/1311)
Jun 01, 2017 1:33:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/592 took 12623 ms. Total solver calls (SAT/UNSAT): 3536(2054/1482)
Jun 01, 2017 1:33:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/592 took 13949 ms. Total solver calls (SAT/UNSAT): 3944(2291/1653)
Jun 01, 2017 1:33:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/592 took 15243 ms. Total solver calls (SAT/UNSAT): 4352(2528/1824)
Jun 01, 2017 1:33:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/592 took 16586 ms. Total solver calls (SAT/UNSAT): 4760(2765/1995)
Jun 01, 2017 1:33:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/592 took 17970 ms. Total solver calls (SAT/UNSAT): 5168(3002/2166)
Jun 01, 2017 1:33:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 19287 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 01, 2017 1:33:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 20581 ms. Total solver calls (SAT/UNSAT): 5712(3318/2394)
Jun 01, 2017 1:33:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/592 took 21601 ms. Total solver calls (SAT/UNSAT): 5984(3476/2508)
Jun 01, 2017 1:33:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/592 took 22914 ms. Total solver calls (SAT/UNSAT): 6392(3713/2679)
Jun 01, 2017 1:33:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/592 took 24205 ms. Total solver calls (SAT/UNSAT): 6800(3950/2850)
Jun 01, 2017 1:33:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/592 took 25529 ms. Total solver calls (SAT/UNSAT): 7208(4187/3021)
Jun 01, 2017 1:33:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/592 took 26857 ms. Total solver calls (SAT/UNSAT): 7616(4424/3192)
Jun 01, 2017 1:33:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 28090 ms. Total solver calls (SAT/UNSAT): 7888(4582/3306)
Jun 01, 2017 1:33:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 29183 ms. Total solver calls (SAT/UNSAT): 8175(4740/3435)
Jun 01, 2017 1:33:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 30385 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 01, 2017 1:33:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 31578 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 01, 2017 1:33:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 32767 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 01, 2017 1:33:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 33950 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 01, 2017 1:33:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 35144 ms. Total solver calls (SAT/UNSAT): 10440(5925/4515)
Jun 01, 2017 1:33:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 36342 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 01, 2017 1:33:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 37538 ms. Total solver calls (SAT/UNSAT): 11346(6399/4947)
Jun 01, 2017 1:33:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 38729 ms. Total solver calls (SAT/UNSAT): 11799(6636/5163)
Jun 01, 2017 1:33:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 39923 ms. Total solver calls (SAT/UNSAT): 12252(6873/5379)
Jun 01, 2017 1:33:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 41122 ms. Total solver calls (SAT/UNSAT): 12705(7110/5595)
Jun 01, 2017 1:33:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 42323 ms. Total solver calls (SAT/UNSAT): 13158(7347/5811)
Jun 01, 2017 1:33:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 43505 ms. Total solver calls (SAT/UNSAT): 13611(7584/6027)
Jun 01, 2017 1:33:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 44696 ms. Total solver calls (SAT/UNSAT): 14064(7821/6243)
Jun 01, 2017 1:33:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 45917 ms. Total solver calls (SAT/UNSAT): 14502(8058/6444)
Jun 01, 2017 1:33:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 47175 ms. Total solver calls (SAT/UNSAT): 14925(8295/6630)
Jun 01, 2017 1:33:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 48414 ms. Total solver calls (SAT/UNSAT): 15348(8532/6816)
Jun 01, 2017 1:33:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 49599 ms. Total solver calls (SAT/UNSAT): 15801(8769/7032)
Jun 01, 2017 1:33:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 50852 ms. Total solver calls (SAT/UNSAT): 16254(9006/7248)
Jun 01, 2017 1:33:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 52030 ms. Total solver calls (SAT/UNSAT): 16707(9243/7464)
Jun 01, 2017 1:33:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 53234 ms. Total solver calls (SAT/UNSAT): 17160(9480/7680)
Jun 01, 2017 1:33:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 54421 ms. Total solver calls (SAT/UNSAT): 17613(9717/7896)
Jun 01, 2017 1:33:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 55603 ms. Total solver calls (SAT/UNSAT): 18021(9954/8067)
Jun 01, 2017 1:33:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 56799 ms. Total solver calls (SAT/UNSAT): 18429(10191/8238)
Jun 01, 2017 1:33:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 58006 ms. Total solver calls (SAT/UNSAT): 18837(10428/8409)
Jun 01, 2017 1:33:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 59209 ms. Total solver calls (SAT/UNSAT): 19245(10665/8580)
Jun 01, 2017 1:33:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 60418 ms. Total solver calls (SAT/UNSAT): 19653(10902/8751)
Jun 01, 2017 1:33:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 61614 ms. Total solver calls (SAT/UNSAT): 20061(11139/8922)
Jun 01, 2017 1:33:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 62807 ms. Total solver calls (SAT/UNSAT): 20469(11376/9093)
Jun 01, 2017 1:33:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 63999 ms. Total solver calls (SAT/UNSAT): 20877(11613/9264)
Jun 01, 2017 1:33:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 65194 ms. Total solver calls (SAT/UNSAT): 21285(11850/9435)
Jun 01, 2017 1:34:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 66404 ms. Total solver calls (SAT/UNSAT): 21693(12087/9606)
Jun 01, 2017 1:34:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 67685 ms. Total solver calls (SAT/UNSAT): 22116(12324/9792)
Jun 01, 2017 1:34:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 68936 ms. Total solver calls (SAT/UNSAT): 22569(12561/10008)
Jun 01, 2017 1:34:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 70178 ms. Total solver calls (SAT/UNSAT): 22977(12798/10179)
Jun 01, 2017 1:34:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 71464 ms. Total solver calls (SAT/UNSAT): 23400(13035/10365)
Jun 01, 2017 1:34:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 72700 ms. Total solver calls (SAT/UNSAT): 23808(13272/10536)
Jun 01, 2017 1:34:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 73925 ms. Total solver calls (SAT/UNSAT): 24216(13509/10707)
Jun 01, 2017 1:34:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 75213 ms. Total solver calls (SAT/UNSAT): 24624(13746/10878)
Jun 01, 2017 1:34:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 76720 ms. Total solver calls (SAT/UNSAT): 25032(13983/11049)
Jun 01, 2017 1:34:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 77977 ms. Total solver calls (SAT/UNSAT): 25440(14220/11220)
Jun 01, 2017 1:34:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 79181 ms. Total solver calls (SAT/UNSAT): 25848(14457/11391)
Jun 01, 2017 1:34:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 80387 ms. Total solver calls (SAT/UNSAT): 26256(14694/11562)
Jun 01, 2017 1:34:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/592 took 81410 ms. Total solver calls (SAT/UNSAT): 26598(14931/11667)
Jun 01, 2017 1:34:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 82660 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 01, 2017 1:34:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/592 took 83906 ms. Total solver calls (SAT/UNSAT): 27422(15563/11859)
Jun 01, 2017 1:34:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/592 took 85155 ms. Total solver calls (SAT/UNSAT): 27834(15879/11955)
Jun 01, 2017 1:34:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 86409 ms. Total solver calls (SAT/UNSAT): 28246(16195/12051)
Jun 01, 2017 1:34:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/592 took 87646 ms. Total solver calls (SAT/UNSAT): 28658(16511/12147)
Jun 01, 2017 1:34:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/592 took 88876 ms. Total solver calls (SAT/UNSAT): 29070(16827/12243)
Jun 01, 2017 1:34:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 90120 ms. Total solver calls (SAT/UNSAT): 29482(17143/12339)
Jun 01, 2017 1:34:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/592 took 91357 ms. Total solver calls (SAT/UNSAT): 29894(17459/12435)
Jun 01, 2017 1:34:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 92472 ms. Total solver calls (SAT/UNSAT): 30269(17696/12573)
Jun 01, 2017 1:34:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 93672 ms. Total solver calls (SAT/UNSAT): 30677(17933/12744)
Jun 01, 2017 1:34:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/592 took 94921 ms. Total solver calls (SAT/UNSAT): 31089(18249/12840)
Jun 01, 2017 1:34:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/592 took 96178 ms. Total solver calls (SAT/UNSAT): 31501(18565/12936)
Jun 01, 2017 1:34:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/592 took 97428 ms. Total solver calls (SAT/UNSAT): 31913(18881/13032)
Jun 01, 2017 1:34:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/592 took 98690 ms. Total solver calls (SAT/UNSAT): 32325(19197/13128)
Jun 01, 2017 1:34:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 99970 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 01, 2017 1:34:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/592 took 101197 ms. Total solver calls (SAT/UNSAT): 33149(19829/13320)
Jun 01, 2017 1:34:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/592 took 102202 ms. Total solver calls (SAT/UNSAT): 33533(20117/13416)
Jun 01, 2017 1:34:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/592 took 103344 ms. Total solver calls (SAT/UNSAT): 33935(20431/13504)
Jun 01, 2017 1:34:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/592 took 104408 ms. Total solver calls (SAT/UNSAT): 34356(20704/13652)
Jun 01, 2017 1:34:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/592 took 105430 ms. Total solver calls (SAT/UNSAT): 34794(20957/13837)
Jun 01, 2017 1:34:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/592 took 106504 ms. Total solver calls (SAT/UNSAT): 35221(21233/13988)
Jun 01, 2017 1:34:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 107559 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 01, 2017 1:34:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 108671 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 01, 2017 1:34:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 109787 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 01, 2017 1:34:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 111014 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 01, 2017 1:34:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 112054 ms. Total solver calls (SAT/UNSAT): 37680(22470/15210)
Jun 01, 2017 1:34:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 113302 ms. Total solver calls (SAT/UNSAT): 38212(22756/15456)
Jun 01, 2017 1:34:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 114415 ms. Total solver calls (SAT/UNSAT): 38731(22993/15738)
Jun 01, 2017 1:34:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 115533 ms. Total solver calls (SAT/UNSAT): 39250(23230/16020)
Jun 01, 2017 1:34:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 116657 ms. Total solver calls (SAT/UNSAT): 39769(23467/16302)
Jun 01, 2017 1:34:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 117775 ms. Total solver calls (SAT/UNSAT): 40288(23704/16584)
Jun 01, 2017 1:34:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 118890 ms. Total solver calls (SAT/UNSAT): 40807(23941/16866)
Jun 01, 2017 1:34:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 120023 ms. Total solver calls (SAT/UNSAT): 41326(24178/17148)
Jun 01, 2017 1:34:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 121138 ms. Total solver calls (SAT/UNSAT): 41845(24415/17430)
Jun 01, 2017 1:34:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 122246 ms. Total solver calls (SAT/UNSAT): 42364(24652/17712)
Jun 01, 2017 1:34:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 123371 ms. Total solver calls (SAT/UNSAT): 42883(24889/17994)
Jun 01, 2017 1:34:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 124497 ms. Total solver calls (SAT/UNSAT): 43402(25126/18276)
Jun 01, 2017 1:35:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 125783 ms. Total solver calls (SAT/UNSAT): 43906(25363/18543)
Jun 01, 2017 1:35:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 127163 ms. Total solver calls (SAT/UNSAT): 44395(25600/18795)
Jun 01, 2017 1:35:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 128310 ms. Total solver calls (SAT/UNSAT): 44914(25837/19077)
Jun 01, 2017 1:35:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 129804 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 01, 2017 1:35:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 131329 ms. Total solver calls (SAT/UNSAT): 45862(26311/19551)
Jun 01, 2017 1:35:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 132372 ms. Total solver calls (SAT/UNSAT): 46178(26469/19709)
Jun 01, 2017 1:35:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/592 took 133671 ms. Total solver calls (SAT/UNSAT): 46697(26706/19991)
Jun 01, 2017 1:35:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 134827 ms. Total solver calls (SAT/UNSAT): 47216(26943/20273)
Jun 01, 2017 1:35:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/592 took 136003 ms. Total solver calls (SAT/UNSAT): 47735(27180/20555)
Jun 01, 2017 1:35:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/592 took 137180 ms. Total solver calls (SAT/UNSAT): 48254(27417/20837)
Jun 01, 2017 1:35:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 138359 ms. Total solver calls (SAT/UNSAT): 48773(27654/21119)
Jun 01, 2017 1:35:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/592 took 139787 ms. Total solver calls (SAT/UNSAT): 49262(27891/21371)
Jun 01, 2017 1:35:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 140787 ms. Total solver calls (SAT/UNSAT): 49578(28049/21529)
Jun 01, 2017 1:35:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 141814 ms. Total solver calls (SAT/UNSAT): 49894(28207/21687)
Jun 01, 2017 1:35:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 143340 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 01, 2017 1:35:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 144815 ms. Total solver calls (SAT/UNSAT): 50842(28681/22161)
Jun 01, 2017 1:35:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/592 took 145826 ms. Total solver calls (SAT/UNSAT): 51158(28839/22319)
Jun 01, 2017 1:35:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 147362 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 01, 2017 1:35:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 148494 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 01, 2017 1:35:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 149502 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 01, 2017 1:35:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 150507 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 01, 2017 1:35:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/592 took 152005 ms. Total solver calls (SAT/UNSAT): 53054(29787/23267)
Jun 01, 2017 1:35:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 153469 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 01, 2017 1:35:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/592 took 154927 ms. Total solver calls (SAT/UNSAT): 54002(30261/23741)
Jun 01, 2017 1:35:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 156439 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 01, 2017 1:35:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/592 took 157840 ms. Total solver calls (SAT/UNSAT): 54965(30735/24230)
Jun 01, 2017 1:35:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/592 took 159084 ms. Total solver calls (SAT/UNSAT): 55484(30972/24512)
Jun 01, 2017 1:35:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/592 took 160336 ms. Total solver calls (SAT/UNSAT): 56003(31209/24794)
Jun 01, 2017 1:35:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/592 took 161575 ms. Total solver calls (SAT/UNSAT): 56522(31446/25076)
Jun 01, 2017 1:35:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/592 took 162988 ms. Total solver calls (SAT/UNSAT): 57011(31683/25328)
Jun 01, 2017 1:35:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 164004 ms. Total solver calls (SAT/UNSAT): 57327(31841/25486)
Jun 01, 2017 1:35:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 165028 ms. Total solver calls (SAT/UNSAT): 57643(31999/25644)
Jun 01, 2017 1:35:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/592 took 166028 ms. Total solver calls (SAT/UNSAT): 57959(32157/25802)
Jun 01, 2017 1:35:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 167520 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 01, 2017 1:35:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 169013 ms. Total solver calls (SAT/UNSAT): 58907(32631/26276)
Jun 01, 2017 1:35:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 170031 ms. Total solver calls (SAT/UNSAT): 59223(32789/26434)
Jun 01, 2017 1:35:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 171274 ms. Total solver calls (SAT/UNSAT): 59742(33026/26716)
Jun 01, 2017 1:35:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 172516 ms. Total solver calls (SAT/UNSAT): 60261(33263/26998)
Jun 01, 2017 1:35:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 173741 ms. Total solver calls (SAT/UNSAT): 60780(33500/27280)
Jun 01, 2017 1:35:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 174951 ms. Total solver calls (SAT/UNSAT): 61299(33737/27562)
Jun 01, 2017 1:35:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 176182 ms. Total solver calls (SAT/UNSAT): 61818(33974/27844)
Jun 01, 2017 1:35:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 177412 ms. Total solver calls (SAT/UNSAT): 62337(34211/28126)
Jun 01, 2017 1:35:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 178647 ms. Total solver calls (SAT/UNSAT): 62856(34448/28408)
Jun 01, 2017 1:35:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 179880 ms. Total solver calls (SAT/UNSAT): 63375(34685/28690)
Jun 01, 2017 1:35:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 181140 ms. Total solver calls (SAT/UNSAT): 63894(34922/28972)
Jun 01, 2017 1:35:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 182387 ms. Total solver calls (SAT/UNSAT): 64413(35159/29254)
Jun 01, 2017 1:35:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 183617 ms. Total solver calls (SAT/UNSAT): 64932(35396/29536)
Jun 01, 2017 1:35:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 184845 ms. Total solver calls (SAT/UNSAT): 65451(35633/29818)
Jun 01, 2017 1:36:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 186073 ms. Total solver calls (SAT/UNSAT): 65970(35870/30100)
Jun 01, 2017 1:36:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 187296 ms. Total solver calls (SAT/UNSAT): 66489(36107/30382)
Jun 01, 2017 1:36:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 188539 ms. Total solver calls (SAT/UNSAT): 67008(36344/30664)
Jun 01, 2017 1:36:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 189771 ms. Total solver calls (SAT/UNSAT): 67527(36581/30946)
Jun 01, 2017 1:36:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 190801 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 01, 2017 1:36:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 191887 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 01, 2017 1:36:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 192942 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 01, 2017 1:36:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 194458 ms. Total solver calls (SAT/UNSAT): 68949(37292/31657)
Jun 01, 2017 1:36:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/592 took 195850 ms. Total solver calls (SAT/UNSAT): 69438(37529/31909)
Jun 01, 2017 1:36:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/592 took 197070 ms. Total solver calls (SAT/UNSAT): 69957(37766/32191)
Jun 01, 2017 1:36:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 198474 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 01, 2017 1:36:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 199476 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 01, 2017 1:36:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 200476 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 01, 2017 1:36:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 201521 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 01, 2017 1:36:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 202538 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 01, 2017 1:36:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 203565 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 01, 2017 1:36:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 204595 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 01, 2017 1:36:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 205595 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 01, 2017 1:36:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 206612 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 01, 2017 1:36:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 208131 ms. Total solver calls (SAT/UNSAT): 73448(39504/33944)
Jun 01, 2017 1:36:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 209172 ms. Total solver calls (SAT/UNSAT): 73764(39662/34102)
Jun 01, 2017 1:36:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 210177 ms. Total solver calls (SAT/UNSAT): 74080(39820/34260)
Jun 01, 2017 1:36:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 211197 ms. Total solver calls (SAT/UNSAT): 74396(39978/34418)
Jun 01, 2017 1:36:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 212222 ms. Total solver calls (SAT/UNSAT): 74712(40136/34576)
Jun 01, 2017 1:36:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 213253 ms. Total solver calls (SAT/UNSAT): 75028(40294/34734)
Jun 01, 2017 1:36:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 214762 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 01, 2017 1:36:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 215800 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 01, 2017 1:36:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 216806 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 01, 2017 1:36:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 217834 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 01, 2017 1:36:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 218849 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 01, 2017 1:36:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 219862 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 01, 2017 1:36:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 220890 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 01, 2017 1:36:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 221905 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 01, 2017 1:36:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 222918 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 01, 2017 1:36:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 223925 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 01, 2017 1:36:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 224445 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 1:36:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 1:36:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1136 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 1:36:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2228 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 1:36:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3329 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 1:36:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4422 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 1:36:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5533 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 01, 2017 1:36:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6617 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 01, 2017 1:36:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 7698 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 01, 2017 1:36:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 8800 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 01, 2017 1:36:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 9881 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 01, 2017 1:36:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 10956 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 01, 2017 1:36:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12025 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 01, 2017 1:36:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13097 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 01, 2017 1:36:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14157 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 01, 2017 1:36:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 15222 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 01, 2017 1:36:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 16301 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 01, 2017 1:36:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 17396 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 01, 2017 1:36:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 18498 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 01, 2017 1:36:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 19587 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 01, 2017 1:36:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 20674 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 01, 2017 1:37:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 21730 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 01, 2017 1:37:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 22772 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 01, 2017 1:37:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 23808 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 01, 2017 1:37:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 24886 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 01, 2017 1:37:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 25971 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 01, 2017 1:37:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 27102 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 01, 2017 1:37:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 28225 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 01, 2017 1:37:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 29357 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 01, 2017 1:37:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 30485 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 01, 2017 1:37:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 31583 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 01, 2017 1:37:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 32624 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 01, 2017 1:37:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 33690 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 01, 2017 1:37:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 34736 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 01, 2017 1:37:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 35817 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 01, 2017 1:37:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 36881 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 01, 2017 1:37:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 37943 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 01, 2017 1:37:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 39035 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 01, 2017 1:37:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 40157 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 01, 2017 1:37:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 41275 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 01, 2017 1:37:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 42401 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 01, 2017 1:37:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 43514 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 01, 2017 1:37:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 44551 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 01, 2017 1:37:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 45619 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 01, 2017 1:37:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 46664 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 01, 2017 1:37:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 47704 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 01, 2017 1:37:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 48759 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 01, 2017 1:37:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 49810 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 1:37:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 50864 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 01, 2017 1:37:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 51923 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 1:37:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 52981 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 1:37:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 54027 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 01, 2017 1:37:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 55085 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 1:37:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 56172 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 01, 2017 1:37:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 57279 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 1:37:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 58304 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 01, 2017 1:37:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 59364 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 1:37:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 60407 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 01, 2017 1:37:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 61452 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 1:37:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 62493 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 01, 2017 1:37:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 63521 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 01, 2017 1:37:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 64607 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 01, 2017 1:37:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 65660 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 01, 2017 1:37:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 66714 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 01, 2017 1:37:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 67715 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 01, 2017 1:37:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 68798 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 01, 2017 1:37:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 69888 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 01, 2017 1:37:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 70964 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 01, 2017 1:37:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 72051 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 01, 2017 1:37:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 73133 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 01, 2017 1:37:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 74232 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 01, 2017 1:37:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 75372 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 01, 2017 1:37:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 76430 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 01, 2017 1:37:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 77511 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 01, 2017 1:37:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 78599 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 01, 2017 1:37:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 79682 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 01, 2017 1:37:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 80756 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 01, 2017 1:38:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/592 took 81794 ms. Total solver calls (SAT/UNSAT): 33242(15264/17978)
Jun 01, 2017 1:38:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/592 took 82953 ms. Total solver calls (SAT/UNSAT): 33832(15424/18408)
Jun 01, 2017 1:38:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/592 took 83968 ms. Total solver calls (SAT/UNSAT): 34313(15576/18737)
Jun 01, 2017 1:38:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/592 took 85014 ms. Total solver calls (SAT/UNSAT): 34794(15816/18978)
Jun 01, 2017 1:38:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/592 took 86056 ms. Total solver calls (SAT/UNSAT): 35252(16052/19200)
Jun 01, 2017 1:38:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 87063 ms. Total solver calls (SAT/UNSAT): 35691(16264/19427)
Jun 01, 2017 1:38:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 88323 ms. Total solver calls (SAT/UNSAT): 36210(16546/19664)
Jun 01, 2017 1:38:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 89585 ms. Total solver calls (SAT/UNSAT): 36729(16828/19901)
Jun 01, 2017 1:38:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 90869 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 01, 2017 1:38:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 91922 ms. Total solver calls (SAT/UNSAT): 37680(17350/20330)
Jun 01, 2017 1:38:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 93141 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 01, 2017 1:38:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 94419 ms. Total solver calls (SAT/UNSAT): 38731(17906/20825)
Jun 01, 2017 1:38:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 95681 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 01, 2017 1:38:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 96943 ms. Total solver calls (SAT/UNSAT): 39769(18470/21299)
Jun 01, 2017 1:38:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 98213 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 01, 2017 1:38:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 99491 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 01, 2017 1:38:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 100743 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 01, 2017 1:38:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 101997 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 01, 2017 1:38:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 103265 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 01, 2017 1:38:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 104511 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 01, 2017 1:38:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 105747 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 01, 2017 1:38:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 107005 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 01, 2017 1:38:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 108233 ms. Total solver calls (SAT/UNSAT): 44395(21008/23387)
Jun 01, 2017 1:38:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 109494 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 01, 2017 1:38:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 110731 ms. Total solver calls (SAT/UNSAT): 45388(21572/23816)
Jun 01, 2017 1:38:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 111937 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 01, 2017 1:38:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 113175 ms. Total solver calls (SAT/UNSAT): 46351(22136/24215)
Jun 01, 2017 1:38:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 114427 ms. Total solver calls (SAT/UNSAT): 46870(22418/24452)
Jun 01, 2017 1:38:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 115681 ms. Total solver calls (SAT/UNSAT): 47389(22700/24689)
Jun 01, 2017 1:38:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 116928 ms. Total solver calls (SAT/UNSAT): 47908(22982/24926)
Jun 01, 2017 1:38:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 118175 ms. Total solver calls (SAT/UNSAT): 48427(23264/25163)
Jun 01, 2017 1:38:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 119418 ms. Total solver calls (SAT/UNSAT): 48946(23546/25400)
Jun 01, 2017 1:38:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 120639 ms. Total solver calls (SAT/UNSAT): 49420(23828/25592)
Jun 01, 2017 1:38:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 121879 ms. Total solver calls (SAT/UNSAT): 49894(24110/25784)
Jun 01, 2017 1:38:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 123116 ms. Total solver calls (SAT/UNSAT): 50368(24392/25976)
Jun 01, 2017 1:38:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 124330 ms. Total solver calls (SAT/UNSAT): 50842(24674/26168)
Jun 01, 2017 1:38:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 125528 ms. Total solver calls (SAT/UNSAT): 51316(24956/26360)
Jun 01, 2017 1:38:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 126731 ms. Total solver calls (SAT/UNSAT): 51790(25238/26552)
Jun 01, 2017 1:38:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 127951 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 01, 2017 1:38:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 129173 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 01, 2017 1:38:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 130385 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 01, 2017 1:38:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 131597 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 01, 2017 1:38:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 132792 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 01, 2017 1:38:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 134006 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 01, 2017 1:38:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 135241 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 01, 2017 1:38:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 136520 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 01, 2017 1:38:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 137776 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 01, 2017 1:38:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 139032 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 01, 2017 1:38:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 140268 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 01, 2017 1:39:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 141513 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 01, 2017 1:39:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 142739 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 01, 2017 1:39:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 143955 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 01, 2017 1:39:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 145197 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 01, 2017 1:39:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 146435 ms. Total solver calls (SAT/UNSAT): 59569(29750/29819)
Jun 01, 2017 1:39:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 147696 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 01, 2017 1:39:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 148949 ms. Total solver calls (SAT/UNSAT): 60607(30314/30293)
Jun 01, 2017 1:39:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 150243 ms. Total solver calls (SAT/UNSAT): 61126(30596/30530)
Jun 01, 2017 1:39:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 151477 ms. Total solver calls (SAT/UNSAT): 61645(30878/30767)
Jun 01, 2017 1:39:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 152729 ms. Total solver calls (SAT/UNSAT): 62164(31160/31004)
Jun 01, 2017 1:39:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 153974 ms. Total solver calls (SAT/UNSAT): 62683(31442/31241)
Jun 01, 2017 1:39:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 155226 ms. Total solver calls (SAT/UNSAT): 63202(31724/31478)
Jun 01, 2017 1:39:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 156476 ms. Total solver calls (SAT/UNSAT): 63721(32006/31715)
Jun 01, 2017 1:39:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 157728 ms. Total solver calls (SAT/UNSAT): 64240(32288/31952)
Jun 01, 2017 1:39:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 158976 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 01, 2017 1:39:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 160214 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 01, 2017 1:39:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 161465 ms. Total solver calls (SAT/UNSAT): 65797(33134/32663)
Jun 01, 2017 1:39:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 162728 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 01, 2017 1:39:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 163991 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 01, 2017 1:39:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/592 took 164992 ms. Total solver calls (SAT/UNSAT): 67181(33886/33295)
Jun 01, 2017 1:39:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 166396 ms. Total solver calls (SAT/UNSAT): 67685(34168/33517)
Jun 01, 2017 1:39:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 167654 ms. Total solver calls (SAT/UNSAT): 68159(34450/33709)
Jun 01, 2017 1:39:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 168904 ms. Total solver calls (SAT/UNSAT): 68633(34732/33901)
Jun 01, 2017 1:39:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 170144 ms. Total solver calls (SAT/UNSAT): 69107(35014/34093)
Jun 01, 2017 1:39:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 171580 ms. Total solver calls (SAT/UNSAT): 69611(35296/34315)
Jun 01, 2017 1:39:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 172791 ms. Total solver calls (SAT/UNSAT): 70130(35578/34552)
Jun 01, 2017 1:39:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 174035 ms. Total solver calls (SAT/UNSAT): 70604(35860/34744)
Jun 01, 2017 1:39:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 175262 ms. Total solver calls (SAT/UNSAT): 71078(36142/34936)
Jun 01, 2017 1:39:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 176269 ms. Total solver calls (SAT/UNSAT): 71394(36330/35064)
Jun 01, 2017 1:39:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 177547 ms. Total solver calls (SAT/UNSAT): 71868(36612/35256)
Jun 01, 2017 1:39:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 178788 ms. Total solver calls (SAT/UNSAT): 72342(36894/35448)
Jun 01, 2017 1:39:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 180057 ms. Total solver calls (SAT/UNSAT): 72816(37176/35640)
Jun 01, 2017 1:39:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 181074 ms. Total solver calls (SAT/UNSAT): 73132(37364/35768)
Jun 01, 2017 1:39:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 182094 ms. Total solver calls (SAT/UNSAT): 73448(37552/35896)
Jun 01, 2017 1:39:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 183390 ms. Total solver calls (SAT/UNSAT): 73922(37834/36088)
Jun 01, 2017 1:39:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 184639 ms. Total solver calls (SAT/UNSAT): 74396(38116/36280)
Jun 01, 2017 1:39:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 185878 ms. Total solver calls (SAT/UNSAT): 74870(38398/36472)
Jun 01, 2017 1:39:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/592 took 187090 ms. Total solver calls (SAT/UNSAT): 75344(38680/36664)
Jun 01, 2017 1:39:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 188295 ms. Total solver calls (SAT/UNSAT): 75818(38962/36856)
Jun 01, 2017 1:39:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/592 took 189517 ms. Total solver calls (SAT/UNSAT): 76292(39244/37048)
Jun 01, 2017 1:39:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 190773 ms. Total solver calls (SAT/UNSAT): 76766(39526/37240)
Jun 01, 2017 1:39:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 192005 ms. Total solver calls (SAT/UNSAT): 77240(39808/37432)
Jun 01, 2017 1:39:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 193235 ms. Total solver calls (SAT/UNSAT): 77714(40090/37624)
Jun 01, 2017 1:39:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 194459 ms. Total solver calls (SAT/UNSAT): 78188(40372/37816)
Jun 01, 2017 1:39:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 195261 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 1:39:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 1:39:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1270 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 1:39:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3124 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 01, 2017 1:39:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 5007 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 01, 2017 1:40:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 6842 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 01, 2017 1:40:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 8700 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 01, 2017 1:40:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 10524 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 01, 2017 1:40:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 12343 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 01, 2017 1:40:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 14140 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 01, 2017 1:40:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 15995 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 01, 2017 1:40:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 17852 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 01, 2017 1:40:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 19627 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 01, 2017 1:40:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 21434 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 01, 2017 1:40:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 23185 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 01, 2017 1:40:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 24934 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 01, 2017 1:40:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 26679 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 01, 2017 1:40:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 28466 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 01, 2017 1:40:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 30190 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 01, 2017 1:40:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 31870 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 01, 2017 1:40:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 33569 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 01, 2017 1:40:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 35254 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 01, 2017 1:40:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/592) took 36944 ms. Total solver calls (SAT/UNSAT): 23452(23452/0)
Jun 01, 2017 1:40:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/592) took 38650 ms. Total solver calls (SAT/UNSAT): 24553(24553/0)
Jun 01, 2017 1:40:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/592) took 40401 ms. Total solver calls (SAT/UNSAT): 25650(25650/0)
Jun 01, 2017 1:40:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/592) took 42086 ms. Total solver calls (SAT/UNSAT): 26743(26743/0)
Jun 01, 2017 1:40:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/592) took 43770 ms. Total solver calls (SAT/UNSAT): 27832(27832/0)
Jun 01, 2017 1:40:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/592) took 45419 ms. Total solver calls (SAT/UNSAT): 28917(28917/0)
Jun 01, 2017 1:40:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/592) took 47061 ms. Total solver calls (SAT/UNSAT): 29998(29998/0)
Jun 01, 2017 1:40:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/592) took 48713 ms. Total solver calls (SAT/UNSAT): 31075(31075/0)
Jun 01, 2017 1:40:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 50333 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 01, 2017 1:40:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 51940 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 01, 2017 1:40:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/592) took 53567 ms. Total solver calls (SAT/UNSAT): 34282(34282/0)
Jun 01, 2017 1:40:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/592) took 55182 ms. Total solver calls (SAT/UNSAT): 35343(35343/0)
Jun 01, 2017 1:40:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/592) took 56792 ms. Total solver calls (SAT/UNSAT): 36400(36400/0)
Jun 01, 2017 1:40:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/592) took 58395 ms. Total solver calls (SAT/UNSAT): 37453(37453/0)
Jun 01, 2017 1:40:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/592) took 59994 ms. Total solver calls (SAT/UNSAT): 38502(38502/0)
Jun 01, 2017 1:40:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/592) took 61566 ms. Total solver calls (SAT/UNSAT): 39547(39547/0)
Jun 01, 2017 1:40:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/592) took 63175 ms. Total solver calls (SAT/UNSAT): 40588(40588/0)
Jun 01, 2017 1:40:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/592) took 64787 ms. Total solver calls (SAT/UNSAT): 41625(41625/0)
Jun 01, 2017 1:41:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/592) took 66410 ms. Total solver calls (SAT/UNSAT): 42658(42658/0)
Jun 01, 2017 1:41:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 68298 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 01, 2017 1:41:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 69950 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 01, 2017 1:41:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 71563 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 01, 2017 1:41:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 73201 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 01, 2017 1:41:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 74821 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 01, 2017 1:41:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 76465 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 01, 2017 1:41:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 78022 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 01, 2017 1:41:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 79552 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 01, 2017 1:41:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 81104 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 01, 2017 1:41:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 82639 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 01, 2017 1:41:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 84166 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 01, 2017 1:41:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 85700 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 01, 2017 1:41:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 87176 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 01, 2017 1:41:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 88658 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 01, 2017 1:41:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 90141 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 01, 2017 1:41:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 91652 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 01, 2017 1:41:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 93130 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 01, 2017 1:41:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 94639 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 01, 2017 1:41:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 96127 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 01, 2017 1:41:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 97619 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 01, 2017 1:41:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 99102 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 01, 2017 1:41:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 100544 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 01, 2017 1:41:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 101989 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 01, 2017 1:41:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 103504 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 01, 2017 1:41:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 104990 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 01, 2017 1:41:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 106485 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 01, 2017 1:41:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 107967 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 01, 2017 1:41:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 109459 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 01, 2017 1:41:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 110935 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 01, 2017 1:41:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 112395 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 01, 2017 1:41:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 113858 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 01, 2017 1:41:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/592) took 115313 ms. Total solver calls (SAT/UNSAT): 73602(73602/0)
Jun 01, 2017 1:41:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/592) took 116752 ms. Total solver calls (SAT/UNSAT): 74503(74503/0)
Jun 01, 2017 1:41:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 118206 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 01, 2017 1:41:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 119652 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 01, 2017 1:41:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/592) took 121082 ms. Total solver calls (SAT/UNSAT): 77182(77182/0)
Jun 01, 2017 1:41:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/592) took 122495 ms. Total solver calls (SAT/UNSAT): 78067(78067/0)
Jun 01, 2017 1:41:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/592) took 123904 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Jun 01, 2017 1:41:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(154/592) took 125319 ms. Total solver calls (SAT/UNSAT): 79825(79825/0)
Jun 01, 2017 1:42:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/592) took 126690 ms. Total solver calls (SAT/UNSAT): 80698(80698/0)
Jun 01, 2017 1:42:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/592) took 128060 ms. Total solver calls (SAT/UNSAT): 81567(81567/0)
Jun 01, 2017 1:42:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(160/592) took 129462 ms. Total solver calls (SAT/UNSAT): 82432(82432/0)
Jun 01, 2017 1:42:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(162/592) took 130810 ms. Total solver calls (SAT/UNSAT): 83293(83293/0)
Jun 01, 2017 1:42:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/592) took 132165 ms. Total solver calls (SAT/UNSAT): 84150(84150/0)
Jun 01, 2017 1:42:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/592) took 133514 ms. Total solver calls (SAT/UNSAT): 85003(85003/0)
Jun 01, 2017 1:42:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/592) took 134875 ms. Total solver calls (SAT/UNSAT): 85852(85852/0)
Jun 01, 2017 1:42:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/592) took 136232 ms. Total solver calls (SAT/UNSAT): 86697(86697/0)
Jun 01, 2017 1:42:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/592) took 137589 ms. Total solver calls (SAT/UNSAT): 87538(87538/0)
Jun 01, 2017 1:42:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 138926 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 01, 2017 1:42:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/592) took 140249 ms. Total solver calls (SAT/UNSAT): 89208(89208/0)
Jun 01, 2017 1:42:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/592) took 141576 ms. Total solver calls (SAT/UNSAT): 90037(90037/0)
Jun 01, 2017 1:42:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/592) took 142865 ms. Total solver calls (SAT/UNSAT): 90862(90862/0)
Jun 01, 2017 1:42:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/592) took 144173 ms. Total solver calls (SAT/UNSAT): 91683(91683/0)
Jun 01, 2017 1:42:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/592) took 145491 ms. Total solver calls (SAT/UNSAT): 92500(92500/0)
Jun 01, 2017 1:42:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/592) took 146804 ms. Total solver calls (SAT/UNSAT): 93313(93313/0)
Jun 01, 2017 1:42:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/592) took 148042 ms. Total solver calls (SAT/UNSAT): 94122(94122/0)
Jun 01, 2017 1:42:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/592) took 149269 ms. Total solver calls (SAT/UNSAT): 94927(94927/0)
Jun 01, 2017 1:42:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/592) took 150486 ms. Total solver calls (SAT/UNSAT): 95728(95728/0)
Jun 01, 2017 1:42:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/592) took 151691 ms. Total solver calls (SAT/UNSAT): 96525(96525/0)
Jun 01, 2017 1:42:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/592) took 152892 ms. Total solver calls (SAT/UNSAT): 97318(97318/0)
Jun 01, 2017 1:42:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/592) took 154079 ms. Total solver calls (SAT/UNSAT): 98107(98107/0)
Jun 01, 2017 1:42:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/592) took 155248 ms. Total solver calls (SAT/UNSAT): 98892(98892/0)
Jun 01, 2017 1:42:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/592) took 156413 ms. Total solver calls (SAT/UNSAT): 99673(99673/0)
Jun 01, 2017 1:42:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/592) took 157590 ms. Total solver calls (SAT/UNSAT): 100450(100450/0)
Jun 01, 2017 1:42:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/592) took 158742 ms. Total solver calls (SAT/UNSAT): 101223(101223/0)
Jun 01, 2017 1:42:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/592) took 159897 ms. Total solver calls (SAT/UNSAT): 101992(101992/0)
Jun 01, 2017 1:42:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/592) took 161053 ms. Total solver calls (SAT/UNSAT): 102757(102757/0)
Jun 01, 2017 1:42:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/592) took 162191 ms. Total solver calls (SAT/UNSAT): 103518(103518/0)
Jun 01, 2017 1:42:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/592) took 163332 ms. Total solver calls (SAT/UNSAT): 104275(104275/0)
Jun 01, 2017 1:42:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/592) took 164455 ms. Total solver calls (SAT/UNSAT): 105028(105028/0)
Jun 01, 2017 1:42:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/592) took 165592 ms. Total solver calls (SAT/UNSAT): 105777(105777/0)
Jun 01, 2017 1:42:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/592) took 166713 ms. Total solver calls (SAT/UNSAT): 106522(106522/0)
Jun 01, 2017 1:42:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/592) took 167856 ms. Total solver calls (SAT/UNSAT): 107263(107263/0)
Jun 01, 2017 1:42:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/592) took 169016 ms. Total solver calls (SAT/UNSAT): 108000(108000/0)
Jun 01, 2017 1:42:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/592) took 170163 ms. Total solver calls (SAT/UNSAT): 108733(108733/0)
Jun 01, 2017 1:42:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/592) took 171267 ms. Total solver calls (SAT/UNSAT): 109462(109462/0)
Jun 01, 2017 1:42:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/592) took 172351 ms. Total solver calls (SAT/UNSAT): 110187(110187/0)
Jun 01, 2017 1:42:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/592) took 173440 ms. Total solver calls (SAT/UNSAT): 110908(110908/0)
Jun 01, 2017 1:42:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/592) took 174532 ms. Total solver calls (SAT/UNSAT): 111625(111625/0)
Jun 01, 2017 1:42:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/592) took 175628 ms. Total solver calls (SAT/UNSAT): 112338(112338/0)
Jun 01, 2017 1:42:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/592) took 176707 ms. Total solver calls (SAT/UNSAT): 113047(113047/0)
Jun 01, 2017 1:42:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/592) took 177790 ms. Total solver calls (SAT/UNSAT): 113752(113752/0)
Jun 01, 2017 1:42:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/592) took 178862 ms. Total solver calls (SAT/UNSAT): 114453(114453/0)
Jun 01, 2017 1:42:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(244/592) took 179931 ms. Total solver calls (SAT/UNSAT): 115150(115150/0)
Jun 01, 2017 1:42:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/592) took 180980 ms. Total solver calls (SAT/UNSAT): 115843(115843/0)
Jun 01, 2017 1:42:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/592) took 181997 ms. Total solver calls (SAT/UNSAT): 116532(116532/0)
Jun 01, 2017 1:42:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/592) took 183045 ms. Total solver calls (SAT/UNSAT): 117217(117217/0)
Jun 01, 2017 1:42:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/592) took 184443 ms. Total solver calls (SAT/UNSAT): 118237(118237/0)
Jun 01, 2017 1:43:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/592) took 185806 ms. Total solver calls (SAT/UNSAT): 119248(119248/0)
Jun 01, 2017 1:43:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/592) took 187160 ms. Total solver calls (SAT/UNSAT): 120250(120250/0)
Jun 01, 2017 1:43:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/592) took 188504 ms. Total solver calls (SAT/UNSAT): 121243(121243/0)
Jun 01, 2017 1:43:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 189911 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 01, 2017 1:43:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 191311 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 01, 2017 1:43:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/592) took 192713 ms. Total solver calls (SAT/UNSAT): 124168(124168/0)
Jun 01, 2017 1:43:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 194065 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 01, 2017 1:43:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(277/592) took 195451 ms. Total solver calls (SAT/UNSAT): 126073(126073/0)
Jun 01, 2017 1:43:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(280/592) took 196827 ms. Total solver calls (SAT/UNSAT): 127012(127012/0)
Jun 01, 2017 1:43:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(283/592) took 198191 ms. Total solver calls (SAT/UNSAT): 127942(127942/0)
Jun 01, 2017 1:43:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(286/592) took 199500 ms. Total solver calls (SAT/UNSAT): 128863(128863/0)
Jun 01, 2017 1:43:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(289/592) took 200780 ms. Total solver calls (SAT/UNSAT): 129775(129775/0)
Jun 01, 2017 1:43:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(292/592) took 202016 ms. Total solver calls (SAT/UNSAT): 130678(130678/0)
Jun 01, 2017 1:43:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(295/592) took 203228 ms. Total solver calls (SAT/UNSAT): 131572(131572/0)
Jun 01, 2017 1:43:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(298/592) took 204431 ms. Total solver calls (SAT/UNSAT): 132457(132457/0)
Jun 01, 2017 1:43:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(301/592) took 205651 ms. Total solver calls (SAT/UNSAT): 133333(133333/0)
Jun 01, 2017 1:43:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(304/592) took 206827 ms. Total solver calls (SAT/UNSAT): 134200(134200/0)
Jun 01, 2017 1:43:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(307/592) took 208024 ms. Total solver calls (SAT/UNSAT): 135058(135058/0)
Jun 01, 2017 1:43:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(310/592) took 209183 ms. Total solver calls (SAT/UNSAT): 135907(135907/0)
Jun 01, 2017 1:43:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(313/592) took 210330 ms. Total solver calls (SAT/UNSAT): 136747(136747/0)
Jun 01, 2017 1:43:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(316/592) took 211527 ms. Total solver calls (SAT/UNSAT): 137578(137578/0)
Jun 01, 2017 1:43:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(319/592) took 212756 ms. Total solver calls (SAT/UNSAT): 138400(138400/0)
Jun 01, 2017 1:43:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(322/592) took 213958 ms. Total solver calls (SAT/UNSAT): 139213(139213/0)
Jun 01, 2017 1:43:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(325/592) took 215223 ms. Total solver calls (SAT/UNSAT): 140017(140017/0)
Jun 01, 2017 1:43:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(328/592) took 216430 ms. Total solver calls (SAT/UNSAT): 140812(140812/0)
Jun 01, 2017 1:43:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(331/592) took 217625 ms. Total solver calls (SAT/UNSAT): 141598(141598/0)
Jun 01, 2017 1:43:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(334/592) took 218826 ms. Total solver calls (SAT/UNSAT): 142375(142375/0)
Jun 01, 2017 1:43:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(337/592) took 220014 ms. Total solver calls (SAT/UNSAT): 143143(143143/0)
Jun 01, 2017 1:43:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(340/592) took 221129 ms. Total solver calls (SAT/UNSAT): 143902(143902/0)
Jun 01, 2017 1:43:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/592) took 222201 ms. Total solver calls (SAT/UNSAT): 144652(144652/0)
Jun 01, 2017 1:43:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(346/592) took 223330 ms. Total solver calls (SAT/UNSAT): 145393(145393/0)
Jun 01, 2017 1:43:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(349/592) took 224446 ms. Total solver calls (SAT/UNSAT): 146125(146125/0)
Jun 01, 2017 1:43:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(352/592) took 225529 ms. Total solver calls (SAT/UNSAT): 146848(146848/0)
Jun 01, 2017 1:43:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/592) took 226598 ms. Total solver calls (SAT/UNSAT): 147562(147562/0)
Jun 01, 2017 1:43:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(358/592) took 227659 ms. Total solver calls (SAT/UNSAT): 148267(148267/0)
Jun 01, 2017 1:43:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(361/592) took 228718 ms. Total solver calls (SAT/UNSAT): 148963(148963/0)
Jun 01, 2017 1:43:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(364/592) took 229736 ms. Total solver calls (SAT/UNSAT): 149650(149650/0)
Jun 01, 2017 1:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(367/592) took 230749 ms. Total solver calls (SAT/UNSAT): 150328(150328/0)
Jun 01, 2017 1:43:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/592) took 232072 ms. Total solver calls (SAT/UNSAT): 151218(151218/0)
Jun 01, 2017 1:43:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/592) took 233379 ms. Total solver calls (SAT/UNSAT): 152092(152092/0)
Jun 01, 2017 1:43:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/592) took 234666 ms. Total solver calls (SAT/UNSAT): 152950(152950/0)
Jun 01, 2017 1:43:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/592) took 235703 ms. Total solver calls (SAT/UNSAT): 153583(153583/0)
Jun 01, 2017 1:43:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/592) took 236929 ms. Total solver calls (SAT/UNSAT): 154413(154413/0)
Jun 01, 2017 1:43:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/592) took 237937 ms. Total solver calls (SAT/UNSAT): 155025(155025/0)
Jun 01, 2017 1:43:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(392/592) took 238957 ms. Total solver calls (SAT/UNSAT): 155628(155628/0)
Jun 01, 2017 1:43:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(396/592) took 240202 ms. Total solver calls (SAT/UNSAT): 156418(156418/0)
Jun 01, 2017 1:43:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/592) took 241359 ms. Total solver calls (SAT/UNSAT): 157192(157192/0)
Jun 01, 2017 1:43:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(404/592) took 242518 ms. Total solver calls (SAT/UNSAT): 157950(157950/0)
Jun 01, 2017 1:43:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(408/592) took 243637 ms. Total solver calls (SAT/UNSAT): 158692(158692/0)
Jun 01, 2017 1:43:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/592) took 244785 ms. Total solver calls (SAT/UNSAT): 159418(159418/0)
Jun 01, 2017 1:44:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/592) took 245966 ms. Total solver calls (SAT/UNSAT): 160128(160128/0)
Jun 01, 2017 1:44:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/592) took 247102 ms. Total solver calls (SAT/UNSAT): 160822(160822/0)
Jun 01, 2017 1:44:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(424/592) took 248226 ms. Total solver calls (SAT/UNSAT): 161500(161500/0)
Jun 01, 2017 1:44:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(428/592) took 249329 ms. Total solver calls (SAT/UNSAT): 162162(162162/0)
Jun 01, 2017 1:44:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(432/592) took 250382 ms. Total solver calls (SAT/UNSAT): 162808(162808/0)
Jun 01, 2017 1:44:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/592) took 251406 ms. Total solver calls (SAT/UNSAT): 163438(163438/0)
Jun 01, 2017 1:44:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/592) took 252422 ms. Total solver calls (SAT/UNSAT): 164052(164052/0)
Jun 01, 2017 1:44:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 253623 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 01, 2017 1:44:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/592) took 254754 ms. Total solver calls (SAT/UNSAT): 165517(165517/0)
Jun 01, 2017 1:44:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/592) took 255817 ms. Total solver calls (SAT/UNSAT): 166212(166212/0)
Jun 01, 2017 1:44:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/592) took 256859 ms. Total solver calls (SAT/UNSAT): 166882(166882/0)
Jun 01, 2017 1:44:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(465/592) took 257885 ms. Total solver calls (SAT/UNSAT): 167527(167527/0)
Jun 01, 2017 1:44:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(471/592) took 259067 ms. Total solver calls (SAT/UNSAT): 168268(168268/0)
Jun 01, 2017 1:44:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(477/592) took 260145 ms. Total solver calls (SAT/UNSAT): 168973(168973/0)
Jun 01, 2017 1:44:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(483/592) took 261166 ms. Total solver calls (SAT/UNSAT): 169642(169642/0)
Jun 01, 2017 1:44:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(490/592) took 262274 ms. Total solver calls (SAT/UNSAT): 170377(170377/0)
Jun 01, 2017 1:44:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(497/592) took 263317 ms. Total solver calls (SAT/UNSAT): 171063(171063/0)
Jun 01, 2017 1:44:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/592) took 264409 ms. Total solver calls (SAT/UNSAT): 171787(171787/0)
Jun 01, 2017 1:44:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(513/592) took 265431 ms. Total solver calls (SAT/UNSAT): 172447(172447/0)
Jun 01, 2017 1:44:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(522/592) took 266442 ms. Total solver calls (SAT/UNSAT): 173113(173113/0)
Jun 01, 2017 1:44:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(531/592) took 267492 ms. Total solver calls (SAT/UNSAT): 173698(173698/0)
Jun 01, 2017 1:44:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(542/592) took 268522 ms. Total solver calls (SAT/UNSAT): 174303(174303/0)
Jun 01, 2017 1:44:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(555/592) took 269545 ms. Total solver calls (SAT/UNSAT): 174862(174862/0)
Jun 01, 2017 1:44:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(575/592) took 270545 ms. Total solver calls (SAT/UNSAT): 175392(175392/0)
Jun 01, 2017 1:44:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 270819 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 1:44:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-PT-05"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-05.tgz
mv PermAdmissibility-PT-05 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 PermAdmissibility-PT-05, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-blw7-149440486600422"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;