About the Execution of ITS-Tools for S_PermAdmissibility-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15927.400 | 3600000.00 | 4601809.00 | 479.30 | [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-20, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-blw7-149441652200437
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-0
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-1
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-10
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-11
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-12
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-13
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-14
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-15
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-2
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-3
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-4
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-5
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-6
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-7
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-8
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496483486580
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(G(F(X("(in3_5+in3_4)<=(((((((out2_0+out2_7)+out2_5)+out2_6)+out2_3)+out2_4)+out2_1)+out2_2)"))))))
Formula 0 simplified : !FGFX"(in3_5+in3_4)<=(((((((out2_0+out2_7)+out2_5)+out2_6)+out2_3)+out2_4)+out2_1)+out2_2)"
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 40
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out3_0 + 1'out3_1 + 1'out3_6 + 1'out3_7 + 1'out3_2 + 1'out3_3 + 1'out3_4 + 1'out3_5= 0
invariant : -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out8_1 + 1'out8_0 + 1'out8_3 + 1'out8_2 + 1'out8_6 + 1'out8_7 + 1'out8_4 + 1'out8_5= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + 2'c14= 0
invariant : -2'c20 + -2'out7_1 + -2'out7_0 + -2'out7_3 + -2'out7_2 + -2'out7_5 + -2'out7_4 + -2'out7_7 + -2'out7_6 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'aux6_0 + -1'c12 + -1'aux6_5 + -1'aux6_1 + -1'aux6_4 + -2'c13 + -2'in3_5 + -2'in3_4 + 2'c5= -40
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 9:51:27 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 9:51:28 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 100 ms
Jun 03, 2017 9:51:28 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 9:51:28 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 9:51:28 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 185 ms
Jun 03, 2017 9:51:28 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 28 ms
Jun 03, 2017 9:51:28 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 03, 2017 9:51:29 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 150 ms
Jun 03, 2017 9:51:37 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8333 ms
Jun 03, 2017 9:51:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 9:51:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 471 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 9:51:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1873 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 03, 2017 9:51:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3273 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 03, 2017 9:51:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4649 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 03, 2017 9:51:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 6035 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 03, 2017 9:51:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7425 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 03, 2017 9:51:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 8798 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 03, 2017 9:51:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 10183 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 03, 2017 9:51:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 11581 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 03, 2017 9:51:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 12985 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 03, 2017 9:51:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 14386 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 03, 2017 9:51:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 15770 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 03, 2017 9:51:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 17149 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 03, 2017 9:51:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 18541 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 03, 2017 9:51:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 19934 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 03, 2017 9:51:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 21305 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 03, 2017 9:52:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 22701 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 03, 2017 9:52:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 24070 ms. Total solver calls (SAT/UNSAT): 7072(4108/2964)
Jun 03, 2017 9:52:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 25447 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 03, 2017 9:52:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 26835 ms. Total solver calls (SAT/UNSAT): 7888(4582/3306)
Jun 03, 2017 9:52:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/592 took 28151 ms. Total solver calls (SAT/UNSAT): 8326(4819/3507)
Jun 03, 2017 9:52:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/592 took 29437 ms. Total solver calls (SAT/UNSAT): 8779(5056/3723)
Jun 03, 2017 9:52:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/592 took 30717 ms. Total solver calls (SAT/UNSAT): 9232(5293/3939)
Jun 03, 2017 9:52:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/592 took 31981 ms. Total solver calls (SAT/UNSAT): 9685(5530/4155)
Jun 03, 2017 9:52:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/592 took 33275 ms. Total solver calls (SAT/UNSAT): 10138(5767/4371)
Jun 03, 2017 9:52:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/592 took 34562 ms. Total solver calls (SAT/UNSAT): 10591(6004/4587)
Jun 03, 2017 9:52:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/592 took 35832 ms. Total solver calls (SAT/UNSAT): 11044(6241/4803)
Jun 03, 2017 9:52:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/592 took 37105 ms. Total solver calls (SAT/UNSAT): 11497(6478/5019)
Jun 03, 2017 9:52:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/592 took 38405 ms. Total solver calls (SAT/UNSAT): 11950(6715/5235)
Jun 03, 2017 9:52:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/592 took 39681 ms. Total solver calls (SAT/UNSAT): 12403(6952/5451)
Jun 03, 2017 9:52:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/592 took 40969 ms. Total solver calls (SAT/UNSAT): 12856(7189/5667)
Jun 03, 2017 9:52:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/592 took 42246 ms. Total solver calls (SAT/UNSAT): 13309(7426/5883)
Jun 03, 2017 9:52:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/592 took 43507 ms. Total solver calls (SAT/UNSAT): 13762(7663/6099)
Jun 03, 2017 9:52:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/592 took 44781 ms. Total solver calls (SAT/UNSAT): 14215(7900/6315)
Jun 03, 2017 9:52:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/592 took 46084 ms. Total solver calls (SAT/UNSAT): 14653(8137/6516)
Jun 03, 2017 9:52:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/592 took 47466 ms. Total solver calls (SAT/UNSAT): 15061(8374/6687)
Jun 03, 2017 9:52:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/592 took 48757 ms. Total solver calls (SAT/UNSAT): 15499(8611/6888)
Jun 03, 2017 9:52:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/592 took 50029 ms. Total solver calls (SAT/UNSAT): 15952(8848/7104)
Jun 03, 2017 9:52:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/592 took 51333 ms. Total solver calls (SAT/UNSAT): 16405(9085/7320)
Jun 03, 2017 9:52:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/592 took 52614 ms. Total solver calls (SAT/UNSAT): 16858(9322/7536)
Jun 03, 2017 9:52:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/592 took 53900 ms. Total solver calls (SAT/UNSAT): 17311(9559/7752)
Jun 03, 2017 9:52:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/592 took 55193 ms. Total solver calls (SAT/UNSAT): 17749(9796/7953)
Jun 03, 2017 9:52:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/592 took 56492 ms. Total solver calls (SAT/UNSAT): 18157(10033/8124)
Jun 03, 2017 9:52:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/592 took 57785 ms. Total solver calls (SAT/UNSAT): 18565(10270/8295)
Jun 03, 2017 9:52:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/592 took 59071 ms. Total solver calls (SAT/UNSAT): 18973(10507/8466)
Jun 03, 2017 9:52:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 60382 ms. Total solver calls (SAT/UNSAT): 19381(10744/8637)
Jun 03, 2017 9:52:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/592 took 61685 ms. Total solver calls (SAT/UNSAT): 19789(10981/8808)
Jun 03, 2017 9:52:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 62975 ms. Total solver calls (SAT/UNSAT): 20197(11218/8979)
Jun 03, 2017 9:52:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 64279 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 03, 2017 9:52:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 65583 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 03, 2017 9:52:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 66889 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 03, 2017 9:52:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 68177 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 03, 2017 9:52:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 69452 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 03, 2017 9:52:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 70747 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 03, 2017 9:52:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 72030 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 03, 2017 9:52:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 73332 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 03, 2017 9:52:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 74637 ms. Total solver calls (SAT/UNSAT): 23944(13351/10593)
Jun 03, 2017 9:52:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 75929 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 03, 2017 9:52:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 77227 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 03, 2017 9:52:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 78531 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 03, 2017 9:52:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 79838 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 03, 2017 9:52:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 81138 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 03, 2017 9:52:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 82454 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 03, 2017 9:53:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 83486 ms. Total solver calls (SAT/UNSAT): 26701(15010/11691)
Jun 03, 2017 9:53:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 84527 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 03, 2017 9:53:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 85550 ms. Total solver calls (SAT/UNSAT): 27319(15484/11835)
Jun 03, 2017 9:53:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/592 took 86572 ms. Total solver calls (SAT/UNSAT): 27628(15721/11907)
Jun 03, 2017 9:53:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/592 took 87608 ms. Total solver calls (SAT/UNSAT): 27937(15958/11979)
Jun 03, 2017 9:53:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 88631 ms. Total solver calls (SAT/UNSAT): 28246(16195/12051)
Jun 03, 2017 9:53:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/592 took 89656 ms. Total solver calls (SAT/UNSAT): 28555(16432/12123)
Jun 03, 2017 9:53:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 90679 ms. Total solver calls (SAT/UNSAT): 28864(16669/12195)
Jun 03, 2017 9:53:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/592 took 91704 ms. Total solver calls (SAT/UNSAT): 29173(16906/12267)
Jun 03, 2017 9:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 92728 ms. Total solver calls (SAT/UNSAT): 29482(17143/12339)
Jun 03, 2017 9:53:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 93767 ms. Total solver calls (SAT/UNSAT): 29791(17380/12411)
Jun 03, 2017 9:53:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 94895 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 03, 2017 9:53:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 96207 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 03, 2017 9:53:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 97322 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 03, 2017 9:53:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 98351 ms. Total solver calls (SAT/UNSAT): 31192(18328/12864)
Jun 03, 2017 9:53:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/592 took 99385 ms. Total solver calls (SAT/UNSAT): 31501(18565/12936)
Jun 03, 2017 9:53:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/592 took 100419 ms. Total solver calls (SAT/UNSAT): 31810(18802/13008)
Jun 03, 2017 9:53:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 101461 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 03, 2017 9:53:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 102497 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 03, 2017 9:53:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 103521 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 03, 2017 9:53:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 104551 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 03, 2017 9:53:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/592 took 105579 ms. Total solver calls (SAT/UNSAT): 33397(20013/13384)
Jun 03, 2017 9:53:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/592 took 106579 ms. Total solver calls (SAT/UNSAT): 33715(20259/13456)
Jun 03, 2017 9:53:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 107656 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 03, 2017 9:53:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/592 took 108662 ms. Total solver calls (SAT/UNSAT): 34399(20727/13672)
Jun 03, 2017 9:53:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/592 took 109705 ms. Total solver calls (SAT/UNSAT): 34794(20957/13837)
Jun 03, 2017 9:53:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/592 took 110721 ms. Total solver calls (SAT/UNSAT): 35154(21187/13967)
Jun 03, 2017 9:53:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 112116 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 03, 2017 9:53:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 113392 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 03, 2017 9:53:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 114665 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 03, 2017 9:53:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 116071 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 03, 2017 9:53:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 117180 ms. Total solver calls (SAT/UNSAT): 37644(22447/15197)
Jun 03, 2017 9:53:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/592 took 118272 ms. Total solver calls (SAT/UNSAT): 38039(22677/15362)
Jun 03, 2017 9:53:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 119556 ms. Total solver calls (SAT/UNSAT): 38558(22914/15644)
Jun 03, 2017 9:53:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 120835 ms. Total solver calls (SAT/UNSAT): 39077(23151/15926)
Jun 03, 2017 9:53:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 122114 ms. Total solver calls (SAT/UNSAT): 39596(23388/16208)
Jun 03, 2017 9:53:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/592 took 123393 ms. Total solver calls (SAT/UNSAT): 40115(23625/16490)
Jun 03, 2017 9:53:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 124675 ms. Total solver calls (SAT/UNSAT): 40634(23862/16772)
Jun 03, 2017 9:53:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 125967 ms. Total solver calls (SAT/UNSAT): 41153(24099/17054)
Jun 03, 2017 9:53:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 127247 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 03, 2017 9:53:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 128527 ms. Total solver calls (SAT/UNSAT): 42191(24573/17618)
Jun 03, 2017 9:53:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 129831 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 03, 2017 9:53:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 131106 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 03, 2017 9:53:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 132413 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 03, 2017 9:53:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 133488 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 03, 2017 9:53:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 134876 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 03, 2017 9:53:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 136242 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 03, 2017 9:53:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 137315 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 03, 2017 9:53:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 138373 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 03, 2017 9:53:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 139448 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 03, 2017 9:53:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 140844 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 03, 2017 9:53:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 142130 ms. Total solver calls (SAT/UNSAT): 47043(26864/20179)
Jun 03, 2017 9:54:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 143428 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 03, 2017 9:54:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 144728 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 03, 2017 9:54:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 146015 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 03, 2017 9:54:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 147424 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 03, 2017 9:54:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 148479 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 03, 2017 9:54:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 149541 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 03, 2017 9:54:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 150608 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 03, 2017 9:54:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 151676 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 03, 2017 9:54:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 152728 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 03, 2017 9:54:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 153826 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 03, 2017 9:54:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 154872 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 03, 2017 9:54:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 155941 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 03, 2017 9:54:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 157041 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 03, 2017 9:54:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 158109 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 03, 2017 9:54:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 159189 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 03, 2017 9:54:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 160331 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 03, 2017 9:54:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 161503 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 03, 2017 9:54:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 162682 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 03, 2017 9:54:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 163851 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 03, 2017 9:54:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 164889 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 03, 2017 9:54:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 165956 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 03, 2017 9:54:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 167030 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 03, 2017 9:54:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 168349 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 03, 2017 9:54:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 169667 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 03, 2017 9:54:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 171028 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 03, 2017 9:54:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 172432 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 03, 2017 9:54:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 173523 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 03, 2017 9:54:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 174584 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 03, 2017 9:54:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 175661 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 03, 2017 9:54:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 176746 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 03, 2017 9:54:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 177819 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 03, 2017 9:54:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 178861 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 03, 2017 9:54:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 179927 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 03, 2017 9:54:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 181354 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 03, 2017 9:54:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 182691 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 03, 2017 9:54:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 184012 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 03, 2017 9:54:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 185330 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 03, 2017 9:54:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 186639 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 03, 2017 9:54:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 187958 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 03, 2017 9:54:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 189286 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 03, 2017 9:54:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 190612 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 03, 2017 9:54:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 191938 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 03, 2017 9:54:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 193269 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 03, 2017 9:54:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 194594 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 03, 2017 9:54:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 195894 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 03, 2017 9:54:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 197203 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 03, 2017 9:54:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 198526 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 03, 2017 9:54:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 199863 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 03, 2017 9:54:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 201203 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 03, 2017 9:54:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 202204 ms. Total solver calls (SAT/UNSAT): 67685(36660/31025)
Jun 03, 2017 9:55:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 203286 ms. Total solver calls (SAT/UNSAT): 68001(36818/31183)
Jun 03, 2017 9:55:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 204391 ms. Total solver calls (SAT/UNSAT): 68317(36976/31341)
Jun 03, 2017 9:55:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 205463 ms. Total solver calls (SAT/UNSAT): 68633(37134/31499)
Jun 03, 2017 9:55:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 206619 ms. Total solver calls (SAT/UNSAT): 68949(37292/31657)
Jun 03, 2017 9:55:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 207674 ms. Total solver calls (SAT/UNSAT): 69265(37450/31815)
Jun 03, 2017 9:55:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 208990 ms. Total solver calls (SAT/UNSAT): 69784(37687/32097)
Jun 03, 2017 9:55:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 210570 ms. Total solver calls (SAT/UNSAT): 70288(37924/32364)
Jun 03, 2017 9:55:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 211660 ms. Total solver calls (SAT/UNSAT): 70604(38082/32522)
Jun 03, 2017 9:55:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 212833 ms. Total solver calls (SAT/UNSAT): 70920(38240/32680)
Jun 03, 2017 9:55:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 213895 ms. Total solver calls (SAT/UNSAT): 71236(38398/32838)
Jun 03, 2017 9:55:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/592 took 215015 ms. Total solver calls (SAT/UNSAT): 71552(38556/32996)
Jun 03, 2017 9:55:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 216184 ms. Total solver calls (SAT/UNSAT): 71868(38714/33154)
Jun 03, 2017 9:55:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 217375 ms. Total solver calls (SAT/UNSAT): 72184(38872/33312)
Jun 03, 2017 9:55:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 218480 ms. Total solver calls (SAT/UNSAT): 72500(39030/33470)
Jun 03, 2017 9:55:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 219783 ms. Total solver calls (SAT/UNSAT): 72816(39188/33628)
Jun 03, 2017 9:55:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 220987 ms. Total solver calls (SAT/UNSAT): 73132(39346/33786)
Jun 03, 2017 9:55:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 222224 ms. Total solver calls (SAT/UNSAT): 73448(39504/33944)
Jun 03, 2017 9:55:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 223356 ms. Total solver calls (SAT/UNSAT): 73764(39662/34102)
Jun 03, 2017 9:55:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 224538 ms. Total solver calls (SAT/UNSAT): 74080(39820/34260)
Jun 03, 2017 9:55:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 225625 ms. Total solver calls (SAT/UNSAT): 74396(39978/34418)
Jun 03, 2017 9:55:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 226679 ms. Total solver calls (SAT/UNSAT): 74712(40136/34576)
Jun 03, 2017 9:55:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 227785 ms. Total solver calls (SAT/UNSAT): 75028(40294/34734)
Jun 03, 2017 9:55:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/592 took 229010 ms. Total solver calls (SAT/UNSAT): 75344(40452/34892)
Jun 03, 2017 9:55:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 230079 ms. Total solver calls (SAT/UNSAT): 75660(40610/35050)
Jun 03, 2017 9:55:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 231169 ms. Total solver calls (SAT/UNSAT): 75976(40768/35208)
Jun 03, 2017 9:55:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/592 took 232258 ms. Total solver calls (SAT/UNSAT): 76292(40926/35366)
Jun 03, 2017 9:55:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 233331 ms. Total solver calls (SAT/UNSAT): 76608(41084/35524)
Jun 03, 2017 9:55:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 234418 ms. Total solver calls (SAT/UNSAT): 76924(41242/35682)
Jun 03, 2017 9:55:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 235494 ms. Total solver calls (SAT/UNSAT): 77240(41400/35840)
Jun 03, 2017 9:55:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 236587 ms. Total solver calls (SAT/UNSAT): 77556(41558/35998)
Jun 03, 2017 9:55:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 237650 ms. Total solver calls (SAT/UNSAT): 77872(41716/36156)
Jun 03, 2017 9:55:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 238722 ms. Total solver calls (SAT/UNSAT): 78188(41874/36314)
Jun 03, 2017 9:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 239805 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 9:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 239805 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 9:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 9:55:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1152 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 9:55:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2326 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 9:55:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3474 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 9:55:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4631 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 9:55:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5790 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 9:55:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6955 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 9:55:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 7983 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 9:55:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9136 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 9:55:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10266 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 9:55:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11410 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 9:55:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12558 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 9:55:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13741 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 03, 2017 9:55:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14894 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 03, 2017 9:55:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16050 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 03, 2017 9:55:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 17232 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 03, 2017 9:55:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 18398 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 03, 2017 9:55:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 19583 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 03, 2017 9:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 20737 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 03, 2017 9:55:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 21915 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 03, 2017 9:56:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 23016 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 03, 2017 9:56:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 24115 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 03, 2017 9:56:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 25188 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 03, 2017 9:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 26323 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 03, 2017 9:56:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 27459 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 03, 2017 9:56:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 28643 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 03, 2017 9:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 29818 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 03, 2017 9:56:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 31002 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 03, 2017 9:56:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 32199 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 03, 2017 9:56:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 33357 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 03, 2017 9:56:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 34431 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 03, 2017 9:56:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 35527 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 03, 2017 9:56:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 36615 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 03, 2017 9:56:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 37723 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 03, 2017 9:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 38855 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 03, 2017 9:56:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 39984 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 03, 2017 9:56:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 41139 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 03, 2017 9:56:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 42318 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 03, 2017 9:56:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 43499 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 03, 2017 9:56:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 44683 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 03, 2017 9:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 45855 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 03, 2017 9:56:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 46955 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 03, 2017 9:56:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 48087 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 03, 2017 9:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 49206 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 03, 2017 9:56:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 50323 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 03, 2017 9:56:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 51444 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 03, 2017 9:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 52568 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 03, 2017 9:56:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 53698 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 03, 2017 9:56:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 54814 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 03, 2017 9:56:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 55918 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 03, 2017 9:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 57022 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 03, 2017 9:56:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 58126 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 03, 2017 9:56:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 59259 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 03, 2017 9:56:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 60548 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 03, 2017 9:56:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 61722 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 03, 2017 9:56:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 62870 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 03, 2017 9:56:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 64110 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 03, 2017 9:56:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 65261 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 03, 2017 9:56:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 66443 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 03, 2017 9:56:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 67611 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 03, 2017 9:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 68880 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 03, 2017 9:56:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 70086 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 03, 2017 9:56:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 71202 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 03, 2017 9:56:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 72262 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 03, 2017 9:56:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 73426 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 03, 2017 9:56:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 74594 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 03, 2017 9:56:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 75756 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 03, 2017 9:56:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 76902 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 03, 2017 9:56:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 78040 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 03, 2017 9:56:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 79173 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 03, 2017 9:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 80380 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 03, 2017 9:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 81502 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 03, 2017 9:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 82662 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 03, 2017 9:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 83810 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 03, 2017 9:57:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 84947 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 03, 2017 9:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 86091 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 03, 2017 9:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/592 took 87132 ms. Total solver calls (SAT/UNSAT): 33211(15256/17955)
Jun 03, 2017 9:57:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 88142 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 03, 2017 9:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 89191 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 03, 2017 9:57:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/592 took 90252 ms. Total solver calls (SAT/UNSAT): 34686(15756/18930)
Jun 03, 2017 9:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/592 took 91331 ms. Total solver calls (SAT/UNSAT): 35118(15996/19122)
Jun 03, 2017 9:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 92654 ms. Total solver calls (SAT/UNSAT): 35691(16264/19427)
Jun 03, 2017 9:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 93983 ms. Total solver calls (SAT/UNSAT): 36210(16546/19664)
Jun 03, 2017 9:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 95367 ms. Total solver calls (SAT/UNSAT): 36729(16828/19901)
Jun 03, 2017 9:57:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 96386 ms. Total solver calls (SAT/UNSAT): 37046(17002/20044)
Jun 03, 2017 9:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/592 took 97393 ms. Total solver calls (SAT/UNSAT): 37428(17210/20218)
Jun 03, 2017 9:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/592 took 98418 ms. Total solver calls (SAT/UNSAT): 37845(17430/20415)
Jun 03, 2017 9:57:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 99773 ms. Total solver calls (SAT/UNSAT): 38385(17718/20667)
Jun 03, 2017 9:57:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 101070 ms. Total solver calls (SAT/UNSAT): 38904(18000/20904)
Jun 03, 2017 9:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 102395 ms. Total solver calls (SAT/UNSAT): 39423(18282/21141)
Jun 03, 2017 9:57:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 103779 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 03, 2017 9:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 105090 ms. Total solver calls (SAT/UNSAT): 40461(18846/21615)
Jun 03, 2017 9:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 106417 ms. Total solver calls (SAT/UNSAT): 40980(19128/21852)
Jun 03, 2017 9:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 107779 ms. Total solver calls (SAT/UNSAT): 41499(19410/22089)
Jun 03, 2017 9:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 109094 ms. Total solver calls (SAT/UNSAT): 42018(19692/22326)
Jun 03, 2017 9:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 110436 ms. Total solver calls (SAT/UNSAT): 42537(19974/22563)
Jun 03, 2017 9:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 111794 ms. Total solver calls (SAT/UNSAT): 43056(20256/22800)
Jun 03, 2017 9:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 113122 ms. Total solver calls (SAT/UNSAT): 43575(20538/23037)
Jun 03, 2017 9:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 114449 ms. Total solver calls (SAT/UNSAT): 44064(20820/23244)
Jun 03, 2017 9:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 115735 ms. Total solver calls (SAT/UNSAT): 44568(21102/23466)
Jun 03, 2017 9:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 117065 ms. Total solver calls (SAT/UNSAT): 45072(21384/23688)
Jun 03, 2017 9:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 118352 ms. Total solver calls (SAT/UNSAT): 45546(21666/23880)
Jun 03, 2017 9:57:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 119652 ms. Total solver calls (SAT/UNSAT): 46020(21948/24072)
Jun 03, 2017 9:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 120942 ms. Total solver calls (SAT/UNSAT): 46524(22230/24294)
Jun 03, 2017 9:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 122253 ms. Total solver calls (SAT/UNSAT): 47043(22512/24531)
Jun 03, 2017 9:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 123565 ms. Total solver calls (SAT/UNSAT): 47562(22794/24768)
Jun 03, 2017 9:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 124870 ms. Total solver calls (SAT/UNSAT): 48081(23076/25005)
Jun 03, 2017 9:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 126182 ms. Total solver calls (SAT/UNSAT): 48600(23358/25242)
Jun 03, 2017 9:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 127474 ms. Total solver calls (SAT/UNSAT): 49104(23640/25464)
Jun 03, 2017 9:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 128800 ms. Total solver calls (SAT/UNSAT): 49578(23922/25656)
Jun 03, 2017 9:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 130119 ms. Total solver calls (SAT/UNSAT): 50052(24204/25848)
Jun 03, 2017 9:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 131432 ms. Total solver calls (SAT/UNSAT): 50526(24486/26040)
Jun 03, 2017 9:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 132769 ms. Total solver calls (SAT/UNSAT): 51000(24768/26232)
Jun 03, 2017 9:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 134055 ms. Total solver calls (SAT/UNSAT): 51474(25050/26424)
Jun 03, 2017 9:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 135370 ms. Total solver calls (SAT/UNSAT): 51948(25332/26616)
Jun 03, 2017 9:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 136658 ms. Total solver calls (SAT/UNSAT): 52422(25614/26808)
Jun 03, 2017 9:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 137945 ms. Total solver calls (SAT/UNSAT): 52896(25896/27000)
Jun 03, 2017 9:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 139261 ms. Total solver calls (SAT/UNSAT): 53370(26178/27192)
Jun 03, 2017 9:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 140564 ms. Total solver calls (SAT/UNSAT): 53844(26460/27384)
Jun 03, 2017 9:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 141850 ms. Total solver calls (SAT/UNSAT): 54318(26742/27576)
Jun 03, 2017 9:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 143134 ms. Total solver calls (SAT/UNSAT): 54792(27024/27768)
Jun 03, 2017 9:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 144499 ms. Total solver calls (SAT/UNSAT): 55311(27306/28005)
Jun 03, 2017 9:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 145844 ms. Total solver calls (SAT/UNSAT): 55830(27588/28242)
Jun 03, 2017 9:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 147194 ms. Total solver calls (SAT/UNSAT): 56349(27870/28479)
Jun 03, 2017 9:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 148520 ms. Total solver calls (SAT/UNSAT): 56853(28152/28701)
Jun 03, 2017 9:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 149830 ms. Total solver calls (SAT/UNSAT): 57327(28434/28893)
Jun 03, 2017 9:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 151132 ms. Total solver calls (SAT/UNSAT): 57801(28716/29085)
Jun 03, 2017 9:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/592 took 152447 ms. Total solver calls (SAT/UNSAT): 58275(28998/29277)
Jun 03, 2017 9:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 153764 ms. Total solver calls (SAT/UNSAT): 58749(29280/29469)
Jun 03, 2017 9:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 155073 ms. Total solver calls (SAT/UNSAT): 59223(29562/29661)
Jun 03, 2017 9:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 156407 ms. Total solver calls (SAT/UNSAT): 59742(29844/29898)
Jun 03, 2017 9:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 157723 ms. Total solver calls (SAT/UNSAT): 60261(30126/30135)
Jun 03, 2017 9:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 159030 ms. Total solver calls (SAT/UNSAT): 60780(30408/30372)
Jun 03, 2017 9:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 160398 ms. Total solver calls (SAT/UNSAT): 61299(30690/30609)
Jun 03, 2017 9:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 161728 ms. Total solver calls (SAT/UNSAT): 61818(30972/30846)
Jun 03, 2017 9:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 163038 ms. Total solver calls (SAT/UNSAT): 62337(31254/31083)
Jun 03, 2017 9:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 164360 ms. Total solver calls (SAT/UNSAT): 62856(31536/31320)
Jun 03, 2017 9:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 165675 ms. Total solver calls (SAT/UNSAT): 63375(31818/31557)
Jun 03, 2017 9:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 166982 ms. Total solver calls (SAT/UNSAT): 63894(32100/31794)
Jun 03, 2017 9:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 168318 ms. Total solver calls (SAT/UNSAT): 64413(32382/32031)
Jun 03, 2017 9:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 169610 ms. Total solver calls (SAT/UNSAT): 64932(32664/32268)
Jun 03, 2017 9:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 170913 ms. Total solver calls (SAT/UNSAT): 65451(32946/32505)
Jun 03, 2017 9:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 172224 ms. Total solver calls (SAT/UNSAT): 65970(33228/32742)
Jun 03, 2017 9:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 173543 ms. Total solver calls (SAT/UNSAT): 66489(33510/32979)
Jun 03, 2017 9:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 174839 ms. Total solver calls (SAT/UNSAT): 67008(33792/33216)
Jun 03, 2017 9:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 176156 ms. Total solver calls (SAT/UNSAT): 67527(34074/33453)
Jun 03, 2017 9:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 177523 ms. Total solver calls (SAT/UNSAT): 68001(34356/33645)
Jun 03, 2017 9:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 178862 ms. Total solver calls (SAT/UNSAT): 68475(34638/33837)
Jun 03, 2017 9:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 180233 ms. Total solver calls (SAT/UNSAT): 68949(34920/34029)
Jun 03, 2017 9:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/592 took 181587 ms. Total solver calls (SAT/UNSAT): 69438(35202/34236)
Jun 03, 2017 9:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/592 took 182878 ms. Total solver calls (SAT/UNSAT): 69957(35484/34473)
Jun 03, 2017 9:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 184198 ms. Total solver calls (SAT/UNSAT): 70446(35766/34680)
Jun 03, 2017 9:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 185523 ms. Total solver calls (SAT/UNSAT): 70920(36048/34872)
Jun 03, 2017 9:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 186885 ms. Total solver calls (SAT/UNSAT): 71394(36330/35064)
Jun 03, 2017 9:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 188242 ms. Total solver calls (SAT/UNSAT): 71868(36612/35256)
Jun 03, 2017 9:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 189575 ms. Total solver calls (SAT/UNSAT): 72342(36894/35448)
Jun 03, 2017 9:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 190921 ms. Total solver calls (SAT/UNSAT): 72816(37176/35640)
Jun 03, 2017 9:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 192271 ms. Total solver calls (SAT/UNSAT): 73290(37458/35832)
Jun 03, 2017 9:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 193600 ms. Total solver calls (SAT/UNSAT): 73764(37740/36024)
Jun 03, 2017 9:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 194956 ms. Total solver calls (SAT/UNSAT): 74238(38022/36216)
Jun 03, 2017 9:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 196316 ms. Total solver calls (SAT/UNSAT): 74712(38304/36408)
Jun 03, 2017 9:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 197644 ms. Total solver calls (SAT/UNSAT): 75186(38586/36600)
Jun 03, 2017 9:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 198968 ms. Total solver calls (SAT/UNSAT): 75660(38868/36792)
Jun 03, 2017 9:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 200300 ms. Total solver calls (SAT/UNSAT): 76134(39150/36984)
Jun 03, 2017 9:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 201617 ms. Total solver calls (SAT/UNSAT): 76608(39432/37176)
Jun 03, 2017 9:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 202944 ms. Total solver calls (SAT/UNSAT): 77082(39714/37368)
Jun 03, 2017 9:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 204257 ms. Total solver calls (SAT/UNSAT): 77556(39996/37560)
Jun 03, 2017 9:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 205587 ms. Total solver calls (SAT/UNSAT): 78030(40278/37752)
Jun 03, 2017 9:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 206904 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 9:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 206904 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 9:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 9:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1017 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 9:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 2990 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 03, 2017 9:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4023 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 03, 2017 9:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 6014 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 03, 2017 9:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 7995 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 03, 2017 9:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9002 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 03, 2017 9:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 10016 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 03, 2017 9:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 12047 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 03, 2017 9:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 13049 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 03, 2017 9:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 14977 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 03, 2017 9:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 16938 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 03, 2017 9:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 17941 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 03, 2017 9:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 19898 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 03, 2017 9:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 21819 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 03, 2017 9:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 23652 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 03, 2017 9:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/592) took 25480 ms. Total solver calls (SAT/UNSAT): 15067(15067/0)
Jun 03, 2017 9:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/592) took 27391 ms. Total solver calls (SAT/UNSAT): 16198(16198/0)
Jun 03, 2017 9:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 29305 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 03, 2017 9:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/592) took 31205 ms. Total solver calls (SAT/UNSAT): 18448(18448/0)
Jun 03, 2017 9:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/592) took 33077 ms. Total solver calls (SAT/UNSAT): 19567(19567/0)
Jun 03, 2017 9:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/592) took 34929 ms. Total solver calls (SAT/UNSAT): 20682(20682/0)
Jun 03, 2017 9:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 36782 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 03, 2017 9:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 38631 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 03, 2017 9:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 40455 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 03, 2017 9:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 42308 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 03, 2017 9:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 44133 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 03, 2017 9:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 45974 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 03, 2017 9:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 47780 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 03, 2017 9:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 49612 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 03, 2017 9:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 51389 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 03, 2017 9:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 53188 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 03, 2017 9:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 54943 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 03, 2017 10:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 56718 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 03, 2017 10:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 58408 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 03, 2017 10:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 60222 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 03, 2017 10:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 61894 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 03, 2017 10:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 63655 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 03, 2017 10:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 65310 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 03, 2017 10:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 67071 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 03, 2017 10:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 68820 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 03, 2017 10:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 70539 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 03, 2017 10:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 72249 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 03, 2017 10:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 73983 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 03, 2017 10:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 75694 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 03, 2017 10:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 77417 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 03, 2017 10:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 79130 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 03, 2017 10:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 80804 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 03, 2017 10:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 82508 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 03, 2017 10:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 84129 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 03, 2017 10:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 85857 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 03, 2017 10:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 87450 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 03, 2017 10:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 89106 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 03, 2017 10:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 90652 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 03, 2017 10:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 92342 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 03, 2017 10:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 93930 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 03, 2017 10:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 95568 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 03, 2017 10:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 97170 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 03, 2017 10:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 98810 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 03, 2017 10:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 100431 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 03, 2017 10:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 102068 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 03, 2017 10:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 103741 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 03, 2017 10:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 104942 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 03, 2017 10:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 106137 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 03, 2017 10:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 107748 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 03, 2017 10:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 109259 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 03, 2017 10:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 110900 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 03, 2017 10:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 112564 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 03, 2017 10:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 114237 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 03, 2017 10:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 115895 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 03, 2017 10:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 117519 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 03, 2017 10:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 119147 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 03, 2017 10:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 120784 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 03, 2017 10:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 122410 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 03, 2017 10:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 124005 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 03, 2017 10:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 125601 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 03, 2017 10:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 127177 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 03, 2017 10:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 128752 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 03, 2017 10:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 130312 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 03, 2017 10:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 131867 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 03, 2017 10:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 133426 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 03, 2017 10:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 134977 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 03, 2017 10:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 136513 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 03, 2017 10:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 137999 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 03, 2017 10:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 139486 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 03, 2017 10:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 141003 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 03, 2017 10:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 142489 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 03, 2017 10:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 144008 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 03, 2017 10:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 145495 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 03, 2017 10:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 146984 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 03, 2017 10:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 148485 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 03, 2017 10:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 149937 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 03, 2017 10:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 151382 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 03, 2017 10:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 152824 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 03, 2017 10:01:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 154279 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 03, 2017 10:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 155696 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 03, 2017 10:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 157101 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 03, 2017 10:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 158503 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 03, 2017 10:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 159869 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 03, 2017 10:01:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 161182 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 03, 2017 10:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 162505 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 03, 2017 10:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 163801 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 03, 2017 10:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 165114 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 03, 2017 10:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 166435 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 03, 2017 10:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 167738 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 03, 2017 10:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 169013 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 03, 2017 10:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 170290 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 03, 2017 10:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 171588 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 03, 2017 10:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 172872 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 03, 2017 10:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 174152 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 03, 2017 10:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 175414 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 03, 2017 10:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 176686 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 03, 2017 10:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 177936 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 03, 2017 10:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 179182 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 03, 2017 10:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 180415 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 03, 2017 10:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 181629 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 03, 2017 10:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 182926 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 03, 2017 10:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 184217 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 03, 2017 10:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 185454 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 03, 2017 10:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 186652 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 03, 2017 10:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 187854 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 03, 2017 10:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 189053 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 03, 2017 10:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 190222 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 03, 2017 10:02:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 191402 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 03, 2017 10:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 192555 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 03, 2017 10:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 193724 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 03, 2017 10:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 194882 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 03, 2017 10:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 196026 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 03, 2017 10:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 197152 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 03, 2017 10:02:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 198291 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 03, 2017 10:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/592) took 199359 ms. Total solver calls (SAT/UNSAT): 117558(117558/0)
Jun 03, 2017 10:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/592) took 200794 ms. Total solver calls (SAT/UNSAT): 118575(118575/0)
Jun 03, 2017 10:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/592) took 202220 ms. Total solver calls (SAT/UNSAT): 119583(119583/0)
Jun 03, 2017 10:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/592) took 203666 ms. Total solver calls (SAT/UNSAT): 120582(120582/0)
Jun 03, 2017 10:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/592) took 205130 ms. Total solver calls (SAT/UNSAT): 121572(121572/0)
Jun 03, 2017 10:02:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 206133 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 03, 2017 10:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 207631 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 03, 2017 10:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/592) took 208631 ms. Total solver calls (SAT/UNSAT): 123847(123847/0)
Jun 03, 2017 10:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/592) took 210120 ms. Total solver calls (SAT/UNSAT): 124807(124807/0)
Jun 03, 2017 10:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/592) took 211164 ms. Total solver calls (SAT/UNSAT): 125442(125442/0)
Jun 03, 2017 10:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(278/592) took 212637 ms. Total solver calls (SAT/UNSAT): 126387(126387/0)
Jun 03, 2017 10:02:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(280/592) took 213672 ms. Total solver calls (SAT/UNSAT): 127012(127012/0)
Jun 03, 2017 10:02:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/592) took 214688 ms. Total solver calls (SAT/UNSAT): 127633(127633/0)
Jun 03, 2017 10:02:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(285/592) took 216145 ms. Total solver calls (SAT/UNSAT): 128557(128557/0)
Jun 03, 2017 10:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/592) took 217563 ms. Total solver calls (SAT/UNSAT): 129472(129472/0)
Jun 03, 2017 10:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/592) took 218985 ms. Total solver calls (SAT/UNSAT): 130378(130378/0)
Jun 03, 2017 10:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(294/592) took 220364 ms. Total solver calls (SAT/UNSAT): 131275(131275/0)
Jun 03, 2017 10:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/592) took 221673 ms. Total solver calls (SAT/UNSAT): 132163(132163/0)
Jun 03, 2017 10:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(300/592) took 222996 ms. Total solver calls (SAT/UNSAT): 133042(133042/0)
Jun 03, 2017 10:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/592) took 224262 ms. Total solver calls (SAT/UNSAT): 133912(133912/0)
Jun 03, 2017 10:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/592) took 225549 ms. Total solver calls (SAT/UNSAT): 134773(134773/0)
Jun 03, 2017 10:02:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/592) took 226796 ms. Total solver calls (SAT/UNSAT): 135625(135625/0)
Jun 03, 2017 10:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(312/592) took 228005 ms. Total solver calls (SAT/UNSAT): 136468(136468/0)
Jun 03, 2017 10:02:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/592) took 229262 ms. Total solver calls (SAT/UNSAT): 137302(137302/0)
Jun 03, 2017 10:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/592) took 230617 ms. Total solver calls (SAT/UNSAT): 138127(138127/0)
Jun 03, 2017 10:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(321/592) took 231966 ms. Total solver calls (SAT/UNSAT): 138943(138943/0)
Jun 03, 2017 10:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/592) took 233358 ms. Total solver calls (SAT/UNSAT): 139750(139750/0)
Jun 03, 2017 10:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/592) took 234724 ms. Total solver calls (SAT/UNSAT): 140548(140548/0)
Jun 03, 2017 10:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/592) took 236056 ms. Total solver calls (SAT/UNSAT): 141337(141337/0)
Jun 03, 2017 10:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/592) took 237417 ms. Total solver calls (SAT/UNSAT): 142117(142117/0)
Jun 03, 2017 10:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/592) took 238778 ms. Total solver calls (SAT/UNSAT): 142888(142888/0)
Jun 03, 2017 10:03:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/592) took 240072 ms. Total solver calls (SAT/UNSAT): 143650(143650/0)
Jun 03, 2017 10:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/592) took 241279 ms. Total solver calls (SAT/UNSAT): 144403(144403/0)
Jun 03, 2017 10:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/592) took 242510 ms. Total solver calls (SAT/UNSAT): 145147(145147/0)
Jun 03, 2017 10:03:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(348/592) took 243700 ms. Total solver calls (SAT/UNSAT): 145882(145882/0)
Jun 03, 2017 10:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/592) took 244884 ms. Total solver calls (SAT/UNSAT): 146608(146608/0)
Jun 03, 2017 10:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/592) took 246070 ms. Total solver calls (SAT/UNSAT): 147325(147325/0)
Jun 03, 2017 10:03:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(357/592) took 247249 ms. Total solver calls (SAT/UNSAT): 148033(148033/0)
Jun 03, 2017 10:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/592) took 248389 ms. Total solver calls (SAT/UNSAT): 148732(148732/0)
Jun 03, 2017 10:03:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/592) took 249531 ms. Total solver calls (SAT/UNSAT): 149422(149422/0)
Jun 03, 2017 10:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/592) took 250661 ms. Total solver calls (SAT/UNSAT): 150103(150103/0)
Jun 03, 2017 10:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(369/592) took 251760 ms. Total solver calls (SAT/UNSAT): 150775(150775/0)
Jun 03, 2017 10:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(372/592) took 252872 ms. Total solver calls (SAT/UNSAT): 151438(151438/0)
Jun 03, 2017 10:03:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/592) took 253967 ms. Total solver calls (SAT/UNSAT): 152092(152092/0)
Jun 03, 2017 10:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(378/592) took 255042 ms. Total solver calls (SAT/UNSAT): 152737(152737/0)
Jun 03, 2017 10:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(381/592) took 256169 ms. Total solver calls (SAT/UNSAT): 153373(153373/0)
Jun 03, 2017 10:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(384/592) took 257251 ms. Total solver calls (SAT/UNSAT): 154000(154000/0)
Jun 03, 2017 10:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/592) took 258308 ms. Total solver calls (SAT/UNSAT): 154618(154618/0)
Jun 03, 2017 10:03:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/592) took 259428 ms. Total solver calls (SAT/UNSAT): 155227(155227/0)
Jun 03, 2017 10:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(393/592) took 260525 ms. Total solver calls (SAT/UNSAT): 155827(155827/0)
Jun 03, 2017 10:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(396/592) took 261544 ms. Total solver calls (SAT/UNSAT): 156418(156418/0)
Jun 03, 2017 10:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/592) took 262843 ms. Total solver calls (SAT/UNSAT): 157192(157192/0)
Jun 03, 2017 10:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(404/592) took 264103 ms. Total solver calls (SAT/UNSAT): 157950(157950/0)
Jun 03, 2017 10:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(408/592) took 265340 ms. Total solver calls (SAT/UNSAT): 158692(158692/0)
Jun 03, 2017 10:03:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/592) took 266611 ms. Total solver calls (SAT/UNSAT): 159418(159418/0)
Jun 03, 2017 10:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/592) took 267919 ms. Total solver calls (SAT/UNSAT): 160128(160128/0)
Jun 03, 2017 10:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/592) took 269166 ms. Total solver calls (SAT/UNSAT): 160822(160822/0)
Jun 03, 2017 10:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(424/592) took 270413 ms. Total solver calls (SAT/UNSAT): 161500(161500/0)
Jun 03, 2017 10:03:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(428/592) took 271608 ms. Total solver calls (SAT/UNSAT): 162162(162162/0)
Jun 03, 2017 10:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(432/592) took 272779 ms. Total solver calls (SAT/UNSAT): 162808(162808/0)
Jun 03, 2017 10:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/592) took 273914 ms. Total solver calls (SAT/UNSAT): 163438(163438/0)
Jun 03, 2017 10:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/592) took 275053 ms. Total solver calls (SAT/UNSAT): 164052(164052/0)
Jun 03, 2017 10:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(444/592) took 276120 ms. Total solver calls (SAT/UNSAT): 164650(164650/0)
Jun 03, 2017 10:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(448/592) took 277138 ms. Total solver calls (SAT/UNSAT): 165232(165232/0)
Jun 03, 2017 10:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(453/592) took 278292 ms. Total solver calls (SAT/UNSAT): 165937(165937/0)
Jun 03, 2017 10:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(458/592) took 279431 ms. Total solver calls (SAT/UNSAT): 166617(166617/0)
Jun 03, 2017 10:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(463/592) took 280589 ms. Total solver calls (SAT/UNSAT): 167272(167272/0)
Jun 03, 2017 10:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(468/592) took 281708 ms. Total solver calls (SAT/UNSAT): 167902(167902/0)
Jun 03, 2017 10:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(473/592) took 282775 ms. Total solver calls (SAT/UNSAT): 168507(168507/0)
Jun 03, 2017 10:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(479/592) took 283931 ms. Total solver calls (SAT/UNSAT): 169200(169200/0)
Jun 03, 2017 10:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(485/592) took 285038 ms. Total solver calls (SAT/UNSAT): 169857(169857/0)
Jun 03, 2017 10:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(491/592) took 286079 ms. Total solver calls (SAT/UNSAT): 170478(170478/0)
Jun 03, 2017 10:03:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(498/592) took 287223 ms. Total solver calls (SAT/UNSAT): 171157(171157/0)
Jun 03, 2017 10:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/592) took 288262 ms. Total solver calls (SAT/UNSAT): 171787(171787/0)
Jun 03, 2017 10:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(513/592) took 289369 ms. Total solver calls (SAT/UNSAT): 172447(172447/0)
Jun 03, 2017 10:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(521/592) took 290392 ms. Total solver calls (SAT/UNSAT): 173043(173043/0)
Jun 03, 2017 10:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(529/592) took 291422 ms. Total solver calls (SAT/UNSAT): 173575(173575/0)
Jun 03, 2017 10:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(539/592) took 292478 ms. Total solver calls (SAT/UNSAT): 174150(174150/0)
Jun 03, 2017 10:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(550/592) took 293498 ms. Total solver calls (SAT/UNSAT): 174667(174667/0)
Jun 03, 2017 10:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(565/592) took 294530 ms. Total solver calls (SAT/UNSAT): 175177(175177/0)
Jun 03, 2017 10:03:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 295281 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 10:03:59 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-20"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_PermAdmissibility-PT-20.tgz
mv S_PermAdmissibility-PT-20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PermAdmissibility-PT-20, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-blw7-149441652200437"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;