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 |
| 15950.440 | 3600000.00 | 4488540.00 | 1599.90 | [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 LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486600420
=====================================================================
--------------------
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-LTLFireability-0
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-1
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-10
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-11
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-12
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-13
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-14
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-15
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-2
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-3
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-4
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-5
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-6
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-7
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-8
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1496323250258
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/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(F(X(F(X(((((("in4_7>=1")&&("c8>=1"))&&("in2_2>=1"))||((("in4_6>=1")&&("in2_3>=1"))&&("c8>=1")))||((("in4_7>=1")&&("c8>=1"))&&("in2_3>=1")))||((("in4_6>=1")&&("in2_2>=1"))&&("c8>=1")))))))))
Formula 0 simplified : !FXFX(("c8>=1" & "in2_2>=1" & "in4_7>=1") | ("c8>=1" & "in2_3>=1" & "in4_6>=1") | ("c8>=1" & "in2_3>=1" & "in4_7>=1") | ("c8>=1" & "in2_2>=1" & "in4_6>=1"))
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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 1:20:51 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 1:20:51 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 132 ms
Jun 01, 2017 1:20:51 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 1:20:51 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 1:20:52 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 117 ms
Jun 01, 2017 1:20:52 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 26 ms
Jun 01, 2017 1:20:52 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 10 ms
Jun 01, 2017 1:20:53 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 149 ms
Jun 01, 2017 1:21:02 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 9185 ms
Jun 01, 2017 1:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 1:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 430 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 1:21:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1856 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 01, 2017 1:21:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2861 ms. Total solver calls (SAT/UNSAT): 816(474/342)
Jun 01, 2017 1:21:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 4389 ms. Total solver calls (SAT/UNSAT): 1224(711/513)
Jun 01, 2017 1:21:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/592 took 5449 ms. Total solver calls (SAT/UNSAT): 1496(869/627)
Jun 01, 2017 1:21:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/592 took 6986 ms. Total solver calls (SAT/UNSAT): 1904(1106/798)
Jun 01, 2017 1:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 8005 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 01, 2017 1:21:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 9309 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 01, 2017 1:21:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 10595 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 01, 2017 1:21:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 11886 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 01, 2017 1:21:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 13170 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 01, 2017 1:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 14450 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 01, 2017 1:21:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 15722 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 01, 2017 1:21:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 16748 ms. Total solver calls (SAT/UNSAT): 4896(2844/2052)
Jun 01, 2017 1:21:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 18145 ms. Total solver calls (SAT/UNSAT): 5304(3081/2223)
Jun 01, 2017 1:21:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 19460 ms. Total solver calls (SAT/UNSAT): 5712(3318/2394)
Jun 01, 2017 1:21:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/592 took 20466 ms. Total solver calls (SAT/UNSAT): 5984(3476/2508)
Jun 01, 2017 1:21:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/592 took 21753 ms. Total solver calls (SAT/UNSAT): 6392(3713/2679)
Jun 01, 2017 1:21:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 22778 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 01, 2017 1:21:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 24069 ms. Total solver calls (SAT/UNSAT): 7072(4108/2964)
Jun 01, 2017 1:21:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 25369 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 01, 2017 1:21:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 26659 ms. Total solver calls (SAT/UNSAT): 7888(4582/3306)
Jun 01, 2017 1:21:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 27673 ms. Total solver calls (SAT/UNSAT): 8175(4740/3435)
Jun 01, 2017 1:21:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 29096 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 01, 2017 1:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 30485 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 01, 2017 1:21:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 31688 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 01, 2017 1:21:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 32999 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 01, 2017 1:21:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 34223 ms. Total solver calls (SAT/UNSAT): 10440(5925/4515)
Jun 01, 2017 1:21:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 35414 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 01, 2017 1:21:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 36609 ms. Total solver calls (SAT/UNSAT): 11346(6399/4947)
Jun 01, 2017 1:21:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 37852 ms. Total solver calls (SAT/UNSAT): 11799(6636/5163)
Jun 01, 2017 1:21:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 39095 ms. Total solver calls (SAT/UNSAT): 12252(6873/5379)
Jun 01, 2017 1:21:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 40296 ms. Total solver calls (SAT/UNSAT): 12705(7110/5595)
Jun 01, 2017 1:21:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 41495 ms. Total solver calls (SAT/UNSAT): 13158(7347/5811)
Jun 01, 2017 1:21:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 42787 ms. Total solver calls (SAT/UNSAT): 13611(7584/6027)
Jun 01, 2017 1:21:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 44138 ms. Total solver calls (SAT/UNSAT): 14064(7821/6243)
Jun 01, 2017 1:21:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 45357 ms. Total solver calls (SAT/UNSAT): 14502(8058/6444)
Jun 01, 2017 1:21:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 46620 ms. Total solver calls (SAT/UNSAT): 14925(8295/6630)
Jun 01, 2017 1:21:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 47864 ms. Total solver calls (SAT/UNSAT): 15348(8532/6816)
Jun 01, 2017 1:21:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 49068 ms. Total solver calls (SAT/UNSAT): 15801(8769/7032)
Jun 01, 2017 1:21:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 50275 ms. Total solver calls (SAT/UNSAT): 16254(9006/7248)
Jun 01, 2017 1:21:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 51469 ms. Total solver calls (SAT/UNSAT): 16707(9243/7464)
Jun 01, 2017 1:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 52691 ms. Total solver calls (SAT/UNSAT): 17160(9480/7680)
Jun 01, 2017 1:21:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 54056 ms. Total solver calls (SAT/UNSAT): 17613(9717/7896)
Jun 01, 2017 1:21:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 55278 ms. Total solver calls (SAT/UNSAT): 18021(9954/8067)
Jun 01, 2017 1:21:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 56493 ms. Total solver calls (SAT/UNSAT): 18429(10191/8238)
Jun 01, 2017 1:21:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 57705 ms. Total solver calls (SAT/UNSAT): 18837(10428/8409)
Jun 01, 2017 1:22:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 58995 ms. Total solver calls (SAT/UNSAT): 19245(10665/8580)
Jun 01, 2017 1:22:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 60196 ms. Total solver calls (SAT/UNSAT): 19653(10902/8751)
Jun 01, 2017 1:22:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 61609 ms. Total solver calls (SAT/UNSAT): 20061(11139/8922)
Jun 01, 2017 1:22:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 62836 ms. Total solver calls (SAT/UNSAT): 20469(11376/9093)
Jun 01, 2017 1:22:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 64041 ms. Total solver calls (SAT/UNSAT): 20877(11613/9264)
Jun 01, 2017 1:22:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 65373 ms. Total solver calls (SAT/UNSAT): 21285(11850/9435)
Jun 01, 2017 1:22:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 66589 ms. Total solver calls (SAT/UNSAT): 21693(12087/9606)
Jun 01, 2017 1:22:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 67789 ms. Total solver calls (SAT/UNSAT): 22116(12324/9792)
Jun 01, 2017 1:22:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 69008 ms. Total solver calls (SAT/UNSAT): 22569(12561/10008)
Jun 01, 2017 1:22:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 70323 ms. Total solver calls (SAT/UNSAT): 22977(12798/10179)
Jun 01, 2017 1:22:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 71629 ms. Total solver calls (SAT/UNSAT): 23400(13035/10365)
Jun 01, 2017 1:22:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 72945 ms. Total solver calls (SAT/UNSAT): 23808(13272/10536)
Jun 01, 2017 1:22:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 74277 ms. Total solver calls (SAT/UNSAT): 24216(13509/10707)
Jun 01, 2017 1:22:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 75614 ms. Total solver calls (SAT/UNSAT): 24624(13746/10878)
Jun 01, 2017 1:22:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 76918 ms. Total solver calls (SAT/UNSAT): 25032(13983/11049)
Jun 01, 2017 1:22:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 78118 ms. Total solver calls (SAT/UNSAT): 25440(14220/11220)
Jun 01, 2017 1:22:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 79424 ms. Total solver calls (SAT/UNSAT): 25848(14457/11391)
Jun 01, 2017 1:22:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 80786 ms. Total solver calls (SAT/UNSAT): 26256(14694/11562)
Jun 01, 2017 1:22:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/592 took 81959 ms. Total solver calls (SAT/UNSAT): 26598(14931/11667)
Jun 01, 2017 1:22:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/592 took 82979 ms. Total solver calls (SAT/UNSAT): 26907(15168/11739)
Jun 01, 2017 1:22:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 84323 ms. Total solver calls (SAT/UNSAT): 27319(15484/11835)
Jun 01, 2017 1:22:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 85628 ms. Total solver calls (SAT/UNSAT): 27731(15800/11931)
Jun 01, 2017 1:22:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/592 took 86909 ms. Total solver calls (SAT/UNSAT): 28143(16116/12027)
Jun 01, 2017 1:22:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/592 took 88173 ms. Total solver calls (SAT/UNSAT): 28555(16432/12123)
Jun 01, 2017 1:22:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/592 took 89526 ms. Total solver calls (SAT/UNSAT): 28967(16748/12219)
Jun 01, 2017 1:22:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/592 took 90793 ms. Total solver calls (SAT/UNSAT): 29379(17064/12315)
Jun 01, 2017 1:22:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 92038 ms. Total solver calls (SAT/UNSAT): 29791(17380/12411)
Jun 01, 2017 1:22:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 93064 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 01, 2017 1:22:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 94289 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 01, 2017 1:22:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 95437 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 01, 2017 1:22:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/592 took 96736 ms. Total solver calls (SAT/UNSAT): 31295(18407/12888)
Jun 01, 2017 1:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 98012 ms. Total solver calls (SAT/UNSAT): 31707(18723/12984)
Jun 01, 2017 1:22:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 99281 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 01, 2017 1:22:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 100313 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 01, 2017 1:22:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 101382 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 01, 2017 1:22:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 102451 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 01, 2017 1:22:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/592 took 103471 ms. Total solver calls (SAT/UNSAT): 33366(19990/13376)
Jun 01, 2017 1:22:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 104475 ms. Total solver calls (SAT/UNSAT): 33708(20252/13456)
Jun 01, 2017 1:22:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 105482 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 01, 2017 1:22:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/592 took 106521 ms. Total solver calls (SAT/UNSAT): 34442(20750/13692)
Jun 01, 2017 1:22:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/592 took 107603 ms. Total solver calls (SAT/UNSAT): 34830(20980/13850)
Jun 01, 2017 1:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/592 took 108677 ms. Total solver calls (SAT/UNSAT): 35185(21210/13975)
Jun 01, 2017 1:22:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 109915 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 01, 2017 1:22:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 111283 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 01, 2017 1:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 112520 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 01, 2017 1:22:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 113950 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 01, 2017 1:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/592 took 114975 ms. Total solver calls (SAT/UNSAT): 37608(22424/15184)
Jun 01, 2017 1:22:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/592 took 116064 ms. Total solver calls (SAT/UNSAT): 37967(22631/15336)
Jun 01, 2017 1:22:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 117293 ms. Total solver calls (SAT/UNSAT): 38385(22835/15550)
Jun 01, 2017 1:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 118665 ms. Total solver calls (SAT/UNSAT): 38904(23072/15832)
Jun 01, 2017 1:23:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 119737 ms. Total solver calls (SAT/UNSAT): 39250(23230/16020)
Jun 01, 2017 1:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 121105 ms. Total solver calls (SAT/UNSAT): 39769(23467/16302)
Jun 01, 2017 1:23:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 122331 ms. Total solver calls (SAT/UNSAT): 40288(23704/16584)
Jun 01, 2017 1:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 123624 ms. Total solver calls (SAT/UNSAT): 40807(23941/16866)
Jun 01, 2017 1:23:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 125040 ms. Total solver calls (SAT/UNSAT): 41326(24178/17148)
Jun 01, 2017 1:23:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 126395 ms. Total solver calls (SAT/UNSAT): 41845(24415/17430)
Jun 01, 2017 1:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 127622 ms. Total solver calls (SAT/UNSAT): 42364(24652/17712)
Jun 01, 2017 1:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 128914 ms. Total solver calls (SAT/UNSAT): 42883(24889/17994)
Jun 01, 2017 1:23:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 130274 ms. Total solver calls (SAT/UNSAT): 43402(25126/18276)
Jun 01, 2017 1:23:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 131799 ms. Total solver calls (SAT/UNSAT): 43906(25363/18543)
Jun 01, 2017 1:23:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 133188 ms. Total solver calls (SAT/UNSAT): 44395(25600/18795)
Jun 01, 2017 1:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 134362 ms. Total solver calls (SAT/UNSAT): 44914(25837/19077)
Jun 01, 2017 1:23:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/592 took 135446 ms. Total solver calls (SAT/UNSAT): 45230(25995/19235)
Jun 01, 2017 1:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 136565 ms. Total solver calls (SAT/UNSAT): 45546(26153/19393)
Jun 01, 2017 1:23:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 137606 ms. Total solver calls (SAT/UNSAT): 45862(26311/19551)
Jun 01, 2017 1:23:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 138990 ms. Total solver calls (SAT/UNSAT): 46351(26548/19803)
Jun 01, 2017 1:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 140228 ms. Total solver calls (SAT/UNSAT): 46870(26785/20085)
Jun 01, 2017 1:23:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 141599 ms. Total solver calls (SAT/UNSAT): 47389(27022/20367)
Jun 01, 2017 1:23:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 142804 ms. Total solver calls (SAT/UNSAT): 47908(27259/20649)
Jun 01, 2017 1:23:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 143992 ms. Total solver calls (SAT/UNSAT): 48427(27496/20931)
Jun 01, 2017 1:23:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 145255 ms. Total solver calls (SAT/UNSAT): 48946(27733/21213)
Jun 01, 2017 1:23:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/592 took 146339 ms. Total solver calls (SAT/UNSAT): 49262(27891/21371)
Jun 01, 2017 1:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 147451 ms. Total solver calls (SAT/UNSAT): 49578(28049/21529)
Jun 01, 2017 1:23:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 148474 ms. Total solver calls (SAT/UNSAT): 49894(28207/21687)
Jun 01, 2017 1:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 149947 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 01, 2017 1:23:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 151069 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 01, 2017 1:23:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/592 took 152543 ms. Total solver calls (SAT/UNSAT): 51158(28839/22319)
Jun 01, 2017 1:23:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 154046 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 01, 2017 1:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 155172 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 01, 2017 1:23:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 156219 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 01, 2017 1:23:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 157695 ms. Total solver calls (SAT/UNSAT): 52738(29629/23109)
Jun 01, 2017 1:23:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 159174 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 01, 2017 1:23:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 160215 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 01, 2017 1:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 161371 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 01, 2017 1:23:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 162488 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 01, 2017 1:23:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 163495 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 01, 2017 1:23:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 164495 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 01, 2017 1:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 165696 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 01, 2017 1:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 166911 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 01, 2017 1:23:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 168119 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 01, 2017 1:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 169405 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 01, 2017 1:23:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 170469 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 01, 2017 1:23:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 171499 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 01, 2017 1:23:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 172514 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 01, 2017 1:23:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 173682 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 01, 2017 1:23:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 174700 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 01, 2017 1:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 175735 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 01, 2017 1:23:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 177242 ms. Total solver calls (SAT/UNSAT): 59223(32789/26434)
Jun 01, 2017 1:24:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 178459 ms. Total solver calls (SAT/UNSAT): 59742(33026/26716)
Jun 01, 2017 1:24:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 179743 ms. Total solver calls (SAT/UNSAT): 60261(33263/26998)
Jun 01, 2017 1:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 181115 ms. Total solver calls (SAT/UNSAT): 60780(33500/27280)
Jun 01, 2017 1:24:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 182322 ms. Total solver calls (SAT/UNSAT): 61299(33737/27562)
Jun 01, 2017 1:24:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 183540 ms. Total solver calls (SAT/UNSAT): 61818(33974/27844)
Jun 01, 2017 1:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 184746 ms. Total solver calls (SAT/UNSAT): 62337(34211/28126)
Jun 01, 2017 1:24:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 186044 ms. Total solver calls (SAT/UNSAT): 62856(34448/28408)
Jun 01, 2017 1:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 187264 ms. Total solver calls (SAT/UNSAT): 63375(34685/28690)
Jun 01, 2017 1:24:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 188465 ms. Total solver calls (SAT/UNSAT): 63894(34922/28972)
Jun 01, 2017 1:24:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 189682 ms. Total solver calls (SAT/UNSAT): 64413(35159/29254)
Jun 01, 2017 1:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 190887 ms. Total solver calls (SAT/UNSAT): 64932(35396/29536)
Jun 01, 2017 1:24:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 192096 ms. Total solver calls (SAT/UNSAT): 65451(35633/29818)
Jun 01, 2017 1:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 193416 ms. Total solver calls (SAT/UNSAT): 65970(35870/30100)
Jun 01, 2017 1:24:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 194765 ms. Total solver calls (SAT/UNSAT): 66489(36107/30382)
Jun 01, 2017 1:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 196119 ms. Total solver calls (SAT/UNSAT): 67008(36344/30664)
Jun 01, 2017 1:24:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 197315 ms. Total solver calls (SAT/UNSAT): 67527(36581/30946)
Jun 01, 2017 1:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 198335 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 01, 2017 1:24:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 199354 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 01, 2017 1:24:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 200449 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 01, 2017 1:24:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 201484 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 01, 2017 1:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 202568 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 01, 2017 1:24:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/592 took 203589 ms. Total solver calls (SAT/UNSAT): 69438(37529/31909)
Jun 01, 2017 1:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/592 took 204821 ms. Total solver calls (SAT/UNSAT): 69957(37766/32191)
Jun 01, 2017 1:24:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 206249 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 01, 2017 1:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 207331 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 01, 2017 1:24:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 208371 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 01, 2017 1:24:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 209419 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 01, 2017 1:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 210520 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 01, 2017 1:24:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 211715 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 01, 2017 1:24:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 212836 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 01, 2017 1:24:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 214059 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 01, 2017 1:24:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 215164 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 01, 2017 1:24:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 216263 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 01, 2017 1:24:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 217441 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 01, 2017 1:24:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 218561 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 01, 2017 1:24:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 219673 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 01, 2017 1:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 220813 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 01, 2017 1:24:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 222047 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 01, 2017 1:24:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 223109 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 01, 2017 1:24:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 224116 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 01, 2017 1:24:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 225220 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 01, 2017 1:24:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 226333 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 01, 2017 1:24:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 227491 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 01, 2017 1:24:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 228516 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 01, 2017 1:24:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 229536 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 01, 2017 1:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 230571 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 01, 2017 1:24:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 231588 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 01, 2017 1:24:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 232602 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 01, 2017 1:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 233616 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 01, 2017 1:24:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 234134 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 1:24:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 1:24:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1213 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 1:24:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2410 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 1:24:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3504 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 1:25:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4595 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 1:25:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5733 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 01, 2017 1:25:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 7011 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 01, 2017 1:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8111 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 01, 2017 1:25:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9214 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 01, 2017 1:25:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10308 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 01, 2017 1:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11463 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 01, 2017 1:25:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12610 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 01, 2017 1:25:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13814 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 01, 2017 1:25:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 15031 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 01, 2017 1:25:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16182 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 01, 2017 1:25:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 17459 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 01, 2017 1:25:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 18558 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 01, 2017 1:25:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 19671 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 01, 2017 1:25:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 20768 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 01, 2017 1:25:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 21877 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 01, 2017 1:25:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 22962 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 01, 2017 1:25:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 24012 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 01, 2017 1:25:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 25061 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 01, 2017 1:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 26135 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 01, 2017 1:25:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 27212 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 01, 2017 1:25:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 28347 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 01, 2017 1:25:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 29477 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 01, 2017 1:25:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 30614 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 01, 2017 1:25:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 31741 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 01, 2017 1:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 32851 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 01, 2017 1:25:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 33899 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 01, 2017 1:25:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 34931 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 01, 2017 1:25:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 35973 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 01, 2017 1:25:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 37024 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 01, 2017 1:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 38102 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 01, 2017 1:25:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 39169 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 01, 2017 1:25:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 40268 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 01, 2017 1:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 41412 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 01, 2017 1:25:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 42543 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 01, 2017 1:25:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 43690 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 01, 2017 1:25:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 44799 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 01, 2017 1:25:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 45852 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 01, 2017 1:25:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 46911 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 01, 2017 1:25:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 47971 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 01, 2017 1:25:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 49026 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 01, 2017 1:25:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 50086 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 01, 2017 1:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 51142 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 1:25:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 52195 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 01, 2017 1:25:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 53251 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 1:25:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 54298 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 1:25:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 55366 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 01, 2017 1:25:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 56429 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 1:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 57518 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 01, 2017 1:25:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 58645 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 1:25:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 59702 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 01, 2017 1:25:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 60782 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 1:25:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 61838 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 01, 2017 1:25:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 62890 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 1:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 63950 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 01, 2017 1:26:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 65006 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 01, 2017 1:26:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 66057 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 01, 2017 1:26:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 67105 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 01, 2017 1:26:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 68166 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 01, 2017 1:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 69185 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 01, 2017 1:26:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 70278 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 01, 2017 1:26:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 71367 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 01, 2017 1:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 72451 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 01, 2017 1:26:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 73546 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 01, 2017 1:26:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 74631 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 01, 2017 1:26:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 75742 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 01, 2017 1:26:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 76891 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 01, 2017 1:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 77942 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 01, 2017 1:26:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 79029 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 01, 2017 1:26:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 80108 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 01, 2017 1:26:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 81188 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 01, 2017 1:26:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 82268 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 01, 2017 1:26:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/592 took 83320 ms. Total solver calls (SAT/UNSAT): 33242(15264/17978)
Jun 01, 2017 1:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 84447 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 01, 2017 1:26:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 85524 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 01, 2017 1:26:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/592 took 86590 ms. Total solver calls (SAT/UNSAT): 34686(15756/18930)
Jun 01, 2017 1:26:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/592 took 87599 ms. Total solver calls (SAT/UNSAT): 35118(15996/19122)
Jun 01, 2017 1:26:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 88627 ms. Total solver calls (SAT/UNSAT): 35518(16170/19348)
Jun 01, 2017 1:26:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 90046 ms. Total solver calls (SAT/UNSAT): 36037(16452/19585)
Jun 01, 2017 1:26:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 91313 ms. Total solver calls (SAT/UNSAT): 36556(16734/19822)
Jun 01, 2017 1:26:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 92517 ms. Total solver calls (SAT/UNSAT): 37046(17002/20044)
Jun 01, 2017 1:26:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/592 took 93536 ms. Total solver calls (SAT/UNSAT): 37464(17230/20234)
Jun 01, 2017 1:26:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/592 took 94601 ms. Total solver calls (SAT/UNSAT): 37931(17470/20461)
Jun 01, 2017 1:26:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 95714 ms. Total solver calls (SAT/UNSAT): 38385(17718/20667)
Jun 01, 2017 1:26:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 96974 ms. Total solver calls (SAT/UNSAT): 38904(18000/20904)
Jun 01, 2017 1:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 98244 ms. Total solver calls (SAT/UNSAT): 39423(18282/21141)
Jun 01, 2017 1:26:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 99510 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 01, 2017 1:26:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 100775 ms. Total solver calls (SAT/UNSAT): 40461(18846/21615)
Jun 01, 2017 1:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 102042 ms. Total solver calls (SAT/UNSAT): 40980(19128/21852)
Jun 01, 2017 1:26:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 103306 ms. Total solver calls (SAT/UNSAT): 41499(19410/22089)
Jun 01, 2017 1:26:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 104566 ms. Total solver calls (SAT/UNSAT): 42018(19692/22326)
Jun 01, 2017 1:26:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 105827 ms. Total solver calls (SAT/UNSAT): 42537(19974/22563)
Jun 01, 2017 1:26:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 107090 ms. Total solver calls (SAT/UNSAT): 43056(20256/22800)
Jun 01, 2017 1:26:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 108355 ms. Total solver calls (SAT/UNSAT): 43575(20538/23037)
Jun 01, 2017 1:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 109738 ms. Total solver calls (SAT/UNSAT): 44064(20820/23244)
Jun 01, 2017 1:26:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 111017 ms. Total solver calls (SAT/UNSAT): 44568(21102/23466)
Jun 01, 2017 1:26:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 112292 ms. Total solver calls (SAT/UNSAT): 45072(21384/23688)
Jun 01, 2017 1:26:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 113526 ms. Total solver calls (SAT/UNSAT): 45546(21666/23880)
Jun 01, 2017 1:26:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 114910 ms. Total solver calls (SAT/UNSAT): 46020(21948/24072)
Jun 01, 2017 1:26:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 116290 ms. Total solver calls (SAT/UNSAT): 46524(22230/24294)
Jun 01, 2017 1:26:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 117565 ms. Total solver calls (SAT/UNSAT): 47043(22512/24531)
Jun 01, 2017 1:26:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 118826 ms. Total solver calls (SAT/UNSAT): 47562(22794/24768)
Jun 01, 2017 1:26:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 120081 ms. Total solver calls (SAT/UNSAT): 48081(23076/25005)
Jun 01, 2017 1:26:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 121355 ms. Total solver calls (SAT/UNSAT): 48600(23358/25242)
Jun 01, 2017 1:26:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 122618 ms. Total solver calls (SAT/UNSAT): 49104(23640/25464)
Jun 01, 2017 1:27:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 123860 ms. Total solver calls (SAT/UNSAT): 49578(23922/25656)
Jun 01, 2017 1:27:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 125083 ms. Total solver calls (SAT/UNSAT): 50052(24204/25848)
Jun 01, 2017 1:27:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 126316 ms. Total solver calls (SAT/UNSAT): 50526(24486/26040)
Jun 01, 2017 1:27:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 127561 ms. Total solver calls (SAT/UNSAT): 51000(24768/26232)
Jun 01, 2017 1:27:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 128922 ms. Total solver calls (SAT/UNSAT): 51474(25050/26424)
Jun 01, 2017 1:27:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 130335 ms. Total solver calls (SAT/UNSAT): 51948(25332/26616)
Jun 01, 2017 1:27:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 131347 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 01, 2017 1:27:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 132653 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 01, 2017 1:27:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 133890 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 01, 2017 1:27:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 135116 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 01, 2017 1:27:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 136326 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 01, 2017 1:27:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 137564 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 01, 2017 1:27:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 138826 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 01, 2017 1:27:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 140115 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 01, 2017 1:27:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 141393 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 01, 2017 1:27:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 142651 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 01, 2017 1:27:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 143876 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 01, 2017 1:27:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 145129 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 01, 2017 1:27:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 146352 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 01, 2017 1:27:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 147581 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 01, 2017 1:27:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 148931 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 01, 2017 1:27:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/592 took 149990 ms. Total solver calls (SAT/UNSAT): 59396(29656/29740)
Jun 01, 2017 1:27:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/592 took 151499 ms. Total solver calls (SAT/UNSAT): 59915(29938/29977)
Jun 01, 2017 1:27:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/592 took 152782 ms. Total solver calls (SAT/UNSAT): 60434(30220/30214)
Jun 01, 2017 1:27:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/592 took 154092 ms. Total solver calls (SAT/UNSAT): 60953(30502/30451)
Jun 01, 2017 1:27:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/592 took 155575 ms. Total solver calls (SAT/UNSAT): 61472(30784/30688)
Jun 01, 2017 1:27:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/592 took 156853 ms. Total solver calls (SAT/UNSAT): 61991(31066/30925)
Jun 01, 2017 1:27:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/592 took 158095 ms. Total solver calls (SAT/UNSAT): 62510(31348/31162)
Jun 01, 2017 1:27:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/592 took 159345 ms. Total solver calls (SAT/UNSAT): 63029(31630/31399)
Jun 01, 2017 1:27:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/592 took 160585 ms. Total solver calls (SAT/UNSAT): 63548(31912/31636)
Jun 01, 2017 1:27:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/592 took 161820 ms. Total solver calls (SAT/UNSAT): 64067(32194/31873)
Jun 01, 2017 1:27:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/592 took 163077 ms. Total solver calls (SAT/UNSAT): 64586(32476/32110)
Jun 01, 2017 1:27:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/592 took 164297 ms. Total solver calls (SAT/UNSAT): 65105(32758/32347)
Jun 01, 2017 1:27:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/592 took 165525 ms. Total solver calls (SAT/UNSAT): 65624(33040/32584)
Jun 01, 2017 1:27:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/592 took 166768 ms. Total solver calls (SAT/UNSAT): 66143(33322/32821)
Jun 01, 2017 1:27:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/592 took 168028 ms. Total solver calls (SAT/UNSAT): 66662(33604/33058)
Jun 01, 2017 1:27:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/592 took 169320 ms. Total solver calls (SAT/UNSAT): 67181(33886/33295)
Jun 01, 2017 1:27:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 170717 ms. Total solver calls (SAT/UNSAT): 67685(34168/33517)
Jun 01, 2017 1:27:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 172106 ms. Total solver calls (SAT/UNSAT): 68159(34450/33709)
Jun 01, 2017 1:27:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 173109 ms. Total solver calls (SAT/UNSAT): 68475(34638/33837)
Jun 01, 2017 1:27:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 174524 ms. Total solver calls (SAT/UNSAT): 68949(34920/34029)
Jun 01, 2017 1:27:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/592 took 175788 ms. Total solver calls (SAT/UNSAT): 69438(35202/34236)
Jun 01, 2017 1:27:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/592 took 177014 ms. Total solver calls (SAT/UNSAT): 69957(35484/34473)
Jun 01, 2017 1:27:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 178261 ms. Total solver calls (SAT/UNSAT): 70446(35766/34680)
Jun 01, 2017 1:27:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 179512 ms. Total solver calls (SAT/UNSAT): 70920(36048/34872)
Jun 01, 2017 1:27:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 180797 ms. Total solver calls (SAT/UNSAT): 71394(36330/35064)
Jun 01, 2017 1:27:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 182172 ms. Total solver calls (SAT/UNSAT): 71868(36612/35256)
Jun 01, 2017 1:27:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 183597 ms. Total solver calls (SAT/UNSAT): 72342(36894/35448)
Jun 01, 2017 1:28:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 184682 ms. Total solver calls (SAT/UNSAT): 72658(37082/35576)
Jun 01, 2017 1:28:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 186006 ms. Total solver calls (SAT/UNSAT): 73132(37364/35768)
Jun 01, 2017 1:28:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 187271 ms. Total solver calls (SAT/UNSAT): 73606(37646/35960)
Jun 01, 2017 1:28:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 188538 ms. Total solver calls (SAT/UNSAT): 74080(37928/36152)
Jun 01, 2017 1:28:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 189893 ms. Total solver calls (SAT/UNSAT): 74554(38210/36344)
Jun 01, 2017 1:28:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 191244 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 01, 2017 1:28:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/592 took 192249 ms. Total solver calls (SAT/UNSAT): 75344(38680/36664)
Jun 01, 2017 1:28:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 193271 ms. Total solver calls (SAT/UNSAT): 75660(38868/36792)
Jun 01, 2017 1:28:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 194708 ms. Total solver calls (SAT/UNSAT): 76134(39150/36984)
Jun 01, 2017 1:28:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 195724 ms. Total solver calls (SAT/UNSAT): 76450(39338/37112)
Jun 01, 2017 1:28:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 196996 ms. Total solver calls (SAT/UNSAT): 76924(39620/37304)
Jun 01, 2017 1:28:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 198269 ms. Total solver calls (SAT/UNSAT): 77398(39902/37496)
Jun 01, 2017 1:28:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 199621 ms. Total solver calls (SAT/UNSAT): 77872(40184/37688)
Jun 01, 2017 1:28:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 200913 ms. Total solver calls (SAT/UNSAT): 78346(40466/37880)
Jun 01, 2017 1:28:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 201318 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 1:28:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 1:28:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1057 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 1:28:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 2919 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 01, 2017 1:28:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 4782 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 01, 2017 1:28:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 5842 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 01, 2017 1:28:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 7699 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 01, 2017 1:28:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 9568 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 01, 2017 1:28:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 11436 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 01, 2017 1:28:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 13273 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 01, 2017 1:28:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 15104 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 01, 2017 1:28:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 16961 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 01, 2017 1:28:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 18808 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 01, 2017 1:28:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 20633 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 01, 2017 1:28:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 22430 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 01, 2017 1:28:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/592) took 24226 ms. Total solver calls (SAT/UNSAT): 15067(15067/0)
Jun 01, 2017 1:28:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/592) took 26036 ms. Total solver calls (SAT/UNSAT): 16198(16198/0)
Jun 01, 2017 1:28:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 27812 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 01, 2017 1:28:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/592) took 29597 ms. Total solver calls (SAT/UNSAT): 18448(18448/0)
Jun 01, 2017 1:28:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/592) took 31359 ms. Total solver calls (SAT/UNSAT): 19567(19567/0)
Jun 01, 2017 1:28:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/592) took 33187 ms. Total solver calls (SAT/UNSAT): 20682(20682/0)
Jun 01, 2017 1:28:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 35018 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 01, 2017 1:28:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 36762 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 01, 2017 1:28:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 38502 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 01, 2017 1:28:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 40236 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 01, 2017 1:28:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 41942 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 01, 2017 1:29:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 43670 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 01, 2017 1:29:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 45343 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 01, 2017 1:29:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 47030 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 01, 2017 1:29:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 48690 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 01, 2017 1:29:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 50378 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 01, 2017 1:29:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 52045 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 01, 2017 1:29:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 53733 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 01, 2017 1:29:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 55331 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 01, 2017 1:29:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 57031 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 01, 2017 1:29:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 58632 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 01, 2017 1:29:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 60309 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 01, 2017 1:29:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 61885 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 01, 2017 1:29:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 63555 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 01, 2017 1:29:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 65222 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 01, 2017 1:29:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 66871 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 01, 2017 1:29:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 68499 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 01, 2017 1:29:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 70133 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 01, 2017 1:29:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 71740 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 01, 2017 1:29:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 73385 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 01, 2017 1:29:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 75009 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 01, 2017 1:29:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 76587 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 01, 2017 1:29:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 78199 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 01, 2017 1:29:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 79734 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 01, 2017 1:29:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 81352 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 01, 2017 1:29:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 82853 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 01, 2017 1:29:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 84454 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 01, 2017 1:29:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 85962 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 01, 2017 1:29:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 87524 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 01, 2017 1:29:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 89003 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 01, 2017 1:29:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 90522 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 01, 2017 1:29:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 92023 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 01, 2017 1:29:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 93699 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 01, 2017 1:29:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 95231 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 01, 2017 1:29:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 96781 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 01, 2017 1:29:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 98328 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 01, 2017 1:29:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 99867 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 01, 2017 1:29:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 101381 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 01, 2017 1:30:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 102835 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 01, 2017 1:30:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 104473 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 01, 2017 1:30:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 106019 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 01, 2017 1:30:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 107559 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 01, 2017 1:30:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 109088 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 01, 2017 1:30:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 110853 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 01, 2017 1:30:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 112398 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 01, 2017 1:30:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 113896 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 01, 2017 1:30:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 115374 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 01, 2017 1:30:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 116852 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 01, 2017 1:30:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 118339 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 01, 2017 1:30:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 119805 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 01, 2017 1:30:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 121251 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 01, 2017 1:30:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 122709 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 01, 2017 1:30:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 124153 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 01, 2017 1:30:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 125600 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 01, 2017 1:30:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 127029 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 01, 2017 1:30:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 128416 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 01, 2017 1:30:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 129810 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 01, 2017 1:30:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 131192 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 01, 2017 1:30:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 132591 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 01, 2017 1:30:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 133961 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 01, 2017 1:30:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 135342 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 01, 2017 1:30:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 136775 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 01, 2017 1:30:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 138145 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 01, 2017 1:30:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 139522 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 01, 2017 1:30:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 140904 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 01, 2017 1:30:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 142275 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 01, 2017 1:30:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 143627 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 01, 2017 1:30:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 144987 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 01, 2017 1:30:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 146320 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 01, 2017 1:30:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 147631 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 01, 2017 1:30:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 148953 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 01, 2017 1:30:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 150213 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 01, 2017 1:30:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 151454 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 01, 2017 1:30:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 152680 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 01, 2017 1:30:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 153922 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 01, 2017 1:30:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 155151 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 01, 2017 1:30:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 156365 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 01, 2017 1:30:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 157576 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 01, 2017 1:30:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 158764 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 01, 2017 1:30:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 159947 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 01, 2017 1:30:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 161125 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 01, 2017 1:31:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 162299 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 01, 2017 1:31:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 163470 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 01, 2017 1:31:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 164643 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 01, 2017 1:31:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 165796 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 01, 2017 1:31:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 166957 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 01, 2017 1:31:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 168105 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 01, 2017 1:31:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 169249 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 01, 2017 1:31:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 170397 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 01, 2017 1:31:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 171599 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 01, 2017 1:31:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 172781 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 01, 2017 1:31:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 173907 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 01, 2017 1:31:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 175017 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 01, 2017 1:31:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 176118 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 01, 2017 1:31:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 177199 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 01, 2017 1:31:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 178272 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 01, 2017 1:31:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 179340 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 01, 2017 1:31:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 180390 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 01, 2017 1:31:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 181445 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 01, 2017 1:31:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 182515 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 01, 2017 1:31:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 183594 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 01, 2017 1:31:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 184648 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 01, 2017 1:31:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 185674 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 01, 2017 1:31:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(252/592) took 187125 ms. Total solver calls (SAT/UNSAT): 117898(117898/0)
Jun 01, 2017 1:31:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(255/592) took 188517 ms. Total solver calls (SAT/UNSAT): 118912(118912/0)
Jun 01, 2017 1:31:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(258/592) took 189869 ms. Total solver calls (SAT/UNSAT): 119917(119917/0)
Jun 01, 2017 1:31:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(261/592) took 191245 ms. Total solver calls (SAT/UNSAT): 120913(120913/0)
Jun 01, 2017 1:31:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(264/592) took 192626 ms. Total solver calls (SAT/UNSAT): 121900(121900/0)
Jun 01, 2017 1:31:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/592) took 194030 ms. Total solver calls (SAT/UNSAT): 122878(122878/0)
Jun 01, 2017 1:31:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/592) took 195451 ms. Total solver calls (SAT/UNSAT): 123847(123847/0)
Jun 01, 2017 1:31:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/592) took 196793 ms. Total solver calls (SAT/UNSAT): 124807(124807/0)
Jun 01, 2017 1:31:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 198164 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 01, 2017 1:31:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 199528 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 01, 2017 1:31:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/592) took 200947 ms. Total solver calls (SAT/UNSAT): 127633(127633/0)
Jun 01, 2017 1:31:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(285/592) took 202267 ms. Total solver calls (SAT/UNSAT): 128557(128557/0)
Jun 01, 2017 1:31:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/592) took 203583 ms. Total solver calls (SAT/UNSAT): 129472(129472/0)
Jun 01, 2017 1:31:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/592) took 204878 ms. Total solver calls (SAT/UNSAT): 130378(130378/0)
Jun 01, 2017 1:31:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(294/592) took 206144 ms. Total solver calls (SAT/UNSAT): 131275(131275/0)
Jun 01, 2017 1:31:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/592) took 207390 ms. Total solver calls (SAT/UNSAT): 132163(132163/0)
Jun 01, 2017 1:31:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(300/592) took 208618 ms. Total solver calls (SAT/UNSAT): 133042(133042/0)
Jun 01, 2017 1:31:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/592) took 209815 ms. Total solver calls (SAT/UNSAT): 133912(133912/0)
Jun 01, 2017 1:31:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/592) took 210996 ms. Total solver calls (SAT/UNSAT): 134773(134773/0)
Jun 01, 2017 1:31:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/592) took 212160 ms. Total solver calls (SAT/UNSAT): 135625(135625/0)
Jun 01, 2017 1:31:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(312/592) took 213288 ms. Total solver calls (SAT/UNSAT): 136468(136468/0)
Jun 01, 2017 1:31:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/592) took 214468 ms. Total solver calls (SAT/UNSAT): 137302(137302/0)
Jun 01, 2017 1:31:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/592) took 215729 ms. Total solver calls (SAT/UNSAT): 138127(138127/0)
Jun 01, 2017 1:31:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(321/592) took 216973 ms. Total solver calls (SAT/UNSAT): 138943(138943/0)
Jun 01, 2017 1:31:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/592) took 218219 ms. Total solver calls (SAT/UNSAT): 139750(139750/0)
Jun 01, 2017 1:31:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/592) took 219472 ms. Total solver calls (SAT/UNSAT): 140548(140548/0)
Jun 01, 2017 1:31:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/592) took 220673 ms. Total solver calls (SAT/UNSAT): 141337(141337/0)
Jun 01, 2017 1:31:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/592) took 221919 ms. Total solver calls (SAT/UNSAT): 142117(142117/0)
Jun 01, 2017 1:32:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/592) took 223145 ms. Total solver calls (SAT/UNSAT): 142888(142888/0)
Jun 01, 2017 1:32:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/592) took 224322 ms. Total solver calls (SAT/UNSAT): 143650(143650/0)
Jun 01, 2017 1:32:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/592) took 225419 ms. Total solver calls (SAT/UNSAT): 144403(144403/0)
Jun 01, 2017 1:32:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/592) took 226550 ms. Total solver calls (SAT/UNSAT): 145147(145147/0)
Jun 01, 2017 1:32:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(348/592) took 227695 ms. Total solver calls (SAT/UNSAT): 145882(145882/0)
Jun 01, 2017 1:32:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/592) took 228800 ms. Total solver calls (SAT/UNSAT): 146608(146608/0)
Jun 01, 2017 1:32:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/592) took 229904 ms. Total solver calls (SAT/UNSAT): 147325(147325/0)
Jun 01, 2017 1:32:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(357/592) took 231002 ms. Total solver calls (SAT/UNSAT): 148033(148033/0)
Jun 01, 2017 1:32:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/592) took 232074 ms. Total solver calls (SAT/UNSAT): 148732(148732/0)
Jun 01, 2017 1:32:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/592) took 233144 ms. Total solver calls (SAT/UNSAT): 149422(149422/0)
Jun 01, 2017 1:32:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/592) took 234177 ms. Total solver calls (SAT/UNSAT): 150103(150103/0)
Jun 01, 2017 1:32:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(369/592) took 235217 ms. Total solver calls (SAT/UNSAT): 150775(150775/0)
Jun 01, 2017 1:32:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(372/592) took 236247 ms. Total solver calls (SAT/UNSAT): 151438(151438/0)
Jun 01, 2017 1:32:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/592) took 237276 ms. Total solver calls (SAT/UNSAT): 152092(152092/0)
Jun 01, 2017 1:32:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/592) took 238600 ms. Total solver calls (SAT/UNSAT): 152950(152950/0)
Jun 01, 2017 1:32:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/592) took 239678 ms. Total solver calls (SAT/UNSAT): 153583(153583/0)
Jun 01, 2017 1:32:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/592) took 240952 ms. Total solver calls (SAT/UNSAT): 154413(154413/0)
Jun 01, 2017 1:32:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/592) took 241969 ms. Total solver calls (SAT/UNSAT): 155025(155025/0)
Jun 01, 2017 1:32:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(392/592) took 242987 ms. Total solver calls (SAT/UNSAT): 155628(155628/0)
Jun 01, 2017 1:32:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(396/592) took 244274 ms. Total solver calls (SAT/UNSAT): 156418(156418/0)
Jun 01, 2017 1:32:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/592) took 245472 ms. Total solver calls (SAT/UNSAT): 157192(157192/0)
Jun 01, 2017 1:32:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(404/592) took 246634 ms. Total solver calls (SAT/UNSAT): 157950(157950/0)
Jun 01, 2017 1:32:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(408/592) took 247789 ms. Total solver calls (SAT/UNSAT): 158692(158692/0)
Jun 01, 2017 1:32:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/592) took 248970 ms. Total solver calls (SAT/UNSAT): 159418(159418/0)
Jun 01, 2017 1:32:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/592) took 250176 ms. Total solver calls (SAT/UNSAT): 160128(160128/0)
Jun 01, 2017 1:32:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/592) took 251370 ms. Total solver calls (SAT/UNSAT): 160822(160822/0)
Jun 01, 2017 1:32:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(424/592) took 252528 ms. Total solver calls (SAT/UNSAT): 161500(161500/0)
Jun 01, 2017 1:32:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(428/592) took 253641 ms. Total solver calls (SAT/UNSAT): 162162(162162/0)
Jun 01, 2017 1:32:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(432/592) took 254740 ms. Total solver calls (SAT/UNSAT): 162808(162808/0)
Jun 01, 2017 1:32:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/592) took 255810 ms. Total solver calls (SAT/UNSAT): 163438(163438/0)
Jun 01, 2017 1:32:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/592) took 256833 ms. Total solver calls (SAT/UNSAT): 164052(164052/0)
Jun 01, 2017 1:32:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 258068 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 01, 2017 1:32:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/592) took 259190 ms. Total solver calls (SAT/UNSAT): 165517(165517/0)
Jun 01, 2017 1:32:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/592) took 260267 ms. Total solver calls (SAT/UNSAT): 166212(166212/0)
Jun 01, 2017 1:32:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/592) took 261326 ms. Total solver calls (SAT/UNSAT): 166882(166882/0)
Jun 01, 2017 1:32:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(465/592) took 262386 ms. Total solver calls (SAT/UNSAT): 167527(167527/0)
Jun 01, 2017 1:32:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(470/592) took 263386 ms. Total solver calls (SAT/UNSAT): 168147(168147/0)
Jun 01, 2017 1:32:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(476/592) took 264507 ms. Total solver calls (SAT/UNSAT): 168858(168858/0)
Jun 01, 2017 1:32:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(482/592) took 265526 ms. Total solver calls (SAT/UNSAT): 169533(169533/0)
Jun 01, 2017 1:32:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(489/592) took 266650 ms. Total solver calls (SAT/UNSAT): 170275(170275/0)
Jun 01, 2017 1:32:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(496/592) took 267742 ms. Total solver calls (SAT/UNSAT): 170968(170968/0)
Jun 01, 2017 1:32:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(504/592) took 268863 ms. Total solver calls (SAT/UNSAT): 171700(171700/0)
Jun 01, 2017 1:32:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(512/592) took 269881 ms. Total solver calls (SAT/UNSAT): 172368(172368/0)
Jun 01, 2017 1:32:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(521/592) took 270935 ms. Total solver calls (SAT/UNSAT): 173043(173043/0)
Jun 01, 2017 1:32:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(530/592) took 271987 ms. Total solver calls (SAT/UNSAT): 173637(173637/0)
Jun 01, 2017 1:32:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(541/592) took 273020 ms. Total solver calls (SAT/UNSAT): 174253(174253/0)
Jun 01, 2017 1:32:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(554/592) took 274057 ms. Total solver calls (SAT/UNSAT): 174825(174825/0)
Jun 01, 2017 1:32:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(573/592) took 275058 ms. Total solver calls (SAT/UNSAT): 175357(175357/0)
Jun 01, 2017 1:32:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 275400 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 1:32:53 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="LTLFireability"
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 LTLFireability"
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-149440486600420"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 ;