About the Execution of ITS-Tools for PermAdmissibility-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15941.950 | 3600000.00 | 4600750.00 | 960.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is PermAdmissibility-PT-20, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486700437
=====================================================================
--------------------
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-20-LTLCardinality-0
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-1
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-10
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-11
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-12
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-13
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-14
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-15
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-2
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-3
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-4
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-5
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-6
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-7
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-8
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496329678346
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(G(F(X("(in3_5+in3_4)<=(((((((out2_0+out2_7)+out2_5)+out2_6)+out2_3)+out2_4)+out2_1)+out2_2)"))))))
Formula 0 simplified : !FGFX"(in3_5+in3_4)<=(((((((out2_0+out2_7)+out2_5)+out2_6)+out2_3)+out2_4)+out2_1)+out2_2)"
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= 40
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= -40
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 3:07:59 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 3:07:59 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 101 ms
Jun 01, 2017 3:07:59 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 3:07:59 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 3:08:00 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 149 ms
Jun 01, 2017 3:08:00 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 19 ms
Jun 01, 2017 3:08:00 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 01, 2017 3:08:00 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 190 ms
Jun 01, 2017 3:08:09 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8631 ms
Jun 01, 2017 3:08:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 3:08:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 470 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 3:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1864 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 01, 2017 3:08:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3267 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 01, 2017 3:08:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 4350 ms. Total solver calls (SAT/UNSAT): 1224(711/513)
Jun 01, 2017 3:08:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 5728 ms. Total solver calls (SAT/UNSAT): 1632(948/684)
Jun 01, 2017 3:08:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 7122 ms. Total solver calls (SAT/UNSAT): 2040(1185/855)
Jun 01, 2017 3:08:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 8622 ms. Total solver calls (SAT/UNSAT): 2448(1422/1026)
Jun 01, 2017 3:08:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/592 took 9664 ms. Total solver calls (SAT/UNSAT): 2720(1580/1140)
Jun 01, 2017 3:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/592 took 11050 ms. Total solver calls (SAT/UNSAT): 3128(1817/1311)
Jun 01, 2017 3:08:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 12095 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 01, 2017 3:08:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 13510 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 01, 2017 3:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 14898 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 01, 2017 3:08:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 16279 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 01, 2017 3:08:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 17663 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 01, 2017 3:08:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 18724 ms. Total solver calls (SAT/UNSAT): 5304(3081/2223)
Jun 01, 2017 3:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 20120 ms. Total solver calls (SAT/UNSAT): 5712(3318/2394)
Jun 01, 2017 3:08:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/592 took 21204 ms. Total solver calls (SAT/UNSAT): 5984(3476/2508)
Jun 01, 2017 3:08:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/592 took 22592 ms. Total solver calls (SAT/UNSAT): 6392(3713/2679)
Jun 01, 2017 3:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/592 took 23967 ms. Total solver calls (SAT/UNSAT): 6800(3950/2850)
Jun 01, 2017 3:08:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/592 took 25358 ms. Total solver calls (SAT/UNSAT): 7208(4187/3021)
Jun 01, 2017 3:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/592 took 26747 ms. Total solver calls (SAT/UNSAT): 7616(4424/3192)
Jun 01, 2017 3:08:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/592 took 28148 ms. Total solver calls (SAT/UNSAT): 8024(4661/3363)
Jun 01, 2017 3:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/592 took 29414 ms. Total solver calls (SAT/UNSAT): 8477(4898/3579)
Jun 01, 2017 3:08:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/592 took 30695 ms. Total solver calls (SAT/UNSAT): 8930(5135/3795)
Jun 01, 2017 3:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/592 took 31988 ms. Total solver calls (SAT/UNSAT): 9383(5372/4011)
Jun 01, 2017 3:08:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/592 took 33256 ms. Total solver calls (SAT/UNSAT): 9836(5609/4227)
Jun 01, 2017 3:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/592 took 34537 ms. Total solver calls (SAT/UNSAT): 10289(5846/4443)
Jun 01, 2017 3:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/592 took 35797 ms. Total solver calls (SAT/UNSAT): 10742(6083/4659)
Jun 01, 2017 3:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/592 took 37086 ms. Total solver calls (SAT/UNSAT): 11195(6320/4875)
Jun 01, 2017 3:08:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/592 took 38354 ms. Total solver calls (SAT/UNSAT): 11648(6557/5091)
Jun 01, 2017 3:08:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/592 took 39618 ms. Total solver calls (SAT/UNSAT): 12101(6794/5307)
Jun 01, 2017 3:08:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/592 took 40892 ms. Total solver calls (SAT/UNSAT): 12554(7031/5523)
Jun 01, 2017 3:08:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/592 took 42171 ms. Total solver calls (SAT/UNSAT): 13007(7268/5739)
Jun 01, 2017 3:08:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/592 took 43450 ms. Total solver calls (SAT/UNSAT): 13460(7505/5955)
Jun 01, 2017 3:08:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/592 took 44726 ms. Total solver calls (SAT/UNSAT): 13913(7742/6171)
Jun 01, 2017 3:08:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/592 took 45970 ms. Total solver calls (SAT/UNSAT): 14366(7979/6387)
Jun 01, 2017 3:08:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/592 took 47303 ms. Total solver calls (SAT/UNSAT): 14789(8216/6573)
Jun 01, 2017 3:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/592 took 48673 ms. Total solver calls (SAT/UNSAT): 15197(8453/6744)
Jun 01, 2017 3:08:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/592 took 49944 ms. Total solver calls (SAT/UNSAT): 15650(8690/6960)
Jun 01, 2017 3:09:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/592 took 51179 ms. Total solver calls (SAT/UNSAT): 16103(8927/7176)
Jun 01, 2017 3:09:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/592 took 52422 ms. Total solver calls (SAT/UNSAT): 16556(9164/7392)
Jun 01, 2017 3:09:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/592 took 53704 ms. Total solver calls (SAT/UNSAT): 17009(9401/7608)
Jun 01, 2017 3:09:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/592 took 54961 ms. Total solver calls (SAT/UNSAT): 17462(9638/7824)
Jun 01, 2017 3:09:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/592 took 56243 ms. Total solver calls (SAT/UNSAT): 17885(9875/8010)
Jun 01, 2017 3:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 57520 ms. Total solver calls (SAT/UNSAT): 18293(10112/8181)
Jun 01, 2017 3:09:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/592 took 58809 ms. Total solver calls (SAT/UNSAT): 18701(10349/8352)
Jun 01, 2017 3:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/592 took 60089 ms. Total solver calls (SAT/UNSAT): 19109(10586/8523)
Jun 01, 2017 3:09:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/592 took 61384 ms. Total solver calls (SAT/UNSAT): 19517(10823/8694)
Jun 01, 2017 3:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/592 took 62670 ms. Total solver calls (SAT/UNSAT): 19925(11060/8865)
Jun 01, 2017 3:09:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/592 took 63955 ms. Total solver calls (SAT/UNSAT): 20333(11297/9036)
Jun 01, 2017 3:09:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/592 took 65250 ms. Total solver calls (SAT/UNSAT): 20741(11534/9207)
Jun 01, 2017 3:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/592 took 66542 ms. Total solver calls (SAT/UNSAT): 21149(11771/9378)
Jun 01, 2017 3:09:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/592 took 67837 ms. Total solver calls (SAT/UNSAT): 21557(12008/9549)
Jun 01, 2017 3:09:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/592 took 69118 ms. Total solver calls (SAT/UNSAT): 21965(12245/9720)
Jun 01, 2017 3:09:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/592 took 70398 ms. Total solver calls (SAT/UNSAT): 22418(12482/9936)
Jun 01, 2017 3:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/592 took 71680 ms. Total solver calls (SAT/UNSAT): 22841(12719/10122)
Jun 01, 2017 3:09:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/592 took 72944 ms. Total solver calls (SAT/UNSAT): 23264(12956/10308)
Jun 01, 2017 3:09:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/592 took 74239 ms. Total solver calls (SAT/UNSAT): 23672(13193/10479)
Jun 01, 2017 3:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/592 took 75526 ms. Total solver calls (SAT/UNSAT): 24080(13430/10650)
Jun 01, 2017 3:09:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/592 took 76815 ms. Total solver calls (SAT/UNSAT): 24488(13667/10821)
Jun 01, 2017 3:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/592 took 78100 ms. Total solver calls (SAT/UNSAT): 24896(13904/10992)
Jun 01, 2017 3:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/592 took 79388 ms. Total solver calls (SAT/UNSAT): 25304(14141/11163)
Jun 01, 2017 3:09:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/592 took 80670 ms. Total solver calls (SAT/UNSAT): 25712(14378/11334)
Jun 01, 2017 3:09:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/592 took 81967 ms. Total solver calls (SAT/UNSAT): 26120(14615/11505)
Jun 01, 2017 3:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/592 took 83168 ms. Total solver calls (SAT/UNSAT): 26495(14852/11643)
Jun 01, 2017 3:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/592 took 84178 ms. Total solver calls (SAT/UNSAT): 26804(15089/11715)
Jun 01, 2017 3:09:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/592 took 85192 ms. Total solver calls (SAT/UNSAT): 27113(15326/11787)
Jun 01, 2017 3:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/592 took 86516 ms. Total solver calls (SAT/UNSAT): 27525(15642/11883)
Jun 01, 2017 3:09:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/592 took 87539 ms. Total solver calls (SAT/UNSAT): 27834(15879/11955)
Jun 01, 2017 3:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/592 took 88539 ms. Total solver calls (SAT/UNSAT): 28143(16116/12027)
Jun 01, 2017 3:09:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/592 took 89862 ms. Total solver calls (SAT/UNSAT): 28555(16432/12123)
Jun 01, 2017 3:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/592 took 91196 ms. Total solver calls (SAT/UNSAT): 28967(16748/12219)
Jun 01, 2017 3:09:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 92209 ms. Total solver calls (SAT/UNSAT): 29276(16985/12291)
Jun 01, 2017 3:09:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/592 took 93535 ms. Total solver calls (SAT/UNSAT): 29688(17301/12387)
Jun 01, 2017 3:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 94961 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 01, 2017 3:09:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 96248 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 01, 2017 3:09:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 97339 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 01, 2017 3:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/592 took 98668 ms. Total solver calls (SAT/UNSAT): 31295(18407/12888)
Jun 01, 2017 3:09:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 100000 ms. Total solver calls (SAT/UNSAT): 31707(18723/12984)
Jun 01, 2017 3:09:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/592 took 101020 ms. Total solver calls (SAT/UNSAT): 32016(18960/13056)
Jun 01, 2017 3:09:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 102342 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 01, 2017 3:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 103345 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 01, 2017 3:09:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 104370 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 01, 2017 3:09:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/592 took 105393 ms. Total solver calls (SAT/UNSAT): 33397(20013/13384)
Jun 01, 2017 3:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/592 took 106399 ms. Total solver calls (SAT/UNSAT): 33722(20266/13456)
Jun 01, 2017 3:09:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 107428 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 01, 2017 3:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/592 took 108530 ms. Total solver calls (SAT/UNSAT): 34442(20750/13692)
Jun 01, 2017 3:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/592 took 109557 ms. Total solver calls (SAT/UNSAT): 34830(20980/13850)
Jun 01, 2017 3:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/592 took 110557 ms. Total solver calls (SAT/UNSAT): 35185(21210/13975)
Jun 01, 2017 3:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 111879 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 01, 2017 3:10:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 113167 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 01, 2017 3:10:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 114463 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 01, 2017 3:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 115879 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 01, 2017 3:10:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 116973 ms. Total solver calls (SAT/UNSAT): 37644(22447/15197)
Jun 01, 2017 3:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/592 took 117974 ms. Total solver calls (SAT/UNSAT): 38003(22654/15349)
Jun 01, 2017 3:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 119358 ms. Total solver calls (SAT/UNSAT): 38558(22914/15644)
Jun 01, 2017 3:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 120658 ms. Total solver calls (SAT/UNSAT): 39077(23151/15926)
Jun 01, 2017 3:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 121938 ms. Total solver calls (SAT/UNSAT): 39596(23388/16208)
Jun 01, 2017 3:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/592 took 123219 ms. Total solver calls (SAT/UNSAT): 40115(23625/16490)
Jun 01, 2017 3:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 124490 ms. Total solver calls (SAT/UNSAT): 40634(23862/16772)
Jun 01, 2017 3:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 125782 ms. Total solver calls (SAT/UNSAT): 41153(24099/17054)
Jun 01, 2017 3:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 127047 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 01, 2017 3:10:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 128330 ms. Total solver calls (SAT/UNSAT): 42191(24573/17618)
Jun 01, 2017 3:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 129613 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 01, 2017 3:10:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 130890 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 01, 2017 3:10:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 132178 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 01, 2017 3:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 133255 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 01, 2017 3:10:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 134634 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 01, 2017 3:10:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 136001 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 01, 2017 3:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 137084 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 01, 2017 3:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 138149 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 01, 2017 3:10:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 139221 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 01, 2017 3:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 140625 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 01, 2017 3:10:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 141906 ms. Total solver calls (SAT/UNSAT): 47043(26864/20179)
Jun 01, 2017 3:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 143202 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 01, 2017 3:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 144491 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 01, 2017 3:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 145777 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 01, 2017 3:10:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 147169 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 01, 2017 3:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 148241 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 01, 2017 3:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 149306 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 01, 2017 3:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 150372 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 01, 2017 3:10:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 151448 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 01, 2017 3:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 152497 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 01, 2017 3:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 153561 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 01, 2017 3:10:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 154616 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 01, 2017 3:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 155685 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 01, 2017 3:10:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 156779 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 01, 2017 3:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 157857 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 01, 2017 3:10:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 158934 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 01, 2017 3:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 159998 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 01, 2017 3:10:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 161088 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 01, 2017 3:10:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 162169 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 01, 2017 3:10:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 163250 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 01, 2017 3:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 164300 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 01, 2017 3:10:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 165375 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 01, 2017 3:10:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 166454 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 01, 2017 3:10:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 167776 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 01, 2017 3:10:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 169102 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 01, 2017 3:10:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 170418 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 01, 2017 3:11:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 171835 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 01, 2017 3:11:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 172892 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 01, 2017 3:11:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 173965 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 01, 2017 3:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 175033 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 01, 2017 3:11:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 176108 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 01, 2017 3:11:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 177217 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 01, 2017 3:11:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 178281 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 01, 2017 3:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 179344 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 01, 2017 3:11:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 180754 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 01, 2017 3:11:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 182052 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 01, 2017 3:11:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 183342 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 01, 2017 3:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 184602 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 01, 2017 3:11:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 185883 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 01, 2017 3:11:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 187162 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 01, 2017 3:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 188461 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 01, 2017 3:11:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 189766 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 01, 2017 3:11:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 191061 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 01, 2017 3:11:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 192342 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 01, 2017 3:11:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 193626 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 01, 2017 3:11:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 194888 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 01, 2017 3:11:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 196164 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 01, 2017 3:11:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 197454 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 01, 2017 3:11:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 198742 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 01, 2017 3:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 200033 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 01, 2017 3:11:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 201554 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 01, 2017 3:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 202634 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 01, 2017 3:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 203732 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 01, 2017 3:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 204812 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 01, 2017 3:11:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 205887 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 01, 2017 3:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 207308 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 01, 2017 3:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 208608 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 01, 2017 3:11:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 209681 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 01, 2017 3:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 210756 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 01, 2017 3:11:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 211830 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 01, 2017 3:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 212935 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 01, 2017 3:11:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 214008 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 01, 2017 3:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 215078 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 01, 2017 3:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 216135 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 01, 2017 3:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 217207 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 01, 2017 3:11:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 218297 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 01, 2017 3:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 219363 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 01, 2017 3:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 220469 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 01, 2017 3:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 221539 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 01, 2017 3:11:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 222908 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 01, 2017 3:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 224013 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 01, 2017 3:11:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 225094 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 01, 2017 3:11:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 226341 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 01, 2017 3:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 227613 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 01, 2017 3:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 228695 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 01, 2017 3:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 229788 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 01, 2017 3:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 230981 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 01, 2017 3:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 232112 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 01, 2017 3:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 233278 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 01, 2017 3:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 234405 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 01, 2017 3:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 235491 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 01, 2017 3:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 236562 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 01, 2017 3:12:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 237631 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 01, 2017 3:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 238189 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 3:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 3:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1152 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 3:12:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2313 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 3:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3450 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 3:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4690 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 3:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5841 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 01, 2017 3:12:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6989 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 01, 2017 3:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8135 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 01, 2017 3:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9307 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 01, 2017 3:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10429 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 01, 2017 3:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11561 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 01, 2017 3:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12689 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 01, 2017 3:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13848 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 01, 2017 3:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14993 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 01, 2017 3:12:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16148 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 01, 2017 3:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 17294 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 01, 2017 3:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 18431 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 01, 2017 3:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 19595 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 01, 2017 3:12:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 20741 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 01, 2017 3:12:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 21898 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 01, 2017 3:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 23023 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 01, 2017 3:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 24234 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 01, 2017 3:12:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 25313 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 01, 2017 3:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 26458 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 01, 2017 3:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 27581 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 01, 2017 3:12:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 28757 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 01, 2017 3:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 29914 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 01, 2017 3:12:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 31093 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 01, 2017 3:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 32265 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 01, 2017 3:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 33406 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 01, 2017 3:12:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 34650 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 01, 2017 3:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 35749 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 01, 2017 3:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 36825 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 01, 2017 3:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 37926 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 01, 2017 3:12:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 39053 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 01, 2017 3:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 40247 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 01, 2017 3:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 41401 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 01, 2017 3:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 42660 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 01, 2017 3:12:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 43884 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 01, 2017 3:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 45062 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 01, 2017 3:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 46200 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 01, 2017 3:12:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 47277 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 01, 2017 3:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 48370 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 01, 2017 3:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 49463 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 01, 2017 3:12:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 50563 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 01, 2017 3:12:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 51698 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 01, 2017 3:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 52893 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 3:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 54064 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 01, 2017 3:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 55149 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 3:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 56271 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 3:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 57367 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 01, 2017 3:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 58443 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 3:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 59556 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 01, 2017 3:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 60710 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 3:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 61924 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 01, 2017 3:13:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 63101 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 3:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 64237 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 01, 2017 3:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 65366 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 3:13:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 66521 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 01, 2017 3:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 67710 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 01, 2017 3:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 69033 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 01, 2017 3:13:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 70134 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 01, 2017 3:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 71213 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 01, 2017 3:13:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 72259 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 01, 2017 3:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 73395 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 01, 2017 3:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 74557 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 01, 2017 3:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 75705 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 01, 2017 3:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 76864 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 01, 2017 3:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 78037 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 01, 2017 3:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 79196 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 01, 2017 3:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 80516 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 01, 2017 3:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 81657 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 01, 2017 3:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 82812 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 01, 2017 3:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 84022 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 01, 2017 3:13:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 85191 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 01, 2017 3:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 86300 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 01, 2017 3:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/592 took 87321 ms. Total solver calls (SAT/UNSAT): 33211(15256/17955)
Jun 01, 2017 3:13:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 88329 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 01, 2017 3:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 89345 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 01, 2017 3:13:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/592 took 90357 ms. Total solver calls (SAT/UNSAT): 34650(15736/18914)
Jun 01, 2017 3:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/592 took 91384 ms. Total solver calls (SAT/UNSAT): 35082(15976/19106)
Jun 01, 2017 3:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 92783 ms. Total solver calls (SAT/UNSAT): 35691(16264/19427)
Jun 01, 2017 3:13:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 94072 ms. Total solver calls (SAT/UNSAT): 36210(16546/19664)
Jun 01, 2017 3:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 95362 ms. Total solver calls (SAT/UNSAT): 36729(16828/19901)
Jun 01, 2017 3:13:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 96681 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 01, 2017 3:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 97773 ms. Total solver calls (SAT/UNSAT): 37680(17350/20330)
Jun 01, 2017 3:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/592 took 98805 ms. Total solver calls (SAT/UNSAT): 38039(17530/20509)
Jun 01, 2017 3:13:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 100144 ms. Total solver calls (SAT/UNSAT): 38558(17812/20746)
Jun 01, 2017 3:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 101446 ms. Total solver calls (SAT/UNSAT): 39077(18094/20983)
Jun 01, 2017 3:13:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 102494 ms. Total solver calls (SAT/UNSAT): 39423(18282/21141)
Jun 01, 2017 3:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 103820 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 01, 2017 3:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 105105 ms. Total solver calls (SAT/UNSAT): 40461(18846/21615)
Jun 01, 2017 3:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 106401 ms. Total solver calls (SAT/UNSAT): 40980(19128/21852)
Jun 01, 2017 3:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 107694 ms. Total solver calls (SAT/UNSAT): 41499(19410/22089)
Jun 01, 2017 3:13:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 109108 ms. Total solver calls (SAT/UNSAT): 42018(19692/22326)
Jun 01, 2017 3:13:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 110380 ms. Total solver calls (SAT/UNSAT): 42537(19974/22563)
Jun 01, 2017 3:13:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 111662 ms. Total solver calls (SAT/UNSAT): 43056(20256/22800)
Jun 01, 2017 3:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 112981 ms. Total solver calls (SAT/UNSAT): 43575(20538/23037)
Jun 01, 2017 3:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 114405 ms. Total solver calls (SAT/UNSAT): 44064(20820/23244)
Jun 01, 2017 3:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 115697 ms. Total solver calls (SAT/UNSAT): 44568(21102/23466)
Jun 01, 2017 3:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 117092 ms. Total solver calls (SAT/UNSAT): 45072(21384/23688)
Jun 01, 2017 3:14:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 118486 ms. Total solver calls (SAT/UNSAT): 45546(21666/23880)
Jun 01, 2017 3:14:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 119770 ms. Total solver calls (SAT/UNSAT): 46020(21948/24072)
Jun 01, 2017 3:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 121077 ms. Total solver calls (SAT/UNSAT): 46524(22230/24294)
Jun 01, 2017 3:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 122436 ms. Total solver calls (SAT/UNSAT): 47043(22512/24531)
Jun 01, 2017 3:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 123721 ms. Total solver calls (SAT/UNSAT): 47562(22794/24768)
Jun 01, 2017 3:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 125023 ms. Total solver calls (SAT/UNSAT): 48081(23076/25005)
Jun 01, 2017 3:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 126329 ms. Total solver calls (SAT/UNSAT): 48600(23358/25242)
Jun 01, 2017 3:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 127732 ms. Total solver calls (SAT/UNSAT): 49104(23640/25464)
Jun 01, 2017 3:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 129034 ms. Total solver calls (SAT/UNSAT): 49578(23922/25656)
Jun 01, 2017 3:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 130335 ms. Total solver calls (SAT/UNSAT): 50052(24204/25848)
Jun 01, 2017 3:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 131620 ms. Total solver calls (SAT/UNSAT): 50526(24486/26040)
Jun 01, 2017 3:14:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 133054 ms. Total solver calls (SAT/UNSAT): 51000(24768/26232)
Jun 01, 2017 3:14:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 134341 ms. Total solver calls (SAT/UNSAT): 51474(25050/26424)
Jun 01, 2017 3:14:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 135635 ms. Total solver calls (SAT/UNSAT): 51948(25332/26616)
Jun 01, 2017 3:14:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 136973 ms. Total solver calls (SAT/UNSAT): 52422(25614/26808)
Jun 01, 2017 3:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 138261 ms. Total solver calls (SAT/UNSAT): 52896(25896/27000)
Jun 01, 2017 3:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 139585 ms. Total solver calls (SAT/UNSAT): 53370(26178/27192)
Jun 01, 2017 3:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 140873 ms. Total solver calls (SAT/UNSAT): 53844(26460/27384)
Jun 01, 2017 3:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 142309 ms. Total solver calls (SAT/UNSAT): 54318(26742/27576)
Jun 01, 2017 3:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 143394 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 01, 2017 3:14:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 144873 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 01, 2017 3:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 146223 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 01, 2017 3:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 147659 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 01, 2017 3:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 148981 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 01, 2017 3:14:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 150277 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 01, 2017 3:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 151583 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 01, 2017 3:14:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/592 took 152612 ms. Total solver calls (SAT/UNSAT): 57959(28810/29149)
Jun 01, 2017 3:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 153921 ms. Total solver calls (SAT/UNSAT): 58433(29092/29341)
Jun 01, 2017 3:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 155223 ms. Total solver calls (SAT/UNSAT): 58907(29374/29533)
Jun 01, 2017 3:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/592 took 156709 ms. Total solver calls (SAT/UNSAT): 59396(29656/29740)
Jun 01, 2017 3:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/592 took 158083 ms. Total solver calls (SAT/UNSAT): 59915(29938/29977)
Jun 01, 2017 3:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/592 took 159424 ms. Total solver calls (SAT/UNSAT): 60434(30220/30214)
Jun 01, 2017 3:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/592 took 160827 ms. Total solver calls (SAT/UNSAT): 60953(30502/30451)
Jun 01, 2017 3:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/592 took 162241 ms. Total solver calls (SAT/UNSAT): 61472(30784/30688)
Jun 01, 2017 3:14:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 163330 ms. Total solver calls (SAT/UNSAT): 61818(30972/30846)
Jun 01, 2017 3:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 164630 ms. Total solver calls (SAT/UNSAT): 62337(31254/31083)
Jun 01, 2017 3:14:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 165953 ms. Total solver calls (SAT/UNSAT): 62856(31536/31320)
Jun 01, 2017 3:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 167442 ms. Total solver calls (SAT/UNSAT): 63375(31818/31557)
Jun 01, 2017 3:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 168783 ms. Total solver calls (SAT/UNSAT): 63894(32100/31794)
Jun 01, 2017 3:14:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 170180 ms. Total solver calls (SAT/UNSAT): 64413(32382/32031)
Jun 01, 2017 3:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 171223 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 01, 2017 3:15:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 172507 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 01, 2017 3:15:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 173812 ms. Total solver calls (SAT/UNSAT): 65797(33134/32663)
Jun 01, 2017 3:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 175147 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 01, 2017 3:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 176479 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 01, 2017 3:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 177815 ms. Total solver calls (SAT/UNSAT): 67354(33980/33374)
Jun 01, 2017 3:15:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 179149 ms. Total solver calls (SAT/UNSAT): 67843(34262/33581)
Jun 01, 2017 3:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 180502 ms. Total solver calls (SAT/UNSAT): 68317(34544/33773)
Jun 01, 2017 3:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 181881 ms. Total solver calls (SAT/UNSAT): 68791(34826/33965)
Jun 01, 2017 3:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 183240 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 01, 2017 3:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 184533 ms. Total solver calls (SAT/UNSAT): 69784(35390/34394)
Jun 01, 2017 3:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 185827 ms. Total solver calls (SAT/UNSAT): 70288(35672/34616)
Jun 01, 2017 3:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 187376 ms. Total solver calls (SAT/UNSAT): 70762(35954/34808)
Jun 01, 2017 3:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 188794 ms. Total solver calls (SAT/UNSAT): 71236(36236/35000)
Jun 01, 2017 3:15:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 190144 ms. Total solver calls (SAT/UNSAT): 71710(36518/35192)
Jun 01, 2017 3:15:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 191525 ms. Total solver calls (SAT/UNSAT): 72184(36800/35384)
Jun 01, 2017 3:15:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 192552 ms. Total solver calls (SAT/UNSAT): 72500(36988/35512)
Jun 01, 2017 3:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 193878 ms. Total solver calls (SAT/UNSAT): 72974(37270/35704)
Jun 01, 2017 3:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 194890 ms. Total solver calls (SAT/UNSAT): 73290(37458/35832)
Jun 01, 2017 3:15:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 196231 ms. Total solver calls (SAT/UNSAT): 73764(37740/36024)
Jun 01, 2017 3:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 197312 ms. Total solver calls (SAT/UNSAT): 74080(37928/36152)
Jun 01, 2017 3:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 198598 ms. Total solver calls (SAT/UNSAT): 74396(38116/36280)
Jun 01, 2017 3:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 199941 ms. Total solver calls (SAT/UNSAT): 74712(38304/36408)
Jun 01, 2017 3:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 201221 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 01, 2017 3:15:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/592 took 202266 ms. Total solver calls (SAT/UNSAT): 75344(38680/36664)
Jun 01, 2017 3:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 203598 ms. Total solver calls (SAT/UNSAT): 75818(38962/36856)
Jun 01, 2017 3:15:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/592 took 204891 ms. Total solver calls (SAT/UNSAT): 76292(39244/37048)
Jun 01, 2017 3:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 206268 ms. Total solver calls (SAT/UNSAT): 76766(39526/37240)
Jun 01, 2017 3:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 207634 ms. Total solver calls (SAT/UNSAT): 77240(39808/37432)
Jun 01, 2017 3:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 208943 ms. Total solver calls (SAT/UNSAT): 77714(40090/37624)
Jun 01, 2017 3:15:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 210271 ms. Total solver calls (SAT/UNSAT): 78188(40372/37816)
Jun 01, 2017 3:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 211138 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 3:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 3:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1030 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 3:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3122 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 01, 2017 3:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4207 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 01, 2017 3:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 6201 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 01, 2017 3:15:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 7364 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 01, 2017 3:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 8377 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 01, 2017 3:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9393 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 01, 2017 3:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 11424 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 01, 2017 3:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 12463 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 01, 2017 3:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 14449 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 01, 2017 3:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 15452 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 01, 2017 3:15:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 16461 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 01, 2017 3:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 17469 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 01, 2017 3:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 18493 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 01, 2017 3:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 19501 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 01, 2017 3:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 21474 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 01, 2017 3:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 23455 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 01, 2017 3:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 24463 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 01, 2017 3:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/592) took 26458 ms. Total solver calls (SAT/UNSAT): 15067(15067/0)
Jun 01, 2017 3:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 27833 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 01, 2017 3:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/592) took 29198 ms. Total solver calls (SAT/UNSAT): 16198(16198/0)
Jun 01, 2017 3:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 30594 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 01, 2017 3:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 31985 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 01, 2017 3:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 33386 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 01, 2017 3:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/592) took 34760 ms. Total solver calls (SAT/UNSAT): 18448(18448/0)
Jun 01, 2017 3:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 36121 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 01, 2017 3:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/592) took 37462 ms. Total solver calls (SAT/UNSAT): 19567(19567/0)
Jun 01, 2017 3:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 38821 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 01, 2017 3:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/592) took 40163 ms. Total solver calls (SAT/UNSAT): 20682(20682/0)
Jun 01, 2017 3:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 41515 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 01, 2017 3:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 42863 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 01, 2017 3:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 44750 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 01, 2017 3:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 46653 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 01, 2017 3:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 48531 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 01, 2017 3:16:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 50403 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 01, 2017 3:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 52291 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 01, 2017 3:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/592) took 53388 ms. Total solver calls (SAT/UNSAT): 27832(27832/0)
Jun 01, 2017 3:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/592) took 55259 ms. Total solver calls (SAT/UNSAT): 28917(28917/0)
Jun 01, 2017 3:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/592) took 57074 ms. Total solver calls (SAT/UNSAT): 29998(29998/0)
Jun 01, 2017 3:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/592) took 58909 ms. Total solver calls (SAT/UNSAT): 31075(31075/0)
Jun 01, 2017 3:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 60745 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 01, 2017 3:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 61930 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 01, 2017 3:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 63161 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 01, 2017 3:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 64488 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 01, 2017 3:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/592) took 65717 ms. Total solver calls (SAT/UNSAT): 34282(34282/0)
Jun 01, 2017 3:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 66933 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 01, 2017 3:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/592) took 68259 ms. Total solver calls (SAT/UNSAT): 35343(35343/0)
Jun 01, 2017 3:16:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 69584 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 01, 2017 3:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/592) took 70815 ms. Total solver calls (SAT/UNSAT): 36400(36400/0)
Jun 01, 2017 3:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 72046 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 01, 2017 3:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/592) took 73352 ms. Total solver calls (SAT/UNSAT): 37453(37453/0)
Jun 01, 2017 3:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 74646 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 01, 2017 3:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/592) took 75859 ms. Total solver calls (SAT/UNSAT): 38502(38502/0)
Jun 01, 2017 3:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 77079 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 01, 2017 3:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/592) took 78375 ms. Total solver calls (SAT/UNSAT): 39547(39547/0)
Jun 01, 2017 3:16:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 79624 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 01, 2017 3:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/592) took 80940 ms. Total solver calls (SAT/UNSAT): 40588(40588/0)
Jun 01, 2017 3:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 82248 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 01, 2017 3:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/592) took 83519 ms. Total solver calls (SAT/UNSAT): 41625(41625/0)
Jun 01, 2017 3:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 84823 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 01, 2017 3:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/592) took 86102 ms. Total solver calls (SAT/UNSAT): 42658(42658/0)
Jun 01, 2017 3:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 87899 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 01, 2017 3:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 89648 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 01, 2017 3:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 91423 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 01, 2017 3:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 93152 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 01, 2017 3:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 94881 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 01, 2017 3:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 96505 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 01, 2017 3:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 98130 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 01, 2017 3:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 99794 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 01, 2017 3:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 101437 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 01, 2017 3:17:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 103054 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 01, 2017 3:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 104642 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 01, 2017 3:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 106291 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 01, 2017 3:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 107919 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 01, 2017 3:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 109497 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 01, 2017 3:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 111079 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 01, 2017 3:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 112737 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 01, 2017 3:17:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 113789 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 01, 2017 3:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 114866 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 01, 2017 3:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 116524 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 01, 2017 3:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 118215 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 01, 2017 3:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 119878 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 01, 2017 3:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 121491 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 01, 2017 3:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 123034 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 01, 2017 3:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 124610 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 01, 2017 3:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 126299 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 01, 2017 3:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 127995 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 01, 2017 3:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 129691 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 01, 2017 3:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 131360 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 01, 2017 3:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 133049 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 01, 2017 3:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 134674 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 01, 2017 3:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 136617 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 01, 2017 3:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 137816 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 01, 2017 3:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 139022 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 01, 2017 3:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 140100 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 01, 2017 3:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 141738 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 01, 2017 3:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 143499 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 01, 2017 3:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 144685 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 01, 2017 3:18:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 145846 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 01, 2017 3:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 147010 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 01, 2017 3:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 148156 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 01, 2017 3:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 149774 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 01, 2017 3:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 151368 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 01, 2017 3:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 152925 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 01, 2017 3:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 154461 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 01, 2017 3:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 155950 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 01, 2017 3:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 157466 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 01, 2017 3:18:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 159021 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 01, 2017 3:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 160522 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 01, 2017 3:18:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 161995 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 01, 2017 3:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 163471 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 01, 2017 3:18:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 164965 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 01, 2017 3:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 166457 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 01, 2017 3:18:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 167921 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 01, 2017 3:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 169375 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 01, 2017 3:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 170825 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 01, 2017 3:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 172255 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 01, 2017 3:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 173694 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 01, 2017 3:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 175119 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 01, 2017 3:18:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 176586 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 01, 2017 3:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 177972 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 01, 2017 3:18:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 179333 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 01, 2017 3:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 180647 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 01, 2017 3:18:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 181960 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 01, 2017 3:18:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 183422 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 01, 2017 3:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 185355 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 01, 2017 3:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 186946 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 01, 2017 3:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 188231 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 01, 2017 3:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 189510 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 01, 2017 3:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 190813 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 01, 2017 3:18:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 192078 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 01, 2017 3:18:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 193353 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 01, 2017 3:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 194639 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 01, 2017 3:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 195934 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 01, 2017 3:18:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 197225 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 01, 2017 3:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 198485 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 01, 2017 3:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 199722 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 01, 2017 3:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 200972 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 01, 2017 3:19:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 202280 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 01, 2017 3:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 203599 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 01, 2017 3:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 204854 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 01, 2017 3:19:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 206071 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 01, 2017 3:19:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 207286 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 01, 2017 3:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 208514 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 01, 2017 3:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 209720 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 01, 2017 3:19:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 210906 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 01, 2017 3:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 212074 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 01, 2017 3:19:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 213232 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 01, 2017 3:19:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 214407 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 01, 2017 3:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 215566 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 01, 2017 3:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 216733 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 01, 2017 3:19:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 217900 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 01, 2017 3:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/592) took 218957 ms. Total solver calls (SAT/UNSAT): 117558(117558/0)
Jun 01, 2017 3:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/592) took 220411 ms. Total solver calls (SAT/UNSAT): 118575(118575/0)
Jun 01, 2017 3:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/592) took 221862 ms. Total solver calls (SAT/UNSAT): 119583(119583/0)
Jun 01, 2017 3:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/592) took 223328 ms. Total solver calls (SAT/UNSAT): 120582(120582/0)
Jun 01, 2017 3:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/592) took 224453 ms. Total solver calls (SAT/UNSAT): 121243(121243/0)
Jun 01, 2017 3:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(264/592) took 225529 ms. Total solver calls (SAT/UNSAT): 121900(121900/0)
Jun 01, 2017 3:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/592) took 227025 ms. Total solver calls (SAT/UNSAT): 122878(122878/0)
Jun 01, 2017 3:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(269/592) took 228029 ms. Total solver calls (SAT/UNSAT): 123525(123525/0)
Jun 01, 2017 3:19:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/592) took 229504 ms. Total solver calls (SAT/UNSAT): 124488(124488/0)
Jun 01, 2017 3:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/592) took 231035 ms. Total solver calls (SAT/UNSAT): 125442(125442/0)
Jun 01, 2017 3:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(278/592) took 232507 ms. Total solver calls (SAT/UNSAT): 126387(126387/0)
Jun 01, 2017 3:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(280/592) took 233536 ms. Total solver calls (SAT/UNSAT): 127012(127012/0)
Jun 01, 2017 3:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/592) took 234562 ms. Total solver calls (SAT/UNSAT): 127633(127633/0)
Jun 01, 2017 3:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(285/592) took 235992 ms. Total solver calls (SAT/UNSAT): 128557(128557/0)
Jun 01, 2017 3:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/592) took 237418 ms. Total solver calls (SAT/UNSAT): 129472(129472/0)
Jun 01, 2017 3:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/592) took 238835 ms. Total solver calls (SAT/UNSAT): 130378(130378/0)
Jun 01, 2017 3:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(294/592) took 240215 ms. Total solver calls (SAT/UNSAT): 131275(131275/0)
Jun 01, 2017 3:19:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/592) took 241517 ms. Total solver calls (SAT/UNSAT): 132163(132163/0)
Jun 01, 2017 3:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(300/592) took 242795 ms. Total solver calls (SAT/UNSAT): 133042(133042/0)
Jun 01, 2017 3:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/592) took 244051 ms. Total solver calls (SAT/UNSAT): 133912(133912/0)
Jun 01, 2017 3:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/592) took 245289 ms. Total solver calls (SAT/UNSAT): 134773(134773/0)
Jun 01, 2017 3:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/592) took 246512 ms. Total solver calls (SAT/UNSAT): 135625(135625/0)
Jun 01, 2017 3:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(312/592) took 247723 ms. Total solver calls (SAT/UNSAT): 136468(136468/0)
Jun 01, 2017 3:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/592) took 248970 ms. Total solver calls (SAT/UNSAT): 137302(137302/0)
Jun 01, 2017 3:19:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/592) took 250324 ms. Total solver calls (SAT/UNSAT): 138127(138127/0)
Jun 01, 2017 3:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(321/592) took 251687 ms. Total solver calls (SAT/UNSAT): 138943(138943/0)
Jun 01, 2017 3:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/592) took 253101 ms. Total solver calls (SAT/UNSAT): 139750(139750/0)
Jun 01, 2017 3:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/592) took 254482 ms. Total solver calls (SAT/UNSAT): 140548(140548/0)
Jun 01, 2017 3:19:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/592) took 255814 ms. Total solver calls (SAT/UNSAT): 141337(141337/0)
Jun 01, 2017 3:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/592) took 257215 ms. Total solver calls (SAT/UNSAT): 142117(142117/0)
Jun 01, 2017 3:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/592) took 258597 ms. Total solver calls (SAT/UNSAT): 142888(142888/0)
Jun 01, 2017 3:19:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/592) took 259894 ms. Total solver calls (SAT/UNSAT): 143650(143650/0)
Jun 01, 2017 3:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/592) took 261090 ms. Total solver calls (SAT/UNSAT): 144403(144403/0)
Jun 01, 2017 3:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/592) took 262327 ms. Total solver calls (SAT/UNSAT): 145147(145147/0)
Jun 01, 2017 3:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(348/592) took 263542 ms. Total solver calls (SAT/UNSAT): 145882(145882/0)
Jun 01, 2017 3:20:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/592) took 264745 ms. Total solver calls (SAT/UNSAT): 146608(146608/0)
Jun 01, 2017 3:20:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/592) took 265926 ms. Total solver calls (SAT/UNSAT): 147325(147325/0)
Jun 01, 2017 3:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(357/592) took 267145 ms. Total solver calls (SAT/UNSAT): 148033(148033/0)
Jun 01, 2017 3:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/592) took 268335 ms. Total solver calls (SAT/UNSAT): 148732(148732/0)
Jun 01, 2017 3:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/592) took 269502 ms. Total solver calls (SAT/UNSAT): 149422(149422/0)
Jun 01, 2017 3:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/592) took 270697 ms. Total solver calls (SAT/UNSAT): 150103(150103/0)
Jun 01, 2017 3:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(369/592) took 271841 ms. Total solver calls (SAT/UNSAT): 150775(150775/0)
Jun 01, 2017 3:20:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(372/592) took 272989 ms. Total solver calls (SAT/UNSAT): 151438(151438/0)
Jun 01, 2017 3:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/592) took 274112 ms. Total solver calls (SAT/UNSAT): 152092(152092/0)
Jun 01, 2017 3:20:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(378/592) took 275220 ms. Total solver calls (SAT/UNSAT): 152737(152737/0)
Jun 01, 2017 3:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(381/592) took 276379 ms. Total solver calls (SAT/UNSAT): 153373(153373/0)
Jun 01, 2017 3:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(384/592) took 277485 ms. Total solver calls (SAT/UNSAT): 154000(154000/0)
Jun 01, 2017 3:20:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/592) took 278559 ms. Total solver calls (SAT/UNSAT): 154618(154618/0)
Jun 01, 2017 3:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/592) took 279680 ms. Total solver calls (SAT/UNSAT): 155227(155227/0)
Jun 01, 2017 3:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(393/592) took 280786 ms. Total solver calls (SAT/UNSAT): 155827(155827/0)
Jun 01, 2017 3:20:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(396/592) took 281815 ms. Total solver calls (SAT/UNSAT): 156418(156418/0)
Jun 01, 2017 3:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(399/592) took 282847 ms. Total solver calls (SAT/UNSAT): 157000(157000/0)
Jun 01, 2017 3:20:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(403/592) took 284153 ms. Total solver calls (SAT/UNSAT): 157762(157762/0)
Jun 01, 2017 3:20:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(407/592) took 285386 ms. Total solver calls (SAT/UNSAT): 158508(158508/0)
Jun 01, 2017 3:20:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(411/592) took 286641 ms. Total solver calls (SAT/UNSAT): 159238(159238/0)
Jun 01, 2017 3:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(414/592) took 287642 ms. Total solver calls (SAT/UNSAT): 159775(159775/0)
Jun 01, 2017 3:20:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(418/592) took 288922 ms. Total solver calls (SAT/UNSAT): 160477(160477/0)
Jun 01, 2017 3:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(422/592) took 290204 ms. Total solver calls (SAT/UNSAT): 161163(161163/0)
Jun 01, 2017 3:20:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(426/592) took 291431 ms. Total solver calls (SAT/UNSAT): 161833(161833/0)
Jun 01, 2017 3:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(430/592) took 292609 ms. Total solver calls (SAT/UNSAT): 162487(162487/0)
Jun 01, 2017 3:20:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(434/592) took 293778 ms. Total solver calls (SAT/UNSAT): 163125(163125/0)
Jun 01, 2017 3:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(438/592) took 294905 ms. Total solver calls (SAT/UNSAT): 163747(163747/0)
Jun 01, 2017 3:20:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(442/592) took 295974 ms. Total solver calls (SAT/UNSAT): 164353(164353/0)
Jun 01, 2017 3:20:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(446/592) took 297040 ms. Total solver calls (SAT/UNSAT): 164943(164943/0)
Jun 01, 2017 3:20:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(451/592) took 298227 ms. Total solver calls (SAT/UNSAT): 165658(165658/0)
Jun 01, 2017 3:20:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(456/592) took 299389 ms. Total solver calls (SAT/UNSAT): 166348(166348/0)
Jun 01, 2017 3:20:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(461/592) took 300566 ms. Total solver calls (SAT/UNSAT): 167013(167013/0)
Jun 01, 2017 3:20:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(466/592) took 301704 ms. Total solver calls (SAT/UNSAT): 167653(167653/0)
Jun 01, 2017 3:20:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(471/592) took 302816 ms. Total solver calls (SAT/UNSAT): 168268(168268/0)
Jun 01, 2017 3:20:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(476/592) took 303819 ms. Total solver calls (SAT/UNSAT): 168858(168858/0)
Jun 01, 2017 3:20:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(482/592) took 304971 ms. Total solver calls (SAT/UNSAT): 169533(169533/0)
Jun 01, 2017 3:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(488/592) took 306037 ms. Total solver calls (SAT/UNSAT): 170172(170172/0)
Jun 01, 2017 3:20:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(494/592) took 307055 ms. Total solver calls (SAT/UNSAT): 170775(170775/0)
Jun 01, 2017 3:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(501/592) took 308152 ms. Total solver calls (SAT/UNSAT): 171433(171433/0)
Jun 01, 2017 3:20:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(508/592) took 309246 ms. Total solver calls (SAT/UNSAT): 172042(172042/0)
Jun 01, 2017 3:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(516/592) took 310327 ms. Total solver calls (SAT/UNSAT): 172678(172678/0)
Jun 01, 2017 3:20:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(524/592) took 311369 ms. Total solver calls (SAT/UNSAT): 173250(173250/0)
Jun 01, 2017 3:20:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(532/592) took 312378 ms. Total solver calls (SAT/UNSAT): 173758(173758/0)
Jun 01, 2017 3:20:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(542/592) took 313399 ms. Total solver calls (SAT/UNSAT): 174303(174303/0)
Jun 01, 2017 3:20:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(554/592) took 314473 ms. Total solver calls (SAT/UNSAT): 174825(174825/0)
Jun 01, 2017 3:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(571/592) took 315503 ms. Total solver calls (SAT/UNSAT): 175318(175318/0)
Jun 01, 2017 3:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 315968 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 3:20:54 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-20"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-20.tgz
mv PermAdmissibility-PT-20 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-20, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-blw7-149440486700437"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;