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 |
| 15945.330 | 3600000.00 | 4458795.00 | 597.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is PermAdmissibility-PT-05, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486600419
=====================================================================
--------------------
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-LTLCardinality-0
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-1
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-10
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-11
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-12
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-13
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-14
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-15
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-2
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-3
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-4
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-5
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-6
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-7
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-8
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496322888431
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !(("c18<=c11"))
Formula 0 simplified : !"c18<=c11"
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
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 1:14:49 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 1:14:50 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 105 ms
Jun 01, 2017 1:14:50 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 1:14:50 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 1:14:50 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 161 ms
Jun 01, 2017 1:14:50 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 26 ms
Jun 01, 2017 1:14:50 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 01, 2017 1:14:51 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 147 ms
Jun 01, 2017 1:14:59 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8875 ms
Jun 01, 2017 1:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 1:15:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 526 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 1:15:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1544 ms. Total solver calls (SAT/UNSAT): 408(237/171)
Jun 01, 2017 1:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2910 ms. Total solver calls (SAT/UNSAT): 816(474/342)
Jun 01, 2017 1:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 4209 ms. Total solver calls (SAT/UNSAT): 1224(711/513)
Jun 01, 2017 1:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 5498 ms. Total solver calls (SAT/UNSAT): 1632(948/684)
Jun 01, 2017 1:15:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 6788 ms. Total solver calls (SAT/UNSAT): 2040(1185/855)
Jun 01, 2017 1:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 8070 ms. Total solver calls (SAT/UNSAT): 2448(1422/1026)
Jun 01, 2017 1:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 9360 ms. Total solver calls (SAT/UNSAT): 2856(1659/1197)
Jun 01, 2017 1:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 10666 ms. Total solver calls (SAT/UNSAT): 3264(1896/1368)
Jun 01, 2017 1:15:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 11948 ms. Total solver calls (SAT/UNSAT): 3672(2133/1539)
Jun 01, 2017 1:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 13243 ms. Total solver calls (SAT/UNSAT): 4080(2370/1710)
Jun 01, 2017 1:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 14520 ms. Total solver calls (SAT/UNSAT): 4488(2607/1881)
Jun 01, 2017 1:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 15951 ms. Total solver calls (SAT/UNSAT): 4896(2844/2052)
Jun 01, 2017 1:15:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 17368 ms. Total solver calls (SAT/UNSAT): 5304(3081/2223)
Jun 01, 2017 1:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 18863 ms. Total solver calls (SAT/UNSAT): 5712(3318/2394)
Jun 01, 2017 1:15:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 20204 ms. Total solver calls (SAT/UNSAT): 6120(3555/2565)
Jun 01, 2017 1:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 21601 ms. Total solver calls (SAT/UNSAT): 6528(3792/2736)
Jun 01, 2017 1:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 22960 ms. Total solver calls (SAT/UNSAT): 6936(4029/2907)
Jun 01, 2017 1:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 24259 ms. Total solver calls (SAT/UNSAT): 7344(4266/3078)
Jun 01, 2017 1:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 25536 ms. Total solver calls (SAT/UNSAT): 7752(4503/3249)
Jun 01, 2017 1:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 26787 ms. Total solver calls (SAT/UNSAT): 8175(4740/3435)
Jun 01, 2017 1:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 27997 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 01, 2017 1:15:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 29196 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 01, 2017 1:15:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 30390 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 01, 2017 1:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 31590 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 01, 2017 1:15:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 32803 ms. Total solver calls (SAT/UNSAT): 10440(5925/4515)
Jun 01, 2017 1:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 33995 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 01, 2017 1:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 35194 ms. Total solver calls (SAT/UNSAT): 11346(6399/4947)
Jun 01, 2017 1:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 36405 ms. Total solver calls (SAT/UNSAT): 11799(6636/5163)
Jun 01, 2017 1:15:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 37617 ms. Total solver calls (SAT/UNSAT): 12252(6873/5379)
Jun 01, 2017 1:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 38836 ms. Total solver calls (SAT/UNSAT): 12705(7110/5595)
Jun 01, 2017 1:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 40036 ms. Total solver calls (SAT/UNSAT): 13158(7347/5811)
Jun 01, 2017 1:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 41217 ms. Total solver calls (SAT/UNSAT): 13611(7584/6027)
Jun 01, 2017 1:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 42409 ms. Total solver calls (SAT/UNSAT): 14064(7821/6243)
Jun 01, 2017 1:15:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 43615 ms. Total solver calls (SAT/UNSAT): 14502(8058/6444)
Jun 01, 2017 1:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 44872 ms. Total solver calls (SAT/UNSAT): 14925(8295/6630)
Jun 01, 2017 1:15:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 46116 ms. Total solver calls (SAT/UNSAT): 15348(8532/6816)
Jun 01, 2017 1:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 47311 ms. Total solver calls (SAT/UNSAT): 15801(8769/7032)
Jun 01, 2017 1:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 48503 ms. Total solver calls (SAT/UNSAT): 16254(9006/7248)
Jun 01, 2017 1:15:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 49673 ms. Total solver calls (SAT/UNSAT): 16707(9243/7464)
Jun 01, 2017 1:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 50941 ms. Total solver calls (SAT/UNSAT): 17160(9480/7680)
Jun 01, 2017 1:15:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 52139 ms. Total solver calls (SAT/UNSAT): 17613(9717/7896)
Jun 01, 2017 1:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 53342 ms. Total solver calls (SAT/UNSAT): 18021(9954/8067)
Jun 01, 2017 1:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 54556 ms. Total solver calls (SAT/UNSAT): 18429(10191/8238)
Jun 01, 2017 1:15:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 55780 ms. Total solver calls (SAT/UNSAT): 18837(10428/8409)
Jun 01, 2017 1:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 57004 ms. Total solver calls (SAT/UNSAT): 19245(10665/8580)
Jun 01, 2017 1:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 58234 ms. Total solver calls (SAT/UNSAT): 19653(10902/8751)
Jun 01, 2017 1:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 59450 ms. Total solver calls (SAT/UNSAT): 20061(11139/8922)
Jun 01, 2017 1:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 60664 ms. Total solver calls (SAT/UNSAT): 20469(11376/9093)
Jun 01, 2017 1:16:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 61881 ms. Total solver calls (SAT/UNSAT): 20877(11613/9264)
Jun 01, 2017 1:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 63107 ms. Total solver calls (SAT/UNSAT): 21285(11850/9435)
Jun 01, 2017 1:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 64325 ms. Total solver calls (SAT/UNSAT): 21693(12087/9606)
Jun 01, 2017 1:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 65545 ms. Total solver calls (SAT/UNSAT): 22116(12324/9792)
Jun 01, 2017 1:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 66752 ms. Total solver calls (SAT/UNSAT): 22569(12561/10008)
Jun 01, 2017 1:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 67970 ms. Total solver calls (SAT/UNSAT): 22977(12798/10179)
Jun 01, 2017 1:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 69177 ms. Total solver calls (SAT/UNSAT): 23400(13035/10365)
Jun 01, 2017 1:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 70490 ms. Total solver calls (SAT/UNSAT): 23808(13272/10536)
Jun 01, 2017 1:16:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 71731 ms. Total solver calls (SAT/UNSAT): 24216(13509/10707)
Jun 01, 2017 1:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 72947 ms. Total solver calls (SAT/UNSAT): 24624(13746/10878)
Jun 01, 2017 1:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 74157 ms. Total solver calls (SAT/UNSAT): 25032(13983/11049)
Jun 01, 2017 1:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 75371 ms. Total solver calls (SAT/UNSAT): 25440(14220/11220)
Jun 01, 2017 1:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 76589 ms. Total solver calls (SAT/UNSAT): 25848(14457/11391)
Jun 01, 2017 1:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 77805 ms. Total solver calls (SAT/UNSAT): 26256(14694/11562)
Jun 01, 2017 1:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/592 took 78835 ms. Total solver calls (SAT/UNSAT): 26598(14931/11667)
Jun 01, 2017 1:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 80094 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 01, 2017 1:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/592 took 81356 ms. Total solver calls (SAT/UNSAT): 27422(15563/11859)
Jun 01, 2017 1:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/592 took 82640 ms. Total solver calls (SAT/UNSAT): 27834(15879/11955)
Jun 01, 2017 1:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 83921 ms. Total solver calls (SAT/UNSAT): 28246(16195/12051)
Jun 01, 2017 1:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/592 took 85197 ms. Total solver calls (SAT/UNSAT): 28658(16511/12147)
Jun 01, 2017 1:16:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/592 took 86465 ms. Total solver calls (SAT/UNSAT): 29070(16827/12243)
Jun 01, 2017 1:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 87723 ms. Total solver calls (SAT/UNSAT): 29482(17143/12339)
Jun 01, 2017 1:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/592 took 88989 ms. Total solver calls (SAT/UNSAT): 29894(17459/12435)
Jun 01, 2017 1:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 90109 ms. Total solver calls (SAT/UNSAT): 30269(17696/12573)
Jun 01, 2017 1:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 91323 ms. Total solver calls (SAT/UNSAT): 30677(17933/12744)
Jun 01, 2017 1:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/592 took 92582 ms. Total solver calls (SAT/UNSAT): 31089(18249/12840)
Jun 01, 2017 1:16:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/592 took 93865 ms. Total solver calls (SAT/UNSAT): 31501(18565/12936)
Jun 01, 2017 1:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/592 took 95111 ms. Total solver calls (SAT/UNSAT): 31913(18881/13032)
Jun 01, 2017 1:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/592 took 96359 ms. Total solver calls (SAT/UNSAT): 32325(19197/13128)
Jun 01, 2017 1:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 97617 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 01, 2017 1:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/592 took 98885 ms. Total solver calls (SAT/UNSAT): 33149(19829/13320)
Jun 01, 2017 1:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/592 took 99904 ms. Total solver calls (SAT/UNSAT): 33533(20117/13416)
Jun 01, 2017 1:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/592 took 101107 ms. Total solver calls (SAT/UNSAT): 33935(20431/13504)
Jun 01, 2017 1:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/592 took 102135 ms. Total solver calls (SAT/UNSAT): 34313(20681/13632)
Jun 01, 2017 1:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/592 took 103135 ms. Total solver calls (SAT/UNSAT): 34722(20911/13811)
Jun 01, 2017 1:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/592 took 104196 ms. Total solver calls (SAT/UNSAT): 35118(21164/13954)
Jun 01, 2017 1:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 105591 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 01, 2017 1:16:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 106799 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 01, 2017 1:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 108001 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 01, 2017 1:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 109312 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 01, 2017 1:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 110316 ms. Total solver calls (SAT/UNSAT): 37644(22447/15197)
Jun 01, 2017 1:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/592 took 111339 ms. Total solver calls (SAT/UNSAT): 38039(22677/15362)
Jun 01, 2017 1:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 112546 ms. Total solver calls (SAT/UNSAT): 38558(22914/15644)
Jun 01, 2017 1:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 113761 ms. Total solver calls (SAT/UNSAT): 39077(23151/15926)
Jun 01, 2017 1:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 114977 ms. Total solver calls (SAT/UNSAT): 39596(23388/16208)
Jun 01, 2017 1:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/592 took 116184 ms. Total solver calls (SAT/UNSAT): 40115(23625/16490)
Jun 01, 2017 1:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 117390 ms. Total solver calls (SAT/UNSAT): 40634(23862/16772)
Jun 01, 2017 1:16:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 118605 ms. Total solver calls (SAT/UNSAT): 41153(24099/17054)
Jun 01, 2017 1:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 119803 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 01, 2017 1:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 121003 ms. Total solver calls (SAT/UNSAT): 42191(24573/17618)
Jun 01, 2017 1:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 122196 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 01, 2017 1:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 123393 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 01, 2017 1:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 124611 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 01, 2017 1:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 125620 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 01, 2017 1:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 126916 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 01, 2017 1:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 128214 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 01, 2017 1:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 129222 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 01, 2017 1:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 130711 ms. Total solver calls (SAT/UNSAT): 45862(26311/19551)
Jun 01, 2017 1:17:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 132122 ms. Total solver calls (SAT/UNSAT): 46351(26548/19803)
Jun 01, 2017 1:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 133343 ms. Total solver calls (SAT/UNSAT): 46870(26785/20085)
Jun 01, 2017 1:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 134567 ms. Total solver calls (SAT/UNSAT): 47389(27022/20367)
Jun 01, 2017 1:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 135774 ms. Total solver calls (SAT/UNSAT): 47908(27259/20649)
Jun 01, 2017 1:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 137004 ms. Total solver calls (SAT/UNSAT): 48427(27496/20931)
Jun 01, 2017 1:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 138235 ms. Total solver calls (SAT/UNSAT): 48946(27733/21213)
Jun 01, 2017 1:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/592 took 139242 ms. Total solver calls (SAT/UNSAT): 49262(27891/21371)
Jun 01, 2017 1:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 140242 ms. Total solver calls (SAT/UNSAT): 49578(28049/21529)
Jun 01, 2017 1:17:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 141257 ms. Total solver calls (SAT/UNSAT): 49894(28207/21687)
Jun 01, 2017 1:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/592 took 142260 ms. Total solver calls (SAT/UNSAT): 50210(28365/21845)
Jun 01, 2017 1:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 143263 ms. Total solver calls (SAT/UNSAT): 50526(28523/22003)
Jun 01, 2017 1:17:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 144753 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 01, 2017 1:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 146243 ms. Total solver calls (SAT/UNSAT): 51474(28997/22477)
Jun 01, 2017 1:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 147261 ms. Total solver calls (SAT/UNSAT): 51790(29155/22635)
Jun 01, 2017 1:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 148740 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 01, 2017 1:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 149807 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 01, 2017 1:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 150826 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 01, 2017 1:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 151830 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 01, 2017 1:17:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 152841 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 01, 2017 1:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 153850 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 01, 2017 1:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 155346 ms. Total solver calls (SAT/UNSAT): 54318(30419/23899)
Jun 01, 2017 1:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 156362 ms. Total solver calls (SAT/UNSAT): 54634(30577/24057)
Jun 01, 2017 1:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 157687 ms. Total solver calls (SAT/UNSAT): 55138(30814/24324)
Jun 01, 2017 1:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 158926 ms. Total solver calls (SAT/UNSAT): 55657(31051/24606)
Jun 01, 2017 1:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 160142 ms. Total solver calls (SAT/UNSAT): 56176(31288/24888)
Jun 01, 2017 1:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 161377 ms. Total solver calls (SAT/UNSAT): 56695(31525/25170)
Jun 01, 2017 1:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 162853 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 01, 2017 1:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 164011 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 01, 2017 1:17:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 165021 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 01, 2017 1:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/592 took 166499 ms. Total solver calls (SAT/UNSAT): 58275(32315/25960)
Jun 01, 2017 1:17:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 167503 ms. Total solver calls (SAT/UNSAT): 58591(32473/26118)
Jun 01, 2017 1:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 168994 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 01, 2017 1:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 170328 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 01, 2017 1:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 171577 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 01, 2017 1:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 172813 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 01, 2017 1:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 174044 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 01, 2017 1:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 175276 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 01, 2017 1:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 176503 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 01, 2017 1:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 177734 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 01, 2017 1:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 178963 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 01, 2017 1:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 180187 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 01, 2017 1:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 181425 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 01, 2017 1:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 182651 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 01, 2017 1:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 183867 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 01, 2017 1:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 185095 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 01, 2017 1:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 186320 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 01, 2017 1:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 187563 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 01, 2017 1:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 188779 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 01, 2017 1:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 190212 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 01, 2017 1:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 191233 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 01, 2017 1:18:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 192241 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 01, 2017 1:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 193245 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 01, 2017 1:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 194251 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 01, 2017 1:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 195551 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 01, 2017 1:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 196750 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 01, 2017 1:18:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 198239 ms. Total solver calls (SAT/UNSAT): 70604(38082/32522)
Jun 01, 2017 1:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 199265 ms. Total solver calls (SAT/UNSAT): 70920(38240/32680)
Jun 01, 2017 1:18:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 200809 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 01, 2017 1:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 201829 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 01, 2017 1:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 202839 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 01, 2017 1:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 204318 ms. Total solver calls (SAT/UNSAT): 72500(39030/33470)
Jun 01, 2017 1:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 205337 ms. Total solver calls (SAT/UNSAT): 72816(39188/33628)
Jun 01, 2017 1:18:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 206359 ms. Total solver calls (SAT/UNSAT): 73132(39346/33786)
Jun 01, 2017 1:18:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 207874 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 01, 2017 1:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 208903 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 01, 2017 1:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 209917 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 01, 2017 1:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 211435 ms. Total solver calls (SAT/UNSAT): 74712(40136/34576)
Jun 01, 2017 1:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 212462 ms. Total solver calls (SAT/UNSAT): 75028(40294/34734)
Jun 01, 2017 1:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 213963 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 01, 2017 1:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 214994 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 01, 2017 1:18:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 215996 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 01, 2017 1:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 217500 ms. Total solver calls (SAT/UNSAT): 76608(41084/35524)
Jun 01, 2017 1:18:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 218526 ms. Total solver calls (SAT/UNSAT): 76924(41242/35682)
Jun 01, 2017 1:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 220050 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 01, 2017 1:18:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 221069 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 01, 2017 1:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 222081 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 01, 2017 1:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 223083 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 01, 2017 1:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 223600 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 1:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 1:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1126 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 1:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2210 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 1:18:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3305 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 1:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4396 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 1:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5522 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 01, 2017 1:18:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6609 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 01, 2017 1:18:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 7691 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 01, 2017 1:18:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 8787 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 01, 2017 1:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 9849 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 01, 2017 1:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 10935 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 01, 2017 1:18:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12028 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 01, 2017 1:18:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13111 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 01, 2017 1:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14191 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 01, 2017 1:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 15250 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 01, 2017 1:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 16328 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 01, 2017 1:19:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 17422 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 01, 2017 1:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 18520 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 01, 2017 1:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 19609 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 01, 2017 1:19:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 20711 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 01, 2017 1:19:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 21782 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 01, 2017 1:19:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 22821 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 01, 2017 1:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 23830 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 01, 2017 1:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 24917 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 01, 2017 1:19:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 25991 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 01, 2017 1:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 27110 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 01, 2017 1:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 28219 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 01, 2017 1:19:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 29335 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 01, 2017 1:19:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 30455 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 01, 2017 1:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 31541 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 01, 2017 1:19:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 32576 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 01, 2017 1:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 33596 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 01, 2017 1:19:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 34623 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 01, 2017 1:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 35654 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 01, 2017 1:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 36712 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 01, 2017 1:19:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 37757 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 01, 2017 1:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 38844 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 01, 2017 1:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 39958 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 01, 2017 1:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 41062 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 01, 2017 1:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 42184 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 01, 2017 1:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 43276 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 01, 2017 1:19:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 44304 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 01, 2017 1:19:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 45348 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 01, 2017 1:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 46399 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 01, 2017 1:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 47441 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 01, 2017 1:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 48490 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 01, 2017 1:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 49531 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 1:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 50581 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 01, 2017 1:19:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 51629 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 1:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 52680 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 1:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 53722 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 01, 2017 1:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 54780 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 1:19:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 55845 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 01, 2017 1:19:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 56954 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 1:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 57984 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 01, 2017 1:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 59041 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 1:19:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 60075 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 01, 2017 1:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 61107 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 1:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 62136 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 01, 2017 1:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 63177 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 01, 2017 1:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 64203 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 01, 2017 1:19:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 65248 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 01, 2017 1:19:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 66287 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 01, 2017 1:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/592 took 67492 ms. Total solver calls (SAT/UNSAT): 26804(13560/13244)
Jun 01, 2017 1:19:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 68561 ms. Total solver calls (SAT/UNSAT): 27319(13680/13639)
Jun 01, 2017 1:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/592 took 69630 ms. Total solver calls (SAT/UNSAT): 27834(13800/14034)
Jun 01, 2017 1:19:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/592 took 70697 ms. Total solver calls (SAT/UNSAT): 28349(13920/14429)
Jun 01, 2017 1:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 71766 ms. Total solver calls (SAT/UNSAT): 28864(14040/14824)
Jun 01, 2017 1:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/592 took 72826 ms. Total solver calls (SAT/UNSAT): 29379(14160/15219)
Jun 01, 2017 1:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/592 took 73891 ms. Total solver calls (SAT/UNSAT): 29894(14280/15614)
Jun 01, 2017 1:19:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/592 took 75154 ms. Total solver calls (SAT/UNSAT): 30405(14520/15885)
Jun 01, 2017 1:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 76269 ms. Total solver calls (SAT/UNSAT): 30883(14712/16171)
Jun 01, 2017 1:20:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/592 took 77332 ms. Total solver calls (SAT/UNSAT): 31398(14832/16566)
Jun 01, 2017 1:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/592 took 78405 ms. Total solver calls (SAT/UNSAT): 31913(14952/16961)
Jun 01, 2017 1:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 79474 ms. Total solver calls (SAT/UNSAT): 32428(15072/17356)
Jun 01, 2017 1:20:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/592 took 80529 ms. Total solver calls (SAT/UNSAT): 32943(15192/17751)
Jun 01, 2017 1:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/592 took 81533 ms. Total solver calls (SAT/UNSAT): 33467(15324/18143)
Jun 01, 2017 1:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 82685 ms. Total solver calls (SAT/UNSAT): 34038(15472/18566)
Jun 01, 2017 1:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/592 took 83769 ms. Total solver calls (SAT/UNSAT): 34571(15696/18875)
Jun 01, 2017 1:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/592 took 84830 ms. Total solver calls (SAT/UNSAT): 35046(15956/19090)
Jun 01, 2017 1:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 85856 ms. Total solver calls (SAT/UNSAT): 35518(16170/19348)
Jun 01, 2017 1:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 87100 ms. Total solver calls (SAT/UNSAT): 36037(16452/19585)
Jun 01, 2017 1:20:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 88338 ms. Total solver calls (SAT/UNSAT): 36556(16734/19822)
Jun 01, 2017 1:20:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 89504 ms. Total solver calls (SAT/UNSAT): 37046(17002/20044)
Jun 01, 2017 1:20:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/592 took 90591 ms. Total solver calls (SAT/UNSAT): 37500(17250/20250)
Jun 01, 2017 1:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/592 took 91635 ms. Total solver calls (SAT/UNSAT): 37967(17490/20477)
Jun 01, 2017 1:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 93043 ms. Total solver calls (SAT/UNSAT): 38558(17812/20746)
Jun 01, 2017 1:20:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 94270 ms. Total solver calls (SAT/UNSAT): 39077(18094/20983)
Jun 01, 2017 1:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 95512 ms. Total solver calls (SAT/UNSAT): 39596(18376/21220)
Jun 01, 2017 1:20:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/592 took 96740 ms. Total solver calls (SAT/UNSAT): 40115(18658/21457)
Jun 01, 2017 1:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 98008 ms. Total solver calls (SAT/UNSAT): 40634(18940/21694)
Jun 01, 2017 1:20:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 99238 ms. Total solver calls (SAT/UNSAT): 41153(19222/21931)
Jun 01, 2017 1:20:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 100482 ms. Total solver calls (SAT/UNSAT): 41672(19504/22168)
Jun 01, 2017 1:20:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 101724 ms. Total solver calls (SAT/UNSAT): 42191(19786/22405)
Jun 01, 2017 1:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 102954 ms. Total solver calls (SAT/UNSAT): 42710(20068/22642)
Jun 01, 2017 1:20:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 104195 ms. Total solver calls (SAT/UNSAT): 43229(20350/22879)
Jun 01, 2017 1:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 105444 ms. Total solver calls (SAT/UNSAT): 43748(20632/23116)
Jun 01, 2017 1:20:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/592 took 106678 ms. Total solver calls (SAT/UNSAT): 44222(20914/23308)
Jun 01, 2017 1:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/592 took 107928 ms. Total solver calls (SAT/UNSAT): 44741(21196/23545)
Jun 01, 2017 1:20:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/592 took 109151 ms. Total solver calls (SAT/UNSAT): 45230(21478/23752)
Jun 01, 2017 1:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 110340 ms. Total solver calls (SAT/UNSAT): 45704(21760/23944)
Jun 01, 2017 1:20:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 111550 ms. Total solver calls (SAT/UNSAT): 46178(22042/24136)
Jun 01, 2017 1:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/592 took 112796 ms. Total solver calls (SAT/UNSAT): 46697(22324/24373)
Jun 01, 2017 1:20:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 114036 ms. Total solver calls (SAT/UNSAT): 47216(22606/24610)
Jun 01, 2017 1:20:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/592 took 115300 ms. Total solver calls (SAT/UNSAT): 47735(22888/24847)
Jun 01, 2017 1:20:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/592 took 116530 ms. Total solver calls (SAT/UNSAT): 48254(23170/25084)
Jun 01, 2017 1:20:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 117776 ms. Total solver calls (SAT/UNSAT): 48773(23452/25321)
Jun 01, 2017 1:20:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/592 took 119096 ms. Total solver calls (SAT/UNSAT): 49262(23734/25528)
Jun 01, 2017 1:20:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 120122 ms. Total solver calls (SAT/UNSAT): 49578(23922/25656)
Jun 01, 2017 1:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 121364 ms. Total solver calls (SAT/UNSAT): 50052(24204/25848)
Jun 01, 2017 1:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 122587 ms. Total solver calls (SAT/UNSAT): 50526(24486/26040)
Jun 01, 2017 1:20:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 123823 ms. Total solver calls (SAT/UNSAT): 51000(24768/26232)
Jun 01, 2017 1:20:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 125032 ms. Total solver calls (SAT/UNSAT): 51474(25050/26424)
Jun 01, 2017 1:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 126252 ms. Total solver calls (SAT/UNSAT): 51948(25332/26616)
Jun 01, 2017 1:20:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 127466 ms. Total solver calls (SAT/UNSAT): 52422(25614/26808)
Jun 01, 2017 1:20:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 128668 ms. Total solver calls (SAT/UNSAT): 52896(25896/27000)
Jun 01, 2017 1:20:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 129902 ms. Total solver calls (SAT/UNSAT): 53370(26178/27192)
Jun 01, 2017 1:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 131127 ms. Total solver calls (SAT/UNSAT): 53844(26460/27384)
Jun 01, 2017 1:20:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 132329 ms. Total solver calls (SAT/UNSAT): 54318(26742/27576)
Jun 01, 2017 1:20:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 133523 ms. Total solver calls (SAT/UNSAT): 54792(27024/27768)
Jun 01, 2017 1:20:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 134784 ms. Total solver calls (SAT/UNSAT): 55311(27306/28005)
Jun 01, 2017 1:20:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 136038 ms. Total solver calls (SAT/UNSAT): 55830(27588/28242)
Jun 01, 2017 1:21:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 137296 ms. Total solver calls (SAT/UNSAT): 56349(27870/28479)
Jun 01, 2017 1:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 138531 ms. Total solver calls (SAT/UNSAT): 56853(28152/28701)
Jun 01, 2017 1:21:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 139748 ms. Total solver calls (SAT/UNSAT): 57327(28434/28893)
Jun 01, 2017 1:21:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 140958 ms. Total solver calls (SAT/UNSAT): 57801(28716/29085)
Jun 01, 2017 1:21:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/592 took 142158 ms. Total solver calls (SAT/UNSAT): 58275(28998/29277)
Jun 01, 2017 1:21:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 143380 ms. Total solver calls (SAT/UNSAT): 58749(29280/29469)
Jun 01, 2017 1:21:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 144601 ms. Total solver calls (SAT/UNSAT): 59223(29562/29661)
Jun 01, 2017 1:21:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 145852 ms. Total solver calls (SAT/UNSAT): 59742(29844/29898)
Jun 01, 2017 1:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 147103 ms. Total solver calls (SAT/UNSAT): 60261(30126/30135)
Jun 01, 2017 1:21:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 148344 ms. Total solver calls (SAT/UNSAT): 60780(30408/30372)
Jun 01, 2017 1:21:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 149586 ms. Total solver calls (SAT/UNSAT): 61299(30690/30609)
Jun 01, 2017 1:21:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 150825 ms. Total solver calls (SAT/UNSAT): 61818(30972/30846)
Jun 01, 2017 1:21:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 152056 ms. Total solver calls (SAT/UNSAT): 62337(31254/31083)
Jun 01, 2017 1:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 153288 ms. Total solver calls (SAT/UNSAT): 62856(31536/31320)
Jun 01, 2017 1:21:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 154540 ms. Total solver calls (SAT/UNSAT): 63375(31818/31557)
Jun 01, 2017 1:21:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 155745 ms. Total solver calls (SAT/UNSAT): 63894(32100/31794)
Jun 01, 2017 1:21:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 156990 ms. Total solver calls (SAT/UNSAT): 64413(32382/32031)
Jun 01, 2017 1:21:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 158211 ms. Total solver calls (SAT/UNSAT): 64932(32664/32268)
Jun 01, 2017 1:21:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 159440 ms. Total solver calls (SAT/UNSAT): 65451(32946/32505)
Jun 01, 2017 1:21:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 160668 ms. Total solver calls (SAT/UNSAT): 65970(33228/32742)
Jun 01, 2017 1:21:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 161904 ms. Total solver calls (SAT/UNSAT): 66489(33510/32979)
Jun 01, 2017 1:21:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 163137 ms. Total solver calls (SAT/UNSAT): 67008(33792/33216)
Jun 01, 2017 1:21:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 164385 ms. Total solver calls (SAT/UNSAT): 67527(34074/33453)
Jun 01, 2017 1:21:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 165645 ms. Total solver calls (SAT/UNSAT): 68001(34356/33645)
Jun 01, 2017 1:21:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 166888 ms. Total solver calls (SAT/UNSAT): 68475(34638/33837)
Jun 01, 2017 1:21:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 168152 ms. Total solver calls (SAT/UNSAT): 68949(34920/34029)
Jun 01, 2017 1:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/592 took 169407 ms. Total solver calls (SAT/UNSAT): 69438(35202/34236)
Jun 01, 2017 1:21:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/592 took 170621 ms. Total solver calls (SAT/UNSAT): 69957(35484/34473)
Jun 01, 2017 1:21:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 171842 ms. Total solver calls (SAT/UNSAT): 70446(35766/34680)
Jun 01, 2017 1:21:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 173081 ms. Total solver calls (SAT/UNSAT): 70920(36048/34872)
Jun 01, 2017 1:21:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 174331 ms. Total solver calls (SAT/UNSAT): 71394(36330/35064)
Jun 01, 2017 1:21:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 175562 ms. Total solver calls (SAT/UNSAT): 71868(36612/35256)
Jun 01, 2017 1:21:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 176808 ms. Total solver calls (SAT/UNSAT): 72342(36894/35448)
Jun 01, 2017 1:21:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 178070 ms. Total solver calls (SAT/UNSAT): 72816(37176/35640)
Jun 01, 2017 1:21:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 179304 ms. Total solver calls (SAT/UNSAT): 73290(37458/35832)
Jun 01, 2017 1:21:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 180531 ms. Total solver calls (SAT/UNSAT): 73764(37740/36024)
Jun 01, 2017 1:21:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 181765 ms. Total solver calls (SAT/UNSAT): 74238(38022/36216)
Jun 01, 2017 1:21:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 183035 ms. Total solver calls (SAT/UNSAT): 74712(38304/36408)
Jun 01, 2017 1:21:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 184284 ms. Total solver calls (SAT/UNSAT): 75186(38586/36600)
Jun 01, 2017 1:21:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 185523 ms. Total solver calls (SAT/UNSAT): 75660(38868/36792)
Jun 01, 2017 1:21:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 186756 ms. Total solver calls (SAT/UNSAT): 76134(39150/36984)
Jun 01, 2017 1:21:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 188003 ms. Total solver calls (SAT/UNSAT): 76608(39432/37176)
Jun 01, 2017 1:21:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 189225 ms. Total solver calls (SAT/UNSAT): 77082(39714/37368)
Jun 01, 2017 1:21:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 190452 ms. Total solver calls (SAT/UNSAT): 77556(39996/37560)
Jun 01, 2017 1:21:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 191685 ms. Total solver calls (SAT/UNSAT): 78030(40278/37752)
Jun 01, 2017 1:21:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 192906 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 1:21:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 192906 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 1:21:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 1:21:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 937 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 1:21:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 2800 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 01, 2017 1:22:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 4675 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 01, 2017 1:22:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 6530 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 01, 2017 1:22:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 8421 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 01, 2017 1:22:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 10243 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 01, 2017 1:22:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 12106 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 01, 2017 1:22:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 13917 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 01, 2017 1:22:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 15719 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 01, 2017 1:22:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 17548 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 01, 2017 1:22:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 19323 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 01, 2017 1:22:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 21121 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 01, 2017 1:22:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 22877 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 01, 2017 1:22:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 24636 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 01, 2017 1:22:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 26419 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 01, 2017 1:22:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 28185 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 01, 2017 1:22:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 29942 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 01, 2017 1:22:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 31672 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 01, 2017 1:22:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 33388 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 01, 2017 1:22:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 35128 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 01, 2017 1:22:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/592) took 36834 ms. Total solver calls (SAT/UNSAT): 23452(23452/0)
Jun 01, 2017 1:22:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/592) took 38532 ms. Total solver calls (SAT/UNSAT): 24553(24553/0)
Jun 01, 2017 1:22:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/592) took 40253 ms. Total solver calls (SAT/UNSAT): 25650(25650/0)
Jun 01, 2017 1:22:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/592) took 41968 ms. Total solver calls (SAT/UNSAT): 26743(26743/0)
Jun 01, 2017 1:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/592) took 43666 ms. Total solver calls (SAT/UNSAT): 27832(27832/0)
Jun 01, 2017 1:22:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/592) took 45360 ms. Total solver calls (SAT/UNSAT): 28917(28917/0)
Jun 01, 2017 1:22:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/592) took 47018 ms. Total solver calls (SAT/UNSAT): 29998(29998/0)
Jun 01, 2017 1:22:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/592) took 48678 ms. Total solver calls (SAT/UNSAT): 31075(31075/0)
Jun 01, 2017 1:22:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 50348 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 01, 2017 1:22:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 52007 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 01, 2017 1:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/592) took 53648 ms. Total solver calls (SAT/UNSAT): 34282(34282/0)
Jun 01, 2017 1:22:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/592) took 55299 ms. Total solver calls (SAT/UNSAT): 35343(35343/0)
Jun 01, 2017 1:22:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/592) took 56961 ms. Total solver calls (SAT/UNSAT): 36400(36400/0)
Jun 01, 2017 1:22:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/592) took 58573 ms. Total solver calls (SAT/UNSAT): 37453(37453/0)
Jun 01, 2017 1:22:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/592) took 60180 ms. Total solver calls (SAT/UNSAT): 38502(38502/0)
Jun 01, 2017 1:22:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/592) took 61790 ms. Total solver calls (SAT/UNSAT): 39547(39547/0)
Jun 01, 2017 1:22:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/592) took 63430 ms. Total solver calls (SAT/UNSAT): 40588(40588/0)
Jun 01, 2017 1:23:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/592) took 65043 ms. Total solver calls (SAT/UNSAT): 41625(41625/0)
Jun 01, 2017 1:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/592) took 66661 ms. Total solver calls (SAT/UNSAT): 42658(42658/0)
Jun 01, 2017 1:23:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 68287 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 01, 2017 1:23:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 69894 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 01, 2017 1:23:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 71505 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 01, 2017 1:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 73115 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 01, 2017 1:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 74709 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 01, 2017 1:23:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 76269 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 01, 2017 1:23:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 77811 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 01, 2017 1:23:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 79353 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 01, 2017 1:23:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 80901 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 01, 2017 1:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 82496 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 01, 2017 1:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 84154 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 01, 2017 1:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 85701 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 01, 2017 1:23:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 87187 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 01, 2017 1:23:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 88695 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 01, 2017 1:23:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 90196 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 01, 2017 1:23:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 91738 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 01, 2017 1:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 93273 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 01, 2017 1:23:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 94799 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 01, 2017 1:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 96314 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 01, 2017 1:23:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 97830 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 01, 2017 1:23:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 99346 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 01, 2017 1:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 100822 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 01, 2017 1:23:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 102312 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 01, 2017 1:23:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 103862 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 01, 2017 1:23:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 105377 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 01, 2017 1:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 106894 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 01, 2017 1:23:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 108398 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 01, 2017 1:23:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 109911 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 01, 2017 1:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 111394 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 01, 2017 1:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 112904 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 01, 2017 1:23:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 114383 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 01, 2017 1:23:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/592) took 115851 ms. Total solver calls (SAT/UNSAT): 73602(73602/0)
Jun 01, 2017 1:23:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/592) took 117322 ms. Total solver calls (SAT/UNSAT): 74503(74503/0)
Jun 01, 2017 1:23:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 118768 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 01, 2017 1:23:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 120229 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 01, 2017 1:23:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/592) took 121678 ms. Total solver calls (SAT/UNSAT): 77182(77182/0)
Jun 01, 2017 1:23:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/592) took 123111 ms. Total solver calls (SAT/UNSAT): 78067(78067/0)
Jun 01, 2017 1:24:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/592) took 124541 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Jun 01, 2017 1:24:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(154/592) took 125969 ms. Total solver calls (SAT/UNSAT): 79825(79825/0)
Jun 01, 2017 1:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/592) took 127331 ms. Total solver calls (SAT/UNSAT): 80698(80698/0)
Jun 01, 2017 1:24:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/592) took 128707 ms. Total solver calls (SAT/UNSAT): 81567(81567/0)
Jun 01, 2017 1:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(160/592) took 130116 ms. Total solver calls (SAT/UNSAT): 82432(82432/0)
Jun 01, 2017 1:24:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(162/592) took 131503 ms. Total solver calls (SAT/UNSAT): 83293(83293/0)
Jun 01, 2017 1:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/592) took 132895 ms. Total solver calls (SAT/UNSAT): 84150(84150/0)
Jun 01, 2017 1:24:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/592) took 134277 ms. Total solver calls (SAT/UNSAT): 85003(85003/0)
Jun 01, 2017 1:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/592) took 135660 ms. Total solver calls (SAT/UNSAT): 85852(85852/0)
Jun 01, 2017 1:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/592) took 137022 ms. Total solver calls (SAT/UNSAT): 86697(86697/0)
Jun 01, 2017 1:24:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/592) took 138393 ms. Total solver calls (SAT/UNSAT): 87538(87538/0)
Jun 01, 2017 1:24:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 139735 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 01, 2017 1:24:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/592) took 141084 ms. Total solver calls (SAT/UNSAT): 89208(89208/0)
Jun 01, 2017 1:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/592) took 142414 ms. Total solver calls (SAT/UNSAT): 90037(90037/0)
Jun 01, 2017 1:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/592) took 143721 ms. Total solver calls (SAT/UNSAT): 90862(90862/0)
Jun 01, 2017 1:24:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/592) took 145040 ms. Total solver calls (SAT/UNSAT): 91683(91683/0)
Jun 01, 2017 1:24:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/592) took 146376 ms. Total solver calls (SAT/UNSAT): 92500(92500/0)
Jun 01, 2017 1:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/592) took 147679 ms. Total solver calls (SAT/UNSAT): 93313(93313/0)
Jun 01, 2017 1:24:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/592) took 148930 ms. Total solver calls (SAT/UNSAT): 94122(94122/0)
Jun 01, 2017 1:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/592) took 150156 ms. Total solver calls (SAT/UNSAT): 94927(94927/0)
Jun 01, 2017 1:24:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/592) took 151382 ms. Total solver calls (SAT/UNSAT): 95728(95728/0)
Jun 01, 2017 1:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/592) took 152593 ms. Total solver calls (SAT/UNSAT): 96525(96525/0)
Jun 01, 2017 1:24:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/592) took 153808 ms. Total solver calls (SAT/UNSAT): 97318(97318/0)
Jun 01, 2017 1:24:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/592) took 154993 ms. Total solver calls (SAT/UNSAT): 98107(98107/0)
Jun 01, 2017 1:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/592) took 156192 ms. Total solver calls (SAT/UNSAT): 98892(98892/0)
Jun 01, 2017 1:24:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/592) took 157381 ms. Total solver calls (SAT/UNSAT): 99673(99673/0)
Jun 01, 2017 1:24:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/592) took 158563 ms. Total solver calls (SAT/UNSAT): 100450(100450/0)
Jun 01, 2017 1:24:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/592) took 159737 ms. Total solver calls (SAT/UNSAT): 101223(101223/0)
Jun 01, 2017 1:24:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/592) took 160904 ms. Total solver calls (SAT/UNSAT): 101992(101992/0)
Jun 01, 2017 1:24:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/592) took 162077 ms. Total solver calls (SAT/UNSAT): 102757(102757/0)
Jun 01, 2017 1:24:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/592) took 163247 ms. Total solver calls (SAT/UNSAT): 103518(103518/0)
Jun 01, 2017 1:24:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/592) took 164391 ms. Total solver calls (SAT/UNSAT): 104275(104275/0)
Jun 01, 2017 1:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/592) took 165544 ms. Total solver calls (SAT/UNSAT): 105028(105028/0)
Jun 01, 2017 1:24:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/592) took 166661 ms. Total solver calls (SAT/UNSAT): 105777(105777/0)
Jun 01, 2017 1:24:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/592) took 167789 ms. Total solver calls (SAT/UNSAT): 106522(106522/0)
Jun 01, 2017 1:24:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/592) took 168949 ms. Total solver calls (SAT/UNSAT): 107263(107263/0)
Jun 01, 2017 1:24:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/592) took 170112 ms. Total solver calls (SAT/UNSAT): 108000(108000/0)
Jun 01, 2017 1:24:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/592) took 171264 ms. Total solver calls (SAT/UNSAT): 108733(108733/0)
Jun 01, 2017 1:24:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/592) took 172361 ms. Total solver calls (SAT/UNSAT): 109462(109462/0)
Jun 01, 2017 1:24:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/592) took 173448 ms. Total solver calls (SAT/UNSAT): 110187(110187/0)
Jun 01, 2017 1:24:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/592) took 174537 ms. Total solver calls (SAT/UNSAT): 110908(110908/0)
Jun 01, 2017 1:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/592) took 175626 ms. Total solver calls (SAT/UNSAT): 111625(111625/0)
Jun 01, 2017 1:24:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/592) took 176711 ms. Total solver calls (SAT/UNSAT): 112338(112338/0)
Jun 01, 2017 1:24:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/592) took 177782 ms. Total solver calls (SAT/UNSAT): 113047(113047/0)
Jun 01, 2017 1:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/592) took 178831 ms. Total solver calls (SAT/UNSAT): 113752(113752/0)
Jun 01, 2017 1:24:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/592) took 179894 ms. Total solver calls (SAT/UNSAT): 114453(114453/0)
Jun 01, 2017 1:24:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(244/592) took 180946 ms. Total solver calls (SAT/UNSAT): 115150(115150/0)
Jun 01, 2017 1:24:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/592) took 181985 ms. Total solver calls (SAT/UNSAT): 115843(115843/0)
Jun 01, 2017 1:24:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/592) took 183035 ms. Total solver calls (SAT/UNSAT): 116532(116532/0)
Jun 01, 2017 1:25:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/592) took 184066 ms. Total solver calls (SAT/UNSAT): 117217(117217/0)
Jun 01, 2017 1:25:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/592) took 185454 ms. Total solver calls (SAT/UNSAT): 118237(118237/0)
Jun 01, 2017 1:25:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/592) took 186820 ms. Total solver calls (SAT/UNSAT): 119248(119248/0)
Jun 01, 2017 1:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/592) took 188182 ms. Total solver calls (SAT/UNSAT): 120250(120250/0)
Jun 01, 2017 1:25:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/592) took 189549 ms. Total solver calls (SAT/UNSAT): 121243(121243/0)
Jun 01, 2017 1:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 190976 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 01, 2017 1:25:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 192369 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 01, 2017 1:25:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/592) took 193762 ms. Total solver calls (SAT/UNSAT): 124168(124168/0)
Jun 01, 2017 1:25:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 195109 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 01, 2017 1:25:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(277/592) took 196466 ms. Total solver calls (SAT/UNSAT): 126073(126073/0)
Jun 01, 2017 1:25:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(280/592) took 197843 ms. Total solver calls (SAT/UNSAT): 127012(127012/0)
Jun 01, 2017 1:25:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(283/592) took 199214 ms. Total solver calls (SAT/UNSAT): 127942(127942/0)
Jun 01, 2017 1:25:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(286/592) took 200541 ms. Total solver calls (SAT/UNSAT): 128863(128863/0)
Jun 01, 2017 1:25:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(289/592) took 201829 ms. Total solver calls (SAT/UNSAT): 129775(129775/0)
Jun 01, 2017 1:25:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(292/592) took 203110 ms. Total solver calls (SAT/UNSAT): 130678(130678/0)
Jun 01, 2017 1:25:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(295/592) took 204379 ms. Total solver calls (SAT/UNSAT): 131572(131572/0)
Jun 01, 2017 1:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(298/592) took 205626 ms. Total solver calls (SAT/UNSAT): 132457(132457/0)
Jun 01, 2017 1:25:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(301/592) took 206842 ms. Total solver calls (SAT/UNSAT): 133333(133333/0)
Jun 01, 2017 1:25:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(304/592) took 208036 ms. Total solver calls (SAT/UNSAT): 134200(134200/0)
Jun 01, 2017 1:25:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(307/592) took 209224 ms. Total solver calls (SAT/UNSAT): 135058(135058/0)
Jun 01, 2017 1:25:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(310/592) took 210393 ms. Total solver calls (SAT/UNSAT): 135907(135907/0)
Jun 01, 2017 1:25:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(313/592) took 211529 ms. Total solver calls (SAT/UNSAT): 136747(136747/0)
Jun 01, 2017 1:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(316/592) took 212748 ms. Total solver calls (SAT/UNSAT): 137578(137578/0)
Jun 01, 2017 1:25:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(319/592) took 213994 ms. Total solver calls (SAT/UNSAT): 138400(138400/0)
Jun 01, 2017 1:25:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(322/592) took 215217 ms. Total solver calls (SAT/UNSAT): 139213(139213/0)
Jun 01, 2017 1:25:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(325/592) took 216503 ms. Total solver calls (SAT/UNSAT): 140017(140017/0)
Jun 01, 2017 1:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(328/592) took 217748 ms. Total solver calls (SAT/UNSAT): 140812(140812/0)
Jun 01, 2017 1:25:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(331/592) took 218955 ms. Total solver calls (SAT/UNSAT): 141598(141598/0)
Jun 01, 2017 1:25:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(334/592) took 220193 ms. Total solver calls (SAT/UNSAT): 142375(142375/0)
Jun 01, 2017 1:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(337/592) took 221429 ms. Total solver calls (SAT/UNSAT): 143143(143143/0)
Jun 01, 2017 1:25:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(340/592) took 222577 ms. Total solver calls (SAT/UNSAT): 143902(143902/0)
Jun 01, 2017 1:25:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/592) took 223661 ms. Total solver calls (SAT/UNSAT): 144652(144652/0)
Jun 01, 2017 1:25:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(346/592) took 224815 ms. Total solver calls (SAT/UNSAT): 145393(145393/0)
Jun 01, 2017 1:25:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(349/592) took 225930 ms. Total solver calls (SAT/UNSAT): 146125(146125/0)
Jun 01, 2017 1:25:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(352/592) took 227033 ms. Total solver calls (SAT/UNSAT): 146848(146848/0)
Jun 01, 2017 1:25:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/592) took 228128 ms. Total solver calls (SAT/UNSAT): 147562(147562/0)
Jun 01, 2017 1:25:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(358/592) took 229224 ms. Total solver calls (SAT/UNSAT): 148267(148267/0)
Jun 01, 2017 1:25:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(361/592) took 230287 ms. Total solver calls (SAT/UNSAT): 148963(148963/0)
Jun 01, 2017 1:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(364/592) took 231330 ms. Total solver calls (SAT/UNSAT): 149650(149650/0)
Jun 01, 2017 1:25:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(367/592) took 232369 ms. Total solver calls (SAT/UNSAT): 150328(150328/0)
Jun 01, 2017 1:25:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/592) took 233386 ms. Total solver calls (SAT/UNSAT): 150997(150997/0)
Jun 01, 2017 1:25:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(373/592) took 234390 ms. Total solver calls (SAT/UNSAT): 151657(151657/0)
Jun 01, 2017 1:25:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(376/592) took 235405 ms. Total solver calls (SAT/UNSAT): 152308(152308/0)
Jun 01, 2017 1:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/592) took 236746 ms. Total solver calls (SAT/UNSAT): 153162(153162/0)
Jun 01, 2017 1:25:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/592) took 237773 ms. Total solver calls (SAT/UNSAT): 153792(153792/0)
Jun 01, 2017 1:25:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/592) took 239061 ms. Total solver calls (SAT/UNSAT): 154618(154618/0)
Jun 01, 2017 1:25:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/592) took 240099 ms. Total solver calls (SAT/UNSAT): 155227(155227/0)
Jun 01, 2017 1:25:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(393/592) took 241126 ms. Total solver calls (SAT/UNSAT): 155827(155827/0)
Jun 01, 2017 1:25:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(397/592) took 242356 ms. Total solver calls (SAT/UNSAT): 156613(156613/0)
Jun 01, 2017 1:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(401/592) took 243554 ms. Total solver calls (SAT/UNSAT): 157383(157383/0)
Jun 01, 2017 1:26:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(405/592) took 244724 ms. Total solver calls (SAT/UNSAT): 158137(158137/0)
Jun 01, 2017 1:26:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(409/592) took 245875 ms. Total solver calls (SAT/UNSAT): 158875(158875/0)
Jun 01, 2017 1:26:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(413/592) took 247068 ms. Total solver calls (SAT/UNSAT): 159597(159597/0)
Jun 01, 2017 1:26:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(417/592) took 248256 ms. Total solver calls (SAT/UNSAT): 160303(160303/0)
Jun 01, 2017 1:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(421/592) took 249430 ms. Total solver calls (SAT/UNSAT): 160993(160993/0)
Jun 01, 2017 1:26:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/592) took 250574 ms. Total solver calls (SAT/UNSAT): 161667(161667/0)
Jun 01, 2017 1:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/592) took 251697 ms. Total solver calls (SAT/UNSAT): 162325(162325/0)
Jun 01, 2017 1:26:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/592) took 252771 ms. Total solver calls (SAT/UNSAT): 162967(162967/0)
Jun 01, 2017 1:26:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(437/592) took 253820 ms. Total solver calls (SAT/UNSAT): 163593(163593/0)
Jun 01, 2017 1:26:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/592) took 254840 ms. Total solver calls (SAT/UNSAT): 164203(164203/0)
Jun 01, 2017 1:26:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(446/592) took 256063 ms. Total solver calls (SAT/UNSAT): 164943(164943/0)
Jun 01, 2017 1:26:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(451/592) took 257160 ms. Total solver calls (SAT/UNSAT): 165658(165658/0)
Jun 01, 2017 1:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(456/592) took 258217 ms. Total solver calls (SAT/UNSAT): 166348(166348/0)
Jun 01, 2017 1:26:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(461/592) took 259271 ms. Total solver calls (SAT/UNSAT): 167013(167013/0)
Jun 01, 2017 1:26:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(466/592) took 260321 ms. Total solver calls (SAT/UNSAT): 167653(167653/0)
Jun 01, 2017 1:26:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(472/592) took 261509 ms. Total solver calls (SAT/UNSAT): 168388(168388/0)
Jun 01, 2017 1:26:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(478/592) took 262599 ms. Total solver calls (SAT/UNSAT): 169087(169087/0)
Jun 01, 2017 1:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(484/592) took 263611 ms. Total solver calls (SAT/UNSAT): 169750(169750/0)
Jun 01, 2017 1:26:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(491/592) took 264736 ms. Total solver calls (SAT/UNSAT): 170478(170478/0)
Jun 01, 2017 1:26:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(498/592) took 265785 ms. Total solver calls (SAT/UNSAT): 171157(171157/0)
Jun 01, 2017 1:26:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(506/592) took 266887 ms. Total solver calls (SAT/UNSAT): 171873(171873/0)
Jun 01, 2017 1:26:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(514/592) took 267904 ms. Total solver calls (SAT/UNSAT): 172525(172525/0)
Jun 01, 2017 1:26:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(523/592) took 268958 ms. Total solver calls (SAT/UNSAT): 173182(173182/0)
Jun 01, 2017 1:26:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(532/592) took 269990 ms. Total solver calls (SAT/UNSAT): 173758(173758/0)
Jun 01, 2017 1:26:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(543/592) took 271003 ms. Total solver calls (SAT/UNSAT): 174352(174352/0)
Jun 01, 2017 1:26:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(557/592) took 272062 ms. Total solver calls (SAT/UNSAT): 174933(174933/0)
Jun 01, 2017 1:26:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(581/592) took 273084 ms. Total solver calls (SAT/UNSAT): 175473(175473/0)
Jun 01, 2017 1:26:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 273199 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 1:26:29 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="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/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 LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-blw7-149440486600419"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;