About the Execution of ITS-Tools for S_PermAdmissibility-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15928.970 | 3600000.00 | 4547405.00 | 535.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_PermAdmissibility-PT-10, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-blw7-149441652200429
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-0
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-1
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-10
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-11
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-12
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-13
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-14
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-15
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-2
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-3
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-4
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-5
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-6
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-7
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-8
FORMULA_NAME PermAdmissibility-COL-10-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1496480622613
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 : !((G(X(((((((((((((((((("aux5_5>=1")&&("aux7_7>=1"))&&("c110>=1"))||((("aux5_1>=1")&&("c110>=1"))&&("aux7_7>=1")))||((("aux5_4>=1")&&("aux7_7>=1"))&&("c110>=1")))||((("aux7_6>=1")&&("c110>=1"))&&("aux5_5>=1")))||((("c110>=1")&&("aux7_7>=1"))&&("aux5_0>=1")))||((("aux7_6>=1")&&("c110>=1"))&&("aux5_1>=1")))||((("aux7_6>=1")&&("c110>=1"))&&("aux5_4>=1")))||((("c110>=1")&&("aux7_3>=1"))&&("aux5_5>=1")))||((("c110>=1")&&("aux7_6>=1"))&&("aux5_0>=1")))||((("aux5_1>=1")&&("aux7_3>=1"))&&("c110>=1")))||((("aux5_4>=1")&&("c110>=1"))&&("aux7_3>=1")))||((("aux5_0>=1")&&("aux7_3>=1"))&&("c110>=1")))||((("aux5_5>=1")&&("c110>=1"))&&("aux7_2>=1")))||((("c110>=1")&&("aux7_2>=1"))&&("aux5_4>=1")))||((("aux5_1>=1")&&("c110>=1"))&&("aux7_2>=1")))||((("aux5_0>=1")&&("aux7_2>=1"))&&("c110>=1"))))))
Formula 0 simplified : !GX(("aux5_5>=1" & "aux7_7>=1" & "c110>=1") | ("aux5_1>=1" & "aux7_7>=1" & "c110>=1") | ("aux5_4>=1" & "aux7_7>=1" & "c110>=1") | ("aux5_5>=1" & "aux7_6>=1" & "c110>=1") | ("aux5_0>=1" & "aux7_7>=1" & "c110>=1") | ("aux5_1>=1" & "aux7_6>=1" & "c110>=1") | ("aux5_4>=1" & "aux7_6>=1" & "c110>=1") | ("aux5_5>=1" & "aux7_3>=1" & "c110>=1") | ("aux5_0>=1" & "aux7_6>=1" & "c110>=1") | ("aux5_1>=1" & "aux7_3>=1" & "c110>=1") | ("aux5_4>=1" & "aux7_3>=1" & "c110>=1") | ("aux5_0>=1" & "aux7_3>=1" & "c110>=1") | ("aux5_5>=1" & "aux7_2>=1" & "c110>=1") | ("aux5_4>=1" & "aux7_2>=1" & "c110>=1") | ("aux5_1>=1" & "aux7_2>=1" & "c110>=1") | ("aux5_0>=1" & "aux7_2>=1" & "c110>=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= 20
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out3_0 + 1'out3_1 + 1'out3_6 + 1'out3_7 + 1'out3_2 + 1'out3_3 + 1'out3_4 + 1'out3_5= 0
invariant : -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out8_1 + 1'out8_0 + 1'out8_3 + 1'out8_2 + 1'out8_6 + 1'out8_7 + 1'out8_4 + 1'out8_5= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + 2'c14= 0
invariant : -2'c20 + -2'out7_1 + -2'out7_0 + -2'out7_3 + -2'out7_2 + -2'out7_5 + -2'out7_4 + -2'out7_7 + -2'out7_6 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'aux6_0 + -1'c12 + -1'aux6_5 + -1'aux6_1 + -1'aux6_4 + -2'c13 + -2'in3_5 + -2'in3_4 + 2'c5= -20
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ 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 03, 2017 9:03:43 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 9:03:44 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 93 ms
Jun 03, 2017 9:03:44 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 9:03:44 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 9:03:44 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 135 ms
Jun 03, 2017 9:03:44 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 29 ms
Jun 03, 2017 9:03:44 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 10 ms
Jun 03, 2017 9:03:45 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 121 ms
Jun 03, 2017 9:03:53 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8422 ms
Jun 03, 2017 9:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 9:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 462 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 9:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1481 ms. Total solver calls (SAT/UNSAT): 408(237/171)
Jun 03, 2017 9:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2991 ms. Total solver calls (SAT/UNSAT): 816(474/342)
Jun 03, 2017 9:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 4382 ms. Total solver calls (SAT/UNSAT): 1224(711/513)
Jun 03, 2017 9:03:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 5775 ms. Total solver calls (SAT/UNSAT): 1632(948/684)
Jun 03, 2017 9:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 7139 ms. Total solver calls (SAT/UNSAT): 2040(1185/855)
Jun 03, 2017 9:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 8507 ms. Total solver calls (SAT/UNSAT): 2448(1422/1026)
Jun 03, 2017 9:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 9886 ms. Total solver calls (SAT/UNSAT): 2856(1659/1197)
Jun 03, 2017 9:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 11246 ms. Total solver calls (SAT/UNSAT): 3264(1896/1368)
Jun 03, 2017 9:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 12609 ms. Total solver calls (SAT/UNSAT): 3672(2133/1539)
Jun 03, 2017 9:04:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 13974 ms. Total solver calls (SAT/UNSAT): 4080(2370/1710)
Jun 03, 2017 9:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 15347 ms. Total solver calls (SAT/UNSAT): 4488(2607/1881)
Jun 03, 2017 9:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 16834 ms. Total solver calls (SAT/UNSAT): 4896(2844/2052)
Jun 03, 2017 9:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/592 took 17906 ms. Total solver calls (SAT/UNSAT): 5168(3002/2166)
Jun 03, 2017 9:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/592 took 19520 ms. Total solver calls (SAT/UNSAT): 5576(3239/2337)
Jun 03, 2017 9:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/592 took 20945 ms. Total solver calls (SAT/UNSAT): 5984(3476/2508)
Jun 03, 2017 9:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 22121 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 03, 2017 9:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 23173 ms. Total solver calls (SAT/UNSAT): 6528(3792/2736)
Jun 03, 2017 9:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 24583 ms. Total solver calls (SAT/UNSAT): 6936(4029/2907)
Jun 03, 2017 9:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 25978 ms. Total solver calls (SAT/UNSAT): 7344(4266/3078)
Jun 03, 2017 9:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 27491 ms. Total solver calls (SAT/UNSAT): 7752(4503/3249)
Jun 03, 2017 9:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/592 took 28563 ms. Total solver calls (SAT/UNSAT): 8024(4661/3363)
Jun 03, 2017 9:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/592 took 29826 ms. Total solver calls (SAT/UNSAT): 8477(4898/3579)
Jun 03, 2017 9:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/592 took 31076 ms. Total solver calls (SAT/UNSAT): 8930(5135/3795)
Jun 03, 2017 9:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/592 took 32308 ms. Total solver calls (SAT/UNSAT): 9383(5372/4011)
Jun 03, 2017 9:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/592 took 33558 ms. Total solver calls (SAT/UNSAT): 9836(5609/4227)
Jun 03, 2017 9:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/592 took 34807 ms. Total solver calls (SAT/UNSAT): 10289(5846/4443)
Jun 03, 2017 9:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/592 took 36054 ms. Total solver calls (SAT/UNSAT): 10742(6083/4659)
Jun 03, 2017 9:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/592 took 37312 ms. Total solver calls (SAT/UNSAT): 11195(6320/4875)
Jun 03, 2017 9:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/592 took 38529 ms. Total solver calls (SAT/UNSAT): 11648(6557/5091)
Jun 03, 2017 9:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/592 took 39760 ms. Total solver calls (SAT/UNSAT): 12101(6794/5307)
Jun 03, 2017 9:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/592 took 40985 ms. Total solver calls (SAT/UNSAT): 12554(7031/5523)
Jun 03, 2017 9:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/592 took 42222 ms. Total solver calls (SAT/UNSAT): 13007(7268/5739)
Jun 03, 2017 9:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/592 took 43460 ms. Total solver calls (SAT/UNSAT): 13460(7505/5955)
Jun 03, 2017 9:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/592 took 44697 ms. Total solver calls (SAT/UNSAT): 13913(7742/6171)
Jun 03, 2017 9:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/592 took 45932 ms. Total solver calls (SAT/UNSAT): 14366(7979/6387)
Jun 03, 2017 9:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/592 took 47248 ms. Total solver calls (SAT/UNSAT): 14789(8216/6573)
Jun 03, 2017 9:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/592 took 48611 ms. Total solver calls (SAT/UNSAT): 15197(8453/6744)
Jun 03, 2017 9:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/592 took 49863 ms. Total solver calls (SAT/UNSAT): 15650(8690/6960)
Jun 03, 2017 9:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/592 took 51105 ms. Total solver calls (SAT/UNSAT): 16103(8927/7176)
Jun 03, 2017 9:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/592 took 52330 ms. Total solver calls (SAT/UNSAT): 16556(9164/7392)
Jun 03, 2017 9:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/592 took 53598 ms. Total solver calls (SAT/UNSAT): 17009(9401/7608)
Jun 03, 2017 9:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/592 took 54850 ms. Total solver calls (SAT/UNSAT): 17462(9638/7824)
Jun 03, 2017 9:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/592 took 56141 ms. Total solver calls (SAT/UNSAT): 17885(9875/8010)
Jun 03, 2017 9:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 57422 ms. Total solver calls (SAT/UNSAT): 18293(10112/8181)
Jun 03, 2017 9:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/592 took 58814 ms. Total solver calls (SAT/UNSAT): 18701(10349/8352)
Jun 03, 2017 9:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/592 took 60084 ms. Total solver calls (SAT/UNSAT): 19109(10586/8523)
Jun 03, 2017 9:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/592 took 61371 ms. Total solver calls (SAT/UNSAT): 19517(10823/8694)
Jun 03, 2017 9:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/592 took 62655 ms. Total solver calls (SAT/UNSAT): 19925(11060/8865)
Jun 03, 2017 9:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/592 took 64025 ms. Total solver calls (SAT/UNSAT): 20333(11297/9036)
Jun 03, 2017 9:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 65133 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 03, 2017 9:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 66451 ms. Total solver calls (SAT/UNSAT): 20877(11613/9264)
Jun 03, 2017 9:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/592 took 67774 ms. Total solver calls (SAT/UNSAT): 21149(11771/9378)
Jun 03, 2017 9:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 68874 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 03, 2017 9:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 70224 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 03, 2017 9:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 71494 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 03, 2017 9:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 72764 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 03, 2017 9:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 74028 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 03, 2017 9:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 75336 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 03, 2017 9:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 76662 ms. Total solver calls (SAT/UNSAT): 23944(13351/10593)
Jun 03, 2017 9:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 77969 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 03, 2017 9:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 79256 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 03, 2017 9:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 80541 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 03, 2017 9:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 81820 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 03, 2017 9:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 83116 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 03, 2017 9:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 84392 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 03, 2017 9:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 85424 ms. Total solver calls (SAT/UNSAT): 26701(15010/11691)
Jun 03, 2017 9:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 86429 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 03, 2017 9:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/592 took 87743 ms. Total solver calls (SAT/UNSAT): 27422(15563/11859)
Jun 03, 2017 9:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 88848 ms. Total solver calls (SAT/UNSAT): 27731(15800/11931)
Jun 03, 2017 9:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/592 took 89863 ms. Total solver calls (SAT/UNSAT): 28040(16037/12003)
Jun 03, 2017 9:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/592 took 91183 ms. Total solver calls (SAT/UNSAT): 28452(16353/12099)
Jun 03, 2017 9:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 92497 ms. Total solver calls (SAT/UNSAT): 28864(16669/12195)
Jun 03, 2017 9:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 93795 ms. Total solver calls (SAT/UNSAT): 29276(16985/12291)
Jun 03, 2017 9:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/592 took 95118 ms. Total solver calls (SAT/UNSAT): 29688(17301/12387)
Jun 03, 2017 9:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 96543 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 03, 2017 9:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 97829 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 03, 2017 9:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 98909 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 03, 2017 9:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 99917 ms. Total solver calls (SAT/UNSAT): 31192(18328/12864)
Jun 03, 2017 9:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/592 took 101224 ms. Total solver calls (SAT/UNSAT): 31604(18644/12960)
Jun 03, 2017 9:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/592 took 102527 ms. Total solver calls (SAT/UNSAT): 32016(18960/13056)
Jun 03, 2017 9:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 103843 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 03, 2017 9:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/592 took 105159 ms. Total solver calls (SAT/UNSAT): 32840(19592/13248)
Jun 03, 2017 9:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/592 took 106219 ms. Total solver calls (SAT/UNSAT): 33180(19852/13328)
Jun 03, 2017 9:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/592 took 107233 ms. Total solver calls (SAT/UNSAT): 33552(20131/13421)
Jun 03, 2017 9:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/592 took 108451 ms. Total solver calls (SAT/UNSAT): 33935(20431/13504)
Jun 03, 2017 9:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/592 took 109534 ms. Total solver calls (SAT/UNSAT): 34313(20681/13632)
Jun 03, 2017 9:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/592 took 110564 ms. Total solver calls (SAT/UNSAT): 34650(20865/13785)
Jun 03, 2017 9:05:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/592 took 111576 ms. Total solver calls (SAT/UNSAT): 35010(21095/13915)
Jun 03, 2017 9:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 112919 ms. Total solver calls (SAT/UNSAT): 35518(21404/14114)
Jun 03, 2017 9:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 114199 ms. Total solver calls (SAT/UNSAT): 36037(21641/14396)
Jun 03, 2017 9:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 115566 ms. Total solver calls (SAT/UNSAT): 36556(21878/14678)
Jun 03, 2017 9:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 116840 ms. Total solver calls (SAT/UNSAT): 37046(22128/14918)
Jun 03, 2017 9:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/592 took 117922 ms. Total solver calls (SAT/UNSAT): 37464(22332/15132)
Jun 03, 2017 9:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/592 took 119003 ms. Total solver calls (SAT/UNSAT): 37845(22562/15283)
Jun 03, 2017 9:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 120388 ms. Total solver calls (SAT/UNSAT): 38385(22835/15550)
Jun 03, 2017 9:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 121758 ms. Total solver calls (SAT/UNSAT): 38904(23072/15832)
Jun 03, 2017 9:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 123026 ms. Total solver calls (SAT/UNSAT): 39423(23309/16114)
Jun 03, 2017 9:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 124290 ms. Total solver calls (SAT/UNSAT): 39942(23546/16396)
Jun 03, 2017 9:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 125570 ms. Total solver calls (SAT/UNSAT): 40461(23783/16678)
Jun 03, 2017 9:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 126874 ms. Total solver calls (SAT/UNSAT): 40980(24020/16960)
Jun 03, 2017 9:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 128174 ms. Total solver calls (SAT/UNSAT): 41499(24257/17242)
Jun 03, 2017 9:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 129455 ms. Total solver calls (SAT/UNSAT): 42018(24494/17524)
Jun 03, 2017 9:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 130725 ms. Total solver calls (SAT/UNSAT): 42537(24731/17806)
Jun 03, 2017 9:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 131974 ms. Total solver calls (SAT/UNSAT): 43056(24968/18088)
Jun 03, 2017 9:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 133238 ms. Total solver calls (SAT/UNSAT): 43575(25205/18370)
Jun 03, 2017 9:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 134734 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 03, 2017 9:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 136107 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 03, 2017 9:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 137480 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 03, 2017 9:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 138549 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 03, 2017 9:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 139608 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 03, 2017 9:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 140676 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 03, 2017 9:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 142046 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 03, 2017 9:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 143403 ms. Total solver calls (SAT/UNSAT): 47043(26864/20179)
Jun 03, 2017 9:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 144690 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 03, 2017 9:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 145970 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 03, 2017 9:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 147254 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 03, 2017 9:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 148639 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 03, 2017 9:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 149717 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 03, 2017 9:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 150784 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 03, 2017 9:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 151851 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 03, 2017 9:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 152927 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 03, 2017 9:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 154103 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 03, 2017 9:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 155202 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 03, 2017 9:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 156248 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 03, 2017 9:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 157320 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 03, 2017 9:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 158415 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 03, 2017 9:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 159490 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 03, 2017 9:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 160558 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 03, 2017 9:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 161629 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 03, 2017 9:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 162729 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 03, 2017 9:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 163815 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 03, 2017 9:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 164906 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 03, 2017 9:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 165982 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 03, 2017 9:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 167100 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 03, 2017 9:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 168164 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 03, 2017 9:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 169500 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 03, 2017 9:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 170788 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 03, 2017 9:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 172077 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 03, 2017 9:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 173459 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 03, 2017 9:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 174498 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 03, 2017 9:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 175596 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 03, 2017 9:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 176719 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 03, 2017 9:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 177821 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 03, 2017 9:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 178873 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 03, 2017 9:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 179933 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 03, 2017 9:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 180985 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 03, 2017 9:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 182430 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 03, 2017 9:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 183826 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 03, 2017 9:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 185150 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 03, 2017 9:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 186437 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 03, 2017 9:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 187754 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 03, 2017 9:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 189053 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 03, 2017 9:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 190361 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 03, 2017 9:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 191661 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 03, 2017 9:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 192969 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 03, 2017 9:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 194287 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 03, 2017 9:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 195630 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 03, 2017 9:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 196909 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 03, 2017 9:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 198175 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 03, 2017 9:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 199479 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 03, 2017 9:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 200782 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 03, 2017 9:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 202098 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 03, 2017 9:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 203629 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 03, 2017 9:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 204706 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 03, 2017 9:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 205785 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 03, 2017 9:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 206850 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 03, 2017 9:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 207915 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 03, 2017 9:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 209288 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 03, 2017 9:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 210557 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 03, 2017 9:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 211613 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 03, 2017 9:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 212675 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 03, 2017 9:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 213744 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 03, 2017 9:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 214846 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 03, 2017 9:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 215909 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 03, 2017 9:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 216971 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 03, 2017 9:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 218032 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 03, 2017 9:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 219094 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 03, 2017 9:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 220171 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 03, 2017 9:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 221224 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 03, 2017 9:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 222312 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 03, 2017 9:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 223362 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 03, 2017 9:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 224420 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 03, 2017 9:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 225469 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 03, 2017 9:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 226533 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 03, 2017 9:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 227601 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 03, 2017 9:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 228701 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 03, 2017 9:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 229888 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 03, 2017 9:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 231000 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 03, 2017 9:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 232115 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 03, 2017 9:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 233202 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 03, 2017 9:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 234274 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 03, 2017 9:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 235341 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 03, 2017 9:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 236404 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 03, 2017 9:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 237443 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 03, 2017 9:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 238510 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 03, 2017 9:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 239058 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 9:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 9:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1119 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 9:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2191 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 9:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3328 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 9:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4442 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 9:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5588 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 9:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6788 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 9:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 7920 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 9:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9069 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 9:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10185 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 9:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11299 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 9:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12490 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 9:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/592 took 13565 ms. Total solver calls (SAT/UNSAT): 4760(2520/2240)
Jun 03, 2017 9:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 14655 ms. Total solver calls (SAT/UNSAT): 5032(2664/2368)
Jun 03, 2017 9:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 15852 ms. Total solver calls (SAT/UNSAT): 5440(2880/2560)
Jun 03, 2017 9:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 16964 ms. Total solver calls (SAT/UNSAT): 5848(3096/2752)
Jun 03, 2017 9:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 18156 ms. Total solver calls (SAT/UNSAT): 6256(3312/2944)
Jun 03, 2017 9:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 19364 ms. Total solver calls (SAT/UNSAT): 6664(3528/3136)
Jun 03, 2017 9:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 20559 ms. Total solver calls (SAT/UNSAT): 7072(3744/3328)
Jun 03, 2017 9:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 21680 ms. Total solver calls (SAT/UNSAT): 7480(3960/3520)
Jun 03, 2017 9:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 22809 ms. Total solver calls (SAT/UNSAT): 7888(4176/3712)
Jun 03, 2017 9:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/592 took 23892 ms. Total solver calls (SAT/UNSAT): 8326(4392/3934)
Jun 03, 2017 9:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/592 took 24985 ms. Total solver calls (SAT/UNSAT): 8779(4608/4171)
Jun 03, 2017 9:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/592 took 26068 ms. Total solver calls (SAT/UNSAT): 9232(4824/4408)
Jun 03, 2017 9:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/592 took 27187 ms. Total solver calls (SAT/UNSAT): 9685(5040/4645)
Jun 03, 2017 9:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/592 took 28322 ms. Total solver calls (SAT/UNSAT): 10138(5256/4882)
Jun 03, 2017 9:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/592 took 29528 ms. Total solver calls (SAT/UNSAT): 10591(5472/5119)
Jun 03, 2017 9:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/592 took 30765 ms. Total solver calls (SAT/UNSAT): 11044(5688/5356)
Jun 03, 2017 9:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/592 took 32008 ms. Total solver calls (SAT/UNSAT): 11497(5904/5593)
Jun 03, 2017 9:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/592 took 33176 ms. Total solver calls (SAT/UNSAT): 11950(6120/5830)
Jun 03, 2017 9:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/592 took 34348 ms. Total solver calls (SAT/UNSAT): 12403(6336/6067)
Jun 03, 2017 9:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/592 took 35455 ms. Total solver calls (SAT/UNSAT): 12856(6552/6304)
Jun 03, 2017 9:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/592 took 36548 ms. Total solver calls (SAT/UNSAT): 13309(6768/6541)
Jun 03, 2017 9:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/592 took 37608 ms. Total solver calls (SAT/UNSAT): 13762(6984/6778)
Jun 03, 2017 9:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/592 took 38684 ms. Total solver calls (SAT/UNSAT): 14215(7200/7015)
Jun 03, 2017 9:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/592 took 39821 ms. Total solver calls (SAT/UNSAT): 14653(7416/7237)
Jun 03, 2017 9:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/592 took 40955 ms. Total solver calls (SAT/UNSAT): 15061(7632/7429)
Jun 03, 2017 9:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/592 took 42112 ms. Total solver calls (SAT/UNSAT): 15499(7848/7651)
Jun 03, 2017 9:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/592 took 43273 ms. Total solver calls (SAT/UNSAT): 15952(8064/7888)
Jun 03, 2017 9:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/592 took 44430 ms. Total solver calls (SAT/UNSAT): 16405(8280/8125)
Jun 03, 2017 9:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/592 took 45636 ms. Total solver calls (SAT/UNSAT): 16858(8496/8362)
Jun 03, 2017 9:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/592 took 46752 ms. Total solver calls (SAT/UNSAT): 17311(8712/8599)
Jun 03, 2017 9:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/592 took 47836 ms. Total solver calls (SAT/UNSAT): 17749(8928/8821)
Jun 03, 2017 9:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/592 took 48916 ms. Total solver calls (SAT/UNSAT): 18157(9144/9013)
Jun 03, 2017 9:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/592 took 49986 ms. Total solver calls (SAT/UNSAT): 18565(9360/9205)
Jun 03, 2017 9:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/592 took 51052 ms. Total solver calls (SAT/UNSAT): 18973(9576/9397)
Jun 03, 2017 9:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 52140 ms. Total solver calls (SAT/UNSAT): 19381(9792/9589)
Jun 03, 2017 9:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/592 took 53224 ms. Total solver calls (SAT/UNSAT): 19789(10008/9781)
Jun 03, 2017 9:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 54281 ms. Total solver calls (SAT/UNSAT): 20197(10224/9973)
Jun 03, 2017 9:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 55395 ms. Total solver calls (SAT/UNSAT): 20605(10440/10165)
Jun 03, 2017 9:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 56519 ms. Total solver calls (SAT/UNSAT): 21013(10656/10357)
Jun 03, 2017 9:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 57604 ms. Total solver calls (SAT/UNSAT): 21421(10872/10549)
Jun 03, 2017 9:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 58689 ms. Total solver calls (SAT/UNSAT): 21829(11088/10741)
Jun 03, 2017 9:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 59823 ms. Total solver calls (SAT/UNSAT): 22267(11304/10963)
Jun 03, 2017 9:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 60963 ms. Total solver calls (SAT/UNSAT): 22705(11520/11185)
Jun 03, 2017 9:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 62085 ms. Total solver calls (SAT/UNSAT): 23128(11736/11392)
Jun 03, 2017 9:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 63171 ms. Total solver calls (SAT/UNSAT): 23536(11952/11584)
Jun 03, 2017 9:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 64260 ms. Total solver calls (SAT/UNSAT): 23944(12168/11776)
Jun 03, 2017 9:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 65351 ms. Total solver calls (SAT/UNSAT): 24352(12384/11968)
Jun 03, 2017 9:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 66443 ms. Total solver calls (SAT/UNSAT): 24760(12600/12160)
Jun 03, 2017 9:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 67587 ms. Total solver calls (SAT/UNSAT): 25168(12816/12352)
Jun 03, 2017 9:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 68676 ms. Total solver calls (SAT/UNSAT): 25576(13032/12544)
Jun 03, 2017 9:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 69765 ms. Total solver calls (SAT/UNSAT): 25984(13248/12736)
Jun 03, 2017 9:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 70843 ms. Total solver calls (SAT/UNSAT): 26392(13464/12928)
Jun 03, 2017 9:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/592 took 71969 ms. Total solver calls (SAT/UNSAT): 26907(13584/13323)
Jun 03, 2017 9:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/592 took 73103 ms. Total solver calls (SAT/UNSAT): 27422(13704/13718)
Jun 03, 2017 9:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/592 took 74271 ms. Total solver calls (SAT/UNSAT): 27937(13824/14113)
Jun 03, 2017 9:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/592 took 75505 ms. Total solver calls (SAT/UNSAT): 28452(13944/14508)
Jun 03, 2017 9:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/592 took 76670 ms. Total solver calls (SAT/UNSAT): 28967(14064/14903)
Jun 03, 2017 9:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 77844 ms. Total solver calls (SAT/UNSAT): 29482(14184/15298)
Jun 03, 2017 9:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/592 took 79021 ms. Total solver calls (SAT/UNSAT): 29997(14304/15693)
Jun 03, 2017 9:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/592 took 80143 ms. Total solver calls (SAT/UNSAT): 30405(14520/15885)
Jun 03, 2017 9:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 81309 ms. Total solver calls (SAT/UNSAT): 30883(14712/16171)
Jun 03, 2017 9:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/592 took 82434 ms. Total solver calls (SAT/UNSAT): 31398(14832/16566)
Jun 03, 2017 9:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/592 took 83567 ms. Total solver calls (SAT/UNSAT): 31913(14952/16961)
Jun 03, 2017 9:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 84699 ms. Total solver calls (SAT/UNSAT): 32428(15072/17356)
Jun 03, 2017 9:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/592 took 85819 ms. Total solver calls (SAT/UNSAT): 32943(15192/17751)
Jun 03, 2017 9:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/592 took 86863 ms. Total solver calls (SAT/UNSAT): 33467(15324/18143)
Jun 03, 2017 9:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 88072 ms. Total solver calls (SAT/UNSAT): 34038(15472/18566)
Jun 03, 2017 9:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/592 took 89116 ms. Total solver calls (SAT/UNSAT): 34528(15676/18852)
Jun 03, 2017 9:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/592 took 90118 ms. Total solver calls (SAT/UNSAT): 34974(15916/19058)
Jun 03, 2017 9:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 91350 ms. Total solver calls (SAT/UNSAT): 35518(16170/19348)
Jun 03, 2017 9:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 92637 ms. Total solver calls (SAT/UNSAT): 36037(16452/19585)
Jun 03, 2017 9:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 93934 ms. Total solver calls (SAT/UNSAT): 36556(16734/19822)
Jun 03, 2017 9:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 95211 ms. Total solver calls (SAT/UNSAT): 37046(17002/20044)
Jun 03, 2017 9:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/592 took 96212 ms. Total solver calls (SAT/UNSAT): 37428(17210/20218)
Jun 03, 2017 9:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/592 took 97285 ms. Total solver calls (SAT/UNSAT): 37845(17430/20415)
Jun 03, 2017 9:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 98655 ms. Total solver calls (SAT/UNSAT): 38385(17718/20667)
Jun 03, 2017 9:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 99985 ms. Total solver calls (SAT/UNSAT): 38904(18000/20904)
Jun 03, 2017 9:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 101387 ms. Total solver calls (SAT/UNSAT): 39423(18282/21141)
Jun 03, 2017 9:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 102745 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 03, 2017 9:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 104092 ms. Total solver calls (SAT/UNSAT): 40461(18846/21615)
Jun 03, 2017 9:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 105398 ms. Total solver calls (SAT/UNSAT): 40980(19128/21852)
Jun 03, 2017 9:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 106688 ms. Total solver calls (SAT/UNSAT): 41499(19410/22089)
Jun 03, 2017 9:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 107975 ms. Total solver calls (SAT/UNSAT): 42018(19692/22326)
Jun 03, 2017 9:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 109284 ms. Total solver calls (SAT/UNSAT): 42537(19974/22563)
Jun 03, 2017 9:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 110568 ms. Total solver calls (SAT/UNSAT): 43056(20256/22800)
Jun 03, 2017 9:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 111926 ms. Total solver calls (SAT/UNSAT): 43575(20538/23037)
Jun 03, 2017 9:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 113226 ms. Total solver calls (SAT/UNSAT): 44064(20820/23244)
Jun 03, 2017 9:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 114496 ms. Total solver calls (SAT/UNSAT): 44568(21102/23466)
Jun 03, 2017 9:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 115772 ms. Total solver calls (SAT/UNSAT): 45072(21384/23688)
Jun 03, 2017 9:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 116998 ms. Total solver calls (SAT/UNSAT): 45546(21666/23880)
Jun 03, 2017 9:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 118232 ms. Total solver calls (SAT/UNSAT): 46020(21948/24072)
Jun 03, 2017 9:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 119504 ms. Total solver calls (SAT/UNSAT): 46524(22230/24294)
Jun 03, 2017 9:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 120772 ms. Total solver calls (SAT/UNSAT): 47043(22512/24531)
Jun 03, 2017 9:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 122067 ms. Total solver calls (SAT/UNSAT): 47562(22794/24768)
Jun 03, 2017 9:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 123358 ms. Total solver calls (SAT/UNSAT): 48081(23076/25005)
Jun 03, 2017 9:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 124640 ms. Total solver calls (SAT/UNSAT): 48600(23358/25242)
Jun 03, 2017 9:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 125922 ms. Total solver calls (SAT/UNSAT): 49104(23640/25464)
Jun 03, 2017 9:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 127198 ms. Total solver calls (SAT/UNSAT): 49578(23922/25656)
Jun 03, 2017 9:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 128450 ms. Total solver calls (SAT/UNSAT): 50052(24204/25848)
Jun 03, 2017 9:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 129731 ms. Total solver calls (SAT/UNSAT): 50526(24486/26040)
Jun 03, 2017 9:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 131004 ms. Total solver calls (SAT/UNSAT): 51000(24768/26232)
Jun 03, 2017 9:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 132254 ms. Total solver calls (SAT/UNSAT): 51474(25050/26424)
Jun 03, 2017 9:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 133531 ms. Total solver calls (SAT/UNSAT): 51948(25332/26616)
Jun 03, 2017 9:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 134798 ms. Total solver calls (SAT/UNSAT): 52422(25614/26808)
Jun 03, 2017 9:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 136061 ms. Total solver calls (SAT/UNSAT): 52896(25896/27000)
Jun 03, 2017 9:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 137337 ms. Total solver calls (SAT/UNSAT): 53370(26178/27192)
Jun 03, 2017 9:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 138596 ms. Total solver calls (SAT/UNSAT): 53844(26460/27384)
Jun 03, 2017 9:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 139851 ms. Total solver calls (SAT/UNSAT): 54318(26742/27576)
Jun 03, 2017 9:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 141108 ms. Total solver calls (SAT/UNSAT): 54792(27024/27768)
Jun 03, 2017 9:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 142431 ms. Total solver calls (SAT/UNSAT): 55311(27306/28005)
Jun 03, 2017 9:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 143735 ms. Total solver calls (SAT/UNSAT): 55830(27588/28242)
Jun 03, 2017 9:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 145060 ms. Total solver calls (SAT/UNSAT): 56349(27870/28479)
Jun 03, 2017 9:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 146361 ms. Total solver calls (SAT/UNSAT): 56853(28152/28701)
Jun 03, 2017 9:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 147609 ms. Total solver calls (SAT/UNSAT): 57327(28434/28893)
Jun 03, 2017 9:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 148848 ms. Total solver calls (SAT/UNSAT): 57801(28716/29085)
Jun 03, 2017 9:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/592 took 150131 ms. Total solver calls (SAT/UNSAT): 58275(28998/29277)
Jun 03, 2017 9:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 151419 ms. Total solver calls (SAT/UNSAT): 58749(29280/29469)
Jun 03, 2017 9:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 152674 ms. Total solver calls (SAT/UNSAT): 59223(29562/29661)
Jun 03, 2017 9:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 153963 ms. Total solver calls (SAT/UNSAT): 59742(29844/29898)
Jun 03, 2017 9:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 155269 ms. Total solver calls (SAT/UNSAT): 60261(30126/30135)
Jun 03, 2017 9:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 156570 ms. Total solver calls (SAT/UNSAT): 60780(30408/30372)
Jun 03, 2017 9:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 157880 ms. Total solver calls (SAT/UNSAT): 61299(30690/30609)
Jun 03, 2017 9:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 159191 ms. Total solver calls (SAT/UNSAT): 61818(30972/30846)
Jun 03, 2017 9:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 160479 ms. Total solver calls (SAT/UNSAT): 62337(31254/31083)
Jun 03, 2017 9:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 161804 ms. Total solver calls (SAT/UNSAT): 62856(31536/31320)
Jun 03, 2017 9:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 163105 ms. Total solver calls (SAT/UNSAT): 63375(31818/31557)
Jun 03, 2017 9:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 164494 ms. Total solver calls (SAT/UNSAT): 63894(32100/31794)
Jun 03, 2017 9:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 165920 ms. Total solver calls (SAT/UNSAT): 64413(32382/32031)
Jun 03, 2017 9:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 167218 ms. Total solver calls (SAT/UNSAT): 64932(32664/32268)
Jun 03, 2017 9:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 168492 ms. Total solver calls (SAT/UNSAT): 65451(32946/32505)
Jun 03, 2017 9:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 169794 ms. Total solver calls (SAT/UNSAT): 65970(33228/32742)
Jun 03, 2017 9:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 171114 ms. Total solver calls (SAT/UNSAT): 66489(33510/32979)
Jun 03, 2017 9:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 172436 ms. Total solver calls (SAT/UNSAT): 67008(33792/33216)
Jun 03, 2017 9:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 173749 ms. Total solver calls (SAT/UNSAT): 67527(34074/33453)
Jun 03, 2017 9:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 175041 ms. Total solver calls (SAT/UNSAT): 68001(34356/33645)
Jun 03, 2017 9:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 176335 ms. Total solver calls (SAT/UNSAT): 68475(34638/33837)
Jun 03, 2017 9:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 177648 ms. Total solver calls (SAT/UNSAT): 68949(34920/34029)
Jun 03, 2017 9:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/592 took 179004 ms. Total solver calls (SAT/UNSAT): 69438(35202/34236)
Jun 03, 2017 9:10:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/592 took 180266 ms. Total solver calls (SAT/UNSAT): 69957(35484/34473)
Jun 03, 2017 9:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 181558 ms. Total solver calls (SAT/UNSAT): 70446(35766/34680)
Jun 03, 2017 9:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 182854 ms. Total solver calls (SAT/UNSAT): 70920(36048/34872)
Jun 03, 2017 9:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 184153 ms. Total solver calls (SAT/UNSAT): 71394(36330/35064)
Jun 03, 2017 9:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 185452 ms. Total solver calls (SAT/UNSAT): 71868(36612/35256)
Jun 03, 2017 9:10:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 186739 ms. Total solver calls (SAT/UNSAT): 72342(36894/35448)
Jun 03, 2017 9:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 188053 ms. Total solver calls (SAT/UNSAT): 72816(37176/35640)
Jun 03, 2017 9:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 189353 ms. Total solver calls (SAT/UNSAT): 73290(37458/35832)
Jun 03, 2017 9:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 190629 ms. Total solver calls (SAT/UNSAT): 73764(37740/36024)
Jun 03, 2017 9:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 191926 ms. Total solver calls (SAT/UNSAT): 74238(38022/36216)
Jun 03, 2017 9:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 193242 ms. Total solver calls (SAT/UNSAT): 74712(38304/36408)
Jun 03, 2017 9:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 194493 ms. Total solver calls (SAT/UNSAT): 75186(38586/36600)
Jun 03, 2017 9:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 195764 ms. Total solver calls (SAT/UNSAT): 75660(38868/36792)
Jun 03, 2017 9:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 197057 ms. Total solver calls (SAT/UNSAT): 76134(39150/36984)
Jun 03, 2017 9:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 198379 ms. Total solver calls (SAT/UNSAT): 76608(39432/37176)
Jun 03, 2017 9:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 199674 ms. Total solver calls (SAT/UNSAT): 77082(39714/37368)
Jun 03, 2017 9:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 200980 ms. Total solver calls (SAT/UNSAT): 77556(39996/37560)
Jun 03, 2017 9:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 202281 ms. Total solver calls (SAT/UNSAT): 78030(40278/37752)
Jun 03, 2017 9:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 203569 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 9:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 203569 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 9:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 9:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1409 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 9:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/592) took 2645 ms. Total solver calls (SAT/UNSAT): 1183(1183/0)
Jun 03, 2017 9:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4585 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 03, 2017 9:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 6537 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 03, 2017 9:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 8491 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 03, 2017 9:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9508 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 03, 2017 9:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 10525 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 03, 2017 9:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 12475 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 03, 2017 9:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 13479 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 03, 2017 9:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 15405 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 03, 2017 9:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 17381 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 03, 2017 9:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 19343 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 03, 2017 9:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 21282 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 03, 2017 9:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 23205 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 03, 2017 9:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 25107 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 03, 2017 9:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 27021 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 03, 2017 9:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 28917 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 03, 2017 9:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 30842 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 03, 2017 9:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 32686 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 03, 2017 9:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 34498 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 03, 2017 9:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 36305 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 03, 2017 9:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 38169 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 03, 2017 9:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/592) took 40029 ms. Total solver calls (SAT/UNSAT): 23452(23452/0)
Jun 03, 2017 9:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/592) took 41871 ms. Total solver calls (SAT/UNSAT): 24553(24553/0)
Jun 03, 2017 9:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/592) took 43733 ms. Total solver calls (SAT/UNSAT): 25650(25650/0)
Jun 03, 2017 9:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/592) took 45573 ms. Total solver calls (SAT/UNSAT): 26743(26743/0)
Jun 03, 2017 9:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/592) took 47338 ms. Total solver calls (SAT/UNSAT): 27832(27832/0)
Jun 03, 2017 9:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/592) took 49161 ms. Total solver calls (SAT/UNSAT): 28917(28917/0)
Jun 03, 2017 9:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/592) took 50948 ms. Total solver calls (SAT/UNSAT): 29998(29998/0)
Jun 03, 2017 9:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/592) took 52719 ms. Total solver calls (SAT/UNSAT): 31075(31075/0)
Jun 03, 2017 9:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 54530 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 03, 2017 9:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 56323 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 03, 2017 9:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/592) took 58093 ms. Total solver calls (SAT/UNSAT): 34282(34282/0)
Jun 03, 2017 9:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/592) took 59847 ms. Total solver calls (SAT/UNSAT): 35343(35343/0)
Jun 03, 2017 9:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/592) took 61584 ms. Total solver calls (SAT/UNSAT): 36400(36400/0)
Jun 03, 2017 9:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/592) took 63319 ms. Total solver calls (SAT/UNSAT): 37453(37453/0)
Jun 03, 2017 9:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/592) took 65038 ms. Total solver calls (SAT/UNSAT): 38502(38502/0)
Jun 03, 2017 9:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/592) took 66757 ms. Total solver calls (SAT/UNSAT): 39547(39547/0)
Jun 03, 2017 9:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/592) took 68500 ms. Total solver calls (SAT/UNSAT): 40588(40588/0)
Jun 03, 2017 9:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/592) took 70246 ms. Total solver calls (SAT/UNSAT): 41625(41625/0)
Jun 03, 2017 9:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/592) took 71968 ms. Total solver calls (SAT/UNSAT): 42658(42658/0)
Jun 03, 2017 9:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 73708 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 03, 2017 9:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 75506 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 03, 2017 9:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 77238 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 03, 2017 9:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 78985 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 03, 2017 9:12:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 80692 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 03, 2017 9:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 82396 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 03, 2017 9:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 84046 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 03, 2017 9:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 85704 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 03, 2017 9:12:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 87359 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 03, 2017 9:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 88996 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 03, 2017 9:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 90636 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 03, 2017 9:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 92255 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 03, 2017 9:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 93840 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 03, 2017 9:12:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 95447 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 03, 2017 9:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 96956 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 03, 2017 9:12:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 98496 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 03, 2017 9:12:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 100028 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 03, 2017 9:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 101547 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 03, 2017 9:12:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 103054 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 03, 2017 9:13:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 104562 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 03, 2017 9:13:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 106073 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 03, 2017 9:13:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 107538 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 03, 2017 9:13:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 108987 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 03, 2017 9:13:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 110552 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 03, 2017 9:13:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 112105 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 03, 2017 9:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 113653 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 03, 2017 9:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 115192 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 03, 2017 9:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 116720 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 03, 2017 9:13:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 118245 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 03, 2017 9:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 119772 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 03, 2017 9:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 121279 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 03, 2017 9:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/592) took 122780 ms. Total solver calls (SAT/UNSAT): 73602(73602/0)
Jun 03, 2017 9:13:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/592) took 124274 ms. Total solver calls (SAT/UNSAT): 74503(74503/0)
Jun 03, 2017 9:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 125755 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 03, 2017 9:13:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 127237 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 03, 2017 9:13:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/592) took 128701 ms. Total solver calls (SAT/UNSAT): 77182(77182/0)
Jun 03, 2017 9:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/592) took 130160 ms. Total solver calls (SAT/UNSAT): 78067(78067/0)
Jun 03, 2017 9:13:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/592) took 131619 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Jun 03, 2017 9:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(154/592) took 133059 ms. Total solver calls (SAT/UNSAT): 79825(79825/0)
Jun 03, 2017 9:13:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/592) took 134449 ms. Total solver calls (SAT/UNSAT): 80698(80698/0)
Jun 03, 2017 9:13:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/592) took 135832 ms. Total solver calls (SAT/UNSAT): 81567(81567/0)
Jun 03, 2017 9:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(160/592) took 137250 ms. Total solver calls (SAT/UNSAT): 82432(82432/0)
Jun 03, 2017 9:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(162/592) took 138647 ms. Total solver calls (SAT/UNSAT): 83293(83293/0)
Jun 03, 2017 9:13:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/592) took 140061 ms. Total solver calls (SAT/UNSAT): 84150(84150/0)
Jun 03, 2017 9:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/592) took 141477 ms. Total solver calls (SAT/UNSAT): 85003(85003/0)
Jun 03, 2017 9:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/592) took 142879 ms. Total solver calls (SAT/UNSAT): 85852(85852/0)
Jun 03, 2017 9:13:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/592) took 144272 ms. Total solver calls (SAT/UNSAT): 86697(86697/0)
Jun 03, 2017 9:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/592) took 145650 ms. Total solver calls (SAT/UNSAT): 87538(87538/0)
Jun 03, 2017 9:13:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 147022 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 03, 2017 9:13:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/592) took 148386 ms. Total solver calls (SAT/UNSAT): 89208(89208/0)
Jun 03, 2017 9:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/592) took 149739 ms. Total solver calls (SAT/UNSAT): 90037(90037/0)
Jun 03, 2017 9:13:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/592) took 151092 ms. Total solver calls (SAT/UNSAT): 90862(90862/0)
Jun 03, 2017 9:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/592) took 152438 ms. Total solver calls (SAT/UNSAT): 91683(91683/0)
Jun 03, 2017 9:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/592) took 153779 ms. Total solver calls (SAT/UNSAT): 92500(92500/0)
Jun 03, 2017 9:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/592) took 155101 ms. Total solver calls (SAT/UNSAT): 93313(93313/0)
Jun 03, 2017 9:13:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/592) took 156321 ms. Total solver calls (SAT/UNSAT): 94122(94122/0)
Jun 03, 2017 9:13:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/592) took 157538 ms. Total solver calls (SAT/UNSAT): 94927(94927/0)
Jun 03, 2017 9:13:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/592) took 158738 ms. Total solver calls (SAT/UNSAT): 95728(95728/0)
Jun 03, 2017 9:13:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/592) took 159944 ms. Total solver calls (SAT/UNSAT): 96525(96525/0)
Jun 03, 2017 9:13:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/592) took 161141 ms. Total solver calls (SAT/UNSAT): 97318(97318/0)
Jun 03, 2017 9:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/592) took 162329 ms. Total solver calls (SAT/UNSAT): 98107(98107/0)
Jun 03, 2017 9:14:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/592) took 163534 ms. Total solver calls (SAT/UNSAT): 98892(98892/0)
Jun 03, 2017 9:14:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/592) took 164745 ms. Total solver calls (SAT/UNSAT): 99673(99673/0)
Jun 03, 2017 9:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/592) took 165926 ms. Total solver calls (SAT/UNSAT): 100450(100450/0)
Jun 03, 2017 9:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/592) took 167095 ms. Total solver calls (SAT/UNSAT): 101223(101223/0)
Jun 03, 2017 9:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/592) took 168255 ms. Total solver calls (SAT/UNSAT): 101992(101992/0)
Jun 03, 2017 9:14:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/592) took 169420 ms. Total solver calls (SAT/UNSAT): 102757(102757/0)
Jun 03, 2017 9:14:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/592) took 170612 ms. Total solver calls (SAT/UNSAT): 103518(103518/0)
Jun 03, 2017 9:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/592) took 171761 ms. Total solver calls (SAT/UNSAT): 104275(104275/0)
Jun 03, 2017 9:14:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/592) took 172940 ms. Total solver calls (SAT/UNSAT): 105028(105028/0)
Jun 03, 2017 9:14:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/592) took 174072 ms. Total solver calls (SAT/UNSAT): 105777(105777/0)
Jun 03, 2017 9:14:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/592) took 175198 ms. Total solver calls (SAT/UNSAT): 106522(106522/0)
Jun 03, 2017 9:14:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/592) took 176364 ms. Total solver calls (SAT/UNSAT): 107263(107263/0)
Jun 03, 2017 9:14:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/592) took 177557 ms. Total solver calls (SAT/UNSAT): 108000(108000/0)
Jun 03, 2017 9:14:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/592) took 178744 ms. Total solver calls (SAT/UNSAT): 108733(108733/0)
Jun 03, 2017 9:14:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/592) took 179839 ms. Total solver calls (SAT/UNSAT): 109462(109462/0)
Jun 03, 2017 9:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/592) took 180986 ms. Total solver calls (SAT/UNSAT): 110187(110187/0)
Jun 03, 2017 9:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/592) took 182071 ms. Total solver calls (SAT/UNSAT): 110908(110908/0)
Jun 03, 2017 9:14:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/592) took 183146 ms. Total solver calls (SAT/UNSAT): 111625(111625/0)
Jun 03, 2017 9:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/592) took 184224 ms. Total solver calls (SAT/UNSAT): 112338(112338/0)
Jun 03, 2017 9:14:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/592) took 185290 ms. Total solver calls (SAT/UNSAT): 113047(113047/0)
Jun 03, 2017 9:14:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/592) took 186352 ms. Total solver calls (SAT/UNSAT): 113752(113752/0)
Jun 03, 2017 9:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/592) took 187484 ms. Total solver calls (SAT/UNSAT): 114453(114453/0)
Jun 03, 2017 9:14:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(244/592) took 188529 ms. Total solver calls (SAT/UNSAT): 115150(115150/0)
Jun 03, 2017 9:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/592) took 189567 ms. Total solver calls (SAT/UNSAT): 115843(115843/0)
Jun 03, 2017 9:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/592) took 190649 ms. Total solver calls (SAT/UNSAT): 116532(116532/0)
Jun 03, 2017 9:14:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/592) took 191696 ms. Total solver calls (SAT/UNSAT): 117217(117217/0)
Jun 03, 2017 9:14:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/592) took 193027 ms. Total solver calls (SAT/UNSAT): 118237(118237/0)
Jun 03, 2017 9:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/592) took 194352 ms. Total solver calls (SAT/UNSAT): 119248(119248/0)
Jun 03, 2017 9:14:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/592) took 195716 ms. Total solver calls (SAT/UNSAT): 120250(120250/0)
Jun 03, 2017 9:14:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/592) took 197033 ms. Total solver calls (SAT/UNSAT): 121243(121243/0)
Jun 03, 2017 9:14:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 198397 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 03, 2017 9:14:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 199827 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 03, 2017 9:14:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/592) took 201304 ms. Total solver calls (SAT/UNSAT): 124168(124168/0)
Jun 03, 2017 9:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 202779 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 03, 2017 9:14:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 203783 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 03, 2017 9:14:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 205244 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 03, 2017 9:14:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/592) took 206276 ms. Total solver calls (SAT/UNSAT): 127323(127323/0)
Jun 03, 2017 9:14:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/592) took 207738 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Jun 03, 2017 9:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/592) took 209205 ms. Total solver calls (SAT/UNSAT): 129168(129168/0)
Jun 03, 2017 9:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/592) took 210656 ms. Total solver calls (SAT/UNSAT): 130077(130077/0)
Jun 03, 2017 9:14:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/592) took 212049 ms. Total solver calls (SAT/UNSAT): 130977(130977/0)
Jun 03, 2017 9:14:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(296/592) took 213393 ms. Total solver calls (SAT/UNSAT): 131868(131868/0)
Jun 03, 2017 9:14:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/592) took 214701 ms. Total solver calls (SAT/UNSAT): 132750(132750/0)
Jun 03, 2017 9:14:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/592) took 215955 ms. Total solver calls (SAT/UNSAT): 133623(133623/0)
Jun 03, 2017 9:14:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(305/592) took 217196 ms. Total solver calls (SAT/UNSAT): 134487(134487/0)
Jun 03, 2017 9:14:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/592) took 218436 ms. Total solver calls (SAT/UNSAT): 135342(135342/0)
Jun 03, 2017 9:14:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/592) took 219628 ms. Total solver calls (SAT/UNSAT): 136188(136188/0)
Jun 03, 2017 9:14:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/592) took 220773 ms. Total solver calls (SAT/UNSAT): 137025(137025/0)
Jun 03, 2017 9:14:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/592) took 222075 ms. Total solver calls (SAT/UNSAT): 137853(137853/0)
Jun 03, 2017 9:14:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/592) took 223320 ms. Total solver calls (SAT/UNSAT): 138672(138672/0)
Jun 03, 2017 9:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/592) took 224568 ms. Total solver calls (SAT/UNSAT): 139482(139482/0)
Jun 03, 2017 9:15:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/592) took 225889 ms. Total solver calls (SAT/UNSAT): 140283(140283/0)
Jun 03, 2017 9:15:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(329/592) took 227106 ms. Total solver calls (SAT/UNSAT): 141075(141075/0)
Jun 03, 2017 9:15:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(332/592) took 228330 ms. Total solver calls (SAT/UNSAT): 141858(141858/0)
Jun 03, 2017 9:15:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/592) took 229590 ms. Total solver calls (SAT/UNSAT): 142632(142632/0)
Jun 03, 2017 9:15:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(338/592) took 230814 ms. Total solver calls (SAT/UNSAT): 143397(143397/0)
Jun 03, 2017 9:15:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(341/592) took 231942 ms. Total solver calls (SAT/UNSAT): 144153(144153/0)
Jun 03, 2017 9:15:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/592) took 233050 ms. Total solver calls (SAT/UNSAT): 144900(144900/0)
Jun 03, 2017 9:15:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/592) took 234206 ms. Total solver calls (SAT/UNSAT): 145638(145638/0)
Jun 03, 2017 9:15:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/592) took 235359 ms. Total solver calls (SAT/UNSAT): 146367(146367/0)
Jun 03, 2017 9:15:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/592) took 236476 ms. Total solver calls (SAT/UNSAT): 147087(147087/0)
Jun 03, 2017 9:15:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(356/592) took 237573 ms. Total solver calls (SAT/UNSAT): 147798(147798/0)
Jun 03, 2017 9:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/592) took 238638 ms. Total solver calls (SAT/UNSAT): 148500(148500/0)
Jun 03, 2017 9:15:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/592) took 239698 ms. Total solver calls (SAT/UNSAT): 149193(149193/0)
Jun 03, 2017 9:15:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(365/592) took 240748 ms. Total solver calls (SAT/UNSAT): 149877(149877/0)
Jun 03, 2017 9:15:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(368/592) took 241825 ms. Total solver calls (SAT/UNSAT): 150552(150552/0)
Jun 03, 2017 9:15:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/592) took 242856 ms. Total solver calls (SAT/UNSAT): 151218(151218/0)
Jun 03, 2017 9:15:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(374/592) took 243868 ms. Total solver calls (SAT/UNSAT): 151875(151875/0)
Jun 03, 2017 9:15:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(377/592) took 244869 ms. Total solver calls (SAT/UNSAT): 152523(152523/0)
Jun 03, 2017 9:15:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/592) took 245957 ms. Total solver calls (SAT/UNSAT): 153162(153162/0)
Jun 03, 2017 9:15:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/592) took 247056 ms. Total solver calls (SAT/UNSAT): 153792(153792/0)
Jun 03, 2017 9:15:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/592) took 248408 ms. Total solver calls (SAT/UNSAT): 154618(154618/0)
Jun 03, 2017 9:15:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/592) took 249481 ms. Total solver calls (SAT/UNSAT): 155227(155227/0)
Jun 03, 2017 9:15:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(393/592) took 250586 ms. Total solver calls (SAT/UNSAT): 155827(155827/0)
Jun 03, 2017 9:15:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(397/592) took 251883 ms. Total solver calls (SAT/UNSAT): 156613(156613/0)
Jun 03, 2017 9:15:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(401/592) took 253141 ms. Total solver calls (SAT/UNSAT): 157383(157383/0)
Jun 03, 2017 9:15:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(405/592) took 254369 ms. Total solver calls (SAT/UNSAT): 158137(158137/0)
Jun 03, 2017 9:15:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(409/592) took 255668 ms. Total solver calls (SAT/UNSAT): 158875(158875/0)
Jun 03, 2017 9:15:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(413/592) took 256952 ms. Total solver calls (SAT/UNSAT): 159597(159597/0)
Jun 03, 2017 9:15:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(417/592) took 258231 ms. Total solver calls (SAT/UNSAT): 160303(160303/0)
Jun 03, 2017 9:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(421/592) took 259479 ms. Total solver calls (SAT/UNSAT): 160993(160993/0)
Jun 03, 2017 9:15:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/592) took 260684 ms. Total solver calls (SAT/UNSAT): 161667(161667/0)
Jun 03, 2017 9:15:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/592) took 261968 ms. Total solver calls (SAT/UNSAT): 162325(162325/0)
Jun 03, 2017 9:15:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/592) took 263128 ms. Total solver calls (SAT/UNSAT): 162967(162967/0)
Jun 03, 2017 9:15:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(437/592) took 264239 ms. Total solver calls (SAT/UNSAT): 163593(163593/0)
Jun 03, 2017 9:15:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/592) took 265314 ms. Total solver calls (SAT/UNSAT): 164203(164203/0)
Jun 03, 2017 9:15:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 266369 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 03, 2017 9:15:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/592) took 267577 ms. Total solver calls (SAT/UNSAT): 165517(165517/0)
Jun 03, 2017 9:15:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/592) took 268718 ms. Total solver calls (SAT/UNSAT): 166212(166212/0)
Jun 03, 2017 9:15:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/592) took 269813 ms. Total solver calls (SAT/UNSAT): 166882(166882/0)
Jun 03, 2017 9:15:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(465/592) took 270929 ms. Total solver calls (SAT/UNSAT): 167527(167527/0)
Jun 03, 2017 9:15:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(470/592) took 272004 ms. Total solver calls (SAT/UNSAT): 168147(168147/0)
Jun 03, 2017 9:15:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(475/592) took 273021 ms. Total solver calls (SAT/UNSAT): 168742(168742/0)
Jun 03, 2017 9:15:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(481/592) took 274141 ms. Total solver calls (SAT/UNSAT): 169423(169423/0)
Jun 03, 2017 9:15:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(487/592) took 275187 ms. Total solver calls (SAT/UNSAT): 170068(170068/0)
Jun 03, 2017 9:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(493/592) took 276198 ms. Total solver calls (SAT/UNSAT): 170677(170677/0)
Jun 03, 2017 9:15:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(500/592) took 277294 ms. Total solver calls (SAT/UNSAT): 171342(171342/0)
Jun 03, 2017 9:15:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(507/592) took 278298 ms. Total solver calls (SAT/UNSAT): 171958(171958/0)
Jun 03, 2017 9:15:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(515/592) took 279366 ms. Total solver calls (SAT/UNSAT): 172602(172602/0)
Jun 03, 2017 9:15:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(524/592) took 280477 ms. Total solver calls (SAT/UNSAT): 173250(173250/0)
Jun 03, 2017 9:15:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(532/592) took 281500 ms. Total solver calls (SAT/UNSAT): 173758(173758/0)
Jun 03, 2017 9:15:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(543/592) took 282560 ms. Total solver calls (SAT/UNSAT): 174352(174352/0)
Jun 03, 2017 9:16:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(556/592) took 283590 ms. Total solver calls (SAT/UNSAT): 174898(174898/0)
Jun 03, 2017 9:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(577/592) took 284616 ms. Total solver calls (SAT/UNSAT): 175423(175423/0)
Jun 03, 2017 9:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 284839 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 9:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PermAdmissibility-PT-10"
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/S_PermAdmissibility-PT-10.tgz
mv S_PermAdmissibility-PT-10 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PermAdmissibility-PT-10, 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 r120-blw7-149441652200429"
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 ;