About the Execution of ITS-Tools for PermAdmissibility-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15922.390 | 3600000.00 | 4545493.00 | 1225.70 | [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-10, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486700428
=====================================================================
--------------------
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-10-LTLCardinality-0
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-1
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-10
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-11
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-12
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-13
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-14
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-15
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-2
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-3
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-4
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-5
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-6
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-7
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-8
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496326073422
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 : !((("c8<=c18")U("(((aux6_0+aux6_5)+aux6_1)+aux6_4)<=(((aux7_7+aux7_6)+aux7_3)+aux7_2)")))
Formula 0 simplified : !("c8<=c18" U "(((aux6_0+aux6_5)+aux6_1)+aux6_4)<=(((aux7_7+aux7_6)+aux7_3)+aux7_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= 20
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= -20
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 2:07:54 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 2:07:54 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 90 ms
Jun 01, 2017 2:07:54 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 2:07:55 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 2:07:55 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 174 ms
Jun 01, 2017 2:07:55 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 27 ms
Jun 01, 2017 2:07:55 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 01, 2017 2:07:56 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 138 ms
Jun 01, 2017 2:08:04 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8565 ms
Jun 01, 2017 2:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 2:08:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 465 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 2:08:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1826 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 01, 2017 2:08:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3208 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 01, 2017 2:08:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4582 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 01, 2017 2:08:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 5947 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 01, 2017 2:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7330 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 01, 2017 2:08:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 8718 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 01, 2017 2:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 10082 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 01, 2017 2:08:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 11463 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 01, 2017 2:08:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 12825 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 01, 2017 2:08:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 14198 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 01, 2017 2:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 15553 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 01, 2017 2:08:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 16930 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 01, 2017 2:08:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 18307 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 01, 2017 2:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 19671 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 01, 2017 2:08:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 21033 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 01, 2017 2:08:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 22397 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 01, 2017 2:08:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 23766 ms. Total solver calls (SAT/UNSAT): 7072(4108/2964)
Jun 01, 2017 2:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 25125 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 01, 2017 2:08:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 26161 ms. Total solver calls (SAT/UNSAT): 7752(4503/3249)
Jun 01, 2017 2:08:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/592 took 27207 ms. Total solver calls (SAT/UNSAT): 8024(4661/3363)
Jun 01, 2017 2:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/592 took 28478 ms. Total solver calls (SAT/UNSAT): 8477(4898/3579)
Jun 01, 2017 2:08:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/592 took 29740 ms. Total solver calls (SAT/UNSAT): 8930(5135/3795)
Jun 01, 2017 2:08:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/592 took 30998 ms. Total solver calls (SAT/UNSAT): 9383(5372/4011)
Jun 01, 2017 2:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/592 took 32250 ms. Total solver calls (SAT/UNSAT): 9836(5609/4227)
Jun 01, 2017 2:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/592 took 33515 ms. Total solver calls (SAT/UNSAT): 10289(5846/4443)
Jun 01, 2017 2:08:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/592 took 34766 ms. Total solver calls (SAT/UNSAT): 10742(6083/4659)
Jun 01, 2017 2:08:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/592 took 36031 ms. Total solver calls (SAT/UNSAT): 11195(6320/4875)
Jun 01, 2017 2:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/592 took 37279 ms. Total solver calls (SAT/UNSAT): 11648(6557/5091)
Jun 01, 2017 2:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/592 took 38538 ms. Total solver calls (SAT/UNSAT): 12101(6794/5307)
Jun 01, 2017 2:08:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/592 took 39817 ms. Total solver calls (SAT/UNSAT): 12554(7031/5523)
Jun 01, 2017 2:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/592 took 41056 ms. Total solver calls (SAT/UNSAT): 13007(7268/5739)
Jun 01, 2017 2:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/592 took 42319 ms. Total solver calls (SAT/UNSAT): 13460(7505/5955)
Jun 01, 2017 2:08:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/592 took 43718 ms. Total solver calls (SAT/UNSAT): 13913(7742/6171)
Jun 01, 2017 2:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/592 took 44977 ms. Total solver calls (SAT/UNSAT): 14366(7979/6387)
Jun 01, 2017 2:08:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/592 took 46305 ms. Total solver calls (SAT/UNSAT): 14789(8216/6573)
Jun 01, 2017 2:08:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/592 took 47677 ms. Total solver calls (SAT/UNSAT): 15197(8453/6744)
Jun 01, 2017 2:08:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/592 took 48947 ms. Total solver calls (SAT/UNSAT): 15650(8690/6960)
Jun 01, 2017 2:08:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/592 took 50197 ms. Total solver calls (SAT/UNSAT): 16103(8927/7176)
Jun 01, 2017 2:08:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/592 took 51460 ms. Total solver calls (SAT/UNSAT): 16556(9164/7392)
Jun 01, 2017 2:08:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/592 took 52729 ms. Total solver calls (SAT/UNSAT): 17009(9401/7608)
Jun 01, 2017 2:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/592 took 54012 ms. Total solver calls (SAT/UNSAT): 17462(9638/7824)
Jun 01, 2017 2:08:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/592 took 55314 ms. Total solver calls (SAT/UNSAT): 17885(9875/8010)
Jun 01, 2017 2:09:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 56596 ms. Total solver calls (SAT/UNSAT): 18293(10112/8181)
Jun 01, 2017 2:09:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/592 took 57598 ms. Total solver calls (SAT/UNSAT): 18565(10270/8295)
Jun 01, 2017 2:09:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/592 took 58878 ms. Total solver calls (SAT/UNSAT): 18973(10507/8466)
Jun 01, 2017 2:09:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 60151 ms. Total solver calls (SAT/UNSAT): 19381(10744/8637)
Jun 01, 2017 2:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/592 took 61433 ms. Total solver calls (SAT/UNSAT): 19789(10981/8808)
Jun 01, 2017 2:09:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 62710 ms. Total solver calls (SAT/UNSAT): 20197(11218/8979)
Jun 01, 2017 2:09:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 63990 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 01, 2017 2:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 65266 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 01, 2017 2:09:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 66545 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 01, 2017 2:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 67822 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 01, 2017 2:09:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 69090 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 01, 2017 2:09:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 70348 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 01, 2017 2:09:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 71619 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 01, 2017 2:09:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 72900 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 01, 2017 2:09:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 74338 ms. Total solver calls (SAT/UNSAT): 23944(13351/10593)
Jun 01, 2017 2:09:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 75662 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 01, 2017 2:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 76950 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 01, 2017 2:09:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 78231 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 01, 2017 2:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 79518 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 01, 2017 2:09:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 80800 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 01, 2017 2:09:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 82093 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 01, 2017 2:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 83099 ms. Total solver calls (SAT/UNSAT): 26701(15010/11691)
Jun 01, 2017 2:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 84113 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 01, 2017 2:09:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 85118 ms. Total solver calls (SAT/UNSAT): 27319(15484/11835)
Jun 01, 2017 2:09:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 86441 ms. Total solver calls (SAT/UNSAT): 27731(15800/11931)
Jun 01, 2017 2:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/592 took 87441 ms. Total solver calls (SAT/UNSAT): 28040(16037/12003)
Jun 01, 2017 2:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/592 took 88445 ms. Total solver calls (SAT/UNSAT): 28349(16274/12075)
Jun 01, 2017 2:09:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/592 took 89451 ms. Total solver calls (SAT/UNSAT): 28658(16511/12147)
Jun 01, 2017 2:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/592 took 90452 ms. Total solver calls (SAT/UNSAT): 28967(16748/12219)
Jun 01, 2017 2:09:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 91453 ms. Total solver calls (SAT/UNSAT): 29276(16985/12291)
Jun 01, 2017 2:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/592 took 92459 ms. Total solver calls (SAT/UNSAT): 29585(17222/12363)
Jun 01, 2017 2:09:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/592 took 93471 ms. Total solver calls (SAT/UNSAT): 29894(17459/12435)
Jun 01, 2017 2:09:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 94666 ms. Total solver calls (SAT/UNSAT): 30269(17696/12573)
Jun 01, 2017 2:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 95957 ms. Total solver calls (SAT/UNSAT): 30677(17933/12744)
Jun 01, 2017 2:09:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/592 took 96966 ms. Total solver calls (SAT/UNSAT): 30986(18170/12816)
Jun 01, 2017 2:09:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/592 took 98286 ms. Total solver calls (SAT/UNSAT): 31398(18486/12912)
Jun 01, 2017 2:09:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 99294 ms. Total solver calls (SAT/UNSAT): 31707(18723/12984)
Jun 01, 2017 2:09:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 100624 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 01, 2017 2:09:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 101629 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 01, 2017 2:09:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/592 took 102954 ms. Total solver calls (SAT/UNSAT): 32840(19592/13248)
Jun 01, 2017 2:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/592 took 103960 ms. Total solver calls (SAT/UNSAT): 33149(19829/13320)
Jun 01, 2017 2:09:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/592 took 104975 ms. Total solver calls (SAT/UNSAT): 33517(20103/13414)
Jun 01, 2017 2:09:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/592 took 105992 ms. Total solver calls (SAT/UNSAT): 33832(20352/13480)
Jun 01, 2017 2:09:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/592 took 106992 ms. Total solver calls (SAT/UNSAT): 34141(20589/13552)
Jun 01, 2017 2:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/592 took 108071 ms. Total solver calls (SAT/UNSAT): 34571(20819/13752)
Jun 01, 2017 2:09:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/592 took 109074 ms. Total solver calls (SAT/UNSAT): 34938(21049/13889)
Jun 01, 2017 2:09:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/592 took 110102 ms. Total solver calls (SAT/UNSAT): 35314(21302/14012)
Jun 01, 2017 2:09:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/592 took 111463 ms. Total solver calls (SAT/UNSAT): 35864(21562/14302)
Jun 01, 2017 2:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/592 took 112743 ms. Total solver calls (SAT/UNSAT): 36383(21799/14584)
Jun 01, 2017 2:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/592 took 113803 ms. Total solver calls (SAT/UNSAT): 36801(22003/14798)
Jun 01, 2017 2:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 114982 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 01, 2017 2:10:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 116066 ms. Total solver calls (SAT/UNSAT): 37644(22447/15197)
Jun 01, 2017 2:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/592 took 117153 ms. Total solver calls (SAT/UNSAT): 38039(22677/15362)
Jun 01, 2017 2:10:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 118423 ms. Total solver calls (SAT/UNSAT): 38558(22914/15644)
Jun 01, 2017 2:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 119682 ms. Total solver calls (SAT/UNSAT): 39077(23151/15926)
Jun 01, 2017 2:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 120970 ms. Total solver calls (SAT/UNSAT): 39596(23388/16208)
Jun 01, 2017 2:10:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/592 took 122234 ms. Total solver calls (SAT/UNSAT): 40115(23625/16490)
Jun 01, 2017 2:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 123515 ms. Total solver calls (SAT/UNSAT): 40634(23862/16772)
Jun 01, 2017 2:10:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 124799 ms. Total solver calls (SAT/UNSAT): 41153(24099/17054)
Jun 01, 2017 2:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 126075 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 01, 2017 2:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 127351 ms. Total solver calls (SAT/UNSAT): 42191(24573/17618)
Jun 01, 2017 2:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 128626 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 01, 2017 2:10:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 129902 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 01, 2017 2:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 131176 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 01, 2017 2:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 132252 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 01, 2017 2:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 133622 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 01, 2017 2:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 135012 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 01, 2017 2:10:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 136077 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 01, 2017 2:10:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 137137 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 01, 2017 2:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 138207 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 01, 2017 2:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 139586 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 01, 2017 2:10:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 140871 ms. Total solver calls (SAT/UNSAT): 47043(26864/20179)
Jun 01, 2017 2:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 142163 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 01, 2017 2:10:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 143450 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 01, 2017 2:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 144738 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 01, 2017 2:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 146122 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 01, 2017 2:10:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 147190 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 01, 2017 2:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 148244 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 01, 2017 2:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 149304 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 01, 2017 2:10:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 150381 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 01, 2017 2:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 151426 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 01, 2017 2:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 152496 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 01, 2017 2:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 153556 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 01, 2017 2:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 154621 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 01, 2017 2:10:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 155718 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 01, 2017 2:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 156787 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 01, 2017 2:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 157864 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 01, 2017 2:10:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 158932 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 01, 2017 2:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 160009 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 01, 2017 2:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 161077 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 01, 2017 2:10:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 162154 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 01, 2017 2:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 163199 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 01, 2017 2:10:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 164262 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 01, 2017 2:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 165330 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 01, 2017 2:10:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 166646 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 01, 2017 2:10:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 167966 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 01, 2017 2:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 169272 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 01, 2017 2:10:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 170684 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 01, 2017 2:10:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 171739 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 01, 2017 2:10:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 172810 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 01, 2017 2:10:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 173885 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 01, 2017 2:10:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 174948 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 01, 2017 2:11:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 176026 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 01, 2017 2:11:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 177096 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 01, 2017 2:11:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 178157 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 01, 2017 2:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 179569 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 01, 2017 2:11:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 180897 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 01, 2017 2:11:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 182215 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 01, 2017 2:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 183506 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 01, 2017 2:11:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 184815 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 01, 2017 2:11:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 186133 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 01, 2017 2:11:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 187440 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 01, 2017 2:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 188752 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 01, 2017 2:11:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 190075 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 01, 2017 2:11:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 191402 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 01, 2017 2:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 192709 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 01, 2017 2:11:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 194011 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 01, 2017 2:11:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 195327 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 01, 2017 2:11:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 196651 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 01, 2017 2:11:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 197967 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 01, 2017 2:11:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 199294 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 01, 2017 2:11:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 200823 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 01, 2017 2:11:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 201892 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 01, 2017 2:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 202970 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 01, 2017 2:11:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 204033 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 01, 2017 2:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 205098 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 01, 2017 2:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 206460 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 01, 2017 2:11:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 207724 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 01, 2017 2:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 208779 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 01, 2017 2:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 209995 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 01, 2017 2:11:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 211053 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 01, 2017 2:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 212151 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 01, 2017 2:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 213220 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 01, 2017 2:11:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 214297 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 01, 2017 2:11:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 215348 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 01, 2017 2:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 216410 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 01, 2017 2:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 217493 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 01, 2017 2:11:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 218544 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 01, 2017 2:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 219629 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 01, 2017 2:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 220682 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 01, 2017 2:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 221745 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 01, 2017 2:11:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 222801 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 01, 2017 2:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 223873 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 01, 2017 2:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 224928 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 01, 2017 2:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 226004 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 01, 2017 2:11:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 227077 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 01, 2017 2:11:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 228136 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 01, 2017 2:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 229218 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 01, 2017 2:11:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 230303 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 01, 2017 2:11:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 231381 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 01, 2017 2:11:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 232455 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 01, 2017 2:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 233521 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 01, 2017 2:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 234575 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 01, 2017 2:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 235637 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 01, 2017 2:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 236186 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 2:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 2:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1217 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 2:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2355 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 2:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3513 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 2:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4661 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 2:12:06 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 2:12:07 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 2:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8117 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 01, 2017 2:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9250 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 01, 2017 2:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10376 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 01, 2017 2:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11510 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 01, 2017 2:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12652 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 01, 2017 2:12:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13812 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 01, 2017 2:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14944 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 01, 2017 2:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16082 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 01, 2017 2:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 17229 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 01, 2017 2:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 18402 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 01, 2017 2:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 19557 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 01, 2017 2:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 20667 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 01, 2017 2:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 21810 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 01, 2017 2:12:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 22921 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 01, 2017 2:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 23989 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 01, 2017 2:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 25202 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 01, 2017 2:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 26439 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 01, 2017 2:12:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 27549 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 01, 2017 2:12:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 28719 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 01, 2017 2:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 29891 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 01, 2017 2:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 31069 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 01, 2017 2:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 32248 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 01, 2017 2:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 33386 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 01, 2017 2:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 34473 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 01, 2017 2:12:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 35560 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 01, 2017 2:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 36628 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 01, 2017 2:12:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 37718 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 01, 2017 2:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 38857 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 01, 2017 2:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 39961 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 01, 2017 2:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 41229 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 01, 2017 2:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 42438 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 01, 2017 2:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 43614 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 01, 2017 2:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 44781 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 01, 2017 2:12:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 45934 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 01, 2017 2:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 47013 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 01, 2017 2:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 48120 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 01, 2017 2:12:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 49223 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 01, 2017 2:12:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 50320 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 01, 2017 2:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 51413 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 01, 2017 2:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 52512 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 2:12:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 53610 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 01, 2017 2:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 54708 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 2:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 55807 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 2:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 56912 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 01, 2017 2:12:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 58006 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 2:12:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 59125 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 01, 2017 2:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 60286 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 2:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 61388 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 01, 2017 2:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 62515 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 2:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 63616 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 01, 2017 2:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 64717 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 2:13:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 65817 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 01, 2017 2:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 66913 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 01, 2017 2:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 68008 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 01, 2017 2:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 69116 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 01, 2017 2:13:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 70228 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 01, 2017 2:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 71283 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 01, 2017 2:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 72413 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 01, 2017 2:13:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 73548 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 01, 2017 2:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 74692 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 01, 2017 2:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 75827 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 01, 2017 2:13:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 76953 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 01, 2017 2:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 78081 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 01, 2017 2:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 79267 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 01, 2017 2:13:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 80369 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 01, 2017 2:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 81502 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 01, 2017 2:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 82636 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 01, 2017 2:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 83776 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 01, 2017 2:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 84909 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 01, 2017 2:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/592 took 85951 ms. Total solver calls (SAT/UNSAT): 33211(15256/17955)
Jun 01, 2017 2:13:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 86958 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 01, 2017 2:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 87985 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 01, 2017 2:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/592 took 88997 ms. Total solver calls (SAT/UNSAT): 34650(15736/18914)
Jun 01, 2017 2:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/592 took 90040 ms. Total solver calls (SAT/UNSAT): 35082(15976/19106)
Jun 01, 2017 2:13:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 91461 ms. Total solver calls (SAT/UNSAT): 35691(16264/19427)
Jun 01, 2017 2:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 92775 ms. Total solver calls (SAT/UNSAT): 36210(16546/19664)
Jun 01, 2017 2:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 94084 ms. Total solver calls (SAT/UNSAT): 36729(16828/19901)
Jun 01, 2017 2:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 95435 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 01, 2017 2:13:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 96520 ms. Total solver calls (SAT/UNSAT): 37680(17350/20330)
Jun 01, 2017 2:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 97783 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 01, 2017 2:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 99092 ms. Total solver calls (SAT/UNSAT): 38731(17906/20825)
Jun 01, 2017 2:13:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 100412 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 01, 2017 2:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 101714 ms. Total solver calls (SAT/UNSAT): 39769(18470/21299)
Jun 01, 2017 2:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 103013 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 01, 2017 2:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 104328 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 01, 2017 2:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 105619 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 01, 2017 2:13:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 106945 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 01, 2017 2:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 108259 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 01, 2017 2:13:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 109564 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 01, 2017 2:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 110869 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 01, 2017 2:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 112185 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 01, 2017 2:13:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 113467 ms. Total solver calls (SAT/UNSAT): 44395(21008/23387)
Jun 01, 2017 2:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 114776 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 01, 2017 2:13:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 116076 ms. Total solver calls (SAT/UNSAT): 45388(21572/23816)
Jun 01, 2017 2:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 117343 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 01, 2017 2:13:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 118618 ms. Total solver calls (SAT/UNSAT): 46351(22136/24215)
Jun 01, 2017 2:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 119919 ms. Total solver calls (SAT/UNSAT): 46870(22418/24452)
Jun 01, 2017 2:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 121222 ms. Total solver calls (SAT/UNSAT): 47389(22700/24689)
Jun 01, 2017 2:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 122549 ms. Total solver calls (SAT/UNSAT): 47908(22982/24926)
Jun 01, 2017 2:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 123859 ms. Total solver calls (SAT/UNSAT): 48427(23264/25163)
Jun 01, 2017 2:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 125157 ms. Total solver calls (SAT/UNSAT): 48946(23546/25400)
Jun 01, 2017 2:14:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 126454 ms. Total solver calls (SAT/UNSAT): 49420(23828/25592)
Jun 01, 2017 2:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 127746 ms. Total solver calls (SAT/UNSAT): 49894(24110/25784)
Jun 01, 2017 2:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 129029 ms. Total solver calls (SAT/UNSAT): 50368(24392/25976)
Jun 01, 2017 2:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 130317 ms. Total solver calls (SAT/UNSAT): 50842(24674/26168)
Jun 01, 2017 2:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 131587 ms. Total solver calls (SAT/UNSAT): 51316(24956/26360)
Jun 01, 2017 2:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 132879 ms. Total solver calls (SAT/UNSAT): 51790(25238/26552)
Jun 01, 2017 2:14:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 134175 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 01, 2017 2:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 135469 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 01, 2017 2:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 136771 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 01, 2017 2:14:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 138055 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 01, 2017 2:14:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 139336 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 01, 2017 2:14:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 140634 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 01, 2017 2:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 141948 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 01, 2017 2:14:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 143286 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 01, 2017 2:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 144624 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 01, 2017 2:14:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 145941 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 01, 2017 2:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 147227 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 01, 2017 2:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 148534 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 01, 2017 2:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 149823 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 01, 2017 2:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 151092 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 01, 2017 2:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 152377 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 01, 2017 2:14:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 153675 ms. Total solver calls (SAT/UNSAT): 59569(29750/29819)
Jun 01, 2017 2:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 154981 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 01, 2017 2:14:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 156286 ms. Total solver calls (SAT/UNSAT): 60607(30314/30293)
Jun 01, 2017 2:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 157607 ms. Total solver calls (SAT/UNSAT): 61126(30596/30530)
Jun 01, 2017 2:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 158927 ms. Total solver calls (SAT/UNSAT): 61645(30878/30767)
Jun 01, 2017 2:14:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 160233 ms. Total solver calls (SAT/UNSAT): 62164(31160/31004)
Jun 01, 2017 2:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 161539 ms. Total solver calls (SAT/UNSAT): 62683(31442/31241)
Jun 01, 2017 2:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 162848 ms. Total solver calls (SAT/UNSAT): 63202(31724/31478)
Jun 01, 2017 2:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 164163 ms. Total solver calls (SAT/UNSAT): 63721(32006/31715)
Jun 01, 2017 2:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 165475 ms. Total solver calls (SAT/UNSAT): 64240(32288/31952)
Jun 01, 2017 2:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 166778 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 01, 2017 2:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 168065 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 01, 2017 2:14:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 169371 ms. Total solver calls (SAT/UNSAT): 65797(33134/32663)
Jun 01, 2017 2:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 170682 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 01, 2017 2:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 171992 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 01, 2017 2:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 173307 ms. Total solver calls (SAT/UNSAT): 67354(33980/33374)
Jun 01, 2017 2:14:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 174634 ms. Total solver calls (SAT/UNSAT): 67843(34262/33581)
Jun 01, 2017 2:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 175958 ms. Total solver calls (SAT/UNSAT): 68317(34544/33773)
Jun 01, 2017 2:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 177328 ms. Total solver calls (SAT/UNSAT): 68791(34826/33965)
Jun 01, 2017 2:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 178672 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 01, 2017 2:15:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 179961 ms. Total solver calls (SAT/UNSAT): 69784(35390/34394)
Jun 01, 2017 2:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 181241 ms. Total solver calls (SAT/UNSAT): 70288(35672/34616)
Jun 01, 2017 2:15:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 182585 ms. Total solver calls (SAT/UNSAT): 70762(35954/34808)
Jun 01, 2017 2:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 183915 ms. Total solver calls (SAT/UNSAT): 71236(36236/35000)
Jun 01, 2017 2:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 185233 ms. Total solver calls (SAT/UNSAT): 71710(36518/35192)
Jun 01, 2017 2:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 186532 ms. Total solver calls (SAT/UNSAT): 72184(36800/35384)
Jun 01, 2017 2:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 187878 ms. Total solver calls (SAT/UNSAT): 72658(37082/35576)
Jun 01, 2017 2:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 189199 ms. Total solver calls (SAT/UNSAT): 73132(37364/35768)
Jun 01, 2017 2:15:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 190532 ms. Total solver calls (SAT/UNSAT): 73606(37646/35960)
Jun 01, 2017 2:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 191871 ms. Total solver calls (SAT/UNSAT): 74080(37928/36152)
Jun 01, 2017 2:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 193187 ms. Total solver calls (SAT/UNSAT): 74554(38210/36344)
Jun 01, 2017 2:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 194507 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 01, 2017 2:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 195834 ms. Total solver calls (SAT/UNSAT): 75502(38774/36728)
Jun 01, 2017 2:15:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 197157 ms. Total solver calls (SAT/UNSAT): 75976(39056/36920)
Jun 01, 2017 2:15:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 198438 ms. Total solver calls (SAT/UNSAT): 76450(39338/37112)
Jun 01, 2017 2:15:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 199743 ms. Total solver calls (SAT/UNSAT): 76924(39620/37304)
Jun 01, 2017 2:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 201074 ms. Total solver calls (SAT/UNSAT): 77398(39902/37496)
Jun 01, 2017 2:15:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 202385 ms. Total solver calls (SAT/UNSAT): 77872(40184/37688)
Jun 01, 2017 2:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 203706 ms. Total solver calls (SAT/UNSAT): 78346(40466/37880)
Jun 01, 2017 2:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 204128 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 2:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 2:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1105 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 2:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/592) took 2105 ms. Total solver calls (SAT/UNSAT): 1183(1183/0)
Jun 01, 2017 2:15:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4128 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 01, 2017 2:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 6122 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 01, 2017 2:15:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 7127 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 01, 2017 2:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 8141 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 01, 2017 2:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9155 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 01, 2017 2:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 11121 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 01, 2017 2:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 13114 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 01, 2017 2:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 15050 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 01, 2017 2:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 17018 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 01, 2017 2:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 19117 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 01, 2017 2:15:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 21115 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 01, 2017 2:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 23049 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 01, 2017 2:15:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 24991 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 01, 2017 2:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 26912 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 01, 2017 2:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 28873 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 01, 2017 2:15:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 30786 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 01, 2017 2:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 32661 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 01, 2017 2:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 34601 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 01, 2017 2:16:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 36458 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 01, 2017 2:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 38325 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 01, 2017 2:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/592) took 40177 ms. Total solver calls (SAT/UNSAT): 23452(23452/0)
Jun 01, 2017 2:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/592) took 42043 ms. Total solver calls (SAT/UNSAT): 24553(24553/0)
Jun 01, 2017 2:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/592) took 43937 ms. Total solver calls (SAT/UNSAT): 25650(25650/0)
Jun 01, 2017 2:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/592) took 45811 ms. Total solver calls (SAT/UNSAT): 26743(26743/0)
Jun 01, 2017 2:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/592) took 47705 ms. Total solver calls (SAT/UNSAT): 27832(27832/0)
Jun 01, 2017 2:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/592) took 49573 ms. Total solver calls (SAT/UNSAT): 28917(28917/0)
Jun 01, 2017 2:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/592) took 51405 ms. Total solver calls (SAT/UNSAT): 29998(29998/0)
Jun 01, 2017 2:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/592) took 53327 ms. Total solver calls (SAT/UNSAT): 31075(31075/0)
Jun 01, 2017 2:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 55095 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 01, 2017 2:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 56849 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 01, 2017 2:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/592) took 58599 ms. Total solver calls (SAT/UNSAT): 34282(34282/0)
Jun 01, 2017 2:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/592) took 60329 ms. Total solver calls (SAT/UNSAT): 35343(35343/0)
Jun 01, 2017 2:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/592) took 62073 ms. Total solver calls (SAT/UNSAT): 36400(36400/0)
Jun 01, 2017 2:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/592) took 63808 ms. Total solver calls (SAT/UNSAT): 37453(37453/0)
Jun 01, 2017 2:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/592) took 65687 ms. Total solver calls (SAT/UNSAT): 38502(38502/0)
Jun 01, 2017 2:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/592) took 67417 ms. Total solver calls (SAT/UNSAT): 39547(39547/0)
Jun 01, 2017 2:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/592) took 69165 ms. Total solver calls (SAT/UNSAT): 40588(40588/0)
Jun 01, 2017 2:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/592) took 70912 ms. Total solver calls (SAT/UNSAT): 41625(41625/0)
Jun 01, 2017 2:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/592) took 72657 ms. Total solver calls (SAT/UNSAT): 42658(42658/0)
Jun 01, 2017 2:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 74395 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 01, 2017 2:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 76130 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 01, 2017 2:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 77869 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 01, 2017 2:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 79581 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 01, 2017 2:16:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 81283 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 01, 2017 2:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 82953 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 01, 2017 2:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 84602 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 01, 2017 2:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 86255 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 01, 2017 2:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 87909 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 01, 2017 2:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 89539 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 01, 2017 2:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 91173 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 01, 2017 2:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 92789 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 01, 2017 2:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 94385 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 01, 2017 2:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 96011 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 01, 2017 2:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 97612 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 01, 2017 2:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 99365 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 01, 2017 2:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 100985 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 01, 2017 2:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 102635 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 01, 2017 2:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 104262 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 01, 2017 2:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 105886 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 01, 2017 2:17:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 107520 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 01, 2017 2:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 109078 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 01, 2017 2:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 110647 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 01, 2017 2:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 112330 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 01, 2017 2:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 113991 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 01, 2017 2:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 115643 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 01, 2017 2:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 117303 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 01, 2017 2:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 118960 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 01, 2017 2:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 120603 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 01, 2017 2:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 122221 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 01, 2017 2:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 123832 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 01, 2017 2:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/592) took 125447 ms. Total solver calls (SAT/UNSAT): 73602(73602/0)
Jun 01, 2017 2:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/592) took 127042 ms. Total solver calls (SAT/UNSAT): 74503(74503/0)
Jun 01, 2017 2:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 128631 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 01, 2017 2:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 130214 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 01, 2017 2:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/592) took 131818 ms. Total solver calls (SAT/UNSAT): 77182(77182/0)
Jun 01, 2017 2:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/592) took 133389 ms. Total solver calls (SAT/UNSAT): 78067(78067/0)
Jun 01, 2017 2:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/592) took 134944 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Jun 01, 2017 2:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(154/592) took 136484 ms. Total solver calls (SAT/UNSAT): 79825(79825/0)
Jun 01, 2017 2:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/592) took 137961 ms. Total solver calls (SAT/UNSAT): 80698(80698/0)
Jun 01, 2017 2:17:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/592) took 139446 ms. Total solver calls (SAT/UNSAT): 81567(81567/0)
Jun 01, 2017 2:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(160/592) took 140976 ms. Total solver calls (SAT/UNSAT): 82432(82432/0)
Jun 01, 2017 2:17:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(162/592) took 142458 ms. Total solver calls (SAT/UNSAT): 83293(83293/0)
Jun 01, 2017 2:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/592) took 143988 ms. Total solver calls (SAT/UNSAT): 84150(84150/0)
Jun 01, 2017 2:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/592) took 145474 ms. Total solver calls (SAT/UNSAT): 85003(85003/0)
Jun 01, 2017 2:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/592) took 147005 ms. Total solver calls (SAT/UNSAT): 85852(85852/0)
Jun 01, 2017 2:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/592) took 148503 ms. Total solver calls (SAT/UNSAT): 86697(86697/0)
Jun 01, 2017 2:17:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/592) took 149985 ms. Total solver calls (SAT/UNSAT): 87538(87538/0)
Jun 01, 2017 2:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 151448 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 01, 2017 2:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/592) took 152920 ms. Total solver calls (SAT/UNSAT): 89208(89208/0)
Jun 01, 2017 2:17:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/592) took 154361 ms. Total solver calls (SAT/UNSAT): 90037(90037/0)
Jun 01, 2017 2:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/592) took 155812 ms. Total solver calls (SAT/UNSAT): 90862(90862/0)
Jun 01, 2017 2:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/592) took 157255 ms. Total solver calls (SAT/UNSAT): 91683(91683/0)
Jun 01, 2017 2:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/592) took 158673 ms. Total solver calls (SAT/UNSAT): 92500(92500/0)
Jun 01, 2017 2:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/592) took 160094 ms. Total solver calls (SAT/UNSAT): 93313(93313/0)
Jun 01, 2017 2:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/592) took 161422 ms. Total solver calls (SAT/UNSAT): 94122(94122/0)
Jun 01, 2017 2:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/592) took 162736 ms. Total solver calls (SAT/UNSAT): 94927(94927/0)
Jun 01, 2017 2:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/592) took 164027 ms. Total solver calls (SAT/UNSAT): 95728(95728/0)
Jun 01, 2017 2:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/592) took 165333 ms. Total solver calls (SAT/UNSAT): 96525(96525/0)
Jun 01, 2017 2:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/592) took 166617 ms. Total solver calls (SAT/UNSAT): 97318(97318/0)
Jun 01, 2017 2:18:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/592) took 167901 ms. Total solver calls (SAT/UNSAT): 98107(98107/0)
Jun 01, 2017 2:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/592) took 169179 ms. Total solver calls (SAT/UNSAT): 98892(98892/0)
Jun 01, 2017 2:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/592) took 170446 ms. Total solver calls (SAT/UNSAT): 99673(99673/0)
Jun 01, 2017 2:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/592) took 171732 ms. Total solver calls (SAT/UNSAT): 100450(100450/0)
Jun 01, 2017 2:18:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/592) took 173058 ms. Total solver calls (SAT/UNSAT): 101223(101223/0)
Jun 01, 2017 2:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/592) took 174314 ms. Total solver calls (SAT/UNSAT): 101992(101992/0)
Jun 01, 2017 2:18:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/592) took 175569 ms. Total solver calls (SAT/UNSAT): 102757(102757/0)
Jun 01, 2017 2:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/592) took 176834 ms. Total solver calls (SAT/UNSAT): 103518(103518/0)
Jun 01, 2017 2:18:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/592) took 178049 ms. Total solver calls (SAT/UNSAT): 104275(104275/0)
Jun 01, 2017 2:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/592) took 179268 ms. Total solver calls (SAT/UNSAT): 105028(105028/0)
Jun 01, 2017 2:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/592) took 180488 ms. Total solver calls (SAT/UNSAT): 105777(105777/0)
Jun 01, 2017 2:18:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/592) took 181760 ms. Total solver calls (SAT/UNSAT): 106522(106522/0)
Jun 01, 2017 2:18:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/592) took 183020 ms. Total solver calls (SAT/UNSAT): 107263(107263/0)
Jun 01, 2017 2:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/592) took 184312 ms. Total solver calls (SAT/UNSAT): 108000(108000/0)
Jun 01, 2017 2:18:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/592) took 185606 ms. Total solver calls (SAT/UNSAT): 108733(108733/0)
Jun 01, 2017 2:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/592) took 186791 ms. Total solver calls (SAT/UNSAT): 109462(109462/0)
Jun 01, 2017 2:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/592) took 187971 ms. Total solver calls (SAT/UNSAT): 110187(110187/0)
Jun 01, 2017 2:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/592) took 189138 ms. Total solver calls (SAT/UNSAT): 110908(110908/0)
Jun 01, 2017 2:18:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/592) took 190291 ms. Total solver calls (SAT/UNSAT): 111625(111625/0)
Jun 01, 2017 2:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/592) took 191446 ms. Total solver calls (SAT/UNSAT): 112338(112338/0)
Jun 01, 2017 2:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/592) took 192581 ms. Total solver calls (SAT/UNSAT): 113047(113047/0)
Jun 01, 2017 2:18:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/592) took 193731 ms. Total solver calls (SAT/UNSAT): 113752(113752/0)
Jun 01, 2017 2:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/592) took 194847 ms. Total solver calls (SAT/UNSAT): 114453(114453/0)
Jun 01, 2017 2:18:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(244/592) took 195965 ms. Total solver calls (SAT/UNSAT): 115150(115150/0)
Jun 01, 2017 2:18:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/592) took 197087 ms. Total solver calls (SAT/UNSAT): 115843(115843/0)
Jun 01, 2017 2:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/592) took 198214 ms. Total solver calls (SAT/UNSAT): 116532(116532/0)
Jun 01, 2017 2:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/592) took 199317 ms. Total solver calls (SAT/UNSAT): 117217(117217/0)
Jun 01, 2017 2:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/592) took 200760 ms. Total solver calls (SAT/UNSAT): 118237(118237/0)
Jun 01, 2017 2:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/592) took 202161 ms. Total solver calls (SAT/UNSAT): 119248(119248/0)
Jun 01, 2017 2:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/592) took 203563 ms. Total solver calls (SAT/UNSAT): 120250(120250/0)
Jun 01, 2017 2:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/592) took 204989 ms. Total solver calls (SAT/UNSAT): 121243(121243/0)
Jun 01, 2017 2:18:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 206459 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 01, 2017 2:18:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 207955 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 01, 2017 2:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/592) took 209065 ms. Total solver calls (SAT/UNSAT): 123847(123847/0)
Jun 01, 2017 2:18:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/592) took 210550 ms. Total solver calls (SAT/UNSAT): 124807(124807/0)
Jun 01, 2017 2:18:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/592) took 211552 ms. Total solver calls (SAT/UNSAT): 125442(125442/0)
Jun 01, 2017 2:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(278/592) took 213023 ms. Total solver calls (SAT/UNSAT): 126387(126387/0)
Jun 01, 2017 2:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(280/592) took 214048 ms. Total solver calls (SAT/UNSAT): 127012(127012/0)
Jun 01, 2017 2:19:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/592) took 215060 ms. Total solver calls (SAT/UNSAT): 127633(127633/0)
Jun 01, 2017 2:19:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(285/592) took 216501 ms. Total solver calls (SAT/UNSAT): 128557(128557/0)
Jun 01, 2017 2:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/592) took 217909 ms. Total solver calls (SAT/UNSAT): 129472(129472/0)
Jun 01, 2017 2:19:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/592) took 219308 ms. Total solver calls (SAT/UNSAT): 130378(130378/0)
Jun 01, 2017 2:19:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(294/592) took 220672 ms. Total solver calls (SAT/UNSAT): 131275(131275/0)
Jun 01, 2017 2:19:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/592) took 221966 ms. Total solver calls (SAT/UNSAT): 132163(132163/0)
Jun 01, 2017 2:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(300/592) took 223250 ms. Total solver calls (SAT/UNSAT): 133042(133042/0)
Jun 01, 2017 2:19:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/592) took 224497 ms. Total solver calls (SAT/UNSAT): 133912(133912/0)
Jun 01, 2017 2:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/592) took 225731 ms. Total solver calls (SAT/UNSAT): 134773(134773/0)
Jun 01, 2017 2:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/592) took 226947 ms. Total solver calls (SAT/UNSAT): 135625(135625/0)
Jun 01, 2017 2:19:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(312/592) took 228158 ms. Total solver calls (SAT/UNSAT): 136468(136468/0)
Jun 01, 2017 2:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/592) took 229391 ms. Total solver calls (SAT/UNSAT): 137302(137302/0)
Jun 01, 2017 2:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/592) took 230736 ms. Total solver calls (SAT/UNSAT): 138127(138127/0)
Jun 01, 2017 2:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(321/592) took 232065 ms. Total solver calls (SAT/UNSAT): 138943(138943/0)
Jun 01, 2017 2:19:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/592) took 233431 ms. Total solver calls (SAT/UNSAT): 139750(139750/0)
Jun 01, 2017 2:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/592) took 234796 ms. Total solver calls (SAT/UNSAT): 140548(140548/0)
Jun 01, 2017 2:19:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/592) took 236125 ms. Total solver calls (SAT/UNSAT): 141337(141337/0)
Jun 01, 2017 2:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/592) took 237462 ms. Total solver calls (SAT/UNSAT): 142117(142117/0)
Jun 01, 2017 2:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/592) took 238814 ms. Total solver calls (SAT/UNSAT): 142888(142888/0)
Jun 01, 2017 2:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/592) took 240101 ms. Total solver calls (SAT/UNSAT): 143650(143650/0)
Jun 01, 2017 2:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/592) took 241285 ms. Total solver calls (SAT/UNSAT): 144403(144403/0)
Jun 01, 2017 2:19:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/592) took 242527 ms. Total solver calls (SAT/UNSAT): 145147(145147/0)
Jun 01, 2017 2:19:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(348/592) took 243727 ms. Total solver calls (SAT/UNSAT): 145882(145882/0)
Jun 01, 2017 2:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/592) took 244902 ms. Total solver calls (SAT/UNSAT): 146608(146608/0)
Jun 01, 2017 2:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/592) took 246066 ms. Total solver calls (SAT/UNSAT): 147325(147325/0)
Jun 01, 2017 2:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(357/592) took 247217 ms. Total solver calls (SAT/UNSAT): 148033(148033/0)
Jun 01, 2017 2:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/592) took 248365 ms. Total solver calls (SAT/UNSAT): 148732(148732/0)
Jun 01, 2017 2:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/592) took 249499 ms. Total solver calls (SAT/UNSAT): 149422(149422/0)
Jun 01, 2017 2:19:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/592) took 250603 ms. Total solver calls (SAT/UNSAT): 150103(150103/0)
Jun 01, 2017 2:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(369/592) took 251703 ms. Total solver calls (SAT/UNSAT): 150775(150775/0)
Jun 01, 2017 2:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(372/592) took 252790 ms. Total solver calls (SAT/UNSAT): 151438(151438/0)
Jun 01, 2017 2:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/592) took 253873 ms. Total solver calls (SAT/UNSAT): 152092(152092/0)
Jun 01, 2017 2:19:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(378/592) took 254939 ms. Total solver calls (SAT/UNSAT): 152737(152737/0)
Jun 01, 2017 2:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(381/592) took 256062 ms. Total solver calls (SAT/UNSAT): 153373(153373/0)
Jun 01, 2017 2:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(384/592) took 257126 ms. Total solver calls (SAT/UNSAT): 154000(154000/0)
Jun 01, 2017 2:19:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/592) took 258185 ms. Total solver calls (SAT/UNSAT): 154618(154618/0)
Jun 01, 2017 2:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/592) took 259293 ms. Total solver calls (SAT/UNSAT): 155227(155227/0)
Jun 01, 2017 2:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(393/592) took 260390 ms. Total solver calls (SAT/UNSAT): 155827(155827/0)
Jun 01, 2017 2:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(396/592) took 261407 ms. Total solver calls (SAT/UNSAT): 156418(156418/0)
Jun 01, 2017 2:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/592) took 262699 ms. Total solver calls (SAT/UNSAT): 157192(157192/0)
Jun 01, 2017 2:19:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(404/592) took 263976 ms. Total solver calls (SAT/UNSAT): 157950(157950/0)
Jun 01, 2017 2:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(408/592) took 265225 ms. Total solver calls (SAT/UNSAT): 158692(158692/0)
Jun 01, 2017 2:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/592) took 266497 ms. Total solver calls (SAT/UNSAT): 159418(159418/0)
Jun 01, 2017 2:19:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/592) took 267781 ms. Total solver calls (SAT/UNSAT): 160128(160128/0)
Jun 01, 2017 2:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/592) took 269031 ms. Total solver calls (SAT/UNSAT): 160822(160822/0)
Jun 01, 2017 2:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(424/592) took 270260 ms. Total solver calls (SAT/UNSAT): 161500(161500/0)
Jun 01, 2017 2:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(428/592) took 271453 ms. Total solver calls (SAT/UNSAT): 162162(162162/0)
Jun 01, 2017 2:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(432/592) took 272610 ms. Total solver calls (SAT/UNSAT): 162808(162808/0)
Jun 01, 2017 2:19:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/592) took 273733 ms. Total solver calls (SAT/UNSAT): 163438(163438/0)
Jun 01, 2017 2:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/592) took 274818 ms. Total solver calls (SAT/UNSAT): 164052(164052/0)
Jun 01, 2017 2:20:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(444/592) took 275861 ms. Total solver calls (SAT/UNSAT): 164650(164650/0)
Jun 01, 2017 2:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(448/592) took 276867 ms. Total solver calls (SAT/UNSAT): 165232(165232/0)
Jun 01, 2017 2:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(453/592) took 277990 ms. Total solver calls (SAT/UNSAT): 165937(165937/0)
Jun 01, 2017 2:20:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(458/592) took 279082 ms. Total solver calls (SAT/UNSAT): 166617(166617/0)
Jun 01, 2017 2:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(463/592) took 280222 ms. Total solver calls (SAT/UNSAT): 167272(167272/0)
Jun 01, 2017 2:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(468/592) took 281323 ms. Total solver calls (SAT/UNSAT): 167902(167902/0)
Jun 01, 2017 2:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(473/592) took 282375 ms. Total solver calls (SAT/UNSAT): 168507(168507/0)
Jun 01, 2017 2:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(479/592) took 283502 ms. Total solver calls (SAT/UNSAT): 169200(169200/0)
Jun 01, 2017 2:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(485/592) took 284566 ms. Total solver calls (SAT/UNSAT): 169857(169857/0)
Jun 01, 2017 2:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(491/592) took 285587 ms. Total solver calls (SAT/UNSAT): 170478(170478/0)
Jun 01, 2017 2:20:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(498/592) took 286710 ms. Total solver calls (SAT/UNSAT): 171157(171157/0)
Jun 01, 2017 2:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/592) took 287747 ms. Total solver calls (SAT/UNSAT): 171787(171787/0)
Jun 01, 2017 2:20:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(513/592) took 288859 ms. Total solver calls (SAT/UNSAT): 172447(172447/0)
Jun 01, 2017 2:20:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(522/592) took 289970 ms. Total solver calls (SAT/UNSAT): 173113(173113/0)
Jun 01, 2017 2:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(530/592) took 290980 ms. Total solver calls (SAT/UNSAT): 173637(173637/0)
Jun 01, 2017 2:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(540/592) took 292005 ms. Total solver calls (SAT/UNSAT): 174202(174202/0)
Jun 01, 2017 2:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(552/592) took 293056 ms. Total solver calls (SAT/UNSAT): 174748(174748/0)
Jun 01, 2017 2:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(569/592) took 294091 ms. Total solver calls (SAT/UNSAT): 175275(175275/0)
Jun 01, 2017 2:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 294621 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 2:20:19 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-10"
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-10.tgz
mv PermAdmissibility-PT-10 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-10, 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-149440486700428"
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 ;