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 |
| 15541.690 | 3600000.00 | 4552922.00 | 381.80 | [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 LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486700447
=====================================================================
--------------------
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-LTLFireability-0
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-1
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-10
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-11
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-12
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-13
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-14
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-15
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-2
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-3
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-4
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-5
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-6
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-7
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-8
FORMULA_NAME PermAdmissibility-COL-50-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1496333782943
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(F((X(((((("c5>=1")&&("in1_1>=1"))&&("in3_4>=1"))||((("c5>=1")&&("in1_0>=1"))&&("in3_5>=1")))||((("c5>=1")&&("in1_1>=1"))&&("in3_5>=1")))||((("in1_0>=1")&&("c5>=1"))&&("in3_4>=1"))))U(F(((((((((((((((((("aux7_2>=1")&&("c9>=1"))&&("aux5_5>=1"))||((("c9>=1")&&("aux7_3>=1"))&&("aux5_0>=1")))||((("aux7_2>=1")&&("c9>=1"))&&("aux5_1>=1")))||((("aux5_4>=1")&&("aux7_2>=1"))&&("c9>=1")))||((("aux5_0>=1")&&("c9>=1"))&&("aux7_2>=1")))||((("aux5_4>=1")&&("aux7_7>=1"))&&("c9>=1")))||((("c9>=1")&&("aux7_7>=1"))&&("aux5_1>=1")))||((("aux7_7>=1")&&("c9>=1"))&&("aux5_5>=1")))||((("aux5_4>=1")&&("c9>=1"))&&("aux7_6>=1")))||((("aux5_1>=1")&&("c9>=1"))&&("aux7_6>=1")))||((("aux5_0>=1")&&("c9>=1"))&&("aux7_7>=1")))||((("aux5_5>=1")&&("c9>=1"))&&("aux7_6>=1")))||((("aux5_4>=1")&&("aux7_3>=1"))&&("c9>=1")))||((("c9>=1")&&("aux7_3>=1"))&&("aux5_1>=1")))||((("aux7_6>=1")&&("c9>=1"))&&("aux5_0>=1")))||((("aux5_5>=1")&&("aux7_3>=1"))&&("c9>=1"))))))))
Formula 0 simplified : !F(X(("c5>=1" & "in1_1>=1" & "in3_4>=1") | ("c5>=1" & "in1_0>=1" & "in3_5>=1") | ("c5>=1" & "in1_1>=1" & "in3_5>=1") | ("c5>=1" & "in1_0>=1" & "in3_4>=1")) U F(("aux5_5>=1" & "aux7_2>=1" & "c9>=1") | ("aux5_0>=1" & "aux7_3>=1" & "c9>=1") | ("aux5_1>=1" & "aux7_2>=1" & "c9>=1") | ("aux5_4>=1" & "aux7_2>=1" & "c9>=1") | ("aux5_0>=1" & "aux7_2>=1" & "c9>=1") | ("aux5_4>=1" & "aux7_7>=1" & "c9>=1") | ("aux5_1>=1" & "aux7_7>=1" & "c9>=1") | ("aux5_5>=1" & "aux7_7>=1" & "c9>=1") | ("aux5_4>=1" & "aux7_6>=1" & "c9>=1") | ("aux5_1>=1" & "aux7_6>=1" & "c9>=1") | ("aux5_0>=1" & "aux7_7>=1" & "c9>=1") | ("aux5_5>=1" & "aux7_6>=1" & "c9>=1") | ("aux5_4>=1" & "aux7_3>=1" & "c9>=1") | ("aux5_1>=1" & "aux7_3>=1" & "c9>=1") | ("aux5_0>=1" & "aux7_6>=1" & "c9>=1") | ("aux5_5>=1" & "aux7_3>=1" & "c9>=1")))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 4:16:24 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 4:16:24 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 133 ms
Jun 01, 2017 4:16:24 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 4:16:24 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 4:16:25 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 122 ms
Jun 01, 2017 4:16:25 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 23 ms
Jun 01, 2017 4:16:25 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 8 ms
Jun 01, 2017 4:16:25 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 140 ms
Jun 01, 2017 4:16:34 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 9086 ms
Jun 01, 2017 4:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 4:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 574 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 4:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1702 ms. Total solver calls (SAT/UNSAT): 408(237/171)
Jun 01, 2017 4:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 3132 ms. Total solver calls (SAT/UNSAT): 816(474/342)
Jun 01, 2017 4:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 4553 ms. Total solver calls (SAT/UNSAT): 1224(711/513)
Jun 01, 2017 4:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 5993 ms. Total solver calls (SAT/UNSAT): 1632(948/684)
Jun 01, 2017 4:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 7443 ms. Total solver calls (SAT/UNSAT): 2040(1185/855)
Jun 01, 2017 4:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 8861 ms. Total solver calls (SAT/UNSAT): 2448(1422/1026)
Jun 01, 2017 4:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 10322 ms. Total solver calls (SAT/UNSAT): 2856(1659/1197)
Jun 01, 2017 4:16:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 11772 ms. Total solver calls (SAT/UNSAT): 3264(1896/1368)
Jun 01, 2017 4:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 13216 ms. Total solver calls (SAT/UNSAT): 3672(2133/1539)
Jun 01, 2017 4:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 14650 ms. Total solver calls (SAT/UNSAT): 4080(2370/1710)
Jun 01, 2017 4:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 16101 ms. Total solver calls (SAT/UNSAT): 4488(2607/1881)
Jun 01, 2017 4:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/592 took 17240 ms. Total solver calls (SAT/UNSAT): 4760(2765/1995)
Jun 01, 2017 4:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/592 took 18709 ms. Total solver calls (SAT/UNSAT): 5168(3002/2166)
Jun 01, 2017 4:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/592 took 20174 ms. Total solver calls (SAT/UNSAT): 5576(3239/2337)
Jun 01, 2017 4:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/592 took 21628 ms. Total solver calls (SAT/UNSAT): 5984(3476/2508)
Jun 01, 2017 4:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/592 took 23061 ms. Total solver calls (SAT/UNSAT): 6392(3713/2679)
Jun 01, 2017 4:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/592 took 24498 ms. Total solver calls (SAT/UNSAT): 6800(3950/2850)
Jun 01, 2017 4:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/592 took 25944 ms. Total solver calls (SAT/UNSAT): 7208(4187/3021)
Jun 01, 2017 4:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/592 took 27398 ms. Total solver calls (SAT/UNSAT): 7616(4424/3192)
Jun 01, 2017 4:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 28400 ms. Total solver calls (SAT/UNSAT): 7888(4582/3306)
Jun 01, 2017 4:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 29470 ms. Total solver calls (SAT/UNSAT): 8175(4740/3435)
Jun 01, 2017 4:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 30905 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 01, 2017 4:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 32335 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 01, 2017 4:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/592 took 33405 ms. Total solver calls (SAT/UNSAT): 9383(5372/4011)
Jun 01, 2017 4:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/592 took 34906 ms. Total solver calls (SAT/UNSAT): 9836(5609/4227)
Jun 01, 2017 4:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/592 took 35978 ms. Total solver calls (SAT/UNSAT): 10138(5767/4371)
Jun 01, 2017 4:17:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/592 took 37289 ms. Total solver calls (SAT/UNSAT): 10591(6004/4587)
Jun 01, 2017 4:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/592 took 38593 ms. Total solver calls (SAT/UNSAT): 11044(6241/4803)
Jun 01, 2017 4:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/592 took 39884 ms. Total solver calls (SAT/UNSAT): 11497(6478/5019)
Jun 01, 2017 4:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/592 took 41189 ms. Total solver calls (SAT/UNSAT): 11950(6715/5235)
Jun 01, 2017 4:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/592 took 42496 ms. Total solver calls (SAT/UNSAT): 12403(6952/5451)
Jun 01, 2017 4:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/592 took 43804 ms. Total solver calls (SAT/UNSAT): 12856(7189/5667)
Jun 01, 2017 4:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/592 took 45098 ms. Total solver calls (SAT/UNSAT): 13309(7426/5883)
Jun 01, 2017 4:17:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/592 took 46388 ms. Total solver calls (SAT/UNSAT): 13762(7663/6099)
Jun 01, 2017 4:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/592 took 47672 ms. Total solver calls (SAT/UNSAT): 14215(7900/6315)
Jun 01, 2017 4:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/592 took 49013 ms. Total solver calls (SAT/UNSAT): 14653(8137/6516)
Jun 01, 2017 4:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/592 took 50458 ms. Total solver calls (SAT/UNSAT): 15061(8374/6687)
Jun 01, 2017 4:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/592 took 51806 ms. Total solver calls (SAT/UNSAT): 15499(8611/6888)
Jun 01, 2017 4:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/592 took 53195 ms. Total solver calls (SAT/UNSAT): 15952(8848/7104)
Jun 01, 2017 4:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/592 took 54502 ms. Total solver calls (SAT/UNSAT): 16405(9085/7320)
Jun 01, 2017 4:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/592 took 55803 ms. Total solver calls (SAT/UNSAT): 16858(9322/7536)
Jun 01, 2017 4:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/592 took 57120 ms. Total solver calls (SAT/UNSAT): 17311(9559/7752)
Jun 01, 2017 4:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/592 took 58425 ms. Total solver calls (SAT/UNSAT): 17749(9796/7953)
Jun 01, 2017 4:17:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/592 took 59745 ms. Total solver calls (SAT/UNSAT): 18157(10033/8124)
Jun 01, 2017 4:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/592 took 61060 ms. Total solver calls (SAT/UNSAT): 18565(10270/8295)
Jun 01, 2017 4:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/592 took 62385 ms. Total solver calls (SAT/UNSAT): 18973(10507/8466)
Jun 01, 2017 4:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 63697 ms. Total solver calls (SAT/UNSAT): 19381(10744/8637)
Jun 01, 2017 4:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/592 took 64996 ms. Total solver calls (SAT/UNSAT): 19789(10981/8808)
Jun 01, 2017 4:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 66309 ms. Total solver calls (SAT/UNSAT): 20197(11218/8979)
Jun 01, 2017 4:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 67806 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 01, 2017 4:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 69197 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 01, 2017 4:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 70509 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 01, 2017 4:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 71814 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 01, 2017 4:17:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 73116 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 01, 2017 4:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 74424 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 01, 2017 4:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 75716 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 01, 2017 4:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 77029 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 01, 2017 4:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 78345 ms. Total solver calls (SAT/UNSAT): 23944(13351/10593)
Jun 01, 2017 4:17:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 79795 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 01, 2017 4:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 81209 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 01, 2017 4:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 82606 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 01, 2017 4:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 83921 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 01, 2017 4:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 85262 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 01, 2017 4:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 86574 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 01, 2017 4:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 87604 ms. Total solver calls (SAT/UNSAT): 26701(15010/11691)
Jun 01, 2017 4:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 88646 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 01, 2017 4:18:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 89691 ms. Total solver calls (SAT/UNSAT): 27319(15484/11835)
Jun 01, 2017 4:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/592 took 90722 ms. Total solver calls (SAT/UNSAT): 27628(15721/11907)
Jun 01, 2017 4:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/592 took 91750 ms. Total solver calls (SAT/UNSAT): 27937(15958/11979)
Jun 01, 2017 4:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 92789 ms. Total solver calls (SAT/UNSAT): 28246(16195/12051)
Jun 01, 2017 4:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/592 took 93857 ms. Total solver calls (SAT/UNSAT): 28555(16432/12123)
Jun 01, 2017 4:18:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 94982 ms. Total solver calls (SAT/UNSAT): 28864(16669/12195)
Jun 01, 2017 4:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/592 took 96016 ms. Total solver calls (SAT/UNSAT): 29173(16906/12267)
Jun 01, 2017 4:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 97044 ms. Total solver calls (SAT/UNSAT): 29482(17143/12339)
Jun 01, 2017 4:18:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 98096 ms. Total solver calls (SAT/UNSAT): 29791(17380/12411)
Jun 01, 2017 4:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 99233 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 01, 2017 4:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 100537 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 01, 2017 4:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 101667 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 01, 2017 4:18:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 102693 ms. Total solver calls (SAT/UNSAT): 31192(18328/12864)
Jun 01, 2017 4:18:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/592 took 103734 ms. Total solver calls (SAT/UNSAT): 31501(18565/12936)
Jun 01, 2017 4:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/592 took 104761 ms. Total solver calls (SAT/UNSAT): 31810(18802/13008)
Jun 01, 2017 4:18:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 105789 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 01, 2017 4:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 106825 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 01, 2017 4:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 107864 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 01, 2017 4:18:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 108894 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 01, 2017 4:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/592 took 109986 ms. Total solver calls (SAT/UNSAT): 33335(19967/13368)
Jun 01, 2017 4:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 111201 ms. Total solver calls (SAT/UNSAT): 33708(20252/13456)
Jun 01, 2017 4:18:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 112220 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 01, 2017 4:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/592 took 113233 ms. Total solver calls (SAT/UNSAT): 34399(20727/13672)
Jun 01, 2017 4:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/592 took 114326 ms. Total solver calls (SAT/UNSAT): 34794(20957/13837)
Jun 01, 2017 4:18:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/592 took 115375 ms. Total solver calls (SAT/UNSAT): 35154(21187/13967)
Jun 01, 2017 4:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 116758 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 01, 2017 4:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 117985 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 01, 2017 4:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 119240 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 01, 2017 4:18:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 120592 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 01, 2017 4:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 121649 ms. Total solver calls (SAT/UNSAT): 37644(22447/15197)
Jun 01, 2017 4:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/592 took 122699 ms. Total solver calls (SAT/UNSAT): 38039(22677/15362)
Jun 01, 2017 4:18:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 123947 ms. Total solver calls (SAT/UNSAT): 38558(22914/15644)
Jun 01, 2017 4:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 125206 ms. Total solver calls (SAT/UNSAT): 39077(23151/15926)
Jun 01, 2017 4:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 126466 ms. Total solver calls (SAT/UNSAT): 39596(23388/16208)
Jun 01, 2017 4:18:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/592 took 127681 ms. Total solver calls (SAT/UNSAT): 40115(23625/16490)
Jun 01, 2017 4:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 128952 ms. Total solver calls (SAT/UNSAT): 40634(23862/16772)
Jun 01, 2017 4:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 130205 ms. Total solver calls (SAT/UNSAT): 41153(24099/17054)
Jun 01, 2017 4:18:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 131449 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 01, 2017 4:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 132715 ms. Total solver calls (SAT/UNSAT): 42191(24573/17618)
Jun 01, 2017 4:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 133955 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 01, 2017 4:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 135203 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 01, 2017 4:18:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 136460 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 01, 2017 4:18:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 137538 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 01, 2017 4:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 138947 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 01, 2017 4:18:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 140342 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 01, 2017 4:18:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 141421 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 01, 2017 4:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 142496 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 01, 2017 4:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 143573 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 01, 2017 4:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 144997 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 01, 2017 4:19:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 146310 ms. Total solver calls (SAT/UNSAT): 47043(26864/20179)
Jun 01, 2017 4:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 147626 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 01, 2017 4:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 148934 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 01, 2017 4:19:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 150245 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 01, 2017 4:19:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 151667 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 01, 2017 4:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 152748 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 01, 2017 4:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 153818 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 01, 2017 4:19:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 154891 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 01, 2017 4:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 155969 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 01, 2017 4:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 157031 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 01, 2017 4:19:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 158102 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 01, 2017 4:19:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 159171 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 01, 2017 4:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 160254 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 01, 2017 4:19:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 161355 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 01, 2017 4:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 162442 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 01, 2017 4:19:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 163527 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 01, 2017 4:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 164599 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 01, 2017 4:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 165688 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 01, 2017 4:19:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 166777 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 01, 2017 4:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 167870 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 01, 2017 4:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 169060 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 01, 2017 4:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 170163 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 01, 2017 4:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 171236 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 01, 2017 4:19:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 172572 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 01, 2017 4:19:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 173898 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 01, 2017 4:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 175288 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 01, 2017 4:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 176345 ms. Total solver calls (SAT/UNSAT): 56695(31525/25170)
Jun 01, 2017 4:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/592 took 177457 ms. Total solver calls (SAT/UNSAT): 57011(31683/25328)
Jun 01, 2017 4:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 178523 ms. Total solver calls (SAT/UNSAT): 57327(31841/25486)
Jun 01, 2017 4:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 179609 ms. Total solver calls (SAT/UNSAT): 57643(31999/25644)
Jun 01, 2017 4:19:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/592 took 180680 ms. Total solver calls (SAT/UNSAT): 57959(32157/25802)
Jun 01, 2017 4:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/592 took 181763 ms. Total solver calls (SAT/UNSAT): 58275(32315/25960)
Jun 01, 2017 4:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 182968 ms. Total solver calls (SAT/UNSAT): 58591(32473/26118)
Jun 01, 2017 4:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 184040 ms. Total solver calls (SAT/UNSAT): 58907(32631/26276)
Jun 01, 2017 4:19:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 185121 ms. Total solver calls (SAT/UNSAT): 59223(32789/26434)
Jun 01, 2017 4:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 186472 ms. Total solver calls (SAT/UNSAT): 59742(33026/26716)
Jun 01, 2017 4:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 187807 ms. Total solver calls (SAT/UNSAT): 60261(33263/26998)
Jun 01, 2017 4:19:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 189153 ms. Total solver calls (SAT/UNSAT): 60780(33500/27280)
Jun 01, 2017 4:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 190484 ms. Total solver calls (SAT/UNSAT): 61299(33737/27562)
Jun 01, 2017 4:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 191812 ms. Total solver calls (SAT/UNSAT): 61818(33974/27844)
Jun 01, 2017 4:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 193154 ms. Total solver calls (SAT/UNSAT): 62337(34211/28126)
Jun 01, 2017 4:19:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 194484 ms. Total solver calls (SAT/UNSAT): 62856(34448/28408)
Jun 01, 2017 4:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 195824 ms. Total solver calls (SAT/UNSAT): 63375(34685/28690)
Jun 01, 2017 4:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 197159 ms. Total solver calls (SAT/UNSAT): 63894(34922/28972)
Jun 01, 2017 4:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 198493 ms. Total solver calls (SAT/UNSAT): 64413(35159/29254)
Jun 01, 2017 4:19:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 199827 ms. Total solver calls (SAT/UNSAT): 64932(35396/29536)
Jun 01, 2017 4:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 201152 ms. Total solver calls (SAT/UNSAT): 65451(35633/29818)
Jun 01, 2017 4:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 202495 ms. Total solver calls (SAT/UNSAT): 65970(35870/30100)
Jun 01, 2017 4:19:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 203829 ms. Total solver calls (SAT/UNSAT): 66489(36107/30382)
Jun 01, 2017 4:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 205164 ms. Total solver calls (SAT/UNSAT): 67008(36344/30664)
Jun 01, 2017 4:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 206505 ms. Total solver calls (SAT/UNSAT): 67527(36581/30946)
Jun 01, 2017 4:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 207618 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 01, 2017 4:20:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 208713 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 01, 2017 4:20:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 209801 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 01, 2017 4:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 210882 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 01, 2017 4:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 211971 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 01, 2017 4:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 213363 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 01, 2017 4:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 214680 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 01, 2017 4:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 215765 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 01, 2017 4:20:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 216851 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 01, 2017 4:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 217927 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 01, 2017 4:20:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 219042 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 01, 2017 4:20:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 220120 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 01, 2017 4:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 221219 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 01, 2017 4:20:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 222285 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 01, 2017 4:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 223366 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 01, 2017 4:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 224479 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 01, 2017 4:20:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 225555 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 01, 2017 4:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 226658 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 01, 2017 4:20:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 227771 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 01, 2017 4:20:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 228864 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 01, 2017 4:20:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 229951 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 01, 2017 4:20:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 231063 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 01, 2017 4:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 232160 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 01, 2017 4:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 233248 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 01, 2017 4:20:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 234362 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 01, 2017 4:20:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 235440 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 01, 2017 4:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 236523 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 01, 2017 4:20:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 237627 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 01, 2017 4:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 238726 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 01, 2017 4:20:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 239822 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 01, 2017 4:20:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 240918 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 01, 2017 4:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 241988 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 01, 2017 4:20:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 243060 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 01, 2017 4:20:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 243594 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 4:20:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 4:20:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1224 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 4:20:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2416 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 4:20:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3617 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 4:20:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4798 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 4:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 6023 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 01, 2017 4:20:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 7233 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 01, 2017 4:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8424 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 01, 2017 4:20:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9629 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 01, 2017 4:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10828 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 01, 2017 4:20:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 12016 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 01, 2017 4:20:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 13223 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 01, 2017 4:20:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 14425 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 01, 2017 4:20:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 15621 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 01, 2017 4:20:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16806 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 01, 2017 4:20:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 18025 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 01, 2017 4:20:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 19249 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 01, 2017 4:20:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 20493 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 01, 2017 4:21:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 21688 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 01, 2017 4:21:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 22900 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 01, 2017 4:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 24052 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 01, 2017 4:21:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 25157 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 01, 2017 4:21:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 26269 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 01, 2017 4:21:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 27436 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 01, 2017 4:21:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 28596 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 01, 2017 4:21:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 29809 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 01, 2017 4:21:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 31029 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 01, 2017 4:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 32237 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 01, 2017 4:21:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 33445 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 01, 2017 4:21:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 34617 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 01, 2017 4:21:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 35735 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 01, 2017 4:21:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 36848 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 01, 2017 4:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 37953 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 01, 2017 4:21:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 39068 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 01, 2017 4:21:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 40229 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 01, 2017 4:21:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 41401 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 01, 2017 4:21:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 42621 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 01, 2017 4:21:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 43832 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 01, 2017 4:21:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 45035 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 01, 2017 4:21:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 46253 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 01, 2017 4:21:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 47445 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 01, 2017 4:21:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 48565 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 01, 2017 4:21:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 49700 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 01, 2017 4:21:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 50844 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 01, 2017 4:21:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 51979 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 01, 2017 4:21:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 53116 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 01, 2017 4:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 54268 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 4:21:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 55404 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 01, 2017 4:21:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 56548 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 4:21:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 57675 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 4:21:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 58897 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 01, 2017 4:21:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 60067 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 4:21:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 61228 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 01, 2017 4:21:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 62421 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 4:21:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 63556 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 01, 2017 4:21:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 64708 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 4:21:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 65852 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 01, 2017 4:21:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 66995 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 4:21:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 68269 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 01, 2017 4:21:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 69412 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 01, 2017 4:21:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 70544 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 01, 2017 4:21:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 71676 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 01, 2017 4:21:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 72803 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 01, 2017 4:21:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 73884 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 01, 2017 4:21:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 75083 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 01, 2017 4:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 76257 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 01, 2017 4:21:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 77452 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 01, 2017 4:21:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 78623 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 01, 2017 4:21:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 79786 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 01, 2017 4:21:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 80967 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 01, 2017 4:22:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 82197 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 01, 2017 4:22:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 83336 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 01, 2017 4:22:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 84524 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 01, 2017 4:22:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 85691 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 01, 2017 4:22:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 86876 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 01, 2017 4:22:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 88049 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 01, 2017 4:22:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/592 took 89066 ms. Total solver calls (SAT/UNSAT): 33180(15248/17932)
Jun 01, 2017 4:22:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 90264 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 01, 2017 4:22:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 91340 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 01, 2017 4:22:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/592 took 92373 ms. Total solver calls (SAT/UNSAT): 34614(15716/18898)
Jun 01, 2017 4:22:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/592 took 93395 ms. Total solver calls (SAT/UNSAT): 35010(15936/19074)
Jun 01, 2017 4:22:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 94620 ms. Total solver calls (SAT/UNSAT): 35518(16170/19348)
Jun 01, 2017 4:22:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 95956 ms. Total solver calls (SAT/UNSAT): 36037(16452/19585)
Jun 01, 2017 4:22:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 97311 ms. Total solver calls (SAT/UNSAT): 36556(16734/19822)
Jun 01, 2017 4:22:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 98586 ms. Total solver calls (SAT/UNSAT): 37046(17002/20044)
Jun 01, 2017 4:22:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/592 took 99679 ms. Total solver calls (SAT/UNSAT): 37464(17230/20234)
Jun 01, 2017 4:22:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/592 took 100775 ms. Total solver calls (SAT/UNSAT): 37888(17450/20438)
Jun 01, 2017 4:22:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 102064 ms. Total solver calls (SAT/UNSAT): 38385(17718/20667)
Jun 01, 2017 4:22:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 103408 ms. Total solver calls (SAT/UNSAT): 38904(18000/20904)
Jun 01, 2017 4:22:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 104758 ms. Total solver calls (SAT/UNSAT): 39423(18282/21141)
Jun 01, 2017 4:22:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 106106 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 01, 2017 4:22:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 107446 ms. Total solver calls (SAT/UNSAT): 40461(18846/21615)
Jun 01, 2017 4:22:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 108792 ms. Total solver calls (SAT/UNSAT): 40980(19128/21852)
Jun 01, 2017 4:22:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 110131 ms. Total solver calls (SAT/UNSAT): 41499(19410/22089)
Jun 01, 2017 4:22:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 111473 ms. Total solver calls (SAT/UNSAT): 42018(19692/22326)
Jun 01, 2017 4:22:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 112814 ms. Total solver calls (SAT/UNSAT): 42537(19974/22563)
Jun 01, 2017 4:22:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 114161 ms. Total solver calls (SAT/UNSAT): 43056(20256/22800)
Jun 01, 2017 4:22:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 115516 ms. Total solver calls (SAT/UNSAT): 43575(20538/23037)
Jun 01, 2017 4:22:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 116865 ms. Total solver calls (SAT/UNSAT): 44064(20820/23244)
Jun 01, 2017 4:22:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 118184 ms. Total solver calls (SAT/UNSAT): 44568(21102/23466)
Jun 01, 2017 4:22:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 119514 ms. Total solver calls (SAT/UNSAT): 45072(21384/23688)
Jun 01, 2017 4:22:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 120832 ms. Total solver calls (SAT/UNSAT): 45546(21666/23880)
Jun 01, 2017 4:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 122160 ms. Total solver calls (SAT/UNSAT): 46020(21948/24072)
Jun 01, 2017 4:22:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 123492 ms. Total solver calls (SAT/UNSAT): 46524(22230/24294)
Jun 01, 2017 4:22:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 124850 ms. Total solver calls (SAT/UNSAT): 47043(22512/24531)
Jun 01, 2017 4:22:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 126190 ms. Total solver calls (SAT/UNSAT): 47562(22794/24768)
Jun 01, 2017 4:22:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 127529 ms. Total solver calls (SAT/UNSAT): 48081(23076/25005)
Jun 01, 2017 4:22:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 128872 ms. Total solver calls (SAT/UNSAT): 48600(23358/25242)
Jun 01, 2017 4:22:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 129892 ms. Total solver calls (SAT/UNSAT): 48946(23546/25400)
Jun 01, 2017 4:22:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 131226 ms. Total solver calls (SAT/UNSAT): 49420(23828/25592)
Jun 01, 2017 4:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 132559 ms. Total solver calls (SAT/UNSAT): 49894(24110/25784)
Jun 01, 2017 4:22:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 133887 ms. Total solver calls (SAT/UNSAT): 50368(24392/25976)
Jun 01, 2017 4:22:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 135225 ms. Total solver calls (SAT/UNSAT): 50842(24674/26168)
Jun 01, 2017 4:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 136550 ms. Total solver calls (SAT/UNSAT): 51316(24956/26360)
Jun 01, 2017 4:22:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 137872 ms. Total solver calls (SAT/UNSAT): 51790(25238/26552)
Jun 01, 2017 4:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 139198 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 01, 2017 4:22:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 140518 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 01, 2017 4:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 141852 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 01, 2017 4:23:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 143178 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 01, 2017 4:23:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 144474 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 01, 2017 4:23:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 145797 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 01, 2017 4:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 147218 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 01, 2017 4:23:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 148598 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 01, 2017 4:23:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 149983 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 01, 2017 4:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 151316 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 01, 2017 4:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 152632 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 01, 2017 4:23:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 153974 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 01, 2017 4:23:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 155302 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 01, 2017 4:23:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 156603 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 01, 2017 4:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 157921 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 01, 2017 4:23:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 159286 ms. Total solver calls (SAT/UNSAT): 59569(29750/29819)
Jun 01, 2017 4:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 160589 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 01, 2017 4:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/592 took 161643 ms. Total solver calls (SAT/UNSAT): 60434(30220/30214)
Jun 01, 2017 4:23:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/592 took 163074 ms. Total solver calls (SAT/UNSAT): 60953(30502/30451)
Jun 01, 2017 4:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/592 took 164430 ms. Total solver calls (SAT/UNSAT): 61472(30784/30688)
Jun 01, 2017 4:23:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/592 took 165788 ms. Total solver calls (SAT/UNSAT): 61991(31066/30925)
Jun 01, 2017 4:23:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/592 took 167132 ms. Total solver calls (SAT/UNSAT): 62510(31348/31162)
Jun 01, 2017 4:23:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/592 took 168495 ms. Total solver calls (SAT/UNSAT): 63029(31630/31399)
Jun 01, 2017 4:23:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/592 took 169844 ms. Total solver calls (SAT/UNSAT): 63548(31912/31636)
Jun 01, 2017 4:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/592 took 171184 ms. Total solver calls (SAT/UNSAT): 64067(32194/31873)
Jun 01, 2017 4:23:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/592 took 172534 ms. Total solver calls (SAT/UNSAT): 64586(32476/32110)
Jun 01, 2017 4:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/592 took 173873 ms. Total solver calls (SAT/UNSAT): 65105(32758/32347)
Jun 01, 2017 4:23:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/592 took 175196 ms. Total solver calls (SAT/UNSAT): 65624(33040/32584)
Jun 01, 2017 4:23:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/592 took 176541 ms. Total solver calls (SAT/UNSAT): 66143(33322/32821)
Jun 01, 2017 4:23:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/592 took 177891 ms. Total solver calls (SAT/UNSAT): 66662(33604/33058)
Jun 01, 2017 4:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/592 took 179237 ms. Total solver calls (SAT/UNSAT): 67181(33886/33295)
Jun 01, 2017 4:23:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 180569 ms. Total solver calls (SAT/UNSAT): 67685(34168/33517)
Jun 01, 2017 4:23:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 181926 ms. Total solver calls (SAT/UNSAT): 68159(34450/33709)
Jun 01, 2017 4:23:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 183298 ms. Total solver calls (SAT/UNSAT): 68633(34732/33901)
Jun 01, 2017 4:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 184717 ms. Total solver calls (SAT/UNSAT): 69107(35014/34093)
Jun 01, 2017 4:23:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 186090 ms. Total solver calls (SAT/UNSAT): 69611(35296/34315)
Jun 01, 2017 4:23:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 187450 ms. Total solver calls (SAT/UNSAT): 70130(35578/34552)
Jun 01, 2017 4:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 188841 ms. Total solver calls (SAT/UNSAT): 70604(35860/34744)
Jun 01, 2017 4:23:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 190205 ms. Total solver calls (SAT/UNSAT): 71078(36142/34936)
Jun 01, 2017 4:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/592 took 191581 ms. Total solver calls (SAT/UNSAT): 71552(36424/35128)
Jun 01, 2017 4:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 192969 ms. Total solver calls (SAT/UNSAT): 72026(36706/35320)
Jun 01, 2017 4:23:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 194358 ms. Total solver calls (SAT/UNSAT): 72500(36988/35512)
Jun 01, 2017 4:23:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 195732 ms. Total solver calls (SAT/UNSAT): 72974(37270/35704)
Jun 01, 2017 4:23:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 197196 ms. Total solver calls (SAT/UNSAT): 73448(37552/35896)
Jun 01, 2017 4:23:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 198577 ms. Total solver calls (SAT/UNSAT): 73922(37834/36088)
Jun 01, 2017 4:23:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 199967 ms. Total solver calls (SAT/UNSAT): 74396(38116/36280)
Jun 01, 2017 4:23:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 201295 ms. Total solver calls (SAT/UNSAT): 74870(38398/36472)
Jun 01, 2017 4:24:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/592 took 202624 ms. Total solver calls (SAT/UNSAT): 75344(38680/36664)
Jun 01, 2017 4:24:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 203984 ms. Total solver calls (SAT/UNSAT): 75818(38962/36856)
Jun 01, 2017 4:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/592 took 205311 ms. Total solver calls (SAT/UNSAT): 76292(39244/37048)
Jun 01, 2017 4:24:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 206708 ms. Total solver calls (SAT/UNSAT): 76766(39526/37240)
Jun 01, 2017 4:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 208116 ms. Total solver calls (SAT/UNSAT): 77240(39808/37432)
Jun 01, 2017 4:24:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 209523 ms. Total solver calls (SAT/UNSAT): 77714(40090/37624)
Jun 01, 2017 4:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 210908 ms. Total solver calls (SAT/UNSAT): 78188(40372/37816)
Jun 01, 2017 4:24:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 211785 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 4:24:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 4:24:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1063 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 4:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/592) took 2145 ms. Total solver calls (SAT/UNSAT): 1183(1183/0)
Jun 01, 2017 4:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3309 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 01, 2017 4:24:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4521 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 01, 2017 4:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 5545 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 01, 2017 4:24:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 6710 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 01, 2017 4:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 7787 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 01, 2017 4:24:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 8811 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 01, 2017 4:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9869 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 01, 2017 4:24:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 11053 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 01, 2017 4:24:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 12079 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 01, 2017 4:24:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 13121 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 01, 2017 4:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 14179 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 01, 2017 4:24:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 15212 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 01, 2017 4:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 16242 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 01, 2017 4:24:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 17265 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 01, 2017 4:24:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 18269 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 01, 2017 4:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 19305 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 01, 2017 4:24:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 20343 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 01, 2017 4:24:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 21348 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 01, 2017 4:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 22361 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 01, 2017 4:24:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 23390 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 01, 2017 4:24:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 24419 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 01, 2017 4:24:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 26426 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 01, 2017 4:24:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 28416 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 01, 2017 4:24:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 30400 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 01, 2017 4:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 32397 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 01, 2017 4:24:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 34368 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 01, 2017 4:24:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 36339 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 01, 2017 4:24:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 38305 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 01, 2017 4:24:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 40242 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 01, 2017 4:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/592) took 42179 ms. Total solver calls (SAT/UNSAT): 23452(23452/0)
Jun 01, 2017 4:24:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 43194 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 01, 2017 4:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 45149 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 01, 2017 4:24:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 47066 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 01, 2017 4:24:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 49001 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 01, 2017 4:25:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 50862 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 01, 2017 4:25:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 52766 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 01, 2017 4:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 54639 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 01, 2017 4:25:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 56549 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 01, 2017 4:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 57601 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 01, 2017 4:25:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 59478 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 01, 2017 4:25:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/592) took 61329 ms. Total solver calls (SAT/UNSAT): 34282(34282/0)
Jun 01, 2017 4:25:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/592) took 63165 ms. Total solver calls (SAT/UNSAT): 35343(35343/0)
Jun 01, 2017 4:25:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/592) took 65025 ms. Total solver calls (SAT/UNSAT): 36400(36400/0)
Jun 01, 2017 4:25:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/592) took 66846 ms. Total solver calls (SAT/UNSAT): 37453(37453/0)
Jun 01, 2017 4:25:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/592) took 68614 ms. Total solver calls (SAT/UNSAT): 38502(38502/0)
Jun 01, 2017 4:25:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/592) took 70421 ms. Total solver calls (SAT/UNSAT): 39547(39547/0)
Jun 01, 2017 4:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/592) took 72270 ms. Total solver calls (SAT/UNSAT): 40588(40588/0)
Jun 01, 2017 4:25:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/592) took 74094 ms. Total solver calls (SAT/UNSAT): 41625(41625/0)
Jun 01, 2017 4:25:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/592) took 75946 ms. Total solver calls (SAT/UNSAT): 42658(42658/0)
Jun 01, 2017 4:25:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 77775 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 01, 2017 4:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 79585 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 01, 2017 4:25:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 81422 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 01, 2017 4:25:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 83252 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 01, 2017 4:25:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 85051 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 01, 2017 4:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 86803 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 01, 2017 4:25:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 88524 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 01, 2017 4:25:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 90259 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 01, 2017 4:25:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 91992 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 01, 2017 4:25:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 93724 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 01, 2017 4:25:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 95451 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 01, 2017 4:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 97328 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 01, 2017 4:25:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 98994 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 01, 2017 4:25:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 100671 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 01, 2017 4:25:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 102338 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 01, 2017 4:25:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 104037 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 01, 2017 4:25:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 105724 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 01, 2017 4:25:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 107429 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 01, 2017 4:25:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 109116 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 01, 2017 4:26:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 110798 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 01, 2017 4:26:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 112501 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 01, 2017 4:26:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 114134 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 01, 2017 4:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 115768 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 01, 2017 4:26:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 117499 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 01, 2017 4:26:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 119214 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 01, 2017 4:26:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 120933 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 01, 2017 4:26:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 122643 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 01, 2017 4:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 124345 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 01, 2017 4:26:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 126020 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 01, 2017 4:26:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 127707 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 01, 2017 4:26:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 129369 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 01, 2017 4:26:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/592) took 131028 ms. Total solver calls (SAT/UNSAT): 73602(73602/0)
Jun 01, 2017 4:26:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/592) took 132699 ms. Total solver calls (SAT/UNSAT): 74503(74503/0)
Jun 01, 2017 4:26:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 134332 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 01, 2017 4:26:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 135959 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 01, 2017 4:26:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/592) took 137574 ms. Total solver calls (SAT/UNSAT): 77182(77182/0)
Jun 01, 2017 4:26:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/592) took 139178 ms. Total solver calls (SAT/UNSAT): 78067(78067/0)
Jun 01, 2017 4:26:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/592) took 140792 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Jun 01, 2017 4:26:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(154/592) took 142391 ms. Total solver calls (SAT/UNSAT): 79825(79825/0)
Jun 01, 2017 4:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/592) took 143926 ms. Total solver calls (SAT/UNSAT): 80698(80698/0)
Jun 01, 2017 4:26:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/592) took 145462 ms. Total solver calls (SAT/UNSAT): 81567(81567/0)
Jun 01, 2017 4:26:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(160/592) took 147023 ms. Total solver calls (SAT/UNSAT): 82432(82432/0)
Jun 01, 2017 4:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(162/592) took 148567 ms. Total solver calls (SAT/UNSAT): 83293(83293/0)
Jun 01, 2017 4:26:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/592) took 150130 ms. Total solver calls (SAT/UNSAT): 84150(84150/0)
Jun 01, 2017 4:26:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/592) took 151689 ms. Total solver calls (SAT/UNSAT): 85003(85003/0)
Jun 01, 2017 4:26:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/592) took 153356 ms. Total solver calls (SAT/UNSAT): 85852(85852/0)
Jun 01, 2017 4:26:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/592) took 154898 ms. Total solver calls (SAT/UNSAT): 86697(86697/0)
Jun 01, 2017 4:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/592) took 156430 ms. Total solver calls (SAT/UNSAT): 87538(87538/0)
Jun 01, 2017 4:26:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 157958 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 01, 2017 4:26:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/592) took 159565 ms. Total solver calls (SAT/UNSAT): 89208(89208/0)
Jun 01, 2017 4:26:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/592) took 161064 ms. Total solver calls (SAT/UNSAT): 90037(90037/0)
Jun 01, 2017 4:26:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/592) took 162540 ms. Total solver calls (SAT/UNSAT): 90862(90862/0)
Jun 01, 2017 4:26:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/592) took 164048 ms. Total solver calls (SAT/UNSAT): 91683(91683/0)
Jun 01, 2017 4:26:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/592) took 165516 ms. Total solver calls (SAT/UNSAT): 92500(92500/0)
Jun 01, 2017 4:26:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/592) took 166994 ms. Total solver calls (SAT/UNSAT): 93313(93313/0)
Jun 01, 2017 4:26:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/592) took 168380 ms. Total solver calls (SAT/UNSAT): 94122(94122/0)
Jun 01, 2017 4:26:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/592) took 169769 ms. Total solver calls (SAT/UNSAT): 94927(94927/0)
Jun 01, 2017 4:27:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/592) took 171144 ms. Total solver calls (SAT/UNSAT): 95728(95728/0)
Jun 01, 2017 4:27:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/592) took 172502 ms. Total solver calls (SAT/UNSAT): 96525(96525/0)
Jun 01, 2017 4:27:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/592) took 173853 ms. Total solver calls (SAT/UNSAT): 97318(97318/0)
Jun 01, 2017 4:27:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/592) took 175200 ms. Total solver calls (SAT/UNSAT): 98107(98107/0)
Jun 01, 2017 4:27:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/592) took 176566 ms. Total solver calls (SAT/UNSAT): 98892(98892/0)
Jun 01, 2017 4:27:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/592) took 177910 ms. Total solver calls (SAT/UNSAT): 99673(99673/0)
Jun 01, 2017 4:27:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/592) took 179261 ms. Total solver calls (SAT/UNSAT): 100450(100450/0)
Jun 01, 2017 4:27:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/592) took 180590 ms. Total solver calls (SAT/UNSAT): 101223(101223/0)
Jun 01, 2017 4:27:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/592) took 181922 ms. Total solver calls (SAT/UNSAT): 101992(101992/0)
Jun 01, 2017 4:27:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/592) took 183234 ms. Total solver calls (SAT/UNSAT): 102757(102757/0)
Jun 01, 2017 4:27:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/592) took 184534 ms. Total solver calls (SAT/UNSAT): 103518(103518/0)
Jun 01, 2017 4:27:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/592) took 185844 ms. Total solver calls (SAT/UNSAT): 104275(104275/0)
Jun 01, 2017 4:27:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/592) took 187140 ms. Total solver calls (SAT/UNSAT): 105028(105028/0)
Jun 01, 2017 4:27:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/592) took 188432 ms. Total solver calls (SAT/UNSAT): 105777(105777/0)
Jun 01, 2017 4:27:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/592) took 189713 ms. Total solver calls (SAT/UNSAT): 106522(106522/0)
Jun 01, 2017 4:27:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/592) took 191037 ms. Total solver calls (SAT/UNSAT): 107263(107263/0)
Jun 01, 2017 4:27:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/592) took 192372 ms. Total solver calls (SAT/UNSAT): 108000(108000/0)
Jun 01, 2017 4:27:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/592) took 193700 ms. Total solver calls (SAT/UNSAT): 108733(108733/0)
Jun 01, 2017 4:27:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/592) took 194946 ms. Total solver calls (SAT/UNSAT): 109462(109462/0)
Jun 01, 2017 4:27:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/592) took 196204 ms. Total solver calls (SAT/UNSAT): 110187(110187/0)
Jun 01, 2017 4:27:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/592) took 197421 ms. Total solver calls (SAT/UNSAT): 110908(110908/0)
Jun 01, 2017 4:27:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/592) took 198645 ms. Total solver calls (SAT/UNSAT): 111625(111625/0)
Jun 01, 2017 4:27:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/592) took 199870 ms. Total solver calls (SAT/UNSAT): 112338(112338/0)
Jun 01, 2017 4:27:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/592) took 201091 ms. Total solver calls (SAT/UNSAT): 113047(113047/0)
Jun 01, 2017 4:27:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/592) took 202298 ms. Total solver calls (SAT/UNSAT): 113752(113752/0)
Jun 01, 2017 4:27:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/592) took 203492 ms. Total solver calls (SAT/UNSAT): 114453(114453/0)
Jun 01, 2017 4:27:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(244/592) took 204672 ms. Total solver calls (SAT/UNSAT): 115150(115150/0)
Jun 01, 2017 4:27:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/592) took 205874 ms. Total solver calls (SAT/UNSAT): 115843(115843/0)
Jun 01, 2017 4:27:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/592) took 207054 ms. Total solver calls (SAT/UNSAT): 116532(116532/0)
Jun 01, 2017 4:27:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/592) took 208222 ms. Total solver calls (SAT/UNSAT): 117217(117217/0)
Jun 01, 2017 4:27:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(252/592) took 209233 ms. Total solver calls (SAT/UNSAT): 117898(117898/0)
Jun 01, 2017 4:27:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/592) took 210242 ms. Total solver calls (SAT/UNSAT): 118575(118575/0)
Jun 01, 2017 4:27:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/592) took 211739 ms. Total solver calls (SAT/UNSAT): 119583(119583/0)
Jun 01, 2017 4:27:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/592) took 212743 ms. Total solver calls (SAT/UNSAT): 120250(120250/0)
Jun 01, 2017 4:27:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(261/592) took 213765 ms. Total solver calls (SAT/UNSAT): 120913(120913/0)
Jun 01, 2017 4:27:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(264/592) took 215278 ms. Total solver calls (SAT/UNSAT): 121900(121900/0)
Jun 01, 2017 4:27:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(266/592) took 216298 ms. Total solver calls (SAT/UNSAT): 122553(122553/0)
Jun 01, 2017 4:27:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 217340 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 01, 2017 4:27:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/592) took 218374 ms. Total solver calls (SAT/UNSAT): 123847(123847/0)
Jun 01, 2017 4:27:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/592) took 219397 ms. Total solver calls (SAT/UNSAT): 124488(124488/0)
Jun 01, 2017 4:27:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 220411 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 01, 2017 4:27:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 221468 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 01, 2017 4:27:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(278/592) took 222490 ms. Total solver calls (SAT/UNSAT): 126387(126387/0)
Jun 01, 2017 4:27:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(280/592) took 223566 ms. Total solver calls (SAT/UNSAT): 127012(127012/0)
Jun 01, 2017 4:27:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/592) took 224627 ms. Total solver calls (SAT/UNSAT): 127633(127633/0)
Jun 01, 2017 4:27:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/592) took 225657 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Jun 01, 2017 4:27:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/592) took 227158 ms. Total solver calls (SAT/UNSAT): 129168(129168/0)
Jun 01, 2017 4:27:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/592) took 228644 ms. Total solver calls (SAT/UNSAT): 130077(130077/0)
Jun 01, 2017 4:28:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/592) took 230144 ms. Total solver calls (SAT/UNSAT): 130977(130977/0)
Jun 01, 2017 4:28:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(296/592) took 231508 ms. Total solver calls (SAT/UNSAT): 131868(131868/0)
Jun 01, 2017 4:28:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/592) took 232855 ms. Total solver calls (SAT/UNSAT): 132750(132750/0)
Jun 01, 2017 4:28:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/592) took 234169 ms. Total solver calls (SAT/UNSAT): 133623(133623/0)
Jun 01, 2017 4:28:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(305/592) took 235463 ms. Total solver calls (SAT/UNSAT): 134487(134487/0)
Jun 01, 2017 4:28:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/592) took 236760 ms. Total solver calls (SAT/UNSAT): 135342(135342/0)
Jun 01, 2017 4:28:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/592) took 238025 ms. Total solver calls (SAT/UNSAT): 136188(136188/0)
Jun 01, 2017 4:28:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/592) took 239270 ms. Total solver calls (SAT/UNSAT): 137025(137025/0)
Jun 01, 2017 4:28:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/592) took 240654 ms. Total solver calls (SAT/UNSAT): 137853(137853/0)
Jun 01, 2017 4:28:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/592) took 242041 ms. Total solver calls (SAT/UNSAT): 138672(138672/0)
Jun 01, 2017 4:28:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/592) took 243450 ms. Total solver calls (SAT/UNSAT): 139482(139482/0)
Jun 01, 2017 4:28:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/592) took 244898 ms. Total solver calls (SAT/UNSAT): 140283(140283/0)
Jun 01, 2017 4:28:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(329/592) took 246254 ms. Total solver calls (SAT/UNSAT): 141075(141075/0)
Jun 01, 2017 4:28:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(332/592) took 247630 ms. Total solver calls (SAT/UNSAT): 141858(141858/0)
Jun 01, 2017 4:28:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/592) took 249047 ms. Total solver calls (SAT/UNSAT): 142632(142632/0)
Jun 01, 2017 4:28:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(338/592) took 250511 ms. Total solver calls (SAT/UNSAT): 143397(143397/0)
Jun 01, 2017 4:28:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(341/592) took 251888 ms. Total solver calls (SAT/UNSAT): 144153(144153/0)
Jun 01, 2017 4:28:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/592) took 253171 ms. Total solver calls (SAT/UNSAT): 144900(144900/0)
Jun 01, 2017 4:28:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/592) took 254445 ms. Total solver calls (SAT/UNSAT): 145638(145638/0)
Jun 01, 2017 4:28:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/592) took 255669 ms. Total solver calls (SAT/UNSAT): 146367(146367/0)
Jun 01, 2017 4:28:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/592) took 256895 ms. Total solver calls (SAT/UNSAT): 147087(147087/0)
Jun 01, 2017 4:28:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(356/592) took 258108 ms. Total solver calls (SAT/UNSAT): 147798(147798/0)
Jun 01, 2017 4:28:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/592) took 259349 ms. Total solver calls (SAT/UNSAT): 148500(148500/0)
Jun 01, 2017 4:28:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/592) took 260528 ms. Total solver calls (SAT/UNSAT): 149193(149193/0)
Jun 01, 2017 4:28:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(365/592) took 261698 ms. Total solver calls (SAT/UNSAT): 149877(149877/0)
Jun 01, 2017 4:28:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(368/592) took 262851 ms. Total solver calls (SAT/UNSAT): 150552(150552/0)
Jun 01, 2017 4:28:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/592) took 263994 ms. Total solver calls (SAT/UNSAT): 151218(151218/0)
Jun 01, 2017 4:28:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(374/592) took 265120 ms. Total solver calls (SAT/UNSAT): 151875(151875/0)
Jun 01, 2017 4:28:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(377/592) took 266222 ms. Total solver calls (SAT/UNSAT): 152523(152523/0)
Jun 01, 2017 4:28:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/592) took 267358 ms. Total solver calls (SAT/UNSAT): 153162(153162/0)
Jun 01, 2017 4:28:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/592) took 268503 ms. Total solver calls (SAT/UNSAT): 153792(153792/0)
Jun 01, 2017 4:28:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/592) took 269578 ms. Total solver calls (SAT/UNSAT): 154413(154413/0)
Jun 01, 2017 4:28:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/592) took 270730 ms. Total solver calls (SAT/UNSAT): 155025(155025/0)
Jun 01, 2017 4:28:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(392/592) took 271861 ms. Total solver calls (SAT/UNSAT): 155628(155628/0)
Jun 01, 2017 4:28:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/592) took 272941 ms. Total solver calls (SAT/UNSAT): 156222(156222/0)
Jun 01, 2017 4:28:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(398/592) took 273943 ms. Total solver calls (SAT/UNSAT): 156807(156807/0)
Jun 01, 2017 4:28:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(401/592) took 274946 ms. Total solver calls (SAT/UNSAT): 157383(157383/0)
Jun 01, 2017 4:28:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(405/592) took 276234 ms. Total solver calls (SAT/UNSAT): 158137(158137/0)
Jun 01, 2017 4:28:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(409/592) took 277513 ms. Total solver calls (SAT/UNSAT): 158875(158875/0)
Jun 01, 2017 4:28:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(413/592) took 278838 ms. Total solver calls (SAT/UNSAT): 159597(159597/0)
Jun 01, 2017 4:28:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(417/592) took 280146 ms. Total solver calls (SAT/UNSAT): 160303(160303/0)
Jun 01, 2017 4:28:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(421/592) took 281435 ms. Total solver calls (SAT/UNSAT): 160993(160993/0)
Jun 01, 2017 4:28:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/592) took 282698 ms. Total solver calls (SAT/UNSAT): 161667(161667/0)
Jun 01, 2017 4:28:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/592) took 283918 ms. Total solver calls (SAT/UNSAT): 162325(162325/0)
Jun 01, 2017 4:28:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/592) took 285110 ms. Total solver calls (SAT/UNSAT): 162967(162967/0)
Jun 01, 2017 4:28:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(437/592) took 286268 ms. Total solver calls (SAT/UNSAT): 163593(163593/0)
Jun 01, 2017 4:28:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/592) took 287405 ms. Total solver calls (SAT/UNSAT): 164203(164203/0)
Jun 01, 2017 4:28:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 288490 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 01, 2017 4:28:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(449/592) took 289528 ms. Total solver calls (SAT/UNSAT): 165375(165375/0)
Jun 01, 2017 4:29:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(454/592) took 290718 ms. Total solver calls (SAT/UNSAT): 166075(166075/0)
Jun 01, 2017 4:29:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(459/592) took 291882 ms. Total solver calls (SAT/UNSAT): 166750(166750/0)
Jun 01, 2017 4:29:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(464/592) took 293069 ms. Total solver calls (SAT/UNSAT): 167400(167400/0)
Jun 01, 2017 4:29:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(469/592) took 294220 ms. Total solver calls (SAT/UNSAT): 168025(168025/0)
Jun 01, 2017 4:29:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(474/592) took 295293 ms. Total solver calls (SAT/UNSAT): 168625(168625/0)
Jun 01, 2017 4:29:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(480/592) took 296468 ms. Total solver calls (SAT/UNSAT): 169312(169312/0)
Jun 01, 2017 4:29:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(486/592) took 297587 ms. Total solver calls (SAT/UNSAT): 169963(169963/0)
Jun 01, 2017 4:29:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(492/592) took 298643 ms. Total solver calls (SAT/UNSAT): 170578(170578/0)
Jun 01, 2017 4:29:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(499/592) took 299802 ms. Total solver calls (SAT/UNSAT): 171250(171250/0)
Jun 01, 2017 4:29:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(506/592) took 300870 ms. Total solver calls (SAT/UNSAT): 171873(171873/0)
Jun 01, 2017 4:29:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(514/592) took 302007 ms. Total solver calls (SAT/UNSAT): 172525(172525/0)
Jun 01, 2017 4:29:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(522/592) took 303028 ms. Total solver calls (SAT/UNSAT): 173113(173113/0)
Jun 01, 2017 4:29:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(530/592) took 304051 ms. Total solver calls (SAT/UNSAT): 173637(173637/0)
Jun 01, 2017 4:29:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(540/592) took 305114 ms. Total solver calls (SAT/UNSAT): 174202(174202/0)
Jun 01, 2017 4:29:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(551/592) took 306117 ms. Total solver calls (SAT/UNSAT): 174708(174708/0)
Jun 01, 2017 4:29:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(566/592) took 307120 ms. Total solver calls (SAT/UNSAT): 175203(175203/0)
Jun 01, 2017 4:29:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 307810 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 4:29:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.
Jun 01, 2017 4:31:57 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/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.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="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-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 LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-blw7-149440486700447"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;