About the Execution of ITS-Tools for S_PermAdmissibility-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15928.470 | 3600000.00 | 4594788.00 | 435.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_PermAdmissibility-PT-10, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-blw7-149441652200428
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-0
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-1
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-10
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-11
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-12
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-13
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-14
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-15
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-2
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-3
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-4
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-5
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-6
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-7
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-8
FORMULA_NAME PermAdmissibility-COL-10-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496480206637
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((("c8<=c18")U("(((aux6_0+aux6_5)+aux6_1)+aux6_4)<=(((aux7_7+aux7_6)+aux7_3)+aux7_2)")))
Formula 0 simplified : !("c8<=c18" U "(((aux6_0+aux6_5)+aux6_1)+aux6_4)<=(((aux7_7+aux7_6)+aux7_3)+aux7_2)")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 20
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out3_0 + 1'out3_1 + 1'out3_6 + 1'out3_7 + 1'out3_2 + 1'out3_3 + 1'out3_4 + 1'out3_5= 0
invariant : -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out8_1 + 1'out8_0 + 1'out8_3 + 1'out8_2 + 1'out8_6 + 1'out8_7 + 1'out8_4 + 1'out8_5= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + 2'c14= 0
invariant : -2'c20 + -2'out7_1 + -2'out7_0 + -2'out7_3 + -2'out7_2 + -2'out7_5 + -2'out7_4 + -2'out7_7 + -2'out7_6 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'aux6_0 + -1'c12 + -1'aux6_5 + -1'aux6_1 + -1'aux6_4 + -2'c13 + -2'in3_5 + -2'in3_4 + 2'c5= -20
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 8:56:48 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 8:56:48 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 91 ms
Jun 03, 2017 8:56:48 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 8:56:48 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 8:56:48 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 167 ms
Jun 03, 2017 8:56:48 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 21 ms
Jun 03, 2017 8:56:48 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 03, 2017 8:56:49 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 153 ms
Jun 03, 2017 8:56:57 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8828 ms
Jun 03, 2017 8:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 8:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 464 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 8:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1846 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 03, 2017 8:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3245 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 03, 2017 8:57:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4631 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 03, 2017 8:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 6021 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 03, 2017 8:57:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7413 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 03, 2017 8:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 8827 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 03, 2017 8:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 10206 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 03, 2017 8:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 11592 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 03, 2017 8:57:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 12957 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 03, 2017 8:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 14342 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 03, 2017 8:57:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 15717 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 03, 2017 8:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 17095 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 03, 2017 8:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 18467 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 03, 2017 8:57:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 19909 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 03, 2017 8:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 21342 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 03, 2017 8:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 22724 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 03, 2017 8:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 24094 ms. Total solver calls (SAT/UNSAT): 7072(4108/2964)
Jun 03, 2017 8:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 25478 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 03, 2017 8:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 26965 ms. Total solver calls (SAT/UNSAT): 7888(4582/3306)
Jun 03, 2017 8:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/592 took 28391 ms. Total solver calls (SAT/UNSAT): 8326(4819/3507)
Jun 03, 2017 8:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/592 took 29742 ms. Total solver calls (SAT/UNSAT): 8779(5056/3723)
Jun 03, 2017 8:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/592 took 31152 ms. Total solver calls (SAT/UNSAT): 9232(5293/3939)
Jun 03, 2017 8:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/592 took 32432 ms. Total solver calls (SAT/UNSAT): 9685(5530/4155)
Jun 03, 2017 8:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/592 took 33700 ms. Total solver calls (SAT/UNSAT): 10138(5767/4371)
Jun 03, 2017 8:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/592 took 35002 ms. Total solver calls (SAT/UNSAT): 10591(6004/4587)
Jun 03, 2017 8:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/592 took 36389 ms. Total solver calls (SAT/UNSAT): 11044(6241/4803)
Jun 03, 2017 8:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/592 took 37789 ms. Total solver calls (SAT/UNSAT): 11497(6478/5019)
Jun 03, 2017 8:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/592 took 39099 ms. Total solver calls (SAT/UNSAT): 11950(6715/5235)
Jun 03, 2017 8:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 40148 ms. Total solver calls (SAT/UNSAT): 12252(6873/5379)
Jun 03, 2017 8:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 41439 ms. Total solver calls (SAT/UNSAT): 12705(7110/5595)
Jun 03, 2017 8:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 42692 ms. Total solver calls (SAT/UNSAT): 13158(7347/5811)
Jun 03, 2017 8:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 43923 ms. Total solver calls (SAT/UNSAT): 13611(7584/6027)
Jun 03, 2017 8:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 45290 ms. Total solver calls (SAT/UNSAT): 14064(7821/6243)
Jun 03, 2017 8:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 46609 ms. Total solver calls (SAT/UNSAT): 14502(8058/6444)
Jun 03, 2017 8:57:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 48008 ms. Total solver calls (SAT/UNSAT): 14925(8295/6630)
Jun 03, 2017 8:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 49484 ms. Total solver calls (SAT/UNSAT): 15348(8532/6816)
Jun 03, 2017 8:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 50784 ms. Total solver calls (SAT/UNSAT): 15801(8769/7032)
Jun 03, 2017 8:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 52137 ms. Total solver calls (SAT/UNSAT): 16254(9006/7248)
Jun 03, 2017 8:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/592 took 53237 ms. Total solver calls (SAT/UNSAT): 16556(9164/7392)
Jun 03, 2017 8:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/592 took 54601 ms. Total solver calls (SAT/UNSAT): 17009(9401/7608)
Jun 03, 2017 8:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/592 took 55827 ms. Total solver calls (SAT/UNSAT): 17462(9638/7824)
Jun 03, 2017 8:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/592 took 57116 ms. Total solver calls (SAT/UNSAT): 17885(9875/8010)
Jun 03, 2017 8:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 58393 ms. Total solver calls (SAT/UNSAT): 18293(10112/8181)
Jun 03, 2017 8:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/592 took 59853 ms. Total solver calls (SAT/UNSAT): 18701(10349/8352)
Jun 03, 2017 8:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/592 took 60908 ms. Total solver calls (SAT/UNSAT): 18973(10507/8466)
Jun 03, 2017 8:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 62232 ms. Total solver calls (SAT/UNSAT): 19381(10744/8637)
Jun 03, 2017 8:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/592 took 63511 ms. Total solver calls (SAT/UNSAT): 19789(10981/8808)
Jun 03, 2017 8:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 64781 ms. Total solver calls (SAT/UNSAT): 20197(11218/8979)
Jun 03, 2017 8:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 66158 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 03, 2017 8:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 67616 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 03, 2017 8:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 68907 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 03, 2017 8:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 70190 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 03, 2017 8:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 71566 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 03, 2017 8:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 72926 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 03, 2017 8:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 74364 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 03, 2017 8:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 75708 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 03, 2017 8:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 77147 ms. Total solver calls (SAT/UNSAT): 23944(13351/10593)
Jun 03, 2017 8:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 78482 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 03, 2017 8:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 79877 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 03, 2017 8:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 81194 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 03, 2017 8:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 82506 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 03, 2017 8:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 83787 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 03, 2017 8:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 85112 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 03, 2017 8:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 86171 ms. Total solver calls (SAT/UNSAT): 26701(15010/11691)
Jun 03, 2017 8:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 87298 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 03, 2017 8:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 88368 ms. Total solver calls (SAT/UNSAT): 27319(15484/11835)
Jun 03, 2017 8:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/592 took 89399 ms. Total solver calls (SAT/UNSAT): 27628(15721/11907)
Jun 03, 2017 8:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/592 took 90715 ms. Total solver calls (SAT/UNSAT): 28040(16037/12003)
Jun 03, 2017 8:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/592 took 91821 ms. Total solver calls (SAT/UNSAT): 28349(16274/12075)
Jun 03, 2017 8:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/592 took 92908 ms. Total solver calls (SAT/UNSAT): 28658(16511/12147)
Jun 03, 2017 8:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/592 took 93928 ms. Total solver calls (SAT/UNSAT): 28967(16748/12219)
Jun 03, 2017 8:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/592 took 95232 ms. Total solver calls (SAT/UNSAT): 29379(17064/12315)
Jun 03, 2017 8:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/592 took 96362 ms. Total solver calls (SAT/UNSAT): 29688(17301/12387)
Jun 03, 2017 8:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/592 took 97486 ms. Total solver calls (SAT/UNSAT): 29997(17538/12459)
Jun 03, 2017 8:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/592 took 98801 ms. Total solver calls (SAT/UNSAT): 30405(17775/12630)
Jun 03, 2017 8:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/592 took 100064 ms. Total solver calls (SAT/UNSAT): 30780(18012/12768)
Jun 03, 2017 8:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/592 took 101211 ms. Total solver calls (SAT/UNSAT): 31089(18249/12840)
Jun 03, 2017 8:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/592 took 102478 ms. Total solver calls (SAT/UNSAT): 31398(18486/12912)
Jun 03, 2017 8:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 103490 ms. Total solver calls (SAT/UNSAT): 31707(18723/12984)
Jun 03, 2017 8:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 104883 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 03, 2017 8:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 105906 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 03, 2017 8:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 106937 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 03, 2017 8:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 108041 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 03, 2017 8:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/592 took 109127 ms. Total solver calls (SAT/UNSAT): 33397(20013/13384)
Jun 03, 2017 8:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 110138 ms. Total solver calls (SAT/UNSAT): 33708(20252/13456)
Jun 03, 2017 8:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 111338 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 03, 2017 8:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/592 took 112399 ms. Total solver calls (SAT/UNSAT): 34399(20727/13672)
Jun 03, 2017 8:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/592 took 113403 ms. Total solver calls (SAT/UNSAT): 34758(20934/13824)
Jun 03, 2017 8:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/592 took 114454 ms. Total solver calls (SAT/UNSAT): 35082(21141/13941)
Jun 03, 2017 8:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 115733 ms. Total solver calls (SAT/UNSAT): 35518(21404/14114)
Jun 03, 2017 8:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 117133 ms. Total solver calls (SAT/UNSAT): 36037(21641/14396)
Jun 03, 2017 8:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 118416 ms. Total solver calls (SAT/UNSAT): 36556(21878/14678)
Jun 03, 2017 8:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 119878 ms. Total solver calls (SAT/UNSAT): 37046(22128/14918)
Jun 03, 2017 8:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/592 took 120954 ms. Total solver calls (SAT/UNSAT): 37428(22309/15119)
Jun 03, 2017 8:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/592 took 122031 ms. Total solver calls (SAT/UNSAT): 37759(22516/15243)
Jun 03, 2017 8:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 123310 ms. Total solver calls (SAT/UNSAT): 38212(22756/15456)
Jun 03, 2017 8:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 124679 ms. Total solver calls (SAT/UNSAT): 38731(22993/15738)
Jun 03, 2017 8:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 126050 ms. Total solver calls (SAT/UNSAT): 39250(23230/16020)
Jun 03, 2017 8:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 127380 ms. Total solver calls (SAT/UNSAT): 39769(23467/16302)
Jun 03, 2017 8:59:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 128681 ms. Total solver calls (SAT/UNSAT): 40288(23704/16584)
Jun 03, 2017 8:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 130093 ms. Total solver calls (SAT/UNSAT): 40807(23941/16866)
Jun 03, 2017 8:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 131096 ms. Total solver calls (SAT/UNSAT): 41153(24099/17054)
Jun 03, 2017 8:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 132388 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 03, 2017 8:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 133680 ms. Total solver calls (SAT/UNSAT): 42191(24573/17618)
Jun 03, 2017 8:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 135023 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 03, 2017 8:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 136347 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 03, 2017 8:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 137726 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 03, 2017 8:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 138775 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 03, 2017 8:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 140228 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 03, 2017 8:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 141696 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 03, 2017 8:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 142766 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 03, 2017 8:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 143880 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 03, 2017 8:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 144977 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 03, 2017 8:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 146018 ms. Total solver calls (SAT/UNSAT): 46351(26548/19803)
Jun 03, 2017 8:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 147337 ms. Total solver calls (SAT/UNSAT): 46870(26785/20085)
Jun 03, 2017 8:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 148601 ms. Total solver calls (SAT/UNSAT): 47389(27022/20367)
Jun 03, 2017 8:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 149876 ms. Total solver calls (SAT/UNSAT): 47908(27259/20649)
Jun 03, 2017 8:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 151234 ms. Total solver calls (SAT/UNSAT): 48427(27496/20931)
Jun 03, 2017 8:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 152264 ms. Total solver calls (SAT/UNSAT): 48773(27654/21119)
Jun 03, 2017 8:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/592 took 153783 ms. Total solver calls (SAT/UNSAT): 49262(27891/21371)
Jun 03, 2017 8:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 154819 ms. Total solver calls (SAT/UNSAT): 49578(28049/21529)
Jun 03, 2017 8:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 156014 ms. Total solver calls (SAT/UNSAT): 49894(28207/21687)
Jun 03, 2017 8:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/592 took 157212 ms. Total solver calls (SAT/UNSAT): 50210(28365/21845)
Jun 03, 2017 8:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 158301 ms. Total solver calls (SAT/UNSAT): 50526(28523/22003)
Jun 03, 2017 8:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 159546 ms. Total solver calls (SAT/UNSAT): 50842(28681/22161)
Jun 03, 2017 8:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/592 took 160967 ms. Total solver calls (SAT/UNSAT): 51158(28839/22319)
Jun 03, 2017 8:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 162138 ms. Total solver calls (SAT/UNSAT): 51474(28997/22477)
Jun 03, 2017 8:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 163217 ms. Total solver calls (SAT/UNSAT): 51790(29155/22635)
Jun 03, 2017 8:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/592 took 164379 ms. Total solver calls (SAT/UNSAT): 52106(29313/22793)
Jun 03, 2017 8:59:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 165532 ms. Total solver calls (SAT/UNSAT): 52422(29471/22951)
Jun 03, 2017 8:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 166635 ms. Total solver calls (SAT/UNSAT): 52738(29629/23109)
Jun 03, 2017 8:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/592 took 167717 ms. Total solver calls (SAT/UNSAT): 53054(29787/23267)
Jun 03, 2017 8:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 168775 ms. Total solver calls (SAT/UNSAT): 53370(29945/23425)
Jun 03, 2017 8:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 169832 ms. Total solver calls (SAT/UNSAT): 53686(30103/23583)
Jun 03, 2017 8:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/592 took 170884 ms. Total solver calls (SAT/UNSAT): 54002(30261/23741)
Jun 03, 2017 8:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 172088 ms. Total solver calls (SAT/UNSAT): 54318(30419/23899)
Jun 03, 2017 8:59:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 173397 ms. Total solver calls (SAT/UNSAT): 54634(30577/24057)
Jun 03, 2017 8:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/592 took 174408 ms. Total solver calls (SAT/UNSAT): 54965(30735/24230)
Jun 03, 2017 8:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/592 took 175722 ms. Total solver calls (SAT/UNSAT): 55484(30972/24512)
Jun 03, 2017 8:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/592 took 177171 ms. Total solver calls (SAT/UNSAT): 56003(31209/24794)
Jun 03, 2017 8:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/592 took 178475 ms. Total solver calls (SAT/UNSAT): 56522(31446/25076)
Jun 03, 2017 8:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/592 took 179941 ms. Total solver calls (SAT/UNSAT): 57011(31683/25328)
Jun 03, 2017 8:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 180980 ms. Total solver calls (SAT/UNSAT): 57327(31841/25486)
Jun 03, 2017 9:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 182183 ms. Total solver calls (SAT/UNSAT): 57643(31999/25644)
Jun 03, 2017 9:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/592 took 183294 ms. Total solver calls (SAT/UNSAT): 57959(32157/25802)
Jun 03, 2017 9:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/592 took 184363 ms. Total solver calls (SAT/UNSAT): 58275(32315/25960)
Jun 03, 2017 9:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 185434 ms. Total solver calls (SAT/UNSAT): 58591(32473/26118)
Jun 03, 2017 9:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 186591 ms. Total solver calls (SAT/UNSAT): 58907(32631/26276)
Jun 03, 2017 9:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 187704 ms. Total solver calls (SAT/UNSAT): 59223(32789/26434)
Jun 03, 2017 9:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 189025 ms. Total solver calls (SAT/UNSAT): 59742(33026/26716)
Jun 03, 2017 9:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 190430 ms. Total solver calls (SAT/UNSAT): 60261(33263/26998)
Jun 03, 2017 9:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 191723 ms. Total solver calls (SAT/UNSAT): 60780(33500/27280)
Jun 03, 2017 9:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 193175 ms. Total solver calls (SAT/UNSAT): 61299(33737/27562)
Jun 03, 2017 9:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 194587 ms. Total solver calls (SAT/UNSAT): 61818(33974/27844)
Jun 03, 2017 9:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 195932 ms. Total solver calls (SAT/UNSAT): 62337(34211/28126)
Jun 03, 2017 9:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 197319 ms. Total solver calls (SAT/UNSAT): 62856(34448/28408)
Jun 03, 2017 9:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 198656 ms. Total solver calls (SAT/UNSAT): 63375(34685/28690)
Jun 03, 2017 9:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 199961 ms. Total solver calls (SAT/UNSAT): 63894(34922/28972)
Jun 03, 2017 9:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 201368 ms. Total solver calls (SAT/UNSAT): 64413(35159/29254)
Jun 03, 2017 9:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 202684 ms. Total solver calls (SAT/UNSAT): 64932(35396/29536)
Jun 03, 2017 9:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 204115 ms. Total solver calls (SAT/UNSAT): 65451(35633/29818)
Jun 03, 2017 9:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 205452 ms. Total solver calls (SAT/UNSAT): 65970(35870/30100)
Jun 03, 2017 9:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 206861 ms. Total solver calls (SAT/UNSAT): 66489(36107/30382)
Jun 03, 2017 9:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 208177 ms. Total solver calls (SAT/UNSAT): 67008(36344/30664)
Jun 03, 2017 9:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 209491 ms. Total solver calls (SAT/UNSAT): 67527(36581/30946)
Jun 03, 2017 9:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 210571 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 03, 2017 9:00:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 211771 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 03, 2017 9:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 212903 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 03, 2017 9:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 214166 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 03, 2017 9:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 215357 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 03, 2017 9:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/592 took 216513 ms. Total solver calls (SAT/UNSAT): 69438(37529/31909)
Jun 03, 2017 9:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/592 took 217824 ms. Total solver calls (SAT/UNSAT): 69957(37766/32191)
Jun 03, 2017 9:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 219305 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 03, 2017 9:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 220563 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 03, 2017 9:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 221791 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 03, 2017 9:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 222900 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 03, 2017 9:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 224027 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 03, 2017 9:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 225293 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 03, 2017 9:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 226509 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 03, 2017 9:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 227649 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 03, 2017 9:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 228726 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 03, 2017 9:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 229780 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 03, 2017 9:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 230870 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 03, 2017 9:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 232077 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 03, 2017 9:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 233142 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 03, 2017 9:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 234257 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 03, 2017 9:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 235401 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 03, 2017 9:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 236464 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 03, 2017 9:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 237673 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 03, 2017 9:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 238730 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 03, 2017 9:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 239785 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 03, 2017 9:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 240858 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 03, 2017 9:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 241945 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 03, 2017 9:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 243086 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 03, 2017 9:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 244131 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 03, 2017 9:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 245175 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 03, 2017 9:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 246212 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 03, 2017 9:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 247248 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 03, 2017 9:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 247787 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 9:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 9:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1177 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 9:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2332 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 9:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3494 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 9:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4614 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 9:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5829 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 9:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 7150 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 9:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8382 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 9:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9609 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 9:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10813 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 9:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11947 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 9:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 13104 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 9:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 14312 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 03, 2017 9:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 15436 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 03, 2017 9:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16568 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 03, 2017 9:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 17729 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 03, 2017 9:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 18955 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 03, 2017 9:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 20209 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 03, 2017 9:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 21341 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 03, 2017 9:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 22493 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 03, 2017 9:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 23725 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 03, 2017 9:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 24904 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 03, 2017 9:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 26018 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 03, 2017 9:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 27154 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 03, 2017 9:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 28366 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 03, 2017 9:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 29658 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 03, 2017 9:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 30831 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 03, 2017 9:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 32112 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 03, 2017 9:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 33313 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 03, 2017 9:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 34506 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 03, 2017 9:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 35577 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 03, 2017 9:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 36898 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 03, 2017 9:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 38037 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 03, 2017 9:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 39198 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 03, 2017 9:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 40525 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 03, 2017 9:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 41773 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 03, 2017 9:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 42921 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 03, 2017 9:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 44097 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 03, 2017 9:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 45270 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 03, 2017 9:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 46445 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 03, 2017 9:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 47600 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 03, 2017 9:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 48685 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 03, 2017 9:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 49791 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 03, 2017 9:01:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 50893 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 03, 2017 9:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 51997 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 03, 2017 9:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 53094 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 03, 2017 9:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 54204 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 03, 2017 9:02:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 55308 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 03, 2017 9:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 56409 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 03, 2017 9:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 57556 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 03, 2017 9:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 58761 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 03, 2017 9:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 59875 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 03, 2017 9:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 61007 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 03, 2017 9:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 62192 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 03, 2017 9:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 63405 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 03, 2017 9:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 64597 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 03, 2017 9:02:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 65952 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 03, 2017 9:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 67066 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 03, 2017 9:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 68387 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 03, 2017 9:02:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 69590 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 03, 2017 9:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 70737 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 03, 2017 9:02:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 71880 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 03, 2017 9:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 73005 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 03, 2017 9:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 74168 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 03, 2017 9:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 75309 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 03, 2017 9:02:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 76444 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 03, 2017 9:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 77566 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 03, 2017 9:02:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 78792 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 03, 2017 9:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 79969 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 03, 2017 9:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 81101 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 03, 2017 9:02:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 82425 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 03, 2017 9:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 83560 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 03, 2017 9:02:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 84730 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 03, 2017 9:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/592 took 85757 ms. Total solver calls (SAT/UNSAT): 31604(14880/16724)
Jun 03, 2017 9:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 86936 ms. Total solver calls (SAT/UNSAT): 32119(15000/17119)
Jun 03, 2017 9:02:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/592 took 88076 ms. Total solver calls (SAT/UNSAT): 32634(15120/17514)
Jun 03, 2017 9:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 89100 ms. Total solver calls (SAT/UNSAT): 33046(15216/17830)
Jun 03, 2017 9:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/592 took 90110 ms. Total solver calls (SAT/UNSAT): 33541(15352/18189)
Jun 03, 2017 9:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 91180 ms. Total solver calls (SAT/UNSAT): 34038(15472/18566)
Jun 03, 2017 9:02:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/592 took 92247 ms. Total solver calls (SAT/UNSAT): 34528(15676/18852)
Jun 03, 2017 9:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/592 took 93306 ms. Total solver calls (SAT/UNSAT): 34938(15896/19042)
Jun 03, 2017 9:02:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/592 took 94357 ms. Total solver calls (SAT/UNSAT): 35345(16076/19269)
Jun 03, 2017 9:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/592 took 95766 ms. Total solver calls (SAT/UNSAT): 35864(16358/19506)
Jun 03, 2017 9:02:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/592 took 97146 ms. Total solver calls (SAT/UNSAT): 36383(16640/19743)
Jun 03, 2017 9:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/592 took 98207 ms. Total solver calls (SAT/UNSAT): 36801(16868/19933)
Jun 03, 2017 9:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 99531 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 03, 2017 9:02:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/592 took 100560 ms. Total solver calls (SAT/UNSAT): 37608(17310/20298)
Jun 03, 2017 9:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/592 took 101565 ms. Total solver calls (SAT/UNSAT): 38039(17530/20509)
Jun 03, 2017 9:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 102876 ms. Total solver calls (SAT/UNSAT): 38558(17812/20746)
Jun 03, 2017 9:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 104195 ms. Total solver calls (SAT/UNSAT): 39077(18094/20983)
Jun 03, 2017 9:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 105200 ms. Total solver calls (SAT/UNSAT): 39423(18282/21141)
Jun 03, 2017 9:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 106527 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 03, 2017 9:02:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 107819 ms. Total solver calls (SAT/UNSAT): 40461(18846/21615)
Jun 03, 2017 9:02:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 109316 ms. Total solver calls (SAT/UNSAT): 40980(19128/21852)
Jun 03, 2017 9:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 110676 ms. Total solver calls (SAT/UNSAT): 41499(19410/22089)
Jun 03, 2017 9:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 111983 ms. Total solver calls (SAT/UNSAT): 42018(19692/22326)
Jun 03, 2017 9:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 113332 ms. Total solver calls (SAT/UNSAT): 42537(19974/22563)
Jun 03, 2017 9:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 114792 ms. Total solver calls (SAT/UNSAT): 43056(20256/22800)
Jun 03, 2017 9:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 116145 ms. Total solver calls (SAT/UNSAT): 43575(20538/23037)
Jun 03, 2017 9:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 117456 ms. Total solver calls (SAT/UNSAT): 44064(20820/23244)
Jun 03, 2017 9:03:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 118728 ms. Total solver calls (SAT/UNSAT): 44568(21102/23466)
Jun 03, 2017 9:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 120016 ms. Total solver calls (SAT/UNSAT): 45072(21384/23688)
Jun 03, 2017 9:03:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 121314 ms. Total solver calls (SAT/UNSAT): 45546(21666/23880)
Jun 03, 2017 9:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 122602 ms. Total solver calls (SAT/UNSAT): 46020(21948/24072)
Jun 03, 2017 9:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 123884 ms. Total solver calls (SAT/UNSAT): 46524(22230/24294)
Jun 03, 2017 9:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 125223 ms. Total solver calls (SAT/UNSAT): 47043(22512/24531)
Jun 03, 2017 9:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 126588 ms. Total solver calls (SAT/UNSAT): 47562(22794/24768)
Jun 03, 2017 9:03:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 127937 ms. Total solver calls (SAT/UNSAT): 48081(23076/25005)
Jun 03, 2017 9:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 129209 ms. Total solver calls (SAT/UNSAT): 48600(23358/25242)
Jun 03, 2017 9:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 130524 ms. Total solver calls (SAT/UNSAT): 49104(23640/25464)
Jun 03, 2017 9:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 131880 ms. Total solver calls (SAT/UNSAT): 49578(23922/25656)
Jun 03, 2017 9:03:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 133203 ms. Total solver calls (SAT/UNSAT): 50052(24204/25848)
Jun 03, 2017 9:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 134598 ms. Total solver calls (SAT/UNSAT): 50526(24486/26040)
Jun 03, 2017 9:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 135900 ms. Total solver calls (SAT/UNSAT): 51000(24768/26232)
Jun 03, 2017 9:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 137273 ms. Total solver calls (SAT/UNSAT): 51474(25050/26424)
Jun 03, 2017 9:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 138609 ms. Total solver calls (SAT/UNSAT): 51948(25332/26616)
Jun 03, 2017 9:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 139939 ms. Total solver calls (SAT/UNSAT): 52422(25614/26808)
Jun 03, 2017 9:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 140961 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 03, 2017 9:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 142315 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 03, 2017 9:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 143732 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 03, 2017 9:03:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 145014 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 03, 2017 9:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 146298 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 03, 2017 9:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 147718 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 03, 2017 9:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 149054 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 03, 2017 9:03:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 150398 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 03, 2017 9:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 151804 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 03, 2017 9:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 153206 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 03, 2017 9:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 154539 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 03, 2017 9:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 155835 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 03, 2017 9:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 157184 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 03, 2017 9:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 158477 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 03, 2017 9:03:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 159791 ms. Total solver calls (SAT/UNSAT): 59569(29750/29819)
Jun 03, 2017 9:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 161105 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 03, 2017 9:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 162438 ms. Total solver calls (SAT/UNSAT): 60607(30314/30293)
Jun 03, 2017 9:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 163784 ms. Total solver calls (SAT/UNSAT): 61126(30596/30530)
Jun 03, 2017 9:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 165100 ms. Total solver calls (SAT/UNSAT): 61645(30878/30767)
Jun 03, 2017 9:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 166413 ms. Total solver calls (SAT/UNSAT): 62164(31160/31004)
Jun 03, 2017 9:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 167713 ms. Total solver calls (SAT/UNSAT): 62683(31442/31241)
Jun 03, 2017 9:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 169019 ms. Total solver calls (SAT/UNSAT): 63202(31724/31478)
Jun 03, 2017 9:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 170339 ms. Total solver calls (SAT/UNSAT): 63721(32006/31715)
Jun 03, 2017 9:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 171658 ms. Total solver calls (SAT/UNSAT): 64240(32288/31952)
Jun 03, 2017 9:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 172995 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 03, 2017 9:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 174474 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 03, 2017 9:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/592 took 175550 ms. Total solver calls (SAT/UNSAT): 65624(33040/32584)
Jun 03, 2017 9:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/592 took 176927 ms. Total solver calls (SAT/UNSAT): 66143(33322/32821)
Jun 03, 2017 9:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/592 took 178452 ms. Total solver calls (SAT/UNSAT): 66662(33604/33058)
Jun 03, 2017 9:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/592 took 179837 ms. Total solver calls (SAT/UNSAT): 67181(33886/33295)
Jun 03, 2017 9:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 181149 ms. Total solver calls (SAT/UNSAT): 67685(34168/33517)
Jun 03, 2017 9:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 182595 ms. Total solver calls (SAT/UNSAT): 68159(34450/33709)
Jun 03, 2017 9:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 183656 ms. Total solver calls (SAT/UNSAT): 68475(34638/33837)
Jun 03, 2017 9:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 184661 ms. Total solver calls (SAT/UNSAT): 68791(34826/33965)
Jun 03, 2017 9:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 186020 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 03, 2017 9:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 187439 ms. Total solver calls (SAT/UNSAT): 69784(35390/34394)
Jun 03, 2017 9:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 188722 ms. Total solver calls (SAT/UNSAT): 70288(35672/34616)
Jun 03, 2017 9:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 190076 ms. Total solver calls (SAT/UNSAT): 70762(35954/34808)
Jun 03, 2017 9:04:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 191431 ms. Total solver calls (SAT/UNSAT): 71236(36236/35000)
Jun 03, 2017 9:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 192725 ms. Total solver calls (SAT/UNSAT): 71710(36518/35192)
Jun 03, 2017 9:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 193729 ms. Total solver calls (SAT/UNSAT): 72026(36706/35320)
Jun 03, 2017 9:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 195131 ms. Total solver calls (SAT/UNSAT): 72500(36988/35512)
Jun 03, 2017 9:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 196439 ms. Total solver calls (SAT/UNSAT): 72974(37270/35704)
Jun 03, 2017 9:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 197754 ms. Total solver calls (SAT/UNSAT): 73448(37552/35896)
Jun 03, 2017 9:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 199068 ms. Total solver calls (SAT/UNSAT): 73922(37834/36088)
Jun 03, 2017 9:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 200425 ms. Total solver calls (SAT/UNSAT): 74396(38116/36280)
Jun 03, 2017 9:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 201768 ms. Total solver calls (SAT/UNSAT): 74870(38398/36472)
Jun 03, 2017 9:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/592 took 203093 ms. Total solver calls (SAT/UNSAT): 75344(38680/36664)
Jun 03, 2017 9:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 204391 ms. Total solver calls (SAT/UNSAT): 75818(38962/36856)
Jun 03, 2017 9:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/592 took 205667 ms. Total solver calls (SAT/UNSAT): 76292(39244/37048)
Jun 03, 2017 9:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 206983 ms. Total solver calls (SAT/UNSAT): 76766(39526/37240)
Jun 03, 2017 9:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 208313 ms. Total solver calls (SAT/UNSAT): 77240(39808/37432)
Jun 03, 2017 9:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 209617 ms. Total solver calls (SAT/UNSAT): 77714(40090/37624)
Jun 03, 2017 9:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 210929 ms. Total solver calls (SAT/UNSAT): 78188(40372/37816)
Jun 03, 2017 9:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 211775 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 9:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 9:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 981 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 9:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 2951 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 03, 2017 9:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 3960 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 03, 2017 9:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 5931 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 03, 2017 9:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 7920 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 03, 2017 9:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 9906 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 03, 2017 9:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 11859 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 03, 2017 9:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 13807 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 03, 2017 9:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 15750 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 03, 2017 9:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 17664 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 03, 2017 9:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 18671 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 03, 2017 9:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 20593 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 03, 2017 9:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 22554 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 03, 2017 9:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 24442 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 03, 2017 9:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 26334 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 03, 2017 9:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 28224 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 03, 2017 9:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 30122 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 03, 2017 9:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 31985 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 03, 2017 9:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 33849 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 03, 2017 9:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 35655 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 03, 2017 9:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 37477 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 03, 2017 9:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/592) took 39294 ms. Total solver calls (SAT/UNSAT): 23452(23452/0)
Jun 03, 2017 9:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/592) took 41097 ms. Total solver calls (SAT/UNSAT): 24553(24553/0)
Jun 03, 2017 9:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/592) took 42915 ms. Total solver calls (SAT/UNSAT): 25650(25650/0)
Jun 03, 2017 9:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/592) took 44716 ms. Total solver calls (SAT/UNSAT): 26743(26743/0)
Jun 03, 2017 9:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/592) took 46506 ms. Total solver calls (SAT/UNSAT): 27832(27832/0)
Jun 03, 2017 9:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/592) took 48285 ms. Total solver calls (SAT/UNSAT): 28917(28917/0)
Jun 03, 2017 9:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/592) took 50005 ms. Total solver calls (SAT/UNSAT): 29998(29998/0)
Jun 03, 2017 9:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/592) took 51736 ms. Total solver calls (SAT/UNSAT): 31075(31075/0)
Jun 03, 2017 9:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 53488 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 03, 2017 9:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 55195 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 03, 2017 9:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/592) took 56982 ms. Total solver calls (SAT/UNSAT): 34282(34282/0)
Jun 03, 2017 9:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/592) took 58696 ms. Total solver calls (SAT/UNSAT): 35343(35343/0)
Jun 03, 2017 9:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/592) took 60428 ms. Total solver calls (SAT/UNSAT): 36400(36400/0)
Jun 03, 2017 9:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/592) took 62178 ms. Total solver calls (SAT/UNSAT): 37453(37453/0)
Jun 03, 2017 9:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/592) took 63864 ms. Total solver calls (SAT/UNSAT): 38502(38502/0)
Jun 03, 2017 9:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/592) took 65546 ms. Total solver calls (SAT/UNSAT): 39547(39547/0)
Jun 03, 2017 9:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/592) took 67282 ms. Total solver calls (SAT/UNSAT): 40588(40588/0)
Jun 03, 2017 9:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/592) took 68982 ms. Total solver calls (SAT/UNSAT): 41625(41625/0)
Jun 03, 2017 9:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/592) took 70684 ms. Total solver calls (SAT/UNSAT): 42658(42658/0)
Jun 03, 2017 9:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 72398 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 03, 2017 9:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 74121 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 03, 2017 9:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 75789 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 03, 2017 9:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 77478 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 03, 2017 9:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 79127 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 03, 2017 9:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 80724 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 03, 2017 9:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 82320 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 03, 2017 9:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 83919 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 03, 2017 9:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 85509 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 03, 2017 9:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 87093 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 03, 2017 9:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 88652 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 03, 2017 9:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 90234 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 03, 2017 9:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 91763 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 03, 2017 9:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 93336 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 03, 2017 9:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 94889 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 03, 2017 9:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 96498 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 03, 2017 9:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 98111 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 03, 2017 9:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 99703 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 03, 2017 9:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 101271 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 03, 2017 9:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 102879 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 03, 2017 9:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 104461 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 03, 2017 9:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 105993 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 03, 2017 9:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 107541 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 03, 2017 9:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 109224 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 03, 2017 9:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 110854 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 03, 2017 9:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 112647 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 03, 2017 9:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 114268 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 03, 2017 9:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 115879 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 03, 2017 9:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 117551 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 03, 2017 9:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 119138 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 03, 2017 9:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 120728 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 03, 2017 9:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/592) took 122279 ms. Total solver calls (SAT/UNSAT): 73602(73602/0)
Jun 03, 2017 9:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/592) took 123805 ms. Total solver calls (SAT/UNSAT): 74503(74503/0)
Jun 03, 2017 9:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 125347 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 03, 2017 9:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 126880 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 03, 2017 9:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/592) took 128413 ms. Total solver calls (SAT/UNSAT): 77182(77182/0)
Jun 03, 2017 9:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/592) took 130045 ms. Total solver calls (SAT/UNSAT): 78067(78067/0)
Jun 03, 2017 9:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/592) took 131711 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Jun 03, 2017 9:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 132717 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 03, 2017 9:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 134301 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 03, 2017 9:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 135769 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 03, 2017 9:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 137252 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 03, 2017 9:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 138839 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 03, 2017 9:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 140483 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 03, 2017 9:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 142066 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 03, 2017 9:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 143618 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 03, 2017 9:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 145103 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 03, 2017 9:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 146576 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 03, 2017 9:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 148044 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 03, 2017 9:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 149542 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 03, 2017 9:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 151045 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 03, 2017 9:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 152552 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 03, 2017 9:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 154013 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 03, 2017 9:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 155514 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 03, 2017 9:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 156929 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 03, 2017 9:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 158330 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 03, 2017 9:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 159677 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 03, 2017 9:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 161043 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 03, 2017 9:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 162370 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 03, 2017 9:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 163698 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 03, 2017 9:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 165019 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 03, 2017 9:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 166322 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 03, 2017 9:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 167641 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 03, 2017 9:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 168946 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 03, 2017 9:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 170266 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 03, 2017 9:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 171532 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 03, 2017 9:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 172795 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 03, 2017 9:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 174049 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 03, 2017 9:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 175287 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 03, 2017 9:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 176506 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 03, 2017 9:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 177701 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 03, 2017 9:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 178925 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 03, 2017 9:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 180164 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 03, 2017 9:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 181496 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 03, 2017 9:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 182765 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 03, 2017 9:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 184022 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 03, 2017 9:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 185195 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 03, 2017 9:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 186325 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 03, 2017 9:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 187450 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 03, 2017 9:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 188551 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 03, 2017 9:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 189703 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 03, 2017 9:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 190888 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 03, 2017 9:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 192003 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 03, 2017 9:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 193183 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 03, 2017 9:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 194336 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 03, 2017 9:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 195468 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 03, 2017 9:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 196551 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 03, 2017 9:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(252/592) took 198027 ms. Total solver calls (SAT/UNSAT): 117898(117898/0)
Jun 03, 2017 9:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(255/592) took 199452 ms. Total solver calls (SAT/UNSAT): 118912(118912/0)
Jun 03, 2017 9:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(258/592) took 200841 ms. Total solver calls (SAT/UNSAT): 119917(119917/0)
Jun 03, 2017 9:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(261/592) took 202256 ms. Total solver calls (SAT/UNSAT): 120913(120913/0)
Jun 03, 2017 9:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(264/592) took 203723 ms. Total solver calls (SAT/UNSAT): 121900(121900/0)
Jun 03, 2017 9:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/592) took 205186 ms. Total solver calls (SAT/UNSAT): 122878(122878/0)
Jun 03, 2017 9:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/592) took 206659 ms. Total solver calls (SAT/UNSAT): 123847(123847/0)
Jun 03, 2017 9:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/592) took 208123 ms. Total solver calls (SAT/UNSAT): 124807(124807/0)
Jun 03, 2017 9:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 209567 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 03, 2017 9:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 210984 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 03, 2017 9:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/592) took 212448 ms. Total solver calls (SAT/UNSAT): 127633(127633/0)
Jun 03, 2017 9:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(285/592) took 213875 ms. Total solver calls (SAT/UNSAT): 128557(128557/0)
Jun 03, 2017 9:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/592) took 215286 ms. Total solver calls (SAT/UNSAT): 129472(129472/0)
Jun 03, 2017 9:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/592) took 216695 ms. Total solver calls (SAT/UNSAT): 130378(130378/0)
Jun 03, 2017 9:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(294/592) took 218072 ms. Total solver calls (SAT/UNSAT): 131275(131275/0)
Jun 03, 2017 9:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/592) took 219332 ms. Total solver calls (SAT/UNSAT): 132163(132163/0)
Jun 03, 2017 9:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(300/592) took 220694 ms. Total solver calls (SAT/UNSAT): 133042(133042/0)
Jun 03, 2017 9:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/592) took 221883 ms. Total solver calls (SAT/UNSAT): 133623(133623/0)
Jun 03, 2017 9:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(304/592) took 223066 ms. Total solver calls (SAT/UNSAT): 134200(134200/0)
Jun 03, 2017 9:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/592) took 224132 ms. Total solver calls (SAT/UNSAT): 134773(134773/0)
Jun 03, 2017 9:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/592) took 225344 ms. Total solver calls (SAT/UNSAT): 135625(135625/0)
Jun 03, 2017 9:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(312/592) took 226507 ms. Total solver calls (SAT/UNSAT): 136468(136468/0)
Jun 03, 2017 9:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/592) took 227733 ms. Total solver calls (SAT/UNSAT): 137302(137302/0)
Jun 03, 2017 9:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/592) took 229079 ms. Total solver calls (SAT/UNSAT): 138127(138127/0)
Jun 03, 2017 9:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(321/592) took 230362 ms. Total solver calls (SAT/UNSAT): 138943(138943/0)
Jun 03, 2017 9:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/592) took 231688 ms. Total solver calls (SAT/UNSAT): 139750(139750/0)
Jun 03, 2017 9:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/592) took 233027 ms. Total solver calls (SAT/UNSAT): 140548(140548/0)
Jun 03, 2017 9:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/592) took 234337 ms. Total solver calls (SAT/UNSAT): 141337(141337/0)
Jun 03, 2017 9:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/592) took 235621 ms. Total solver calls (SAT/UNSAT): 142117(142117/0)
Jun 03, 2017 9:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/592) took 236898 ms. Total solver calls (SAT/UNSAT): 142888(142888/0)
Jun 03, 2017 9:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/592) took 238130 ms. Total solver calls (SAT/UNSAT): 143650(143650/0)
Jun 03, 2017 9:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/592) took 239253 ms. Total solver calls (SAT/UNSAT): 144403(144403/0)
Jun 03, 2017 9:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/592) took 240457 ms. Total solver calls (SAT/UNSAT): 145147(145147/0)
Jun 03, 2017 9:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(348/592) took 241642 ms. Total solver calls (SAT/UNSAT): 145882(145882/0)
Jun 03, 2017 9:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/592) took 242801 ms. Total solver calls (SAT/UNSAT): 146608(146608/0)
Jun 03, 2017 9:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/592) took 243975 ms. Total solver calls (SAT/UNSAT): 147325(147325/0)
Jun 03, 2017 9:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(357/592) took 245099 ms. Total solver calls (SAT/UNSAT): 148033(148033/0)
Jun 03, 2017 9:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/592) took 246218 ms. Total solver calls (SAT/UNSAT): 148732(148732/0)
Jun 03, 2017 9:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/592) took 247326 ms. Total solver calls (SAT/UNSAT): 149422(149422/0)
Jun 03, 2017 9:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/592) took 248416 ms. Total solver calls (SAT/UNSAT): 150103(150103/0)
Jun 03, 2017 9:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(369/592) took 249465 ms. Total solver calls (SAT/UNSAT): 150775(150775/0)
Jun 03, 2017 9:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(372/592) took 250559 ms. Total solver calls (SAT/UNSAT): 151438(151438/0)
Jun 03, 2017 9:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/592) took 251610 ms. Total solver calls (SAT/UNSAT): 152092(152092/0)
Jun 03, 2017 9:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(378/592) took 252636 ms. Total solver calls (SAT/UNSAT): 152737(152737/0)
Jun 03, 2017 9:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(381/592) took 253728 ms. Total solver calls (SAT/UNSAT): 153373(153373/0)
Jun 03, 2017 9:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(384/592) took 254749 ms. Total solver calls (SAT/UNSAT): 154000(154000/0)
Jun 03, 2017 9:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/592) took 255780 ms. Total solver calls (SAT/UNSAT): 154618(154618/0)
Jun 03, 2017 9:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/592) took 256859 ms. Total solver calls (SAT/UNSAT): 155227(155227/0)
Jun 03, 2017 9:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(393/592) took 257915 ms. Total solver calls (SAT/UNSAT): 155827(155827/0)
Jun 03, 2017 9:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(397/592) took 259235 ms. Total solver calls (SAT/UNSAT): 156613(156613/0)
Jun 03, 2017 9:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/592) took 260242 ms. Total solver calls (SAT/UNSAT): 157192(157192/0)
Jun 03, 2017 9:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(404/592) took 261518 ms. Total solver calls (SAT/UNSAT): 157950(157950/0)
Jun 03, 2017 9:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(408/592) took 262750 ms. Total solver calls (SAT/UNSAT): 158692(158692/0)
Jun 03, 2017 9:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/592) took 264008 ms. Total solver calls (SAT/UNSAT): 159418(159418/0)
Jun 03, 2017 9:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/592) took 265030 ms. Total solver calls (SAT/UNSAT): 159952(159952/0)
Jun 03, 2017 9:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(419/592) took 266335 ms. Total solver calls (SAT/UNSAT): 160650(160650/0)
Jun 03, 2017 9:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(423/592) took 267604 ms. Total solver calls (SAT/UNSAT): 161332(161332/0)
Jun 03, 2017 9:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(427/592) took 268832 ms. Total solver calls (SAT/UNSAT): 161998(161998/0)
Jun 03, 2017 9:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(430/592) took 270042 ms. Total solver calls (SAT/UNSAT): 162487(162487/0)
Jun 03, 2017 9:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/592) took 271302 ms. Total solver calls (SAT/UNSAT): 162967(162967/0)
Jun 03, 2017 9:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/592) took 272526 ms. Total solver calls (SAT/UNSAT): 163438(163438/0)
Jun 03, 2017 9:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(439/592) took 273758 ms. Total solver calls (SAT/UNSAT): 163900(163900/0)
Jun 03, 2017 9:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(442/592) took 274931 ms. Total solver calls (SAT/UNSAT): 164353(164353/0)
Jun 03, 2017 9:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 276059 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 03, 2017 9:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(448/592) took 277139 ms. Total solver calls (SAT/UNSAT): 165232(165232/0)
Jun 03, 2017 9:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(451/592) took 278140 ms. Total solver calls (SAT/UNSAT): 165658(165658/0)
Jun 03, 2017 9:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/592) took 279291 ms. Total solver calls (SAT/UNSAT): 166212(166212/0)
Jun 03, 2017 9:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/592) took 280414 ms. Total solver calls (SAT/UNSAT): 166882(166882/0)
Jun 03, 2017 9:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(464/592) took 281479 ms. Total solver calls (SAT/UNSAT): 167400(167400/0)
Jun 03, 2017 9:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(469/592) took 282604 ms. Total solver calls (SAT/UNSAT): 168025(168025/0)
Jun 03, 2017 9:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(474/592) took 283637 ms. Total solver calls (SAT/UNSAT): 168625(168625/0)
Jun 03, 2017 9:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(480/592) took 284780 ms. Total solver calls (SAT/UNSAT): 169312(169312/0)
Jun 03, 2017 9:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(485/592) took 285852 ms. Total solver calls (SAT/UNSAT): 169857(169857/0)
Jun 03, 2017 9:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(491/592) took 286946 ms. Total solver calls (SAT/UNSAT): 170478(170478/0)
Jun 03, 2017 9:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(498/592) took 288070 ms. Total solver calls (SAT/UNSAT): 171157(171157/0)
Jun 03, 2017 9:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/592) took 289086 ms. Total solver calls (SAT/UNSAT): 171787(171787/0)
Jun 03, 2017 9:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(513/592) took 290170 ms. Total solver calls (SAT/UNSAT): 172447(172447/0)
Jun 03, 2017 9:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(522/592) took 291254 ms. Total solver calls (SAT/UNSAT): 173113(173113/0)
Jun 03, 2017 9:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(531/592) took 292363 ms. Total solver calls (SAT/UNSAT): 173698(173698/0)
Jun 03, 2017 9:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(542/592) took 293442 ms. Total solver calls (SAT/UNSAT): 174303(174303/0)
Jun 03, 2017 9:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(554/592) took 294486 ms. Total solver calls (SAT/UNSAT): 174825(174825/0)
Jun 03, 2017 9:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(572/592) took 295516 ms. Total solver calls (SAT/UNSAT): 175338(175338/0)
Jun 03, 2017 9:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 295917 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 9:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PermAdmissibility-PT-10"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_PermAdmissibility-PT-10.tgz
mv S_PermAdmissibility-PT-10 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PermAdmissibility-PT-10, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-blw7-149441652200428"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;