fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r120-blw7-149441652200419
Last Updated
June 27, 2017

About the Execution of ITS-Tools for S_PermAdmissibility-PT-05

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15946.210 3600000.00 4477517.00 1696.90 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_PermAdmissibility-PT-05, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-blw7-149441652200419
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-0
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-1
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-10
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-11
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-12
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-13
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-14
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-15
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-2
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-3
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-4
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-5
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-6
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-7
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-8
FORMULA_NAME PermAdmissibility-COL-05-LTLCardinality-9

=== Now, execution of the tool begins

BK_START 1496477064426


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 : !(("c18<=c11"))
Formula 0 simplified : !"c18<=c11"
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 10
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out3_0 + 1'out3_1 + 1'out3_6 + 1'out3_7 + 1'out3_2 + 1'out3_3 + 1'out3_4 + 1'out3_5= 0
invariant : -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out8_1 + 1'out8_0 + 1'out8_3 + 1'out8_2 + 1'out8_6 + 1'out8_7 + 1'out8_4 + 1'out8_5= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + 2'c14= 0
invariant : -2'c20 + -2'out7_1 + -2'out7_0 + -2'out7_3 + -2'out7_2 + -2'out7_5 + -2'out7_4 + -2'out7_7 + -2'out7_6 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'aux6_0 + -1'c12 + -1'aux6_5 + -1'aux6_1 + -1'aux6_4 + -2'c13 + -2'in3_5 + -2'in3_4 + 2'c5= -10
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ 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:04:25 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 8:04:25 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 121 ms
Jun 03, 2017 8:04:25 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 8:04:26 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 8:04:26 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 179 ms
Jun 03, 2017 8:04:26 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 37 ms
Jun 03, 2017 8:04:26 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 03, 2017 8:04:27 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 157 ms
Jun 03, 2017 8:04:35 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8643 ms
Jun 03, 2017 8:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 8:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 560 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 8:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1865 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 03, 2017 8:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3168 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 03, 2017 8:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4441 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 03, 2017 8:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 5876 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 03, 2017 8:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7167 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 03, 2017 8:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 8446 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 03, 2017 8:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 9727 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 03, 2017 8:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 11022 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 03, 2017 8:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 12304 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 03, 2017 8:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 13581 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 03, 2017 8:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 14860 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 03, 2017 8:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 16139 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 03, 2017 8:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 17415 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 03, 2017 8:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 18698 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 03, 2017 8:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 19972 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 03, 2017 8:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 21374 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 03, 2017 8:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 22659 ms. Total solver calls (SAT/UNSAT): 7072(4108/2964)
Jun 03, 2017 8:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 23943 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 03, 2017 8:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 25216 ms. Total solver calls (SAT/UNSAT): 7888(4582/3306)
Jun 03, 2017 8:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/592 took 26448 ms. Total solver calls (SAT/UNSAT): 8326(4819/3507)
Jun 03, 2017 8:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/592 took 27651 ms. Total solver calls (SAT/UNSAT): 8779(5056/3723)
Jun 03, 2017 8:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/592 took 28846 ms. Total solver calls (SAT/UNSAT): 9232(5293/3939)
Jun 03, 2017 8:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/592 took 30021 ms. Total solver calls (SAT/UNSAT): 9685(5530/4155)
Jun 03, 2017 8:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/592 took 31206 ms. Total solver calls (SAT/UNSAT): 10138(5767/4371)
Jun 03, 2017 8:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/592 took 32405 ms. Total solver calls (SAT/UNSAT): 10591(6004/4587)
Jun 03, 2017 8:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/592 took 33596 ms. Total solver calls (SAT/UNSAT): 11044(6241/4803)
Jun 03, 2017 8:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/592 took 34794 ms. Total solver calls (SAT/UNSAT): 11497(6478/5019)
Jun 03, 2017 8:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/592 took 36123 ms. Total solver calls (SAT/UNSAT): 11950(6715/5235)
Jun 03, 2017 8:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/592 took 37331 ms. Total solver calls (SAT/UNSAT): 12403(6952/5451)
Jun 03, 2017 8:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/592 took 38544 ms. Total solver calls (SAT/UNSAT): 12856(7189/5667)
Jun 03, 2017 8:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/592 took 39750 ms. Total solver calls (SAT/UNSAT): 13309(7426/5883)
Jun 03, 2017 8:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/592 took 40945 ms. Total solver calls (SAT/UNSAT): 13762(7663/6099)
Jun 03, 2017 8:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/592 took 42204 ms. Total solver calls (SAT/UNSAT): 14215(7900/6315)
Jun 03, 2017 8:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/592 took 43429 ms. Total solver calls (SAT/UNSAT): 14653(8137/6516)
Jun 03, 2017 8:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/592 took 44780 ms. Total solver calls (SAT/UNSAT): 15061(8374/6687)
Jun 03, 2017 8:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/592 took 46190 ms. Total solver calls (SAT/UNSAT): 15499(8611/6888)
Jun 03, 2017 8:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/592 took 47364 ms. Total solver calls (SAT/UNSAT): 15952(8848/7104)
Jun 03, 2017 8:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/592 took 48561 ms. Total solver calls (SAT/UNSAT): 16405(9085/7320)
Jun 03, 2017 8:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/592 took 49756 ms. Total solver calls (SAT/UNSAT): 16858(9322/7536)
Jun 03, 2017 8:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/592 took 50952 ms. Total solver calls (SAT/UNSAT): 17311(9559/7752)
Jun 03, 2017 8:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/592 took 52159 ms. Total solver calls (SAT/UNSAT): 17749(9796/7953)
Jun 03, 2017 8:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/592 took 53375 ms. Total solver calls (SAT/UNSAT): 18157(10033/8124)
Jun 03, 2017 8:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/592 took 54588 ms. Total solver calls (SAT/UNSAT): 18565(10270/8295)
Jun 03, 2017 8:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/592 took 55793 ms. Total solver calls (SAT/UNSAT): 18973(10507/8466)
Jun 03, 2017 8:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 57002 ms. Total solver calls (SAT/UNSAT): 19381(10744/8637)
Jun 03, 2017 8:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/592 took 58212 ms. Total solver calls (SAT/UNSAT): 19789(10981/8808)
Jun 03, 2017 8:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 59423 ms. Total solver calls (SAT/UNSAT): 20197(11218/8979)
Jun 03, 2017 8:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 60631 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 03, 2017 8:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 61843 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 03, 2017 8:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 63057 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 03, 2017 8:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 64270 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 03, 2017 8:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 65480 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 03, 2017 8:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 66698 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 03, 2017 8:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 67908 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 03, 2017 8:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 69109 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 03, 2017 8:05:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 70327 ms. Total solver calls (SAT/UNSAT): 23944(13351/10593)
Jun 03, 2017 8:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 71541 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 03, 2017 8:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 72760 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 03, 2017 8:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 73981 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 03, 2017 8:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 75184 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 03, 2017 8:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 76383 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 03, 2017 8:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 77594 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 03, 2017 8:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/592 took 78867 ms. Total solver calls (SAT/UNSAT): 26804(15089/11715)
Jun 03, 2017 8:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 80135 ms. Total solver calls (SAT/UNSAT): 27216(15405/11811)
Jun 03, 2017 8:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/592 took 81423 ms. Total solver calls (SAT/UNSAT): 27628(15721/11907)
Jun 03, 2017 8:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/592 took 82684 ms. Total solver calls (SAT/UNSAT): 28040(16037/12003)
Jun 03, 2017 8:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/592 took 83954 ms. Total solver calls (SAT/UNSAT): 28452(16353/12099)
Jun 03, 2017 8:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 85219 ms. Total solver calls (SAT/UNSAT): 28864(16669/12195)
Jun 03, 2017 8:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/592 took 86284 ms. Total solver calls (SAT/UNSAT): 29173(16906/12267)
Jun 03, 2017 8:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/592 took 87668 ms. Total solver calls (SAT/UNSAT): 29585(17222/12363)
Jun 03, 2017 8:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/592 took 88977 ms. Total solver calls (SAT/UNSAT): 29997(17538/12459)
Jun 03, 2017 8:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/592 took 90162 ms. Total solver calls (SAT/UNSAT): 30405(17775/12630)
Jun 03, 2017 8:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/592 took 91281 ms. Total solver calls (SAT/UNSAT): 30780(18012/12768)
Jun 03, 2017 8:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 92531 ms. Total solver calls (SAT/UNSAT): 31192(18328/12864)
Jun 03, 2017 8:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/592 took 93772 ms. Total solver calls (SAT/UNSAT): 31604(18644/12960)
Jun 03, 2017 8:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/592 took 95022 ms. Total solver calls (SAT/UNSAT): 32016(18960/13056)
Jun 03, 2017 8:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 96257 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 03, 2017 8:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/592 took 97505 ms. Total solver calls (SAT/UNSAT): 32840(19592/13248)
Jun 03, 2017 8:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/592 took 98525 ms. Total solver calls (SAT/UNSAT): 33180(19852/13328)
Jun 03, 2017 8:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/592 took 99529 ms. Total solver calls (SAT/UNSAT): 33563(20138/13425)
Jun 03, 2017 8:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/592 took 100653 ms. Total solver calls (SAT/UNSAT): 33935(20431/13504)
Jun 03, 2017 8:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/592 took 101676 ms. Total solver calls (SAT/UNSAT): 34313(20681/13632)
Jun 03, 2017 8:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/592 took 102683 ms. Total solver calls (SAT/UNSAT): 34722(20911/13811)
Jun 03, 2017 8:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/592 took 103728 ms. Total solver calls (SAT/UNSAT): 35118(21164/13954)
Jun 03, 2017 8:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 105111 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 03, 2017 8:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 106293 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 03, 2017 8:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 107504 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 03, 2017 8:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 108818 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 03, 2017 8:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 109913 ms. Total solver calls (SAT/UNSAT): 37680(22470/15210)
Jun 03, 2017 8:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 111224 ms. Total solver calls (SAT/UNSAT): 38212(22756/15456)
Jun 03, 2017 8:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 112413 ms. Total solver calls (SAT/UNSAT): 38731(22993/15738)
Jun 03, 2017 8:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 113600 ms. Total solver calls (SAT/UNSAT): 39250(23230/16020)
Jun 03, 2017 8:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 114797 ms. Total solver calls (SAT/UNSAT): 39769(23467/16302)
Jun 03, 2017 8:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 116039 ms. Total solver calls (SAT/UNSAT): 40288(23704/16584)
Jun 03, 2017 8:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 117236 ms. Total solver calls (SAT/UNSAT): 40807(23941/16866)
Jun 03, 2017 8:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 118460 ms. Total solver calls (SAT/UNSAT): 41326(24178/17148)
Jun 03, 2017 8:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 119663 ms. Total solver calls (SAT/UNSAT): 41845(24415/17430)
Jun 03, 2017 8:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 120867 ms. Total solver calls (SAT/UNSAT): 42364(24652/17712)
Jun 03, 2017 8:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 122084 ms. Total solver calls (SAT/UNSAT): 42883(24889/17994)
Jun 03, 2017 8:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 123311 ms. Total solver calls (SAT/UNSAT): 43402(25126/18276)
Jun 03, 2017 8:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 124821 ms. Total solver calls (SAT/UNSAT): 43906(25363/18543)
Jun 03, 2017 8:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/592 took 125874 ms. Total solver calls (SAT/UNSAT): 44222(25521/18701)
Jun 03, 2017 8:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/592 took 127152 ms. Total solver calls (SAT/UNSAT): 44741(25758/18983)
Jun 03, 2017 8:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 128202 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 03, 2017 8:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 129267 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 03, 2017 8:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 130770 ms. Total solver calls (SAT/UNSAT): 45862(26311/19551)
Jun 03, 2017 8:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 131907 ms. Total solver calls (SAT/UNSAT): 46178(26469/19709)
Jun 03, 2017 8:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/592 took 133329 ms. Total solver calls (SAT/UNSAT): 46697(26706/19991)
Jun 03, 2017 8:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 134607 ms. Total solver calls (SAT/UNSAT): 47216(26943/20273)
Jun 03, 2017 8:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/592 took 135940 ms. Total solver calls (SAT/UNSAT): 47735(27180/20555)
Jun 03, 2017 8:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 136976 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 03, 2017 8:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 138311 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 03, 2017 8:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 139622 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 03, 2017 8:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 141106 ms. Total solver calls (SAT/UNSAT): 49578(28049/21529)
Jun 03, 2017 8:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 142607 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 03, 2017 8:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 143613 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 03, 2017 8:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 145096 ms. Total solver calls (SAT/UNSAT): 50842(28681/22161)
Jun 03, 2017 8:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/592 took 146115 ms. Total solver calls (SAT/UNSAT): 51158(28839/22319)
Jun 03, 2017 8:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 147603 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 03, 2017 8:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 148637 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 03, 2017 8:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 149639 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 03, 2017 8:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 150641 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 03, 2017 8:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 151642 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 03, 2017 8:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 152663 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 03, 2017 8:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 153756 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 03, 2017 8:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 154788 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 03, 2017 8:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 155791 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 03, 2017 8:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 156804 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 03, 2017 8:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 157806 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 03, 2017 8:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 159207 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 03, 2017 8:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 160458 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 03, 2017 8:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 161680 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 03, 2017 8:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 163005 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 03, 2017 8:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 164491 ms. Total solver calls (SAT/UNSAT): 57327(31841/25486)
Jun 03, 2017 8:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 165507 ms. Total solver calls (SAT/UNSAT): 57643(31999/25644)
Jun 03, 2017 8:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/592 took 166684 ms. Total solver calls (SAT/UNSAT): 57959(32157/25802)
Jun 03, 2017 8:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/592 took 167709 ms. Total solver calls (SAT/UNSAT): 58275(32315/25960)
Jun 03, 2017 8:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 168712 ms. Total solver calls (SAT/UNSAT): 58591(32473/26118)
Jun 03, 2017 8:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 169715 ms. Total solver calls (SAT/UNSAT): 58907(32631/26276)
Jun 03, 2017 8:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 170729 ms. Total solver calls (SAT/UNSAT): 59223(32789/26434)
Jun 03, 2017 8:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 171980 ms. Total solver calls (SAT/UNSAT): 59742(33026/26716)
Jun 03, 2017 8:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 173219 ms. Total solver calls (SAT/UNSAT): 60261(33263/26998)
Jun 03, 2017 8:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 174464 ms. Total solver calls (SAT/UNSAT): 60780(33500/27280)
Jun 03, 2017 8:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 175714 ms. Total solver calls (SAT/UNSAT): 61299(33737/27562)
Jun 03, 2017 8:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 176954 ms. Total solver calls (SAT/UNSAT): 61818(33974/27844)
Jun 03, 2017 8:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 178199 ms. Total solver calls (SAT/UNSAT): 62337(34211/28126)
Jun 03, 2017 8:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 179451 ms. Total solver calls (SAT/UNSAT): 62856(34448/28408)
Jun 03, 2017 8:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 180681 ms. Total solver calls (SAT/UNSAT): 63375(34685/28690)
Jun 03, 2017 8:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 181914 ms. Total solver calls (SAT/UNSAT): 63894(34922/28972)
Jun 03, 2017 8:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 183219 ms. Total solver calls (SAT/UNSAT): 64413(35159/29254)
Jun 03, 2017 8:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 184462 ms. Total solver calls (SAT/UNSAT): 64932(35396/29536)
Jun 03, 2017 8:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 185703 ms. Total solver calls (SAT/UNSAT): 65451(35633/29818)
Jun 03, 2017 8:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 187062 ms. Total solver calls (SAT/UNSAT): 65970(35870/30100)
Jun 03, 2017 8:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 188311 ms. Total solver calls (SAT/UNSAT): 66489(36107/30382)
Jun 03, 2017 8:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 189557 ms. Total solver calls (SAT/UNSAT): 67008(36344/30664)
Jun 03, 2017 8:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 190788 ms. Total solver calls (SAT/UNSAT): 67527(36581/30946)
Jun 03, 2017 8:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 191816 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 03, 2017 8:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 192834 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 03, 2017 8:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 193852 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 03, 2017 8:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 194869 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 03, 2017 8:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 195882 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 03, 2017 8:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 197182 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 03, 2017 8:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 198405 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 03, 2017 8:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 199409 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 03, 2017 8:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 200428 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 03, 2017 8:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 201438 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 03, 2017 8:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 202478 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 03, 2017 8:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 203489 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 03, 2017 8:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 204514 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 03, 2017 8:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 206002 ms. Total solver calls (SAT/UNSAT): 72500(39030/33470)
Jun 03, 2017 8:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 207026 ms. Total solver calls (SAT/UNSAT): 72816(39188/33628)
Jun 03, 2017 8:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 208051 ms. Total solver calls (SAT/UNSAT): 73132(39346/33786)
Jun 03, 2017 8:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 209570 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 03, 2017 8:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 210607 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 03, 2017 8:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 211631 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 03, 2017 8:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 212635 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 03, 2017 8:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 213670 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 03, 2017 8:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 214699 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 03, 2017 8:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 215723 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 03, 2017 8:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 216762 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 03, 2017 8:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 217763 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 03, 2017 8:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 218772 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 03, 2017 8:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 219805 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 03, 2017 8:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 220833 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 03, 2017 8:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 221859 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 03, 2017 8:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 222876 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 03, 2017 8:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 223894 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 03, 2017 8:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 224907 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 03, 2017 8:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 225426 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 8:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 8:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1123 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 8:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2222 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 8:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3308 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 8:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4405 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 8:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5531 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 8:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6633 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 8:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 7733 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 8:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 8850 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 8:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 9941 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 8:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11032 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 8:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12119 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 8:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13214 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 03, 2017 8:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14305 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 03, 2017 8:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 15383 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 03, 2017 8:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 16482 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 03, 2017 8:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 17572 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 03, 2017 8:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 18681 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 03, 2017 8:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 19766 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 03, 2017 8:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 20866 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 03, 2017 8:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 21929 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 03, 2017 8:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 22963 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 03, 2017 8:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 24001 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 03, 2017 8:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 25073 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 03, 2017 8:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 26160 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 03, 2017 8:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 27282 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 03, 2017 8:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 28411 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 03, 2017 8:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 29535 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 03, 2017 8:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 30669 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 03, 2017 8:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 31769 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 03, 2017 8:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 32814 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 03, 2017 8:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 33855 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 03, 2017 8:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 34901 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 03, 2017 8:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 35949 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 03, 2017 8:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 37025 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 03, 2017 8:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 38082 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 03, 2017 8:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 39185 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 03, 2017 8:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 40320 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 03, 2017 8:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 41441 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 03, 2017 8:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 42573 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 03, 2017 8:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 43685 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 03, 2017 8:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 44738 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 03, 2017 8:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 45795 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 03, 2017 8:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 46859 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 03, 2017 8:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 47909 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 03, 2017 8:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 48970 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 03, 2017 8:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 50017 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 03, 2017 8:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 51065 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 03, 2017 8:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 52114 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 03, 2017 8:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 53175 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 03, 2017 8:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 54232 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 03, 2017 8:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 55288 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 03, 2017 8:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 56369 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 03, 2017 8:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 57496 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 03, 2017 8:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 58557 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 03, 2017 8:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 59637 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 03, 2017 8:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 60697 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 03, 2017 8:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 61757 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 03, 2017 8:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 62816 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 03, 2017 8:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 63883 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 03, 2017 8:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 64939 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 03, 2017 8:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 65999 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 03, 2017 8:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 67057 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 03, 2017 8:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 68165 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 03, 2017 8:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 69275 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 03, 2017 8:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 70350 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 03, 2017 8:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 71441 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 03, 2017 8:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 72538 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 03, 2017 8:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 73622 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 03, 2017 8:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 74705 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 03, 2017 8:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 75845 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 03, 2017 8:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 76901 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 03, 2017 8:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 78003 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 03, 2017 8:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 79087 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 03, 2017 8:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 80176 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 03, 2017 8:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 81250 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 03, 2017 8:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/592 took 82278 ms. Total solver calls (SAT/UNSAT): 33242(15264/17978)
Jun 03, 2017 8:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/592 took 83449 ms. Total solver calls (SAT/UNSAT): 33832(15424/18408)
Jun 03, 2017 8:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/592 took 84538 ms. Total solver calls (SAT/UNSAT): 34356(15596/18760)
Jun 03, 2017 8:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/592 took 85570 ms. Total solver calls (SAT/UNSAT): 34830(15836/18994)
Jun 03, 2017 8:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/592 took 86612 ms. Total solver calls (SAT/UNSAT): 35314(16068/19246)
Jun 03, 2017 8:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/592 took 87891 ms. Total solver calls (SAT/UNSAT): 35864(16358/19506)
Jun 03, 2017 8:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/592 took 89146 ms. Total solver calls (SAT/UNSAT): 36383(16640/19743)
Jun 03, 2017 8:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/592 took 90163 ms. Total solver calls (SAT/UNSAT): 36801(16868/19933)
Jun 03, 2017 8:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 91265 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 03, 2017 8:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 92304 ms. Total solver calls (SAT/UNSAT): 37680(17350/20330)
Jun 03, 2017 8:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 93516 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 03, 2017 8:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 94772 ms. Total solver calls (SAT/UNSAT): 38731(17906/20825)
Jun 03, 2017 8:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 96027 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 03, 2017 8:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 97292 ms. Total solver calls (SAT/UNSAT): 39769(18470/21299)
Jun 03, 2017 8:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 98535 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 03, 2017 8:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 99800 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 03, 2017 8:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 101054 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 03, 2017 8:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 102307 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 03, 2017 8:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 103565 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 03, 2017 8:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 104809 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 03, 2017 8:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 106079 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 03, 2017 8:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 107340 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 03, 2017 8:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 108568 ms. Total solver calls (SAT/UNSAT): 44395(21008/23387)
Jun 03, 2017 8:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 109830 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 03, 2017 8:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 111060 ms. Total solver calls (SAT/UNSAT): 45388(21572/23816)
Jun 03, 2017 8:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 112268 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 03, 2017 8:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 113490 ms. Total solver calls (SAT/UNSAT): 46351(22136/24215)
Jun 03, 2017 8:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 114746 ms. Total solver calls (SAT/UNSAT): 46870(22418/24452)
Jun 03, 2017 8:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 116002 ms. Total solver calls (SAT/UNSAT): 47389(22700/24689)
Jun 03, 2017 8:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 117263 ms. Total solver calls (SAT/UNSAT): 47908(22982/24926)
Jun 03, 2017 8:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 118532 ms. Total solver calls (SAT/UNSAT): 48427(23264/25163)
Jun 03, 2017 8:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 119793 ms. Total solver calls (SAT/UNSAT): 48946(23546/25400)
Jun 03, 2017 8:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 121006 ms. Total solver calls (SAT/UNSAT): 49420(23828/25592)
Jun 03, 2017 8:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 122240 ms. Total solver calls (SAT/UNSAT): 49894(24110/25784)
Jun 03, 2017 8:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 123473 ms. Total solver calls (SAT/UNSAT): 50368(24392/25976)
Jun 03, 2017 8:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 124700 ms. Total solver calls (SAT/UNSAT): 50842(24674/26168)
Jun 03, 2017 8:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 125902 ms. Total solver calls (SAT/UNSAT): 51316(24956/26360)
Jun 03, 2017 8:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 127124 ms. Total solver calls (SAT/UNSAT): 51790(25238/26552)
Jun 03, 2017 8:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 128342 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 03, 2017 8:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 129570 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 03, 2017 8:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 130819 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 03, 2017 8:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 132042 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 03, 2017 8:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 133261 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 03, 2017 8:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 134490 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 03, 2017 8:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 135727 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 03, 2017 8:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 136992 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 03, 2017 8:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 138259 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 03, 2017 8:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 139498 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 03, 2017 8:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 140727 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 03, 2017 8:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 141964 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 03, 2017 8:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 143168 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 03, 2017 8:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 144366 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 03, 2017 8:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 145598 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 03, 2017 8:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 146833 ms. Total solver calls (SAT/UNSAT): 59569(29750/29819)
Jun 03, 2017 8:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 148076 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 03, 2017 8:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 149322 ms. Total solver calls (SAT/UNSAT): 60607(30314/30293)
Jun 03, 2017 8:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 150574 ms. Total solver calls (SAT/UNSAT): 61126(30596/30530)
Jun 03, 2017 8:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 151823 ms. Total solver calls (SAT/UNSAT): 61645(30878/30767)
Jun 03, 2017 8:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 153072 ms. Total solver calls (SAT/UNSAT): 62164(31160/31004)
Jun 03, 2017 8:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 154307 ms. Total solver calls (SAT/UNSAT): 62683(31442/31241)
Jun 03, 2017 8:10:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 155544 ms. Total solver calls (SAT/UNSAT): 63202(31724/31478)
Jun 03, 2017 8:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 156783 ms. Total solver calls (SAT/UNSAT): 63721(32006/31715)
Jun 03, 2017 8:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 158026 ms. Total solver calls (SAT/UNSAT): 64240(32288/31952)
Jun 03, 2017 8:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 159278 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 03, 2017 8:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 160506 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 03, 2017 8:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 161731 ms. Total solver calls (SAT/UNSAT): 65797(33134/32663)
Jun 03, 2017 8:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 162974 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 03, 2017 8:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 164204 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 03, 2017 8:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 165447 ms. Total solver calls (SAT/UNSAT): 67354(33980/33374)
Jun 03, 2017 8:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 166683 ms. Total solver calls (SAT/UNSAT): 67843(34262/33581)
Jun 03, 2017 8:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 167915 ms. Total solver calls (SAT/UNSAT): 68317(34544/33773)
Jun 03, 2017 8:11:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 169194 ms. Total solver calls (SAT/UNSAT): 68791(34826/33965)
Jun 03, 2017 8:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 170459 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 03, 2017 8:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 171680 ms. Total solver calls (SAT/UNSAT): 69784(35390/34394)
Jun 03, 2017 8:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 172889 ms. Total solver calls (SAT/UNSAT): 70288(35672/34616)
Jun 03, 2017 8:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 174148 ms. Total solver calls (SAT/UNSAT): 70762(35954/34808)
Jun 03, 2017 8:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 175403 ms. Total solver calls (SAT/UNSAT): 71236(36236/35000)
Jun 03, 2017 8:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 176633 ms. Total solver calls (SAT/UNSAT): 71710(36518/35192)
Jun 03, 2017 8:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 177862 ms. Total solver calls (SAT/UNSAT): 72184(36800/35384)
Jun 03, 2017 8:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 179113 ms. Total solver calls (SAT/UNSAT): 72658(37082/35576)
Jun 03, 2017 8:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 180338 ms. Total solver calls (SAT/UNSAT): 73132(37364/35768)
Jun 03, 2017 8:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 181586 ms. Total solver calls (SAT/UNSAT): 73606(37646/35960)
Jun 03, 2017 8:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 182839 ms. Total solver calls (SAT/UNSAT): 74080(37928/36152)
Jun 03, 2017 8:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 184066 ms. Total solver calls (SAT/UNSAT): 74554(38210/36344)
Jun 03, 2017 8:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 185291 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 03, 2017 8:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 186546 ms. Total solver calls (SAT/UNSAT): 75502(38774/36728)
Jun 03, 2017 8:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 187781 ms. Total solver calls (SAT/UNSAT): 75976(39056/36920)
Jun 03, 2017 8:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 189007 ms. Total solver calls (SAT/UNSAT): 76450(39338/37112)
Jun 03, 2017 8:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 190239 ms. Total solver calls (SAT/UNSAT): 76924(39620/37304)
Jun 03, 2017 8:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 191486 ms. Total solver calls (SAT/UNSAT): 77398(39902/37496)
Jun 03, 2017 8:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 192710 ms. Total solver calls (SAT/UNSAT): 77872(40184/37688)
Jun 03, 2017 8:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 193949 ms. Total solver calls (SAT/UNSAT): 78346(40466/37880)
Jun 03, 2017 8:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 194348 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 8:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 8:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 930 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 8:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 2825 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 03, 2017 8:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 4709 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 03, 2017 8:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 6566 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 03, 2017 8:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 8461 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 03, 2017 8:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 10338 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 03, 2017 8:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 12199 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 03, 2017 8:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 14031 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 03, 2017 8:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 15866 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 03, 2017 8:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 17728 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 03, 2017 8:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 19546 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 03, 2017 8:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 21384 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 03, 2017 8:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 23167 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 03, 2017 8:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 24947 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 03, 2017 8:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 26730 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 03, 2017 8:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 28506 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 03, 2017 8:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 30259 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 03, 2017 8:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 32004 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 03, 2017 8:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 33751 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 03, 2017 8:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 35483 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 03, 2017 8:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/592) took 37243 ms. Total solver calls (SAT/UNSAT): 23452(23452/0)
Jun 03, 2017 8:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/592) took 38972 ms. Total solver calls (SAT/UNSAT): 24553(24553/0)
Jun 03, 2017 8:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/592) took 40717 ms. Total solver calls (SAT/UNSAT): 25650(25650/0)
Jun 03, 2017 8:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/592) took 42452 ms. Total solver calls (SAT/UNSAT): 26743(26743/0)
Jun 03, 2017 8:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/592) took 44164 ms. Total solver calls (SAT/UNSAT): 27832(27832/0)
Jun 03, 2017 8:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/592) took 45870 ms. Total solver calls (SAT/UNSAT): 28917(28917/0)
Jun 03, 2017 8:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/592) took 47547 ms. Total solver calls (SAT/UNSAT): 29998(29998/0)
Jun 03, 2017 8:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/592) took 49224 ms. Total solver calls (SAT/UNSAT): 31075(31075/0)
Jun 03, 2017 8:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 50917 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 03, 2017 8:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 52587 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 03, 2017 8:12:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/592) took 54259 ms. Total solver calls (SAT/UNSAT): 34282(34282/0)
Jun 03, 2017 8:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/592) took 55914 ms. Total solver calls (SAT/UNSAT): 35343(35343/0)
Jun 03, 2017 8:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/592) took 57577 ms. Total solver calls (SAT/UNSAT): 36400(36400/0)
Jun 03, 2017 8:12:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/592) took 59237 ms. Total solver calls (SAT/UNSAT): 37453(37453/0)
Jun 03, 2017 8:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/592) took 60857 ms. Total solver calls (SAT/UNSAT): 38502(38502/0)
Jun 03, 2017 8:12:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/592) took 62511 ms. Total solver calls (SAT/UNSAT): 39547(39547/0)
Jun 03, 2017 8:12:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/592) took 64170 ms. Total solver calls (SAT/UNSAT): 40588(40588/0)
Jun 03, 2017 8:12:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/592) took 65824 ms. Total solver calls (SAT/UNSAT): 41625(41625/0)
Jun 03, 2017 8:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/592) took 67469 ms. Total solver calls (SAT/UNSAT): 42658(42658/0)
Jun 03, 2017 8:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 69090 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 03, 2017 8:12:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 70722 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 03, 2017 8:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 72339 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 03, 2017 8:12:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 73960 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 03, 2017 8:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 75572 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 03, 2017 8:12:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 77160 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 03, 2017 8:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 78735 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 03, 2017 8:12:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 80292 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 03, 2017 8:12:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 81852 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 03, 2017 8:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 83408 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 03, 2017 8:13:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 84982 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 03, 2017 8:13:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 86531 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 03, 2017 8:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 88035 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 03, 2017 8:13:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 89549 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 03, 2017 8:13:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 91019 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 03, 2017 8:13:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 92521 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 03, 2017 8:13:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 94039 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 03, 2017 8:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 95518 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 03, 2017 8:13:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 96991 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 03, 2017 8:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 98450 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 03, 2017 8:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 99926 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 03, 2017 8:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 101480 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 03, 2017 8:13:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 102901 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 03, 2017 8:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 104386 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 03, 2017 8:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 105865 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 03, 2017 8:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 107345 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 03, 2017 8:13:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 108824 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 03, 2017 8:13:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 110309 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 03, 2017 8:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 111738 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 03, 2017 8:13:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 113157 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 03, 2017 8:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 114590 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 03, 2017 8:13:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/592) took 116030 ms. Total solver calls (SAT/UNSAT): 73602(73602/0)
Jun 03, 2017 8:13:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/592) took 117471 ms. Total solver calls (SAT/UNSAT): 74503(74503/0)
Jun 03, 2017 8:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 118888 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 03, 2017 8:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 120289 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 03, 2017 8:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/592) took 121661 ms. Total solver calls (SAT/UNSAT): 77182(77182/0)
Jun 03, 2017 8:13:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/592) took 123071 ms. Total solver calls (SAT/UNSAT): 78067(78067/0)
Jun 03, 2017 8:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/592) took 124457 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Jun 03, 2017 8:13:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(154/592) took 125833 ms. Total solver calls (SAT/UNSAT): 79825(79825/0)
Jun 03, 2017 8:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/592) took 127184 ms. Total solver calls (SAT/UNSAT): 80698(80698/0)
Jun 03, 2017 8:13:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/592) took 128513 ms. Total solver calls (SAT/UNSAT): 81567(81567/0)
Jun 03, 2017 8:13:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(160/592) took 129871 ms. Total solver calls (SAT/UNSAT): 82432(82432/0)
Jun 03, 2017 8:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(162/592) took 131226 ms. Total solver calls (SAT/UNSAT): 83293(83293/0)
Jun 03, 2017 8:13:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/592) took 132561 ms. Total solver calls (SAT/UNSAT): 84150(84150/0)
Jun 03, 2017 8:13:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/592) took 133865 ms. Total solver calls (SAT/UNSAT): 85003(85003/0)
Jun 03, 2017 8:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/592) took 135192 ms. Total solver calls (SAT/UNSAT): 85852(85852/0)
Jun 03, 2017 8:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/592) took 136535 ms. Total solver calls (SAT/UNSAT): 86697(86697/0)
Jun 03, 2017 8:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/592) took 137842 ms. Total solver calls (SAT/UNSAT): 87538(87538/0)
Jun 03, 2017 8:13:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 139147 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 03, 2017 8:13:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/592) took 140445 ms. Total solver calls (SAT/UNSAT): 89208(89208/0)
Jun 03, 2017 8:13:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/592) took 141742 ms. Total solver calls (SAT/UNSAT): 90037(90037/0)
Jun 03, 2017 8:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/592) took 143007 ms. Total solver calls (SAT/UNSAT): 90862(90862/0)
Jun 03, 2017 8:13:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/592) took 144276 ms. Total solver calls (SAT/UNSAT): 91683(91683/0)
Jun 03, 2017 8:14:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/592) took 145540 ms. Total solver calls (SAT/UNSAT): 92500(92500/0)
Jun 03, 2017 8:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/592) took 146788 ms. Total solver calls (SAT/UNSAT): 93313(93313/0)
Jun 03, 2017 8:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/592) took 147983 ms. Total solver calls (SAT/UNSAT): 94122(94122/0)
Jun 03, 2017 8:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/592) took 149183 ms. Total solver calls (SAT/UNSAT): 94927(94927/0)
Jun 03, 2017 8:14:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/592) took 150350 ms. Total solver calls (SAT/UNSAT): 95728(95728/0)
Jun 03, 2017 8:14:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/592) took 151523 ms. Total solver calls (SAT/UNSAT): 96525(96525/0)
Jun 03, 2017 8:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/592) took 152678 ms. Total solver calls (SAT/UNSAT): 97318(97318/0)
Jun 03, 2017 8:14:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/592) took 153843 ms. Total solver calls (SAT/UNSAT): 98107(98107/0)
Jun 03, 2017 8:14:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/592) took 154983 ms. Total solver calls (SAT/UNSAT): 98892(98892/0)
Jun 03, 2017 8:14:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/592) took 156165 ms. Total solver calls (SAT/UNSAT): 99673(99673/0)
Jun 03, 2017 8:14:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/592) took 157296 ms. Total solver calls (SAT/UNSAT): 100450(100450/0)
Jun 03, 2017 8:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/592) took 158443 ms. Total solver calls (SAT/UNSAT): 101223(101223/0)
Jun 03, 2017 8:14:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/592) took 159584 ms. Total solver calls (SAT/UNSAT): 101992(101992/0)
Jun 03, 2017 8:14:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/592) took 160697 ms. Total solver calls (SAT/UNSAT): 102757(102757/0)
Jun 03, 2017 8:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/592) took 161813 ms. Total solver calls (SAT/UNSAT): 103518(103518/0)
Jun 03, 2017 8:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/592) took 162915 ms. Total solver calls (SAT/UNSAT): 104275(104275/0)
Jun 03, 2017 8:14:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/592) took 164031 ms. Total solver calls (SAT/UNSAT): 105028(105028/0)
Jun 03, 2017 8:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/592) took 165144 ms. Total solver calls (SAT/UNSAT): 105777(105777/0)
Jun 03, 2017 8:14:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/592) took 166235 ms. Total solver calls (SAT/UNSAT): 106522(106522/0)
Jun 03, 2017 8:14:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/592) took 167335 ms. Total solver calls (SAT/UNSAT): 107263(107263/0)
Jun 03, 2017 8:14:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/592) took 168454 ms. Total solver calls (SAT/UNSAT): 108000(108000/0)
Jun 03, 2017 8:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/592) took 169602 ms. Total solver calls (SAT/UNSAT): 108733(108733/0)
Jun 03, 2017 8:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/592) took 170666 ms. Total solver calls (SAT/UNSAT): 109462(109462/0)
Jun 03, 2017 8:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/592) took 171764 ms. Total solver calls (SAT/UNSAT): 110187(110187/0)
Jun 03, 2017 8:14:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/592) took 172814 ms. Total solver calls (SAT/UNSAT): 110908(110908/0)
Jun 03, 2017 8:14:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/592) took 173841 ms. Total solver calls (SAT/UNSAT): 111625(111625/0)
Jun 03, 2017 8:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/592) took 174887 ms. Total solver calls (SAT/UNSAT): 112338(112338/0)
Jun 03, 2017 8:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/592) took 175952 ms. Total solver calls (SAT/UNSAT): 113047(113047/0)
Jun 03, 2017 8:14:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/592) took 177011 ms. Total solver calls (SAT/UNSAT): 113752(113752/0)
Jun 03, 2017 8:14:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/592) took 178049 ms. Total solver calls (SAT/UNSAT): 114453(114453/0)
Jun 03, 2017 8:14:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 179548 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 03, 2017 8:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 180566 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 03, 2017 8:14:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 181582 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 03, 2017 8:14:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(252/592) took 183006 ms. Total solver calls (SAT/UNSAT): 117898(117898/0)
Jun 03, 2017 8:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(255/592) took 184346 ms. Total solver calls (SAT/UNSAT): 118912(118912/0)
Jun 03, 2017 8:14:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(258/592) took 185650 ms. Total solver calls (SAT/UNSAT): 119917(119917/0)
Jun 03, 2017 8:14:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(261/592) took 186970 ms. Total solver calls (SAT/UNSAT): 120913(120913/0)
Jun 03, 2017 8:14:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(264/592) took 188316 ms. Total solver calls (SAT/UNSAT): 121900(121900/0)
Jun 03, 2017 8:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/592) took 189668 ms. Total solver calls (SAT/UNSAT): 122878(122878/0)
Jun 03, 2017 8:14:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/592) took 191020 ms. Total solver calls (SAT/UNSAT): 123847(123847/0)
Jun 03, 2017 8:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/592) took 192336 ms. Total solver calls (SAT/UNSAT): 124807(124807/0)
Jun 03, 2017 8:14:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 193647 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 03, 2017 8:14:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 194984 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 03, 2017 8:14:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/592) took 196356 ms. Total solver calls (SAT/UNSAT): 127633(127633/0)
Jun 03, 2017 8:14:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(285/592) took 197631 ms. Total solver calls (SAT/UNSAT): 128557(128557/0)
Jun 03, 2017 8:14:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/592) took 198877 ms. Total solver calls (SAT/UNSAT): 129472(129472/0)
Jun 03, 2017 8:14:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/592) took 200135 ms. Total solver calls (SAT/UNSAT): 130378(130378/0)
Jun 03, 2017 8:14:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(294/592) took 201397 ms. Total solver calls (SAT/UNSAT): 131275(131275/0)
Jun 03, 2017 8:14:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/592) took 202604 ms. Total solver calls (SAT/UNSAT): 132163(132163/0)
Jun 03, 2017 8:14:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(300/592) took 203796 ms. Total solver calls (SAT/UNSAT): 133042(133042/0)
Jun 03, 2017 8:15:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/592) took 204977 ms. Total solver calls (SAT/UNSAT): 133912(133912/0)
Jun 03, 2017 8:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/592) took 206149 ms. Total solver calls (SAT/UNSAT): 134773(134773/0)
Jun 03, 2017 8:15:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/592) took 207283 ms. Total solver calls (SAT/UNSAT): 135625(135625/0)
Jun 03, 2017 8:15:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(312/592) took 208422 ms. Total solver calls (SAT/UNSAT): 136468(136468/0)
Jun 03, 2017 8:15:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/592) took 209550 ms. Total solver calls (SAT/UNSAT): 137302(137302/0)
Jun 03, 2017 8:15:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/592) took 210759 ms. Total solver calls (SAT/UNSAT): 138127(138127/0)
Jun 03, 2017 8:15:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(321/592) took 211957 ms. Total solver calls (SAT/UNSAT): 138943(138943/0)
Jun 03, 2017 8:15:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/592) took 213218 ms. Total solver calls (SAT/UNSAT): 139750(139750/0)
Jun 03, 2017 8:15:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/592) took 214447 ms. Total solver calls (SAT/UNSAT): 140548(140548/0)
Jun 03, 2017 8:15:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/592) took 215627 ms. Total solver calls (SAT/UNSAT): 141337(141337/0)
Jun 03, 2017 8:15:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/592) took 216810 ms. Total solver calls (SAT/UNSAT): 142117(142117/0)
Jun 03, 2017 8:15:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/592) took 217983 ms. Total solver calls (SAT/UNSAT): 142888(142888/0)
Jun 03, 2017 8:15:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/592) took 219124 ms. Total solver calls (SAT/UNSAT): 143650(143650/0)
Jun 03, 2017 8:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/592) took 220181 ms. Total solver calls (SAT/UNSAT): 144403(144403/0)
Jun 03, 2017 8:15:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/592) took 221260 ms. Total solver calls (SAT/UNSAT): 145147(145147/0)
Jun 03, 2017 8:15:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(348/592) took 222340 ms. Total solver calls (SAT/UNSAT): 145882(145882/0)
Jun 03, 2017 8:15:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/592) took 223433 ms. Total solver calls (SAT/UNSAT): 146608(146608/0)
Jun 03, 2017 8:15:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/592) took 224503 ms. Total solver calls (SAT/UNSAT): 147325(147325/0)
Jun 03, 2017 8:15:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(357/592) took 225655 ms. Total solver calls (SAT/UNSAT): 148033(148033/0)
Jun 03, 2017 8:15:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/592) took 226735 ms. Total solver calls (SAT/UNSAT): 148732(148732/0)
Jun 03, 2017 8:15:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/592) took 227812 ms. Total solver calls (SAT/UNSAT): 149422(149422/0)
Jun 03, 2017 8:15:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/592) took 228866 ms. Total solver calls (SAT/UNSAT): 150103(150103/0)
Jun 03, 2017 8:15:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(369/592) took 229908 ms. Total solver calls (SAT/UNSAT): 150775(150775/0)
Jun 03, 2017 8:15:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(372/592) took 230940 ms. Total solver calls (SAT/UNSAT): 151438(151438/0)
Jun 03, 2017 8:15:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/592) took 231964 ms. Total solver calls (SAT/UNSAT): 152092(152092/0)
Jun 03, 2017 8:15:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/592) took 233284 ms. Total solver calls (SAT/UNSAT): 152950(152950/0)
Jun 03, 2017 8:15:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/592) took 234382 ms. Total solver calls (SAT/UNSAT): 153583(153583/0)
Jun 03, 2017 8:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/592) took 235696 ms. Total solver calls (SAT/UNSAT): 154413(154413/0)
Jun 03, 2017 8:15:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/592) took 236753 ms. Total solver calls (SAT/UNSAT): 155025(155025/0)
Jun 03, 2017 8:15:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(392/592) took 237789 ms. Total solver calls (SAT/UNSAT): 155628(155628/0)
Jun 03, 2017 8:15:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(396/592) took 239095 ms. Total solver calls (SAT/UNSAT): 156418(156418/0)
Jun 03, 2017 8:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/592) took 240313 ms. Total solver calls (SAT/UNSAT): 157192(157192/0)
Jun 03, 2017 8:15:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(404/592) took 241487 ms. Total solver calls (SAT/UNSAT): 157950(157950/0)
Jun 03, 2017 8:15:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(408/592) took 242654 ms. Total solver calls (SAT/UNSAT): 158692(158692/0)
Jun 03, 2017 8:15:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/592) took 243859 ms. Total solver calls (SAT/UNSAT): 159418(159418/0)
Jun 03, 2017 8:15:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/592) took 245080 ms. Total solver calls (SAT/UNSAT): 160128(160128/0)
Jun 03, 2017 8:15:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/592) took 246263 ms. Total solver calls (SAT/UNSAT): 160822(160822/0)
Jun 03, 2017 8:15:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(424/592) took 247420 ms. Total solver calls (SAT/UNSAT): 161500(161500/0)
Jun 03, 2017 8:15:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(428/592) took 248561 ms. Total solver calls (SAT/UNSAT): 162162(162162/0)
Jun 03, 2017 8:15:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(432/592) took 249668 ms. Total solver calls (SAT/UNSAT): 162808(162808/0)
Jun 03, 2017 8:15:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/592) took 250733 ms. Total solver calls (SAT/UNSAT): 163438(163438/0)
Jun 03, 2017 8:15:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/592) took 251768 ms. Total solver calls (SAT/UNSAT): 164052(164052/0)
Jun 03, 2017 8:15:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(444/592) took 252768 ms. Total solver calls (SAT/UNSAT): 164650(164650/0)
Jun 03, 2017 8:15:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(449/592) took 253955 ms. Total solver calls (SAT/UNSAT): 165375(165375/0)
Jun 03, 2017 8:15:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(454/592) took 255056 ms. Total solver calls (SAT/UNSAT): 166075(166075/0)
Jun 03, 2017 8:15:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(459/592) took 256134 ms. Total solver calls (SAT/UNSAT): 166750(166750/0)
Jun 03, 2017 8:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(464/592) took 257212 ms. Total solver calls (SAT/UNSAT): 167400(167400/0)
Jun 03, 2017 8:15:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(469/592) took 258237 ms. Total solver calls (SAT/UNSAT): 168025(168025/0)
Jun 03, 2017 8:15:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(475/592) took 259395 ms. Total solver calls (SAT/UNSAT): 168742(168742/0)
Jun 03, 2017 8:15:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(481/592) took 260465 ms. Total solver calls (SAT/UNSAT): 169423(169423/0)
Jun 03, 2017 8:15:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(487/592) took 261472 ms. Total solver calls (SAT/UNSAT): 170068(170068/0)
Jun 03, 2017 8:15:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(494/592) took 262581 ms. Total solver calls (SAT/UNSAT): 170775(170775/0)
Jun 03, 2017 8:15:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(501/592) took 263611 ms. Total solver calls (SAT/UNSAT): 171433(171433/0)
Jun 03, 2017 8:16:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(509/592) took 264708 ms. Total solver calls (SAT/UNSAT): 172125(172125/0)
Jun 03, 2017 8:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(518/592) took 265819 ms. Total solver calls (SAT/UNSAT): 172827(172827/0)
Jun 03, 2017 8:16:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(527/592) took 266879 ms. Total solver calls (SAT/UNSAT): 173448(173448/0)
Jun 03, 2017 8:16:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(537/592) took 267891 ms. Total solver calls (SAT/UNSAT): 174043(174043/0)
Jun 03, 2017 8:16:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(549/592) took 268947 ms. Total solver calls (SAT/UNSAT): 174625(174625/0)
Jun 03, 2017 8:16:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(565/592) took 269968 ms. Total solver calls (SAT/UNSAT): 175177(175177/0)
Jun 03, 2017 8:16:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 270655 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 8:16:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PermAdmissibility-PT-05"
export BK_EXAMINATION="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-05.tgz
mv S_PermAdmissibility-PT-05 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PermAdmissibility-PT-05, examination is 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-149441652200419"
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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;