About the Execution of ITS-Tools for S_PermAdmissibility-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15946.510 | 3600000.00 | 4478248.00 | 2169.20 | [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-05, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-blw7-149441652200420
=====================================================================
--------------------
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-05-LTLFireability-0
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-1
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-10
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-11
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-12
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-13
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-14
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-15
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-2
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-3
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-4
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-5
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-6
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-7
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-8
FORMULA_NAME PermAdmissibility-COL-05-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1496477185403
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(F(X(F(X(((((("in4_7>=1")&&("c8>=1"))&&("in2_2>=1"))||((("in4_6>=1")&&("in2_3>=1"))&&("c8>=1")))||((("in4_7>=1")&&("c8>=1"))&&("in2_3>=1")))||((("in4_6>=1")&&("in2_2>=1"))&&("c8>=1")))))))))
Formula 0 simplified : !FXFX(("c8>=1" & "in2_2>=1" & "in4_7>=1") | ("c8>=1" & "in2_3>=1" & "in4_6>=1") | ("c8>=1" & "in2_3>=1" & "in4_7>=1") | ("c8>=1" & "in2_2>=1" & "in4_6>=1"))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 10
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= -10
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 8:06:26 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 8:06:26 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 106 ms
Jun 03, 2017 8:06:26 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 8:06:26 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 8:06:27 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 117 ms
Jun 03, 2017 8:06:27 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 20 ms
Jun 03, 2017 8:06:27 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 5 ms
Jun 03, 2017 8:06:27 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 123 ms
Jun 03, 2017 8:06:37 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 9314 ms
Jun 03, 2017 8:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 8:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 466 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 8:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1774 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 03, 2017 8:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3142 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 03, 2017 8:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4588 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 03, 2017 8:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 5945 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 03, 2017 8:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7233 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 03, 2017 8:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 8519 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 03, 2017 8:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 9828 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 03, 2017 8:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 11246 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 03, 2017 8:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 12609 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 03, 2017 8:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 13962 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 03, 2017 8:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 15353 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 03, 2017 8:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 16648 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 03, 2017 8:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 17938 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 03, 2017 8:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 19231 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 03, 2017 8:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 20508 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 03, 2017 8:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 21813 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 03, 2017 8:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 23107 ms. Total solver calls (SAT/UNSAT): 7072(4108/2964)
Jun 03, 2017 8:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 24407 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 03, 2017 8:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 25558 ms. Total solver calls (SAT/UNSAT): 7752(4503/3249)
Jun 03, 2017 8:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 26876 ms. Total solver calls (SAT/UNSAT): 8175(4740/3435)
Jun 03, 2017 8:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 28272 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 03, 2017 8:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 29474 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 03, 2017 8:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 30670 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 03, 2017 8:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 31943 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 03, 2017 8:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 33212 ms. Total solver calls (SAT/UNSAT): 10440(5925/4515)
Jun 03, 2017 8:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 34415 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 03, 2017 8:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 35620 ms. Total solver calls (SAT/UNSAT): 11346(6399/4947)
Jun 03, 2017 8:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 36837 ms. Total solver calls (SAT/UNSAT): 11799(6636/5163)
Jun 03, 2017 8:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 38040 ms. Total solver calls (SAT/UNSAT): 12252(6873/5379)
Jun 03, 2017 8:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 39252 ms. Total solver calls (SAT/UNSAT): 12705(7110/5595)
Jun 03, 2017 8:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 40460 ms. Total solver calls (SAT/UNSAT): 13158(7347/5811)
Jun 03, 2017 8:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 41661 ms. Total solver calls (SAT/UNSAT): 13611(7584/6027)
Jun 03, 2017 8:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 42859 ms. Total solver calls (SAT/UNSAT): 14064(7821/6243)
Jun 03, 2017 8:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 44081 ms. Total solver calls (SAT/UNSAT): 14502(8058/6444)
Jun 03, 2017 8:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 45335 ms. Total solver calls (SAT/UNSAT): 14925(8295/6630)
Jun 03, 2017 8:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 46588 ms. Total solver calls (SAT/UNSAT): 15348(8532/6816)
Jun 03, 2017 8:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 47782 ms. Total solver calls (SAT/UNSAT): 15801(8769/7032)
Jun 03, 2017 8:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 48988 ms. Total solver calls (SAT/UNSAT): 16254(9006/7248)
Jun 03, 2017 8:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 50181 ms. Total solver calls (SAT/UNSAT): 16707(9243/7464)
Jun 03, 2017 8:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/592 took 51190 ms. Total solver calls (SAT/UNSAT): 17009(9401/7608)
Jun 03, 2017 8:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/592 took 52568 ms. Total solver calls (SAT/UNSAT): 17462(9638/7824)
Jun 03, 2017 8:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/592 took 53821 ms. Total solver calls (SAT/UNSAT): 17885(9875/8010)
Jun 03, 2017 8:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 55023 ms. Total solver calls (SAT/UNSAT): 18293(10112/8181)
Jun 03, 2017 8:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/592 took 56256 ms. Total solver calls (SAT/UNSAT): 18701(10349/8352)
Jun 03, 2017 8:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/592 took 57458 ms. Total solver calls (SAT/UNSAT): 19109(10586/8523)
Jun 03, 2017 8:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/592 took 58660 ms. Total solver calls (SAT/UNSAT): 19517(10823/8694)
Jun 03, 2017 8:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/592 took 59873 ms. Total solver calls (SAT/UNSAT): 19925(11060/8865)
Jun 03, 2017 8:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/592 took 61096 ms. Total solver calls (SAT/UNSAT): 20333(11297/9036)
Jun 03, 2017 8:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/592 took 62303 ms. Total solver calls (SAT/UNSAT): 20741(11534/9207)
Jun 03, 2017 8:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/592 took 63513 ms. Total solver calls (SAT/UNSAT): 21149(11771/9378)
Jun 03, 2017 8:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/592 took 64719 ms. Total solver calls (SAT/UNSAT): 21557(12008/9549)
Jun 03, 2017 8:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/592 took 65927 ms. Total solver calls (SAT/UNSAT): 21965(12245/9720)
Jun 03, 2017 8:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/592 took 67146 ms. Total solver calls (SAT/UNSAT): 22418(12482/9936)
Jun 03, 2017 8:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/592 took 68362 ms. Total solver calls (SAT/UNSAT): 22841(12719/10122)
Jun 03, 2017 8:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/592 took 69641 ms. Total solver calls (SAT/UNSAT): 23264(12956/10308)
Jun 03, 2017 8:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/592 took 70850 ms. Total solver calls (SAT/UNSAT): 23672(13193/10479)
Jun 03, 2017 8:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/592 took 72068 ms. Total solver calls (SAT/UNSAT): 24080(13430/10650)
Jun 03, 2017 8:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/592 took 73285 ms. Total solver calls (SAT/UNSAT): 24488(13667/10821)
Jun 03, 2017 8:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/592 took 74510 ms. Total solver calls (SAT/UNSAT): 24896(13904/10992)
Jun 03, 2017 8:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/592 took 75818 ms. Total solver calls (SAT/UNSAT): 25304(14141/11163)
Jun 03, 2017 8:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/592 took 77052 ms. Total solver calls (SAT/UNSAT): 25712(14378/11334)
Jun 03, 2017 8:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/592 took 78301 ms. Total solver calls (SAT/UNSAT): 26120(14615/11505)
Jun 03, 2017 8:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/592 took 79509 ms. Total solver calls (SAT/UNSAT): 26495(14852/11643)
Jun 03, 2017 8:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/592 took 80539 ms. Total solver calls (SAT/UNSAT): 26804(15089/11715)
Jun 03, 2017 8:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/592 took 81573 ms. Total solver calls (SAT/UNSAT): 27113(15326/11787)
Jun 03, 2017 8:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/592 took 82938 ms. Total solver calls (SAT/UNSAT): 27525(15642/11883)
Jun 03, 2017 8:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/592 took 84022 ms. Total solver calls (SAT/UNSAT): 27834(15879/11955)
Jun 03, 2017 8:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/592 took 85037 ms. Total solver calls (SAT/UNSAT): 28143(16116/12027)
Jun 03, 2017 8:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/592 took 86071 ms. Total solver calls (SAT/UNSAT): 28452(16353/12099)
Jun 03, 2017 8:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 87255 ms. Total solver calls (SAT/UNSAT): 28761(16590/12171)
Jun 03, 2017 8:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/592 took 88559 ms. Total solver calls (SAT/UNSAT): 29173(16906/12267)
Jun 03, 2017 8:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 89730 ms. Total solver calls (SAT/UNSAT): 29482(17143/12339)
Jun 03, 2017 8:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 90872 ms. Total solver calls (SAT/UNSAT): 29791(17380/12411)
Jun 03, 2017 8:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 91955 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 03, 2017 8:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 93159 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 03, 2017 8:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 94203 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 03, 2017 8:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/592 took 95473 ms. Total solver calls (SAT/UNSAT): 31295(18407/12888)
Jun 03, 2017 8:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 96761 ms. Total solver calls (SAT/UNSAT): 31707(18723/12984)
Jun 03, 2017 8:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 98033 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 03, 2017 8:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 99087 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 03, 2017 8:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 100109 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 03, 2017 8:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/592 took 101385 ms. Total solver calls (SAT/UNSAT): 33149(19829/13320)
Jun 03, 2017 8:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/592 took 102406 ms. Total solver calls (SAT/UNSAT): 33533(20117/13416)
Jun 03, 2017 8:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/592 took 103651 ms. Total solver calls (SAT/UNSAT): 33935(20431/13504)
Jun 03, 2017 8:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/592 took 104708 ms. Total solver calls (SAT/UNSAT): 34313(20681/13632)
Jun 03, 2017 8:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/592 took 105720 ms. Total solver calls (SAT/UNSAT): 34722(20911/13811)
Jun 03, 2017 8:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/592 took 106802 ms. Total solver calls (SAT/UNSAT): 35118(21164/13954)
Jun 03, 2017 8:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 107807 ms. Total solver calls (SAT/UNSAT): 35518(21404/14114)
Jun 03, 2017 8:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 109034 ms. Total solver calls (SAT/UNSAT): 36037(21641/14396)
Jun 03, 2017 8:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 110254 ms. Total solver calls (SAT/UNSAT): 36556(21878/14678)
Jun 03, 2017 8:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 111476 ms. Total solver calls (SAT/UNSAT): 37046(22128/14918)
Jun 03, 2017 8:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/592 took 112575 ms. Total solver calls (SAT/UNSAT): 37464(22332/15132)
Jun 03, 2017 8:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/592 took 113592 ms. Total solver calls (SAT/UNSAT): 37802(22539/15263)
Jun 03, 2017 8:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 114633 ms. Total solver calls (SAT/UNSAT): 38212(22756/15456)
Jun 03, 2017 8:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 115851 ms. Total solver calls (SAT/UNSAT): 38731(22993/15738)
Jun 03, 2017 8:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 117065 ms. Total solver calls (SAT/UNSAT): 39250(23230/16020)
Jun 03, 2017 8:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 118426 ms. Total solver calls (SAT/UNSAT): 39769(23467/16302)
Jun 03, 2017 8:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 119644 ms. Total solver calls (SAT/UNSAT): 40288(23704/16584)
Jun 03, 2017 8:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 120853 ms. Total solver calls (SAT/UNSAT): 40807(23941/16866)
Jun 03, 2017 8:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 122070 ms. Total solver calls (SAT/UNSAT): 41326(24178/17148)
Jun 03, 2017 8:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 123280 ms. Total solver calls (SAT/UNSAT): 41845(24415/17430)
Jun 03, 2017 8:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 124492 ms. Total solver calls (SAT/UNSAT): 42364(24652/17712)
Jun 03, 2017 8:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 125706 ms. Total solver calls (SAT/UNSAT): 42883(24889/17994)
Jun 03, 2017 8:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 126928 ms. Total solver calls (SAT/UNSAT): 43402(25126/18276)
Jun 03, 2017 8:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 128278 ms. Total solver calls (SAT/UNSAT): 43906(25363/18543)
Jun 03, 2017 8:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/592 took 129315 ms. Total solver calls (SAT/UNSAT): 44222(25521/18701)
Jun 03, 2017 8:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/592 took 130706 ms. Total solver calls (SAT/UNSAT): 44741(25758/18983)
Jun 03, 2017 8:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/592 took 132230 ms. Total solver calls (SAT/UNSAT): 45230(25995/19235)
Jun 03, 2017 8:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 133332 ms. Total solver calls (SAT/UNSAT): 45546(26153/19393)
Jun 03, 2017 8:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 134340 ms. Total solver calls (SAT/UNSAT): 45862(26311/19551)
Jun 03, 2017 8:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 135348 ms. Total solver calls (SAT/UNSAT): 46178(26469/19709)
Jun 03, 2017 8:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/592 took 136578 ms. Total solver calls (SAT/UNSAT): 46697(26706/19991)
Jun 03, 2017 8:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 137786 ms. Total solver calls (SAT/UNSAT): 47216(26943/20273)
Jun 03, 2017 8:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/592 took 139125 ms. Total solver calls (SAT/UNSAT): 47735(27180/20555)
Jun 03, 2017 8:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/592 took 140522 ms. Total solver calls (SAT/UNSAT): 48254(27417/20837)
Jun 03, 2017 8:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 141755 ms. Total solver calls (SAT/UNSAT): 48773(27654/21119)
Jun 03, 2017 8:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/592 took 143155 ms. Total solver calls (SAT/UNSAT): 49262(27891/21371)
Jun 03, 2017 8:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 144646 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 03, 2017 8:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/592 took 146140 ms. Total solver calls (SAT/UNSAT): 50210(28365/21845)
Jun 03, 2017 8:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 147144 ms. Total solver calls (SAT/UNSAT): 50526(28523/22003)
Jun 03, 2017 8:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 148637 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 03, 2017 8:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 149736 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 03, 2017 8:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 151250 ms. Total solver calls (SAT/UNSAT): 51790(29155/22635)
Jun 03, 2017 8:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/592 took 152259 ms. Total solver calls (SAT/UNSAT): 52106(29313/22793)
Jun 03, 2017 8:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 153277 ms. Total solver calls (SAT/UNSAT): 52422(29471/22951)
Jun 03, 2017 8:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 154280 ms. Total solver calls (SAT/UNSAT): 52738(29629/23109)
Jun 03, 2017 8:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/592 took 155300 ms. Total solver calls (SAT/UNSAT): 53054(29787/23267)
Jun 03, 2017 8:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 156314 ms. Total solver calls (SAT/UNSAT): 53370(29945/23425)
Jun 03, 2017 8:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 157323 ms. Total solver calls (SAT/UNSAT): 53686(30103/23583)
Jun 03, 2017 8:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/592 took 158325 ms. Total solver calls (SAT/UNSAT): 54002(30261/23741)
Jun 03, 2017 8:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 159831 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 03, 2017 8:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/592 took 161235 ms. Total solver calls (SAT/UNSAT): 54965(30735/24230)
Jun 03, 2017 8:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/592 took 162581 ms. Total solver calls (SAT/UNSAT): 55484(30972/24512)
Jun 03, 2017 8:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/592 took 163822 ms. Total solver calls (SAT/UNSAT): 56003(31209/24794)
Jun 03, 2017 8:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/592 took 165063 ms. Total solver calls (SAT/UNSAT): 56522(31446/25076)
Jun 03, 2017 8:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/592 took 166488 ms. Total solver calls (SAT/UNSAT): 57011(31683/25328)
Jun 03, 2017 8:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 167529 ms. Total solver calls (SAT/UNSAT): 57327(31841/25486)
Jun 03, 2017 8:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 169031 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 03, 2017 8:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 170037 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 03, 2017 8:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 171537 ms. Total solver calls (SAT/UNSAT): 58591(32473/26118)
Jun 03, 2017 8:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 172673 ms. Total solver calls (SAT/UNSAT): 58907(32631/26276)
Jun 03, 2017 8:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 173687 ms. Total solver calls (SAT/UNSAT): 59223(32789/26434)
Jun 03, 2017 8:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 174935 ms. Total solver calls (SAT/UNSAT): 59742(33026/26716)
Jun 03, 2017 8:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 176194 ms. Total solver calls (SAT/UNSAT): 60261(33263/26998)
Jun 03, 2017 8:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 177560 ms. Total solver calls (SAT/UNSAT): 60780(33500/27280)
Jun 03, 2017 8:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 178808 ms. Total solver calls (SAT/UNSAT): 61299(33737/27562)
Jun 03, 2017 8:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 180055 ms. Total solver calls (SAT/UNSAT): 61818(33974/27844)
Jun 03, 2017 8:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 181295 ms. Total solver calls (SAT/UNSAT): 62337(34211/28126)
Jun 03, 2017 8:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 182593 ms. Total solver calls (SAT/UNSAT): 62856(34448/28408)
Jun 03, 2017 8:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 183958 ms. Total solver calls (SAT/UNSAT): 63375(34685/28690)
Jun 03, 2017 8:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 185208 ms. Total solver calls (SAT/UNSAT): 63894(34922/28972)
Jun 03, 2017 8:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 186454 ms. Total solver calls (SAT/UNSAT): 64413(35159/29254)
Jun 03, 2017 8:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 187799 ms. Total solver calls (SAT/UNSAT): 64932(35396/29536)
Jun 03, 2017 8:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 189040 ms. Total solver calls (SAT/UNSAT): 65451(35633/29818)
Jun 03, 2017 8:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 190279 ms. Total solver calls (SAT/UNSAT): 65970(35870/30100)
Jun 03, 2017 8:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 191509 ms. Total solver calls (SAT/UNSAT): 66489(36107/30382)
Jun 03, 2017 8:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 192739 ms. Total solver calls (SAT/UNSAT): 67008(36344/30664)
Jun 03, 2017 8:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 194084 ms. Total solver calls (SAT/UNSAT): 67527(36581/30946)
Jun 03, 2017 8:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 195184 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 03, 2017 8:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 196275 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 03, 2017 8:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 197290 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 03, 2017 8:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 198294 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 03, 2017 8:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 199419 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 03, 2017 8:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 200682 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 03, 2017 8:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 202040 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 03, 2017 8:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 203046 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 03, 2017 8:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 204196 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 03, 2017 8:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 205211 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 03, 2017 8:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 206254 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 03, 2017 8:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 207260 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 03, 2017 8:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 208269 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 03, 2017 8:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 209400 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 03, 2017 8:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 210414 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 03, 2017 8:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 211435 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 03, 2017 8:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 212438 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 03, 2017 8:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 213629 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 03, 2017 8:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 214713 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 03, 2017 8:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 215728 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 03, 2017 8:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 217250 ms. Total solver calls (SAT/UNSAT): 74712(40136/34576)
Jun 03, 2017 8:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 218283 ms. Total solver calls (SAT/UNSAT): 75028(40294/34734)
Jun 03, 2017 8:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 219792 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 03, 2017 8:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 220822 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 03, 2017 8:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 221825 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 03, 2017 8:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 223329 ms. Total solver calls (SAT/UNSAT): 76608(41084/35524)
Jun 03, 2017 8:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 224622 ms. Total solver calls (SAT/UNSAT): 76924(41242/35682)
Jun 03, 2017 8:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 225750 ms. Total solver calls (SAT/UNSAT): 77240(41400/35840)
Jun 03, 2017 8:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 226869 ms. Total solver calls (SAT/UNSAT): 77556(41558/35998)
Jun 03, 2017 8:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 227955 ms. Total solver calls (SAT/UNSAT): 77872(41716/36156)
Jun 03, 2017 8:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 229132 ms. Total solver calls (SAT/UNSAT): 78188(41874/36314)
Jun 03, 2017 8:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 230301 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 8:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 230301 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 8:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 8:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1122 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 8:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2219 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 8:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3405 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 8:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4564 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 8:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5695 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 8:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6808 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 8:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 7907 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 8:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9108 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 8:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10133 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 8:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11268 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 8:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12399 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 8:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13544 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 03, 2017 8:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14633 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 03, 2017 8:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 15750 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 03, 2017 8:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 16851 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 03, 2017 8:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 17953 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 03, 2017 8:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 19097 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 03, 2017 8:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 20203 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 03, 2017 8:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 21332 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 03, 2017 8:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 22433 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 03, 2017 8:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 23516 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 03, 2017 8:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 24637 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 03, 2017 8:10:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 25857 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 03, 2017 8:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 26963 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 03, 2017 8:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 28201 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 03, 2017 8:10:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 29419 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 03, 2017 8:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 30560 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 03, 2017 8:10:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 31706 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 03, 2017 8:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 32817 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 03, 2017 8:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 33870 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 03, 2017 8:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 34912 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 03, 2017 8:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 35955 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 03, 2017 8:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 37009 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 03, 2017 8:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 38077 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 03, 2017 8:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 39145 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 03, 2017 8:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 40360 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 03, 2017 8:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 41502 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 03, 2017 8:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 42631 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 03, 2017 8:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 43770 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 03, 2017 8:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 44882 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 03, 2017 8:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 46083 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 03, 2017 8:11:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 47146 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 03, 2017 8:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 48206 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 03, 2017 8:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 49260 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 03, 2017 8:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 50327 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 03, 2017 8:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 51454 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 03, 2017 8:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 52505 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 03, 2017 8:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 53568 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 03, 2017 8:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 54623 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 03, 2017 8:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 55673 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 03, 2017 8:11:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 56778 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 03, 2017 8:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 57973 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 03, 2017 8:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 59108 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 03, 2017 8:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 60161 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 03, 2017 8:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 61256 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 03, 2017 8:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 62320 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 03, 2017 8:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 63375 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 03, 2017 8:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 64443 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 03, 2017 8:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 65506 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 03, 2017 8:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 66575 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 03, 2017 8:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 67642 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 03, 2017 8:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 68697 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 03, 2017 8:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 69704 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 03, 2017 8:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 70800 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 03, 2017 8:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 71900 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 03, 2017 8:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 73000 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 03, 2017 8:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 74107 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 03, 2017 8:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 75202 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 03, 2017 8:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 76285 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 03, 2017 8:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 77430 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 03, 2017 8:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 78536 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 03, 2017 8:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 79634 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 03, 2017 8:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 80739 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 03, 2017 8:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 81823 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 03, 2017 8:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 83017 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 03, 2017 8:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/592 took 84026 ms. Total solver calls (SAT/UNSAT): 33149(15240/17909)
Jun 03, 2017 8:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 85114 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 03, 2017 8:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/592 took 86183 ms. Total solver calls (SAT/UNSAT): 34227(15536/18691)
Jun 03, 2017 8:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/592 took 87234 ms. Total solver calls (SAT/UNSAT): 34722(15776/18946)
Jun 03, 2017 8:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/592 took 88260 ms. Total solver calls (SAT/UNSAT): 35154(16016/19138)
Jun 03, 2017 8:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 89605 ms. Total solver calls (SAT/UNSAT): 35691(16264/19427)
Jun 03, 2017 8:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 90987 ms. Total solver calls (SAT/UNSAT): 36210(16546/19664)
Jun 03, 2017 8:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 92245 ms. Total solver calls (SAT/UNSAT): 36729(16828/19901)
Jun 03, 2017 8:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 93558 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 03, 2017 8:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 94632 ms. Total solver calls (SAT/UNSAT): 37680(17350/20330)
Jun 03, 2017 8:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 95886 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 03, 2017 8:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 97150 ms. Total solver calls (SAT/UNSAT): 38731(17906/20825)
Jun 03, 2017 8:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 98524 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 03, 2017 8:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 99822 ms. Total solver calls (SAT/UNSAT): 39769(18470/21299)
Jun 03, 2017 8:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 101078 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 03, 2017 8:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 102340 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 03, 2017 8:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 103590 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 03, 2017 8:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 104999 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 03, 2017 8:12:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 106264 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 03, 2017 8:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 107772 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 03, 2017 8:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 109090 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 03, 2017 8:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 110211 ms. Total solver calls (SAT/UNSAT): 43748(20632/23116)
Jun 03, 2017 8:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/592 took 111565 ms. Total solver calls (SAT/UNSAT): 44222(20914/23308)
Jun 03, 2017 8:12:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/592 took 112838 ms. Total solver calls (SAT/UNSAT): 44741(21196/23545)
Jun 03, 2017 8:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/592 took 114076 ms. Total solver calls (SAT/UNSAT): 45230(21478/23752)
Jun 03, 2017 8:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 115395 ms. Total solver calls (SAT/UNSAT): 45704(21760/23944)
Jun 03, 2017 8:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 116652 ms. Total solver calls (SAT/UNSAT): 46178(22042/24136)
Jun 03, 2017 8:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/592 took 118061 ms. Total solver calls (SAT/UNSAT): 46697(22324/24373)
Jun 03, 2017 8:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 119358 ms. Total solver calls (SAT/UNSAT): 47216(22606/24610)
Jun 03, 2017 8:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/592 took 120749 ms. Total solver calls (SAT/UNSAT): 47735(22888/24847)
Jun 03, 2017 8:12:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/592 took 122036 ms. Total solver calls (SAT/UNSAT): 48254(23170/25084)
Jun 03, 2017 8:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 123282 ms. Total solver calls (SAT/UNSAT): 48773(23452/25321)
Jun 03, 2017 8:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/592 took 124513 ms. Total solver calls (SAT/UNSAT): 49262(23734/25528)
Jun 03, 2017 8:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 125745 ms. Total solver calls (SAT/UNSAT): 49736(24016/25720)
Jun 03, 2017 8:12:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/592 took 127079 ms. Total solver calls (SAT/UNSAT): 50210(24298/25912)
Jun 03, 2017 8:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 128301 ms. Total solver calls (SAT/UNSAT): 50684(24580/26104)
Jun 03, 2017 8:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/592 took 129533 ms. Total solver calls (SAT/UNSAT): 51158(24862/26296)
Jun 03, 2017 8:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 130717 ms. Total solver calls (SAT/UNSAT): 51632(25144/26488)
Jun 03, 2017 8:12:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/592 took 132213 ms. Total solver calls (SAT/UNSAT): 52106(25426/26680)
Jun 03, 2017 8:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 133512 ms. Total solver calls (SAT/UNSAT): 52580(25708/26872)
Jun 03, 2017 8:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/592 took 134823 ms. Total solver calls (SAT/UNSAT): 53054(25990/27064)
Jun 03, 2017 8:12:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 135872 ms. Total solver calls (SAT/UNSAT): 53370(26178/27192)
Jun 03, 2017 8:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 136886 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 03, 2017 8:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 138134 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 03, 2017 8:12:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 139555 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 03, 2017 8:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 140911 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 03, 2017 8:12:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/592 took 141946 ms. Total solver calls (SAT/UNSAT): 55484(27400/28084)
Jun 03, 2017 8:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/592 took 143236 ms. Total solver calls (SAT/UNSAT): 56003(27682/28321)
Jun 03, 2017 8:12:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/592 took 144484 ms. Total solver calls (SAT/UNSAT): 56522(27964/28558)
Jun 03, 2017 8:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/592 took 145734 ms. Total solver calls (SAT/UNSAT): 57011(28246/28765)
Jun 03, 2017 8:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 147158 ms. Total solver calls (SAT/UNSAT): 57485(28528/28957)
Jun 03, 2017 8:12:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/592 took 148382 ms. Total solver calls (SAT/UNSAT): 57959(28810/29149)
Jun 03, 2017 8:12:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 149602 ms. Total solver calls (SAT/UNSAT): 58433(29092/29341)
Jun 03, 2017 8:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 150849 ms. Total solver calls (SAT/UNSAT): 58907(29374/29533)
Jun 03, 2017 8:12:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/592 took 152166 ms. Total solver calls (SAT/UNSAT): 59396(29656/29740)
Jun 03, 2017 8:13:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/592 took 153429 ms. Total solver calls (SAT/UNSAT): 59915(29938/29977)
Jun 03, 2017 8:13:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/592 took 154696 ms. Total solver calls (SAT/UNSAT): 60434(30220/30214)
Jun 03, 2017 8:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/592 took 155966 ms. Total solver calls (SAT/UNSAT): 60953(30502/30451)
Jun 03, 2017 8:13:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/592 took 157367 ms. Total solver calls (SAT/UNSAT): 61472(30784/30688)
Jun 03, 2017 8:13:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/592 took 158635 ms. Total solver calls (SAT/UNSAT): 61991(31066/30925)
Jun 03, 2017 8:13:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/592 took 159904 ms. Total solver calls (SAT/UNSAT): 62510(31348/31162)
Jun 03, 2017 8:13:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/592 took 161296 ms. Total solver calls (SAT/UNSAT): 63029(31630/31399)
Jun 03, 2017 8:13:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/592 took 162641 ms. Total solver calls (SAT/UNSAT): 63548(31912/31636)
Jun 03, 2017 8:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/592 took 163901 ms. Total solver calls (SAT/UNSAT): 64067(32194/31873)
Jun 03, 2017 8:13:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/592 took 165159 ms. Total solver calls (SAT/UNSAT): 64586(32476/32110)
Jun 03, 2017 8:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/592 took 166400 ms. Total solver calls (SAT/UNSAT): 65105(32758/32347)
Jun 03, 2017 8:13:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/592 took 167623 ms. Total solver calls (SAT/UNSAT): 65624(33040/32584)
Jun 03, 2017 8:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/592 took 168886 ms. Total solver calls (SAT/UNSAT): 66143(33322/32821)
Jun 03, 2017 8:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/592 took 170148 ms. Total solver calls (SAT/UNSAT): 66662(33604/33058)
Jun 03, 2017 8:13:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/592 took 171502 ms. Total solver calls (SAT/UNSAT): 67181(33886/33295)
Jun 03, 2017 8:13:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 172870 ms. Total solver calls (SAT/UNSAT): 67685(34168/33517)
Jun 03, 2017 8:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 174133 ms. Total solver calls (SAT/UNSAT): 68159(34450/33709)
Jun 03, 2017 8:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 175412 ms. Total solver calls (SAT/UNSAT): 68633(34732/33901)
Jun 03, 2017 8:13:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 176765 ms. Total solver calls (SAT/UNSAT): 69107(35014/34093)
Jun 03, 2017 8:13:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 178015 ms. Total solver calls (SAT/UNSAT): 69611(35296/34315)
Jun 03, 2017 8:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 179244 ms. Total solver calls (SAT/UNSAT): 70130(35578/34552)
Jun 03, 2017 8:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 180509 ms. Total solver calls (SAT/UNSAT): 70604(35860/34744)
Jun 03, 2017 8:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 181965 ms. Total solver calls (SAT/UNSAT): 71078(36142/34936)
Jun 03, 2017 8:13:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/592 took 183252 ms. Total solver calls (SAT/UNSAT): 71552(36424/35128)
Jun 03, 2017 8:13:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 184515 ms. Total solver calls (SAT/UNSAT): 72026(36706/35320)
Jun 03, 2017 8:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 185786 ms. Total solver calls (SAT/UNSAT): 72500(36988/35512)
Jun 03, 2017 8:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 186794 ms. Total solver calls (SAT/UNSAT): 72816(37176/35640)
Jun 03, 2017 8:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 188293 ms. Total solver calls (SAT/UNSAT): 73290(37458/35832)
Jun 03, 2017 8:13:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 189586 ms. Total solver calls (SAT/UNSAT): 73764(37740/36024)
Jun 03, 2017 8:13:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 190974 ms. Total solver calls (SAT/UNSAT): 74238(38022/36216)
Jun 03, 2017 8:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 192059 ms. Total solver calls (SAT/UNSAT): 74554(38210/36344)
Jun 03, 2017 8:13:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 193500 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 03, 2017 8:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 194773 ms. Total solver calls (SAT/UNSAT): 75502(38774/36728)
Jun 03, 2017 8:13:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 196048 ms. Total solver calls (SAT/UNSAT): 75976(39056/36920)
Jun 03, 2017 8:13:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 197460 ms. Total solver calls (SAT/UNSAT): 76450(39338/37112)
Jun 03, 2017 8:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 198711 ms. Total solver calls (SAT/UNSAT): 76924(39620/37304)
Jun 03, 2017 8:13:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 200027 ms. Total solver calls (SAT/UNSAT): 77398(39902/37496)
Jun 03, 2017 8:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 201454 ms. Total solver calls (SAT/UNSAT): 77872(40184/37688)
Jun 03, 2017 8:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 202758 ms. Total solver calls (SAT/UNSAT): 78346(40466/37880)
Jun 03, 2017 8:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 203242 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 8:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 8:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 941 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 8:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 2821 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 03, 2017 8:13:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 4728 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 03, 2017 8:13:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 6738 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 03, 2017 8:13:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 8716 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 03, 2017 8:14:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 10574 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 03, 2017 8:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 12428 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 03, 2017 8:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 14238 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 03, 2017 8:14:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 16073 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 03, 2017 8:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 17961 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 03, 2017 8:14:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 19001 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 03, 2017 8:14:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 20945 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 03, 2017 8:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 22726 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 03, 2017 8:14:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/592) took 24527 ms. Total solver calls (SAT/UNSAT): 15067(15067/0)
Jun 03, 2017 8:14:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/592) took 26311 ms. Total solver calls (SAT/UNSAT): 16198(16198/0)
Jun 03, 2017 8:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 28111 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 03, 2017 8:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/592) took 29889 ms. Total solver calls (SAT/UNSAT): 18448(18448/0)
Jun 03, 2017 8:14:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/592) took 31722 ms. Total solver calls (SAT/UNSAT): 19567(19567/0)
Jun 03, 2017 8:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/592) took 33572 ms. Total solver calls (SAT/UNSAT): 20682(20682/0)
Jun 03, 2017 8:14:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 35337 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 03, 2017 8:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 37174 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 03, 2017 8:14:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 39012 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 03, 2017 8:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 40977 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 03, 2017 8:14:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 42718 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 03, 2017 8:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 44485 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 03, 2017 8:14:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 46397 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 03, 2017 8:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 48369 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 03, 2017 8:14:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 50303 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 03, 2017 8:14:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 52013 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 03, 2017 8:14:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 53813 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 03, 2017 8:14:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 55452 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 03, 2017 8:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 57040 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 03, 2017 8:14:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 58830 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 03, 2017 8:14:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 60429 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 03, 2017 8:14:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 62093 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 03, 2017 8:14:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 63813 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 03, 2017 8:14:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 65750 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 03, 2017 8:14:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 67641 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 03, 2017 8:15:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 69385 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 03, 2017 8:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 71024 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 03, 2017 8:15:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 72112 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 03, 2017 8:15:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 73767 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 03, 2017 8:15:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 75420 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 03, 2017 8:15:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 77072 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 03, 2017 8:15:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 78710 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 03, 2017 8:15:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 80310 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 03, 2017 8:15:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 81888 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 03, 2017 8:15:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 83461 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 03, 2017 8:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 85044 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 03, 2017 8:15:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 86611 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 03, 2017 8:15:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 88170 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 03, 2017 8:15:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 89748 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 03, 2017 8:15:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 91320 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 03, 2017 8:15:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 92997 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 03, 2017 8:15:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 94824 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 03, 2017 8:15:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 96394 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 03, 2017 8:15:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 98019 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 03, 2017 8:15:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 99646 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 03, 2017 8:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 101187 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 03, 2017 8:15:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 102722 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 03, 2017 8:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 104436 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 03, 2017 8:15:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 105948 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 03, 2017 8:15:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 107437 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 03, 2017 8:15:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 109146 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 03, 2017 8:15:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 110757 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 03, 2017 8:15:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 112303 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 03, 2017 8:15:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 113814 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 03, 2017 8:15:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 115341 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 03, 2017 8:15:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 116994 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 03, 2017 8:15:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 118802 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 03, 2017 8:15:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 120342 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 03, 2017 8:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/592) took 121827 ms. Total solver calls (SAT/UNSAT): 73602(73602/0)
Jun 03, 2017 8:15:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/592) took 123317 ms. Total solver calls (SAT/UNSAT): 74503(74503/0)
Jun 03, 2017 8:15:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 124925 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 03, 2017 8:15:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 126542 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 03, 2017 8:15:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/592) took 127979 ms. Total solver calls (SAT/UNSAT): 77182(77182/0)
Jun 03, 2017 8:16:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/592) took 129534 ms. Total solver calls (SAT/UNSAT): 78067(78067/0)
Jun 03, 2017 8:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/592) took 131337 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Jun 03, 2017 8:16:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(154/592) took 132795 ms. Total solver calls (SAT/UNSAT): 79825(79825/0)
Jun 03, 2017 8:16:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/592) took 134179 ms. Total solver calls (SAT/UNSAT): 80698(80698/0)
Jun 03, 2017 8:16:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/592) took 135571 ms. Total solver calls (SAT/UNSAT): 81567(81567/0)
Jun 03, 2017 8:16:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(160/592) took 136984 ms. Total solver calls (SAT/UNSAT): 82432(82432/0)
Jun 03, 2017 8:16:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(162/592) took 138387 ms. Total solver calls (SAT/UNSAT): 83293(83293/0)
Jun 03, 2017 8:16:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/592) took 139790 ms. Total solver calls (SAT/UNSAT): 84150(84150/0)
Jun 03, 2017 8:16:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/592) took 141178 ms. Total solver calls (SAT/UNSAT): 85003(85003/0)
Jun 03, 2017 8:16:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/592) took 142578 ms. Total solver calls (SAT/UNSAT): 85852(85852/0)
Jun 03, 2017 8:16:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/592) took 143957 ms. Total solver calls (SAT/UNSAT): 86697(86697/0)
Jun 03, 2017 8:16:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/592) took 145348 ms. Total solver calls (SAT/UNSAT): 87538(87538/0)
Jun 03, 2017 8:16:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 146834 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 03, 2017 8:16:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/592) took 148459 ms. Total solver calls (SAT/UNSAT): 89208(89208/0)
Jun 03, 2017 8:16:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/592) took 149798 ms. Total solver calls (SAT/UNSAT): 90037(90037/0)
Jun 03, 2017 8:16:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/592) took 151153 ms. Total solver calls (SAT/UNSAT): 90862(90862/0)
Jun 03, 2017 8:16:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/592) took 152476 ms. Total solver calls (SAT/UNSAT): 91683(91683/0)
Jun 03, 2017 8:16:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/592) took 153829 ms. Total solver calls (SAT/UNSAT): 92500(92500/0)
Jun 03, 2017 8:16:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/592) took 155219 ms. Total solver calls (SAT/UNSAT): 93313(93313/0)
Jun 03, 2017 8:16:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/592) took 156491 ms. Total solver calls (SAT/UNSAT): 94122(94122/0)
Jun 03, 2017 8:16:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/592) took 157852 ms. Total solver calls (SAT/UNSAT): 94927(94927/0)
Jun 03, 2017 8:16:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/592) took 159094 ms. Total solver calls (SAT/UNSAT): 95728(95728/0)
Jun 03, 2017 8:16:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/592) took 160336 ms. Total solver calls (SAT/UNSAT): 96525(96525/0)
Jun 03, 2017 8:16:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/592) took 161536 ms. Total solver calls (SAT/UNSAT): 97318(97318/0)
Jun 03, 2017 8:16:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/592) took 162738 ms. Total solver calls (SAT/UNSAT): 98107(98107/0)
Jun 03, 2017 8:16:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/592) took 163930 ms. Total solver calls (SAT/UNSAT): 98892(98892/0)
Jun 03, 2017 8:16:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/592) took 165136 ms. Total solver calls (SAT/UNSAT): 99673(99673/0)
Jun 03, 2017 8:16:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/592) took 166327 ms. Total solver calls (SAT/UNSAT): 100450(100450/0)
Jun 03, 2017 8:16:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/592) took 167505 ms. Total solver calls (SAT/UNSAT): 101223(101223/0)
Jun 03, 2017 8:16:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/592) took 168674 ms. Total solver calls (SAT/UNSAT): 101992(101992/0)
Jun 03, 2017 8:16:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/592) took 169902 ms. Total solver calls (SAT/UNSAT): 102757(102757/0)
Jun 03, 2017 8:16:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/592) took 171102 ms. Total solver calls (SAT/UNSAT): 103518(103518/0)
Jun 03, 2017 8:16:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/592) took 172385 ms. Total solver calls (SAT/UNSAT): 104275(104275/0)
Jun 03, 2017 8:16:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/592) took 173564 ms. Total solver calls (SAT/UNSAT): 105028(105028/0)
Jun 03, 2017 8:16:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/592) took 174711 ms. Total solver calls (SAT/UNSAT): 105777(105777/0)
Jun 03, 2017 8:16:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/592) took 176082 ms. Total solver calls (SAT/UNSAT): 106522(106522/0)
Jun 03, 2017 8:16:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/592) took 177250 ms. Total solver calls (SAT/UNSAT): 107263(107263/0)
Jun 03, 2017 8:16:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/592) took 178426 ms. Total solver calls (SAT/UNSAT): 108000(108000/0)
Jun 03, 2017 8:16:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/592) took 179584 ms. Total solver calls (SAT/UNSAT): 108733(108733/0)
Jun 03, 2017 8:16:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/592) took 180796 ms. Total solver calls (SAT/UNSAT): 109462(109462/0)
Jun 03, 2017 8:16:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/592) took 181864 ms. Total solver calls (SAT/UNSAT): 110187(110187/0)
Jun 03, 2017 8:16:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/592) took 183098 ms. Total solver calls (SAT/UNSAT): 110908(110908/0)
Jun 03, 2017 8:16:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/592) took 184193 ms. Total solver calls (SAT/UNSAT): 111625(111625/0)
Jun 03, 2017 8:16:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/592) took 185272 ms. Total solver calls (SAT/UNSAT): 112338(112338/0)
Jun 03, 2017 8:16:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/592) took 186412 ms. Total solver calls (SAT/UNSAT): 113047(113047/0)
Jun 03, 2017 8:16:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/592) took 187499 ms. Total solver calls (SAT/UNSAT): 113752(113752/0)
Jun 03, 2017 8:16:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/592) took 188586 ms. Total solver calls (SAT/UNSAT): 114453(114453/0)
Jun 03, 2017 8:17:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(244/592) took 189642 ms. Total solver calls (SAT/UNSAT): 115150(115150/0)
Jun 03, 2017 8:17:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/592) took 190695 ms. Total solver calls (SAT/UNSAT): 115843(115843/0)
Jun 03, 2017 8:17:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/592) took 191753 ms. Total solver calls (SAT/UNSAT): 116532(116532/0)
Jun 03, 2017 8:17:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/592) took 192779 ms. Total solver calls (SAT/UNSAT): 117217(117217/0)
Jun 03, 2017 8:17:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/592) took 194166 ms. Total solver calls (SAT/UNSAT): 118237(118237/0)
Jun 03, 2017 8:17:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/592) took 195531 ms. Total solver calls (SAT/UNSAT): 119248(119248/0)
Jun 03, 2017 8:17:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(258/592) took 196568 ms. Total solver calls (SAT/UNSAT): 119917(119917/0)
Jun 03, 2017 8:17:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(261/592) took 197946 ms. Total solver calls (SAT/UNSAT): 120913(120913/0)
Jun 03, 2017 8:17:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/592) took 198962 ms. Total solver calls (SAT/UNSAT): 121572(121572/0)
Jun 03, 2017 8:17:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(266/592) took 200405 ms. Total solver calls (SAT/UNSAT): 122553(122553/0)
Jun 03, 2017 8:17:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 201540 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 03, 2017 8:17:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/592) took 202553 ms. Total solver calls (SAT/UNSAT): 123847(123847/0)
Jun 03, 2017 8:17:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/592) took 203888 ms. Total solver calls (SAT/UNSAT): 124807(124807/0)
Jun 03, 2017 8:17:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 205256 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 03, 2017 8:17:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 206614 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 03, 2017 8:17:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/592) took 208035 ms. Total solver calls (SAT/UNSAT): 127633(127633/0)
Jun 03, 2017 8:17:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(285/592) took 209368 ms. Total solver calls (SAT/UNSAT): 128557(128557/0)
Jun 03, 2017 8:17:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/592) took 210677 ms. Total solver calls (SAT/UNSAT): 129472(129472/0)
Jun 03, 2017 8:17:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/592) took 212114 ms. Total solver calls (SAT/UNSAT): 130378(130378/0)
Jun 03, 2017 8:17:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(294/592) took 213399 ms. Total solver calls (SAT/UNSAT): 131275(131275/0)
Jun 03, 2017 8:17:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/592) took 214652 ms. Total solver calls (SAT/UNSAT): 132163(132163/0)
Jun 03, 2017 8:17:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(300/592) took 215893 ms. Total solver calls (SAT/UNSAT): 133042(133042/0)
Jun 03, 2017 8:17:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/592) took 217108 ms. Total solver calls (SAT/UNSAT): 133912(133912/0)
Jun 03, 2017 8:17:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/592) took 218326 ms. Total solver calls (SAT/UNSAT): 134773(134773/0)
Jun 03, 2017 8:17:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/592) took 219511 ms. Total solver calls (SAT/UNSAT): 135625(135625/0)
Jun 03, 2017 8:17:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(312/592) took 220678 ms. Total solver calls (SAT/UNSAT): 136468(136468/0)
Jun 03, 2017 8:17:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/592) took 221873 ms. Total solver calls (SAT/UNSAT): 137302(137302/0)
Jun 03, 2017 8:17:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/592) took 223151 ms. Total solver calls (SAT/UNSAT): 138127(138127/0)
Jun 03, 2017 8:17:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(321/592) took 224417 ms. Total solver calls (SAT/UNSAT): 138943(138943/0)
Jun 03, 2017 8:17:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/592) took 225710 ms. Total solver calls (SAT/UNSAT): 139750(139750/0)
Jun 03, 2017 8:17:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/592) took 227100 ms. Total solver calls (SAT/UNSAT): 140548(140548/0)
Jun 03, 2017 8:17:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/592) took 228337 ms. Total solver calls (SAT/UNSAT): 141337(141337/0)
Jun 03, 2017 8:17:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/592) took 229593 ms. Total solver calls (SAT/UNSAT): 142117(142117/0)
Jun 03, 2017 8:17:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/592) took 230828 ms. Total solver calls (SAT/UNSAT): 142888(142888/0)
Jun 03, 2017 8:17:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/592) took 232005 ms. Total solver calls (SAT/UNSAT): 143650(143650/0)
Jun 03, 2017 8:17:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/592) took 233096 ms. Total solver calls (SAT/UNSAT): 144403(144403/0)
Jun 03, 2017 8:17:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/592) took 234241 ms. Total solver calls (SAT/UNSAT): 145147(145147/0)
Jun 03, 2017 8:17:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(348/592) took 235370 ms. Total solver calls (SAT/UNSAT): 145882(145882/0)
Jun 03, 2017 8:17:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/592) took 236584 ms. Total solver calls (SAT/UNSAT): 146608(146608/0)
Jun 03, 2017 8:17:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/592) took 237692 ms. Total solver calls (SAT/UNSAT): 147325(147325/0)
Jun 03, 2017 8:17:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(357/592) took 238795 ms. Total solver calls (SAT/UNSAT): 148033(148033/0)
Jun 03, 2017 8:17:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/592) took 239856 ms. Total solver calls (SAT/UNSAT): 148732(148732/0)
Jun 03, 2017 8:17:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/592) took 240946 ms. Total solver calls (SAT/UNSAT): 149422(149422/0)
Jun 03, 2017 8:17:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/592) took 241998 ms. Total solver calls (SAT/UNSAT): 150103(150103/0)
Jun 03, 2017 8:17:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(369/592) took 243027 ms. Total solver calls (SAT/UNSAT): 150775(150775/0)
Jun 03, 2017 8:17:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(372/592) took 244097 ms. Total solver calls (SAT/UNSAT): 151438(151438/0)
Jun 03, 2017 8:17:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/592) took 245126 ms. Total solver calls (SAT/UNSAT): 152092(152092/0)
Jun 03, 2017 8:17:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/592) took 246439 ms. Total solver calls (SAT/UNSAT): 152950(152950/0)
Jun 03, 2017 8:17:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/592) took 247510 ms. Total solver calls (SAT/UNSAT): 153583(153583/0)
Jun 03, 2017 8:17:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/592) took 248782 ms. Total solver calls (SAT/UNSAT): 154413(154413/0)
Jun 03, 2017 8:18:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/592) took 249826 ms. Total solver calls (SAT/UNSAT): 155025(155025/0)
Jun 03, 2017 8:18:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(392/592) took 250857 ms. Total solver calls (SAT/UNSAT): 155628(155628/0)
Jun 03, 2017 8:18:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(396/592) took 252098 ms. Total solver calls (SAT/UNSAT): 156418(156418/0)
Jun 03, 2017 8:18:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/592) took 253262 ms. Total solver calls (SAT/UNSAT): 157192(157192/0)
Jun 03, 2017 8:18:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(404/592) took 254458 ms. Total solver calls (SAT/UNSAT): 157950(157950/0)
Jun 03, 2017 8:18:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(408/592) took 255632 ms. Total solver calls (SAT/UNSAT): 158692(158692/0)
Jun 03, 2017 8:18:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/592) took 256858 ms. Total solver calls (SAT/UNSAT): 159418(159418/0)
Jun 03, 2017 8:18:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/592) took 258073 ms. Total solver calls (SAT/UNSAT): 160128(160128/0)
Jun 03, 2017 8:18:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/592) took 259249 ms. Total solver calls (SAT/UNSAT): 160822(160822/0)
Jun 03, 2017 8:18:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(424/592) took 260403 ms. Total solver calls (SAT/UNSAT): 161500(161500/0)
Jun 03, 2017 8:18:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(428/592) took 261517 ms. Total solver calls (SAT/UNSAT): 162162(162162/0)
Jun 03, 2017 8:18:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(432/592) took 262628 ms. Total solver calls (SAT/UNSAT): 162808(162808/0)
Jun 03, 2017 8:18:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/592) took 263677 ms. Total solver calls (SAT/UNSAT): 163438(163438/0)
Jun 03, 2017 8:18:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/592) took 264697 ms. Total solver calls (SAT/UNSAT): 164052(164052/0)
Jun 03, 2017 8:18:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 265945 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 03, 2017 8:18:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/592) took 267081 ms. Total solver calls (SAT/UNSAT): 165517(165517/0)
Jun 03, 2017 8:18:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/592) took 268159 ms. Total solver calls (SAT/UNSAT): 166212(166212/0)
Jun 03, 2017 8:18:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/592) took 269230 ms. Total solver calls (SAT/UNSAT): 166882(166882/0)
Jun 03, 2017 8:18:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(465/592) took 270296 ms. Total solver calls (SAT/UNSAT): 167527(167527/0)
Jun 03, 2017 8:18:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(470/592) took 271307 ms. Total solver calls (SAT/UNSAT): 168147(168147/0)
Jun 03, 2017 8:18:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(475/592) took 272311 ms. Total solver calls (SAT/UNSAT): 168742(168742/0)
Jun 03, 2017 8:18:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(481/592) took 273350 ms. Total solver calls (SAT/UNSAT): 169423(169423/0)
Jun 03, 2017 8:18:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(488/592) took 274488 ms. Total solver calls (SAT/UNSAT): 170172(170172/0)
Jun 03, 2017 8:18:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(495/592) took 275548 ms. Total solver calls (SAT/UNSAT): 170872(170872/0)
Jun 03, 2017 8:18:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(502/592) took 276556 ms. Total solver calls (SAT/UNSAT): 171523(171523/0)
Jun 03, 2017 8:18:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(510/592) took 277643 ms. Total solver calls (SAT/UNSAT): 172207(172207/0)
Jun 03, 2017 8:18:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(518/592) took 278644 ms. Total solver calls (SAT/UNSAT): 172827(172827/0)
Jun 03, 2017 8:18:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(527/592) took 279692 ms. Total solver calls (SAT/UNSAT): 173448(173448/0)
Jun 03, 2017 8:18:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(537/592) took 280719 ms. Total solver calls (SAT/UNSAT): 174043(174043/0)
Jun 03, 2017 8:18:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(549/592) took 281759 ms. Total solver calls (SAT/UNSAT): 174625(174625/0)
Jun 03, 2017 8:18:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(562/592) took 282761 ms. Total solver calls (SAT/UNSAT): 175093(175093/0)
Jun 03, 2017 8:18:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 283609 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 8:18:34 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-05"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_PermAdmissibility-PT-05.tgz
mv S_PermAdmissibility-PT-05 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-05, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-blw7-149441652200420"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;