About the Execution of ITS-Tools for PermAdmissibility-PT-50
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15504.330 | 3600000.00 | 4520361.00 | 816.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is PermAdmissibility-PT-50, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486700446
=====================================================================
--------------------
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-50-LTLCardinality-0
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-1
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-10
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-11
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-12
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-13
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-14
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-15
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-2
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-3
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-4
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-5
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-6
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-7
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-8
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496333492296
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 : !((X(X(("(((((((out1_0+out1_6)+out1_5)+out1_7)+out1_2)+out1_1)+out1_4)+out1_3)<=c17")U("c17>=2")))))
Formula 0 simplified : !XX("(((((((out1_0+out1_6)+out1_5)+out1_7)+out1_2)+out1_1)+out1_4)+out1_3)<=c17" U "c17>=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= 100
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= -100
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 :134
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 4:11:33 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 4:11:33 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 137 ms
Jun 01, 2017 4:11:33 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 4:11:34 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 4:11:34 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 223 ms
Jun 01, 2017 4:11:34 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 28 ms
Jun 01, 2017 4:11:34 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 01, 2017 4:11:35 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 143 ms
Jun 01, 2017 4:11:43 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8368 ms
Jun 01, 2017 4:11:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 4:11:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 482 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 4:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1933 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 01, 2017 4:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3364 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 01, 2017 4:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4795 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 01, 2017 4:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 6246 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 01, 2017 4:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7682 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 01, 2017 4:11:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 9119 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 01, 2017 4:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 10555 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 01, 2017 4:11:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 12001 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 01, 2017 4:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 13441 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 01, 2017 4:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 14886 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 01, 2017 4:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 16322 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 01, 2017 4:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 17765 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 01, 2017 4:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 19201 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 01, 2017 4:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 20654 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 01, 2017 4:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 22070 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 01, 2017 4:12:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 23506 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 01, 2017 4:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 24948 ms. Total solver calls (SAT/UNSAT): 7072(4108/2964)
Jun 01, 2017 4:12:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 26402 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 01, 2017 4:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 27844 ms. Total solver calls (SAT/UNSAT): 7888(4582/3306)
Jun 01, 2017 4:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/592 took 29184 ms. Total solver calls (SAT/UNSAT): 8326(4819/3507)
Jun 01, 2017 4:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/592 took 30486 ms. Total solver calls (SAT/UNSAT): 8779(5056/3723)
Jun 01, 2017 4:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/592 took 31782 ms. Total solver calls (SAT/UNSAT): 9232(5293/3939)
Jun 01, 2017 4:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/592 took 33052 ms. Total solver calls (SAT/UNSAT): 9685(5530/4155)
Jun 01, 2017 4:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/592 took 34346 ms. Total solver calls (SAT/UNSAT): 10138(5767/4371)
Jun 01, 2017 4:12:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/592 took 35650 ms. Total solver calls (SAT/UNSAT): 10591(6004/4587)
Jun 01, 2017 4:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/592 took 36928 ms. Total solver calls (SAT/UNSAT): 11044(6241/4803)
Jun 01, 2017 4:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/592 took 38204 ms. Total solver calls (SAT/UNSAT): 11497(6478/5019)
Jun 01, 2017 4:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/592 took 39506 ms. Total solver calls (SAT/UNSAT): 11950(6715/5235)
Jun 01, 2017 4:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/592 took 40790 ms. Total solver calls (SAT/UNSAT): 12403(6952/5451)
Jun 01, 2017 4:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/592 took 42098 ms. Total solver calls (SAT/UNSAT): 12856(7189/5667)
Jun 01, 2017 4:12:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/592 took 43382 ms. Total solver calls (SAT/UNSAT): 13309(7426/5883)
Jun 01, 2017 4:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/592 took 44663 ms. Total solver calls (SAT/UNSAT): 13762(7663/6099)
Jun 01, 2017 4:12:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/592 took 46071 ms. Total solver calls (SAT/UNSAT): 14215(7900/6315)
Jun 01, 2017 4:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/592 took 47408 ms. Total solver calls (SAT/UNSAT): 14653(8137/6516)
Jun 01, 2017 4:12:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/592 took 49012 ms. Total solver calls (SAT/UNSAT): 15061(8374/6687)
Jun 01, 2017 4:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/592 took 50404 ms. Total solver calls (SAT/UNSAT): 15499(8611/6888)
Jun 01, 2017 4:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/592 took 51689 ms. Total solver calls (SAT/UNSAT): 15952(8848/7104)
Jun 01, 2017 4:12:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/592 took 53048 ms. Total solver calls (SAT/UNSAT): 16405(9085/7320)
Jun 01, 2017 4:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/592 took 54580 ms. Total solver calls (SAT/UNSAT): 16858(9322/7536)
Jun 01, 2017 4:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/592 took 55928 ms. Total solver calls (SAT/UNSAT): 17311(9559/7752)
Jun 01, 2017 4:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/592 took 57240 ms. Total solver calls (SAT/UNSAT): 17749(9796/7953)
Jun 01, 2017 4:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/592 took 58562 ms. Total solver calls (SAT/UNSAT): 18157(10033/8124)
Jun 01, 2017 4:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/592 took 59978 ms. Total solver calls (SAT/UNSAT): 18565(10270/8295)
Jun 01, 2017 4:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/592 took 61287 ms. Total solver calls (SAT/UNSAT): 18973(10507/8466)
Jun 01, 2017 4:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 62591 ms. Total solver calls (SAT/UNSAT): 19381(10744/8637)
Jun 01, 2017 4:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/592 took 63906 ms. Total solver calls (SAT/UNSAT): 19789(10981/8808)
Jun 01, 2017 4:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 65338 ms. Total solver calls (SAT/UNSAT): 20197(11218/8979)
Jun 01, 2017 4:12:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 66656 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 01, 2017 4:12:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 68070 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 01, 2017 4:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 69383 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 01, 2017 4:12:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 70832 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 01, 2017 4:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 71909 ms. Total solver calls (SAT/UNSAT): 22116(12324/9792)
Jun 01, 2017 4:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 73242 ms. Total solver calls (SAT/UNSAT): 22569(12561/10008)
Jun 01, 2017 4:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 74556 ms. Total solver calls (SAT/UNSAT): 22977(12798/10179)
Jun 01, 2017 4:12:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 75858 ms. Total solver calls (SAT/UNSAT): 23400(13035/10365)
Jun 01, 2017 4:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/592 took 76870 ms. Total solver calls (SAT/UNSAT): 23672(13193/10479)
Jun 01, 2017 4:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/592 took 78203 ms. Total solver calls (SAT/UNSAT): 24080(13430/10650)
Jun 01, 2017 4:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 79209 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 01, 2017 4:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 80514 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 01, 2017 4:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 81826 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 01, 2017 4:13:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 83125 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 01, 2017 4:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 84450 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 01, 2017 4:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 85766 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 01, 2017 4:13:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 86798 ms. Total solver calls (SAT/UNSAT): 26701(15010/11691)
Jun 01, 2017 4:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 87830 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 01, 2017 4:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 88872 ms. Total solver calls (SAT/UNSAT): 27319(15484/11835)
Jun 01, 2017 4:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/592 took 89906 ms. Total solver calls (SAT/UNSAT): 27628(15721/11907)
Jun 01, 2017 4:13:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/592 took 90925 ms. Total solver calls (SAT/UNSAT): 27937(15958/11979)
Jun 01, 2017 4:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 91942 ms. Total solver calls (SAT/UNSAT): 28246(16195/12051)
Jun 01, 2017 4:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/592 took 92988 ms. Total solver calls (SAT/UNSAT): 28555(16432/12123)
Jun 01, 2017 4:13:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 94014 ms. Total solver calls (SAT/UNSAT): 28864(16669/12195)
Jun 01, 2017 4:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/592 took 95046 ms. Total solver calls (SAT/UNSAT): 29173(16906/12267)
Jun 01, 2017 4:13:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 96081 ms. Total solver calls (SAT/UNSAT): 29482(17143/12339)
Jun 01, 2017 4:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 97112 ms. Total solver calls (SAT/UNSAT): 29791(17380/12411)
Jun 01, 2017 4:13:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 98230 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 01, 2017 4:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 99528 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 01, 2017 4:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 100646 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 01, 2017 4:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 101666 ms. Total solver calls (SAT/UNSAT): 31192(18328/12864)
Jun 01, 2017 4:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/592 took 102694 ms. Total solver calls (SAT/UNSAT): 31501(18565/12936)
Jun 01, 2017 4:13:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/592 took 103722 ms. Total solver calls (SAT/UNSAT): 31810(18802/13008)
Jun 01, 2017 4:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 104749 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 01, 2017 4:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 105782 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 01, 2017 4:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 106798 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 01, 2017 4:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 107825 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 01, 2017 4:13:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/592 took 108882 ms. Total solver calls (SAT/UNSAT): 33397(20013/13384)
Jun 01, 2017 4:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 109882 ms. Total solver calls (SAT/UNSAT): 33708(20252/13456)
Jun 01, 2017 4:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 110996 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 01, 2017 4:13:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/592 took 112033 ms. Total solver calls (SAT/UNSAT): 34399(20727/13672)
Jun 01, 2017 4:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/592 took 113129 ms. Total solver calls (SAT/UNSAT): 34794(20957/13837)
Jun 01, 2017 4:13:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/592 took 114170 ms. Total solver calls (SAT/UNSAT): 35154(21187/13967)
Jun 01, 2017 4:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 115599 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 01, 2017 4:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 116883 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 01, 2017 4:13:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 118173 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 01, 2017 4:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/592 took 119183 ms. Total solver calls (SAT/UNSAT): 37082(22151/14931)
Jun 01, 2017 4:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/592 took 120272 ms. Total solver calls (SAT/UNSAT): 37500(22355/15145)
Jun 01, 2017 4:13:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/592 took 121286 ms. Total solver calls (SAT/UNSAT): 37845(22562/15283)
Jun 01, 2017 4:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 122294 ms. Total solver calls (SAT/UNSAT): 38212(22756/15456)
Jun 01, 2017 4:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 123572 ms. Total solver calls (SAT/UNSAT): 38731(22993/15738)
Jun 01, 2017 4:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 124854 ms. Total solver calls (SAT/UNSAT): 39250(23230/16020)
Jun 01, 2017 4:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 126135 ms. Total solver calls (SAT/UNSAT): 39769(23467/16302)
Jun 01, 2017 4:13:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 127421 ms. Total solver calls (SAT/UNSAT): 40288(23704/16584)
Jun 01, 2017 4:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 128710 ms. Total solver calls (SAT/UNSAT): 40807(23941/16866)
Jun 01, 2017 4:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 130000 ms. Total solver calls (SAT/UNSAT): 41326(24178/17148)
Jun 01, 2017 4:13:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 131281 ms. Total solver calls (SAT/UNSAT): 41845(24415/17430)
Jun 01, 2017 4:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 132574 ms. Total solver calls (SAT/UNSAT): 42364(24652/17712)
Jun 01, 2017 4:13:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 133870 ms. Total solver calls (SAT/UNSAT): 42883(24889/17994)
Jun 01, 2017 4:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 135250 ms. Total solver calls (SAT/UNSAT): 43402(25126/18276)
Jun 01, 2017 4:13:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 136672 ms. Total solver calls (SAT/UNSAT): 43906(25363/18543)
Jun 01, 2017 4:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/592 took 137742 ms. Total solver calls (SAT/UNSAT): 44222(25521/18701)
Jun 01, 2017 4:14:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/592 took 139014 ms. Total solver calls (SAT/UNSAT): 44741(25758/18983)
Jun 01, 2017 4:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/592 took 140505 ms. Total solver calls (SAT/UNSAT): 45230(25995/19235)
Jun 01, 2017 4:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 141570 ms. Total solver calls (SAT/UNSAT): 45546(26153/19393)
Jun 01, 2017 4:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 142644 ms. Total solver calls (SAT/UNSAT): 45862(26311/19551)
Jun 01, 2017 4:14:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 143728 ms. Total solver calls (SAT/UNSAT): 46178(26469/19709)
Jun 01, 2017 4:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/592 took 145038 ms. Total solver calls (SAT/UNSAT): 46697(26706/19991)
Jun 01, 2017 4:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 146345 ms. Total solver calls (SAT/UNSAT): 47216(26943/20273)
Jun 01, 2017 4:14:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/592 took 147644 ms. Total solver calls (SAT/UNSAT): 47735(27180/20555)
Jun 01, 2017 4:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/592 took 148943 ms. Total solver calls (SAT/UNSAT): 48254(27417/20837)
Jun 01, 2017 4:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 150254 ms. Total solver calls (SAT/UNSAT): 48773(27654/21119)
Jun 01, 2017 4:14:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 151514 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 01, 2017 4:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 152637 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 01, 2017 4:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 153746 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 01, 2017 4:14:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 154896 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 01, 2017 4:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 155988 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 01, 2017 4:14:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 157171 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 01, 2017 4:14:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 158290 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 01, 2017 4:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 159363 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 01, 2017 4:14:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 160445 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 01, 2017 4:14:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 161553 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 01, 2017 4:14:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 162921 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 01, 2017 4:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 164025 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 01, 2017 4:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 165094 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 01, 2017 4:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 166184 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 01, 2017 4:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 167273 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 01, 2017 4:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 168467 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 01, 2017 4:14:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 169532 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 01, 2017 4:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 170620 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 01, 2017 4:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 171707 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 01, 2017 4:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 173036 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 01, 2017 4:14:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 174050 ms. Total solver calls (SAT/UNSAT): 55657(31051/24606)
Jun 01, 2017 4:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 175397 ms. Total solver calls (SAT/UNSAT): 56176(31288/24888)
Jun 01, 2017 4:14:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 176741 ms. Total solver calls (SAT/UNSAT): 56695(31525/25170)
Jun 01, 2017 4:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/592 took 177806 ms. Total solver calls (SAT/UNSAT): 57011(31683/25328)
Jun 01, 2017 4:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 178866 ms. Total solver calls (SAT/UNSAT): 57327(31841/25486)
Jun 01, 2017 4:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 180088 ms. Total solver calls (SAT/UNSAT): 57643(31999/25644)
Jun 01, 2017 4:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/592 took 181174 ms. Total solver calls (SAT/UNSAT): 57959(32157/25802)
Jun 01, 2017 4:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/592 took 182264 ms. Total solver calls (SAT/UNSAT): 58275(32315/25960)
Jun 01, 2017 4:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 183331 ms. Total solver calls (SAT/UNSAT): 58591(32473/26118)
Jun 01, 2017 4:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 184393 ms. Total solver calls (SAT/UNSAT): 58907(32631/26276)
Jun 01, 2017 4:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 185478 ms. Total solver calls (SAT/UNSAT): 59223(32789/26434)
Jun 01, 2017 4:14:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 186828 ms. Total solver calls (SAT/UNSAT): 59742(33026/26716)
Jun 01, 2017 4:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 188159 ms. Total solver calls (SAT/UNSAT): 60261(33263/26998)
Jun 01, 2017 4:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 189501 ms. Total solver calls (SAT/UNSAT): 60780(33500/27280)
Jun 01, 2017 4:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 190888 ms. Total solver calls (SAT/UNSAT): 61299(33737/27562)
Jun 01, 2017 4:14:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 192208 ms. Total solver calls (SAT/UNSAT): 61818(33974/27844)
Jun 01, 2017 4:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 193551 ms. Total solver calls (SAT/UNSAT): 62337(34211/28126)
Jun 01, 2017 4:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 194876 ms. Total solver calls (SAT/UNSAT): 62856(34448/28408)
Jun 01, 2017 4:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 196188 ms. Total solver calls (SAT/UNSAT): 63375(34685/28690)
Jun 01, 2017 4:15:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 197534 ms. Total solver calls (SAT/UNSAT): 63894(34922/28972)
Jun 01, 2017 4:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 198866 ms. Total solver calls (SAT/UNSAT): 64413(35159/29254)
Jun 01, 2017 4:15:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 200184 ms. Total solver calls (SAT/UNSAT): 64932(35396/29536)
Jun 01, 2017 4:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 201496 ms. Total solver calls (SAT/UNSAT): 65451(35633/29818)
Jun 01, 2017 4:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 202514 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 01, 2017 4:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 203855 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 01, 2017 4:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 205187 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 01, 2017 4:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 206521 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 01, 2017 4:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 207582 ms. Total solver calls (SAT/UNSAT): 67685(36660/31025)
Jun 01, 2017 4:15:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 208675 ms. Total solver calls (SAT/UNSAT): 68001(36818/31183)
Jun 01, 2017 4:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 209783 ms. Total solver calls (SAT/UNSAT): 68317(36976/31341)
Jun 01, 2017 4:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 210850 ms. Total solver calls (SAT/UNSAT): 68633(37134/31499)
Jun 01, 2017 4:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 211948 ms. Total solver calls (SAT/UNSAT): 68949(37292/31657)
Jun 01, 2017 4:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 213148 ms. Total solver calls (SAT/UNSAT): 69265(37450/31815)
Jun 01, 2017 4:15:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 214500 ms. Total solver calls (SAT/UNSAT): 69784(37687/32097)
Jun 01, 2017 4:15:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 215916 ms. Total solver calls (SAT/UNSAT): 70288(37924/32364)
Jun 01, 2017 4:15:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 216984 ms. Total solver calls (SAT/UNSAT): 70604(38082/32522)
Jun 01, 2017 4:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 218091 ms. Total solver calls (SAT/UNSAT): 70920(38240/32680)
Jun 01, 2017 4:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 219141 ms. Total solver calls (SAT/UNSAT): 71236(38398/32838)
Jun 01, 2017 4:15:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/592 took 220268 ms. Total solver calls (SAT/UNSAT): 71552(38556/32996)
Jun 01, 2017 4:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 221337 ms. Total solver calls (SAT/UNSAT): 71868(38714/33154)
Jun 01, 2017 4:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 222417 ms. Total solver calls (SAT/UNSAT): 72184(38872/33312)
Jun 01, 2017 4:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 223463 ms. Total solver calls (SAT/UNSAT): 72500(39030/33470)
Jun 01, 2017 4:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 224560 ms. Total solver calls (SAT/UNSAT): 72816(39188/33628)
Jun 01, 2017 4:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 225654 ms. Total solver calls (SAT/UNSAT): 73132(39346/33786)
Jun 01, 2017 4:15:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 226731 ms. Total solver calls (SAT/UNSAT): 73448(39504/33944)
Jun 01, 2017 4:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 227846 ms. Total solver calls (SAT/UNSAT): 73764(39662/34102)
Jun 01, 2017 4:15:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 228924 ms. Total solver calls (SAT/UNSAT): 74080(39820/34260)
Jun 01, 2017 4:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 230141 ms. Total solver calls (SAT/UNSAT): 74396(39978/34418)
Jun 01, 2017 4:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 231234 ms. Total solver calls (SAT/UNSAT): 74712(40136/34576)
Jun 01, 2017 4:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 232331 ms. Total solver calls (SAT/UNSAT): 75028(40294/34734)
Jun 01, 2017 4:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/592 took 233390 ms. Total solver calls (SAT/UNSAT): 75344(40452/34892)
Jun 01, 2017 4:15:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 234516 ms. Total solver calls (SAT/UNSAT): 75660(40610/35050)
Jun 01, 2017 4:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 235590 ms. Total solver calls (SAT/UNSAT): 75976(40768/35208)
Jun 01, 2017 4:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/592 took 236713 ms. Total solver calls (SAT/UNSAT): 76292(40926/35366)
Jun 01, 2017 4:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 237768 ms. Total solver calls (SAT/UNSAT): 76608(41084/35524)
Jun 01, 2017 4:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 238877 ms. Total solver calls (SAT/UNSAT): 76924(41242/35682)
Jun 01, 2017 4:15:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 239954 ms. Total solver calls (SAT/UNSAT): 77240(41400/35840)
Jun 01, 2017 4:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 241200 ms. Total solver calls (SAT/UNSAT): 77556(41558/35998)
Jun 01, 2017 4:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 242264 ms. Total solver calls (SAT/UNSAT): 77872(41716/36156)
Jun 01, 2017 4:15:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 243290 ms. Total solver calls (SAT/UNSAT): 78188(41874/36314)
Jun 01, 2017 4:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 244369 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 4:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 244370 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 4:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 4:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1200 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 4:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2492 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 4:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3685 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 4:15:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4869 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 4:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 6080 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 01, 2017 4:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 7269 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 01, 2017 4:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8509 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 01, 2017 4:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9710 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 01, 2017 4:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10893 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 01, 2017 4:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 12068 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 01, 2017 4:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 13261 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 01, 2017 4:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 14453 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 01, 2017 4:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 15640 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 01, 2017 4:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16800 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 01, 2017 4:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 18046 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 01, 2017 4:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 19277 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 01, 2017 4:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 20497 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 01, 2017 4:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 21675 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 01, 2017 4:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 22873 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 01, 2017 4:16:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 24021 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 01, 2017 4:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 25117 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 01, 2017 4:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 26213 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 01, 2017 4:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 27369 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 01, 2017 4:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 28517 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 01, 2017 4:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 29709 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 01, 2017 4:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 31082 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 01, 2017 4:16:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 32321 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 01, 2017 4:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 33524 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 01, 2017 4:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 34693 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 01, 2017 4:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 35792 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 01, 2017 4:16:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 36888 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 01, 2017 4:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 37989 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 01, 2017 4:16:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 39101 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 01, 2017 4:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 40257 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 01, 2017 4:16:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 41425 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 01, 2017 4:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 42734 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 01, 2017 4:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 43953 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 01, 2017 4:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 45161 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 01, 2017 4:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 46490 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 01, 2017 4:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 47721 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 01, 2017 4:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 48844 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 01, 2017 4:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 49964 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 01, 2017 4:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 51084 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 01, 2017 4:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 52208 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 01, 2017 4:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 53399 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 01, 2017 4:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 54702 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 4:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 55833 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 01, 2017 4:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 56956 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 4:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 58088 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 4:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 59349 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 01, 2017 4:16:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 60512 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 4:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 61701 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 01, 2017 4:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 63078 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 4:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 64385 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 01, 2017 4:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 65557 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 4:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 66685 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 01, 2017 4:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 67960 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 4:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 69092 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 01, 2017 4:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 70232 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 01, 2017 4:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 71517 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 01, 2017 4:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 72645 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 01, 2017 4:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 73772 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 01, 2017 4:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 74845 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 01, 2017 4:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 76013 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 01, 2017 4:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 77190 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 01, 2017 4:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 78371 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 01, 2017 4:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 79550 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 01, 2017 4:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 80732 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 01, 2017 4:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 81924 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 01, 2017 4:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 83152 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 01, 2017 4:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 84296 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 01, 2017 4:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 85469 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 01, 2017 4:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 86653 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 01, 2017 4:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 87836 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 01, 2017 4:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 89024 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 01, 2017 4:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/592 took 90043 ms. Total solver calls (SAT/UNSAT): 33180(15248/17932)
Jun 01, 2017 4:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 91180 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 01, 2017 4:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 92256 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 01, 2017 4:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/592 took 93278 ms. Total solver calls (SAT/UNSAT): 34614(15716/18898)
Jun 01, 2017 4:17:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/592 took 94294 ms. Total solver calls (SAT/UNSAT): 35010(15936/19074)
Jun 01, 2017 4:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 95508 ms. Total solver calls (SAT/UNSAT): 35518(16170/19348)
Jun 01, 2017 4:17:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 96831 ms. Total solver calls (SAT/UNSAT): 36037(16452/19585)
Jun 01, 2017 4:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 98159 ms. Total solver calls (SAT/UNSAT): 36556(16734/19822)
Jun 01, 2017 4:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 99432 ms. Total solver calls (SAT/UNSAT): 37046(17002/20044)
Jun 01, 2017 4:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/592 took 100510 ms. Total solver calls (SAT/UNSAT): 37464(17230/20234)
Jun 01, 2017 4:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/592 took 101591 ms. Total solver calls (SAT/UNSAT): 37888(17450/20438)
Jun 01, 2017 4:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 102856 ms. Total solver calls (SAT/UNSAT): 38385(17718/20667)
Jun 01, 2017 4:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 104182 ms. Total solver calls (SAT/UNSAT): 38904(18000/20904)
Jun 01, 2017 4:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 105523 ms. Total solver calls (SAT/UNSAT): 39423(18282/21141)
Jun 01, 2017 4:17:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 106846 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 01, 2017 4:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 108169 ms. Total solver calls (SAT/UNSAT): 40461(18846/21615)
Jun 01, 2017 4:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 109502 ms. Total solver calls (SAT/UNSAT): 40980(19128/21852)
Jun 01, 2017 4:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 110550 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 01, 2017 4:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 111930 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 01, 2017 4:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 113256 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 01, 2017 4:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 114572 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 01, 2017 4:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 115898 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 01, 2017 4:17:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 117244 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 01, 2017 4:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/592 took 118335 ms. Total solver calls (SAT/UNSAT): 44222(20914/23308)
Jun 01, 2017 4:17:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/592 took 119696 ms. Total solver calls (SAT/UNSAT): 44741(21196/23545)
Jun 01, 2017 4:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/592 took 121020 ms. Total solver calls (SAT/UNSAT): 45230(21478/23752)
Jun 01, 2017 4:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 122316 ms. Total solver calls (SAT/UNSAT): 45704(21760/23944)
Jun 01, 2017 4:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 123628 ms. Total solver calls (SAT/UNSAT): 46178(22042/24136)
Jun 01, 2017 4:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/592 took 124946 ms. Total solver calls (SAT/UNSAT): 46697(22324/24373)
Jun 01, 2017 4:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 126295 ms. Total solver calls (SAT/UNSAT): 47216(22606/24610)
Jun 01, 2017 4:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/592 took 127636 ms. Total solver calls (SAT/UNSAT): 47735(22888/24847)
Jun 01, 2017 4:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/592 took 128970 ms. Total solver calls (SAT/UNSAT): 48254(23170/25084)
Jun 01, 2017 4:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 130299 ms. Total solver calls (SAT/UNSAT): 48773(23452/25321)
Jun 01, 2017 4:17:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/592 took 131622 ms. Total solver calls (SAT/UNSAT): 49262(23734/25528)
Jun 01, 2017 4:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 132938 ms. Total solver calls (SAT/UNSAT): 49736(24016/25720)
Jun 01, 2017 4:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/592 took 134246 ms. Total solver calls (SAT/UNSAT): 50210(24298/25912)
Jun 01, 2017 4:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 135551 ms. Total solver calls (SAT/UNSAT): 50684(24580/26104)
Jun 01, 2017 4:18:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/592 took 136906 ms. Total solver calls (SAT/UNSAT): 51158(24862/26296)
Jun 01, 2017 4:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 138206 ms. Total solver calls (SAT/UNSAT): 51632(25144/26488)
Jun 01, 2017 4:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/592 took 139522 ms. Total solver calls (SAT/UNSAT): 52106(25426/26680)
Jun 01, 2017 4:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 140861 ms. Total solver calls (SAT/UNSAT): 52580(25708/26872)
Jun 01, 2017 4:18:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/592 took 142163 ms. Total solver calls (SAT/UNSAT): 53054(25990/27064)
Jun 01, 2017 4:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 143494 ms. Total solver calls (SAT/UNSAT): 53528(26272/27256)
Jun 01, 2017 4:18:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/592 took 144803 ms. Total solver calls (SAT/UNSAT): 54002(26554/27448)
Jun 01, 2017 4:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 146122 ms. Total solver calls (SAT/UNSAT): 54476(26836/27640)
Jun 01, 2017 4:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/592 took 147439 ms. Total solver calls (SAT/UNSAT): 54965(27118/27847)
Jun 01, 2017 4:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/592 took 148817 ms. Total solver calls (SAT/UNSAT): 55484(27400/28084)
Jun 01, 2017 4:18:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/592 took 150183 ms. Total solver calls (SAT/UNSAT): 56003(27682/28321)
Jun 01, 2017 4:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/592 took 151536 ms. Total solver calls (SAT/UNSAT): 56522(27964/28558)
Jun 01, 2017 4:18:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/592 took 152863 ms. Total solver calls (SAT/UNSAT): 57011(28246/28765)
Jun 01, 2017 4:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 154199 ms. Total solver calls (SAT/UNSAT): 57485(28528/28957)
Jun 01, 2017 4:18:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/592 took 155584 ms. Total solver calls (SAT/UNSAT): 57959(28810/29149)
Jun 01, 2017 4:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 156913 ms. Total solver calls (SAT/UNSAT): 58433(29092/29341)
Jun 01, 2017 4:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 158249 ms. Total solver calls (SAT/UNSAT): 58907(29374/29533)
Jun 01, 2017 4:18:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/592 took 159576 ms. Total solver calls (SAT/UNSAT): 59396(29656/29740)
Jun 01, 2017 4:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/592 took 160914 ms. Total solver calls (SAT/UNSAT): 59915(29938/29977)
Jun 01, 2017 4:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/592 took 162264 ms. Total solver calls (SAT/UNSAT): 60434(30220/30214)
Jun 01, 2017 4:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/592 took 163739 ms. Total solver calls (SAT/UNSAT): 60953(30502/30451)
Jun 01, 2017 4:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/592 took 165170 ms. Total solver calls (SAT/UNSAT): 61472(30784/30688)
Jun 01, 2017 4:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/592 took 166510 ms. Total solver calls (SAT/UNSAT): 61991(31066/30925)
Jun 01, 2017 4:18:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/592 took 167844 ms. Total solver calls (SAT/UNSAT): 62510(31348/31162)
Jun 01, 2017 4:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/592 took 169192 ms. Total solver calls (SAT/UNSAT): 63029(31630/31399)
Jun 01, 2017 4:18:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/592 took 170539 ms. Total solver calls (SAT/UNSAT): 63548(31912/31636)
Jun 01, 2017 4:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/592 took 172003 ms. Total solver calls (SAT/UNSAT): 64067(32194/31873)
Jun 01, 2017 4:18:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 173090 ms. Total solver calls (SAT/UNSAT): 64413(32382/32031)
Jun 01, 2017 4:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 174119 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 01, 2017 4:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 175588 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 01, 2017 4:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 176895 ms. Total solver calls (SAT/UNSAT): 65797(33134/32663)
Jun 01, 2017 4:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 178247 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 01, 2017 4:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 179586 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 01, 2017 4:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 181006 ms. Total solver calls (SAT/UNSAT): 67354(33980/33374)
Jun 01, 2017 4:18:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 182455 ms. Total solver calls (SAT/UNSAT): 67843(34262/33581)
Jun 01, 2017 4:18:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 183819 ms. Total solver calls (SAT/UNSAT): 68317(34544/33773)
Jun 01, 2017 4:18:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 185201 ms. Total solver calls (SAT/UNSAT): 68791(34826/33965)
Jun 01, 2017 4:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 186581 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 01, 2017 4:18:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 187889 ms. Total solver calls (SAT/UNSAT): 69784(35390/34394)
Jun 01, 2017 4:18:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 189196 ms. Total solver calls (SAT/UNSAT): 70288(35672/34616)
Jun 01, 2017 4:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 190565 ms. Total solver calls (SAT/UNSAT): 70762(35954/34808)
Jun 01, 2017 4:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 191928 ms. Total solver calls (SAT/UNSAT): 71236(36236/35000)
Jun 01, 2017 4:19:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 193267 ms. Total solver calls (SAT/UNSAT): 71710(36518/35192)
Jun 01, 2017 4:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 194605 ms. Total solver calls (SAT/UNSAT): 72184(36800/35384)
Jun 01, 2017 4:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 195980 ms. Total solver calls (SAT/UNSAT): 72658(37082/35576)
Jun 01, 2017 4:19:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 197128 ms. Total solver calls (SAT/UNSAT): 72974(37270/35704)
Jun 01, 2017 4:19:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 198614 ms. Total solver calls (SAT/UNSAT): 73448(37552/35896)
Jun 01, 2017 4:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 200089 ms. Total solver calls (SAT/UNSAT): 73922(37834/36088)
Jun 01, 2017 4:19:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 201450 ms. Total solver calls (SAT/UNSAT): 74396(38116/36280)
Jun 01, 2017 4:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 202804 ms. Total solver calls (SAT/UNSAT): 74870(38398/36472)
Jun 01, 2017 4:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 203842 ms. Total solver calls (SAT/UNSAT): 75186(38586/36600)
Jun 01, 2017 4:19:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 205180 ms. Total solver calls (SAT/UNSAT): 75660(38868/36792)
Jun 01, 2017 4:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 206535 ms. Total solver calls (SAT/UNSAT): 76134(39150/36984)
Jun 01, 2017 4:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 207864 ms. Total solver calls (SAT/UNSAT): 76608(39432/37176)
Jun 01, 2017 4:19:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 209178 ms. Total solver calls (SAT/UNSAT): 77082(39714/37368)
Jun 01, 2017 4:19:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 210503 ms. Total solver calls (SAT/UNSAT): 77556(39996/37560)
Jun 01, 2017 4:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 211859 ms. Total solver calls (SAT/UNSAT): 78030(40278/37752)
Jun 01, 2017 4:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 213195 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 4:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 213195 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 4:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 4:19:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1040 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 4:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/592) took 2073 ms. Total solver calls (SAT/UNSAT): 1183(1183/0)
Jun 01, 2017 4:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3111 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 01, 2017 4:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4139 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 01, 2017 4:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 5189 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 01, 2017 4:19:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 6224 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 01, 2017 4:19:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 7259 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 01, 2017 4:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 8296 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 01, 2017 4:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9350 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 01, 2017 4:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 10355 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 01, 2017 4:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 11370 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 01, 2017 4:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 12415 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 01, 2017 4:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 13465 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 01, 2017 4:19:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 14475 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 01, 2017 4:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 16478 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 01, 2017 4:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 17485 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 01, 2017 4:19:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 18514 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 01, 2017 4:19:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 19546 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 01, 2017 4:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 21529 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 01, 2017 4:19:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 22544 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 01, 2017 4:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 23549 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 01, 2017 4:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 25531 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 01, 2017 4:19:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 27483 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 01, 2017 4:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 29491 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 01, 2017 4:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 30612 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 01, 2017 4:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/592) took 32559 ms. Total solver calls (SAT/UNSAT): 18448(18448/0)
Jun 01, 2017 4:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/592) took 34509 ms. Total solver calls (SAT/UNSAT): 19567(19567/0)
Jun 01, 2017 4:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/592) took 36446 ms. Total solver calls (SAT/UNSAT): 20682(20682/0)
Jun 01, 2017 4:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 38384 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 01, 2017 4:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 40309 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 01, 2017 4:20:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 42216 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 01, 2017 4:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 44138 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 01, 2017 4:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 46007 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 01, 2017 4:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 47927 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 01, 2017 4:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 49776 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 01, 2017 4:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 51649 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 01, 2017 4:20:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 53501 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 01, 2017 4:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 55365 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 01, 2017 4:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 57188 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 01, 2017 4:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 59048 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 01, 2017 4:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 60796 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 01, 2017 4:20:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 62685 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 01, 2017 4:20:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 64420 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 01, 2017 4:20:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 66247 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 01, 2017 4:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 67975 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 01, 2017 4:20:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 69801 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 01, 2017 4:20:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 71650 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 01, 2017 4:20:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 73449 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 01, 2017 4:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 75222 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 01, 2017 4:20:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 77027 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 01, 2017 4:20:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 78747 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 01, 2017 4:20:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 80534 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 01, 2017 4:20:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 82297 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 01, 2017 4:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 84026 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 01, 2017 4:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 85786 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 01, 2017 4:20:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 87430 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 01, 2017 4:20:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 89199 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 01, 2017 4:20:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 90843 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 01, 2017 4:20:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 92618 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 01, 2017 4:20:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 94226 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 01, 2017 4:20:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 95945 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 01, 2017 4:20:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 97577 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 01, 2017 4:21:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 99266 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 01, 2017 4:21:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 100899 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 01, 2017 4:21:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 102547 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 01, 2017 4:21:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 104171 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 01, 2017 4:21:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 105834 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 01, 2017 4:21:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 107466 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 01, 2017 4:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 109105 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 01, 2017 4:21:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 110760 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 01, 2017 4:21:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 112282 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 01, 2017 4:21:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 113955 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 01, 2017 4:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 115644 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 01, 2017 4:21:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 117314 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 01, 2017 4:21:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 118971 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 01, 2017 4:21:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 120651 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 01, 2017 4:21:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 122308 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 01, 2017 4:21:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 123937 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 01, 2017 4:21:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 125576 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 01, 2017 4:21:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 127190 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 01, 2017 4:21:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 128817 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 01, 2017 4:21:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 130444 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 01, 2017 4:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 132039 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 01, 2017 4:21:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 133650 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 01, 2017 4:21:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 135220 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 01, 2017 4:21:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 136807 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 01, 2017 4:21:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 138394 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 01, 2017 4:21:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 139916 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 01, 2017 4:21:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 141429 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 01, 2017 4:21:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 142951 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 01, 2017 4:21:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 144496 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 01, 2017 4:21:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 146004 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 01, 2017 4:21:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 147536 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 01, 2017 4:21:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 149068 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 01, 2017 4:21:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 150577 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 01, 2017 4:21:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 152069 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 01, 2017 4:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 153558 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 01, 2017 4:21:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 155063 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 01, 2017 4:21:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 156541 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 01, 2017 4:21:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 158018 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 01, 2017 4:22:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 159497 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 01, 2017 4:22:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 160970 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 01, 2017 4:22:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 162425 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 01, 2017 4:22:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 163824 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 01, 2017 4:22:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 165176 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 01, 2017 4:22:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 166536 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 01, 2017 4:22:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 167886 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 01, 2017 4:22:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 169234 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 01, 2017 4:22:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 170570 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 01, 2017 4:22:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 172001 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 01, 2017 4:22:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 173431 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 01, 2017 4:22:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 174756 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 01, 2017 4:22:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 176043 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 01, 2017 4:22:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 177384 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 01, 2017 4:22:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 178691 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 01, 2017 4:22:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 180139 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 01, 2017 4:22:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 181441 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 01, 2017 4:22:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 182730 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 01, 2017 4:22:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 184009 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 01, 2017 4:22:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 185297 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 01, 2017 4:22:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 186682 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 01, 2017 4:22:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 188014 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 01, 2017 4:22:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 189333 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 01, 2017 4:22:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 190677 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 01, 2017 4:22:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 191931 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 01, 2017 4:22:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 193163 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 01, 2017 4:22:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 194405 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 01, 2017 4:22:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 195646 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 01, 2017 4:22:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 196962 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 01, 2017 4:22:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 198179 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 01, 2017 4:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 199372 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 01, 2017 4:22:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 200559 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 01, 2017 4:22:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 201859 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 01, 2017 4:22:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 203041 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 01, 2017 4:22:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 204220 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 01, 2017 4:22:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/592) took 205323 ms. Total solver calls (SAT/UNSAT): 117558(117558/0)
Jun 01, 2017 4:22:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/592) took 206453 ms. Total solver calls (SAT/UNSAT): 118237(118237/0)
Jun 01, 2017 4:22:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(255/592) took 207477 ms. Total solver calls (SAT/UNSAT): 118912(118912/0)
Jun 01, 2017 4:22:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(258/592) took 208972 ms. Total solver calls (SAT/UNSAT): 119917(119917/0)
Jun 01, 2017 4:22:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/592) took 210102 ms. Total solver calls (SAT/UNSAT): 120582(120582/0)
Jun 01, 2017 4:22:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/592) took 211121 ms. Total solver calls (SAT/UNSAT): 121243(121243/0)
Jun 01, 2017 4:22:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(264/592) took 212230 ms. Total solver calls (SAT/UNSAT): 121900(121900/0)
Jun 01, 2017 4:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(266/592) took 213292 ms. Total solver calls (SAT/UNSAT): 122553(122553/0)
Jun 01, 2017 4:22:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 214343 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 01, 2017 4:22:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/592) took 215384 ms. Total solver calls (SAT/UNSAT): 123847(123847/0)
Jun 01, 2017 4:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/592) took 216417 ms. Total solver calls (SAT/UNSAT): 124488(124488/0)
Jun 01, 2017 4:22:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 217439 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 01, 2017 4:22:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 218500 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 01, 2017 4:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(278/592) took 219510 ms. Total solver calls (SAT/UNSAT): 126387(126387/0)
Jun 01, 2017 4:23:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(280/592) took 220569 ms. Total solver calls (SAT/UNSAT): 127012(127012/0)
Jun 01, 2017 4:23:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/592) took 221625 ms. Total solver calls (SAT/UNSAT): 127633(127633/0)
Jun 01, 2017 4:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/592) took 222740 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Jun 01, 2017 4:23:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(286/592) took 223948 ms. Total solver calls (SAT/UNSAT): 128863(128863/0)
Jun 01, 2017 4:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/592) took 224979 ms. Total solver calls (SAT/UNSAT): 129472(129472/0)
Jun 01, 2017 4:23:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/592) took 226018 ms. Total solver calls (SAT/UNSAT): 130077(130077/0)
Jun 01, 2017 4:23:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(292/592) took 227049 ms. Total solver calls (SAT/UNSAT): 130678(130678/0)
Jun 01, 2017 4:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(295/592) took 228460 ms. Total solver calls (SAT/UNSAT): 131572(131572/0)
Jun 01, 2017 4:23:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(298/592) took 229790 ms. Total solver calls (SAT/UNSAT): 132457(132457/0)
Jun 01, 2017 4:23:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(301/592) took 231109 ms. Total solver calls (SAT/UNSAT): 133333(133333/0)
Jun 01, 2017 4:23:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(304/592) took 232415 ms. Total solver calls (SAT/UNSAT): 134200(134200/0)
Jun 01, 2017 4:23:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(307/592) took 233698 ms. Total solver calls (SAT/UNSAT): 135058(135058/0)
Jun 01, 2017 4:23:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/592) took 234699 ms. Total solver calls (SAT/UNSAT): 135625(135625/0)
Jun 01, 2017 4:23:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(312/592) took 236075 ms. Total solver calls (SAT/UNSAT): 136468(136468/0)
Jun 01, 2017 4:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/592) took 237344 ms. Total solver calls (SAT/UNSAT): 137302(137302/0)
Jun 01, 2017 4:23:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/592) took 238747 ms. Total solver calls (SAT/UNSAT): 138127(138127/0)
Jun 01, 2017 4:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/592) took 239790 ms. Total solver calls (SAT/UNSAT): 138672(138672/0)
Jun 01, 2017 4:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/592) took 241225 ms. Total solver calls (SAT/UNSAT): 139482(139482/0)
Jun 01, 2017 4:23:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/592) took 242679 ms. Total solver calls (SAT/UNSAT): 140283(140283/0)
Jun 01, 2017 4:23:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(329/592) took 244100 ms. Total solver calls (SAT/UNSAT): 141075(141075/0)
Jun 01, 2017 4:23:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(332/592) took 245473 ms. Total solver calls (SAT/UNSAT): 141858(141858/0)
Jun 01, 2017 4:23:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/592) took 246871 ms. Total solver calls (SAT/UNSAT): 142632(142632/0)
Jun 01, 2017 4:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(338/592) took 248255 ms. Total solver calls (SAT/UNSAT): 143397(143397/0)
Jun 01, 2017 4:23:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(341/592) took 249532 ms. Total solver calls (SAT/UNSAT): 144153(144153/0)
Jun 01, 2017 4:23:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/592) took 250823 ms. Total solver calls (SAT/UNSAT): 144900(144900/0)
Jun 01, 2017 4:23:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/592) took 252097 ms. Total solver calls (SAT/UNSAT): 145638(145638/0)
Jun 01, 2017 4:23:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/592) took 253328 ms. Total solver calls (SAT/UNSAT): 146367(146367/0)
Jun 01, 2017 4:23:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/592) took 254569 ms. Total solver calls (SAT/UNSAT): 147087(147087/0)
Jun 01, 2017 4:23:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(356/592) took 255786 ms. Total solver calls (SAT/UNSAT): 147798(147798/0)
Jun 01, 2017 4:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/592) took 257061 ms. Total solver calls (SAT/UNSAT): 148500(148500/0)
Jun 01, 2017 4:23:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/592) took 258212 ms. Total solver calls (SAT/UNSAT): 149193(149193/0)
Jun 01, 2017 4:23:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(365/592) took 259395 ms. Total solver calls (SAT/UNSAT): 149877(149877/0)
Jun 01, 2017 4:23:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(368/592) took 260531 ms. Total solver calls (SAT/UNSAT): 150552(150552/0)
Jun 01, 2017 4:23:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/592) took 261656 ms. Total solver calls (SAT/UNSAT): 151218(151218/0)
Jun 01, 2017 4:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(374/592) took 262763 ms. Total solver calls (SAT/UNSAT): 151875(151875/0)
Jun 01, 2017 4:23:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(377/592) took 263884 ms. Total solver calls (SAT/UNSAT): 152523(152523/0)
Jun 01, 2017 4:23:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/592) took 265036 ms. Total solver calls (SAT/UNSAT): 153162(153162/0)
Jun 01, 2017 4:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/592) took 266177 ms. Total solver calls (SAT/UNSAT): 153792(153792/0)
Jun 01, 2017 4:23:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/592) took 267237 ms. Total solver calls (SAT/UNSAT): 154413(154413/0)
Jun 01, 2017 4:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/592) took 268390 ms. Total solver calls (SAT/UNSAT): 155025(155025/0)
Jun 01, 2017 4:23:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(392/592) took 269521 ms. Total solver calls (SAT/UNSAT): 155628(155628/0)
Jun 01, 2017 4:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/592) took 270586 ms. Total solver calls (SAT/UNSAT): 156222(156222/0)
Jun 01, 2017 4:23:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(398/592) took 271592 ms. Total solver calls (SAT/UNSAT): 156807(156807/0)
Jun 01, 2017 4:23:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(402/592) took 272892 ms. Total solver calls (SAT/UNSAT): 157573(157573/0)
Jun 01, 2017 4:23:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(406/592) took 274176 ms. Total solver calls (SAT/UNSAT): 158323(158323/0)
Jun 01, 2017 4:23:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(410/592) took 275522 ms. Total solver calls (SAT/UNSAT): 159057(159057/0)
Jun 01, 2017 4:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(413/592) took 276547 ms. Total solver calls (SAT/UNSAT): 159597(159597/0)
Jun 01, 2017 4:23:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/592) took 277559 ms. Total solver calls (SAT/UNSAT): 160128(160128/0)
Jun 01, 2017 4:23:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/592) took 278837 ms. Total solver calls (SAT/UNSAT): 160822(160822/0)
Jun 01, 2017 4:24:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(423/592) took 280016 ms. Total solver calls (SAT/UNSAT): 161332(161332/0)
Jun 01, 2017 4:24:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(426/592) took 281084 ms. Total solver calls (SAT/UNSAT): 161833(161833/0)
Jun 01, 2017 4:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/592) took 282129 ms. Total solver calls (SAT/UNSAT): 162325(162325/0)
Jun 01, 2017 4:24:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/592) took 283348 ms. Total solver calls (SAT/UNSAT): 162967(162967/0)
Jun 01, 2017 4:24:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(437/592) took 284477 ms. Total solver calls (SAT/UNSAT): 163593(163593/0)
Jun 01, 2017 4:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/592) took 285659 ms. Total solver calls (SAT/UNSAT): 164203(164203/0)
Jun 01, 2017 4:24:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 286803 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 01, 2017 4:24:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(449/592) took 287814 ms. Total solver calls (SAT/UNSAT): 165375(165375/0)
Jun 01, 2017 4:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(454/592) took 288976 ms. Total solver calls (SAT/UNSAT): 166075(166075/0)
Jun 01, 2017 4:24:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(459/592) took 290141 ms. Total solver calls (SAT/UNSAT): 166750(166750/0)
Jun 01, 2017 4:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(464/592) took 291308 ms. Total solver calls (SAT/UNSAT): 167400(167400/0)
Jun 01, 2017 4:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(468/592) took 292323 ms. Total solver calls (SAT/UNSAT): 167902(167902/0)
Jun 01, 2017 4:24:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(472/592) took 293337 ms. Total solver calls (SAT/UNSAT): 168388(168388/0)
Jun 01, 2017 4:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(477/592) took 294376 ms. Total solver calls (SAT/UNSAT): 168973(168973/0)
Jun 01, 2017 4:24:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(483/592) took 295513 ms. Total solver calls (SAT/UNSAT): 169642(169642/0)
Jun 01, 2017 4:24:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(489/592) took 296700 ms. Total solver calls (SAT/UNSAT): 170275(170275/0)
Jun 01, 2017 4:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(495/592) took 297784 ms. Total solver calls (SAT/UNSAT): 170872(170872/0)
Jun 01, 2017 4:24:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(502/592) took 298888 ms. Total solver calls (SAT/UNSAT): 171523(171523/0)
Jun 01, 2017 4:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(508/592) took 299905 ms. Total solver calls (SAT/UNSAT): 172042(172042/0)
Jun 01, 2017 4:24:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(515/592) took 300909 ms. Total solver calls (SAT/UNSAT): 172602(172602/0)
Jun 01, 2017 4:24:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(522/592) took 301925 ms. Total solver calls (SAT/UNSAT): 173113(173113/0)
Jun 01, 2017 4:24:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(530/592) took 302962 ms. Total solver calls (SAT/UNSAT): 173637(173637/0)
Jun 01, 2017 4:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(540/592) took 304015 ms. Total solver calls (SAT/UNSAT): 174202(174202/0)
Jun 01, 2017 4:24:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(551/592) took 305025 ms. Total solver calls (SAT/UNSAT): 174708(174708/0)
Jun 01, 2017 4:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(563/592) took 306029 ms. Total solver calls (SAT/UNSAT): 175122(175122/0)
Jun 01, 2017 4:24:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 306908 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 4:24:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.
Jun 01, 2017 4:26:34 PM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/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], workingDir=/home/mcc/execution]
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
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-50"
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-50.tgz
mv PermAdmissibility-PT-50 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-50, 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-149440486700446"
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 ;