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-50, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-blw7-149441652200446
=====================================================================

--------------------
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-50-LTLCardinality-0
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-1
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-10
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-11
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-12
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-13
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-14
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-15
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-2
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-3
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-4
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-5
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-6
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-7
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-8
FORMULA_NAME PermAdmissibility-COL-50-LTLCardinality-9

=== Now, execution of the tool begins

BK_START 1496487470370


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 : !((X(X(("(((((((out1_0+out1_6)+out1_5)+out1_7)+out1_2)+out1_1)+out1_4)+out1_3)<=c17")U("c17>=2")))))
Formula 0 simplified : !XX("(((((((out1_0+out1_6)+out1_5)+out1_7)+out1_2)+out1_1)+out1_4)+out1_3)<=c17" U "c17>=2")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 100
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= -100
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 :134

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 10:57:51 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 10:57:51 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 98 ms
Jun 03, 2017 10:57:51 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 10:57:52 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 10:57:52 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 204 ms
Jun 03, 2017 10:57:52 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 35 ms
Jun 03, 2017 10:57:52 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 2 ms
Jun 03, 2017 10:57:53 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 142 ms
Jun 03, 2017 10:58:02 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 9687 ms
Jun 03, 2017 10:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 10:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 586 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 10:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1859 ms. Total solver calls (SAT/UNSAT): 408(237/171)
Jun 03, 2017 10:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/592 took 2969 ms. Total solver calls (SAT/UNSAT): 680(395/285)
Jun 03, 2017 10:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/592 took 4421 ms. Total solver calls (SAT/UNSAT): 1088(632/456)
Jun 03, 2017 10:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/592 took 5849 ms. Total solver calls (SAT/UNSAT): 1496(869/627)
Jun 03, 2017 10:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 6956 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 03, 2017 10:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 8019 ms. Total solver calls (SAT/UNSAT): 2040(1185/855)
Jun 03, 2017 10:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 9451 ms. Total solver calls (SAT/UNSAT): 2448(1422/1026)
Jun 03, 2017 10:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/592 took 10463 ms. Total solver calls (SAT/UNSAT): 2720(1580/1140)
Jun 03, 2017 10:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 11561 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 03, 2017 10:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 12635 ms. Total solver calls (SAT/UNSAT): 3264(1896/1368)
Jun 03, 2017 10:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/592 took 13759 ms. Total solver calls (SAT/UNSAT): 3536(2054/1482)
Jun 03, 2017 10:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 14772 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 03, 2017 10:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 16217 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 03, 2017 10:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 17657 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 03, 2017 10:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 19091 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 03, 2017 10:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 20532 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 03, 2017 10:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 22047 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 03, 2017 10:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 23476 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 03, 2017 10:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 24915 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 03, 2017 10:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 25980 ms. Total solver calls (SAT/UNSAT): 6936(4029/2907)
Jun 03, 2017 10:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/592 took 27155 ms. Total solver calls (SAT/UNSAT): 7208(4187/3021)
Jun 03, 2017 10:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 28177 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 03, 2017 10:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 29620 ms. Total solver calls (SAT/UNSAT): 7888(4582/3306)
Jun 03, 2017 10:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 30689 ms. Total solver calls (SAT/UNSAT): 8175(4740/3435)
Jun 03, 2017 10:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 31987 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 03, 2017 10:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 33286 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 03, 2017 10:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 34577 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 03, 2017 10:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 35857 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 03, 2017 10:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 37162 ms. Total solver calls (SAT/UNSAT): 10440(5925/4515)
Jun 03, 2017 10:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 38448 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 03, 2017 10:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 39759 ms. Total solver calls (SAT/UNSAT): 11346(6399/4947)
Jun 03, 2017 10:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 41032 ms. Total solver calls (SAT/UNSAT): 11799(6636/5163)
Jun 03, 2017 10:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 42332 ms. Total solver calls (SAT/UNSAT): 12252(6873/5379)
Jun 03, 2017 10:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 43633 ms. Total solver calls (SAT/UNSAT): 12705(7110/5595)
Jun 03, 2017 10:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 44911 ms. Total solver calls (SAT/UNSAT): 13158(7347/5811)
Jun 03, 2017 10:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 46192 ms. Total solver calls (SAT/UNSAT): 13611(7584/6027)
Jun 03, 2017 10:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 47503 ms. Total solver calls (SAT/UNSAT): 14064(7821/6243)
Jun 03, 2017 10:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 48848 ms. Total solver calls (SAT/UNSAT): 14502(8058/6444)
Jun 03, 2017 10:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 50223 ms. Total solver calls (SAT/UNSAT): 14925(8295/6630)
Jun 03, 2017 10:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 51595 ms. Total solver calls (SAT/UNSAT): 15348(8532/6816)
Jun 03, 2017 10:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 52883 ms. Total solver calls (SAT/UNSAT): 15801(8769/7032)
Jun 03, 2017 10:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/592 took 53918 ms. Total solver calls (SAT/UNSAT): 16103(8927/7176)
Jun 03, 2017 10:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/592 took 55249 ms. Total solver calls (SAT/UNSAT): 16556(9164/7392)
Jun 03, 2017 10:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/592 took 56559 ms. Total solver calls (SAT/UNSAT): 17009(9401/7608)
Jun 03, 2017 10:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/592 took 57845 ms. Total solver calls (SAT/UNSAT): 17462(9638/7824)
Jun 03, 2017 10:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/592 took 59151 ms. Total solver calls (SAT/UNSAT): 17885(9875/8010)
Jun 03, 2017 10:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 60471 ms. Total solver calls (SAT/UNSAT): 18293(10112/8181)
Jun 03, 2017 10:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/592 took 61766 ms. Total solver calls (SAT/UNSAT): 18701(10349/8352)
Jun 03, 2017 10:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/592 took 63084 ms. Total solver calls (SAT/UNSAT): 19109(10586/8523)
Jun 03, 2017 10:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/592 took 64394 ms. Total solver calls (SAT/UNSAT): 19517(10823/8694)
Jun 03, 2017 10:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/592 took 65724 ms. Total solver calls (SAT/UNSAT): 19925(11060/8865)
Jun 03, 2017 10:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/592 took 67058 ms. Total solver calls (SAT/UNSAT): 20333(11297/9036)
Jun 03, 2017 10:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/592 took 68375 ms. Total solver calls (SAT/UNSAT): 20741(11534/9207)
Jun 03, 2017 10:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/592 took 69687 ms. Total solver calls (SAT/UNSAT): 21149(11771/9378)
Jun 03, 2017 10:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/592 took 70999 ms. Total solver calls (SAT/UNSAT): 21557(12008/9549)
Jun 03, 2017 10:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/592 took 72312 ms. Total solver calls (SAT/UNSAT): 21965(12245/9720)
Jun 03, 2017 10:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/592 took 73631 ms. Total solver calls (SAT/UNSAT): 22418(12482/9936)
Jun 03, 2017 10:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/592 took 74939 ms. Total solver calls (SAT/UNSAT): 22841(12719/10122)
Jun 03, 2017 10:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/592 took 76252 ms. Total solver calls (SAT/UNSAT): 23264(12956/10308)
Jun 03, 2017 10:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/592 took 77549 ms. Total solver calls (SAT/UNSAT): 23672(13193/10479)
Jun 03, 2017 10:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/592 took 78856 ms. Total solver calls (SAT/UNSAT): 24080(13430/10650)
Jun 03, 2017 10:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/592 took 80172 ms. Total solver calls (SAT/UNSAT): 24488(13667/10821)
Jun 03, 2017 10:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/592 took 81493 ms. Total solver calls (SAT/UNSAT): 24896(13904/10992)
Jun 03, 2017 10:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/592 took 82797 ms. Total solver calls (SAT/UNSAT): 25304(14141/11163)
Jun 03, 2017 10:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/592 took 84106 ms. Total solver calls (SAT/UNSAT): 25712(14378/11334)
Jun 03, 2017 10:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/592 took 85410 ms. Total solver calls (SAT/UNSAT): 26120(14615/11505)
Jun 03, 2017 10:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/592 took 86619 ms. Total solver calls (SAT/UNSAT): 26495(14852/11643)
Jun 03, 2017 10:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/592 took 87649 ms. Total solver calls (SAT/UNSAT): 26804(15089/11715)
Jun 03, 2017 10:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/592 took 88685 ms. Total solver calls (SAT/UNSAT): 27113(15326/11787)
Jun 03, 2017 10:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/592 took 89722 ms. Total solver calls (SAT/UNSAT): 27422(15563/11859)
Jun 03, 2017 10:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 90770 ms. Total solver calls (SAT/UNSAT): 27731(15800/11931)
Jun 03, 2017 10:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/592 took 91820 ms. Total solver calls (SAT/UNSAT): 28040(16037/12003)
Jun 03, 2017 10:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/592 took 92861 ms. Total solver calls (SAT/UNSAT): 28349(16274/12075)
Jun 03, 2017 10:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/592 took 93995 ms. Total solver calls (SAT/UNSAT): 28658(16511/12147)
Jun 03, 2017 10:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/592 took 95018 ms. Total solver calls (SAT/UNSAT): 28967(16748/12219)
Jun 03, 2017 10:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 96035 ms. Total solver calls (SAT/UNSAT): 29276(16985/12291)
Jun 03, 2017 10:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/592 took 97094 ms. Total solver calls (SAT/UNSAT): 29585(17222/12363)
Jun 03, 2017 10:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/592 took 98147 ms. Total solver calls (SAT/UNSAT): 29894(17459/12435)
Jun 03, 2017 10:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 99459 ms. Total solver calls (SAT/UNSAT): 30269(17696/12573)
Jun 03, 2017 10:59:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 100775 ms. Total solver calls (SAT/UNSAT): 30677(17933/12744)
Jun 03, 2017 10:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/592 took 101822 ms. Total solver calls (SAT/UNSAT): 30986(18170/12816)
Jun 03, 2017 10:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/592 took 102853 ms. Total solver calls (SAT/UNSAT): 31295(18407/12888)
Jun 03, 2017 10:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/592 took 103998 ms. Total solver calls (SAT/UNSAT): 31604(18644/12960)
Jun 03, 2017 10:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/592 took 105036 ms. Total solver calls (SAT/UNSAT): 31913(18881/13032)
Jun 03, 2017 10:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 106082 ms. Total solver calls (SAT/UNSAT): 32222(19118/13104)
Jun 03, 2017 10:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/592 took 107124 ms. Total solver calls (SAT/UNSAT): 32531(19355/13176)
Jun 03, 2017 10:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/592 took 108146 ms. Total solver calls (SAT/UNSAT): 32840(19592/13248)
Jun 03, 2017 10:59:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/592 took 109174 ms. Total solver calls (SAT/UNSAT): 33149(19829/13320)
Jun 03, 2017 10:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/592 took 110212 ms. Total solver calls (SAT/UNSAT): 33467(20066/13401)
Jun 03, 2017 10:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/592 took 111429 ms. Total solver calls (SAT/UNSAT): 33832(20352/13480)
Jun 03, 2017 10:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/592 took 112473 ms. Total solver calls (SAT/UNSAT): 34141(20589/13552)
Jun 03, 2017 10:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/592 took 113518 ms. Total solver calls (SAT/UNSAT): 34528(20796/13732)
Jun 03, 2017 10:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/592 took 114607 ms. Total solver calls (SAT/UNSAT): 34902(21026/13876)
Jun 03, 2017 10:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/592 took 115655 ms. Total solver calls (SAT/UNSAT): 35221(21233/13988)
Jun 03, 2017 10:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 116899 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 03, 2017 11:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 118199 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 03, 2017 11:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 119490 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 03, 2017 11:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/592 took 120491 ms. Total solver calls (SAT/UNSAT): 37082(22151/14931)
Jun 03, 2017 11:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/592 took 121543 ms. Total solver calls (SAT/UNSAT): 37464(22332/15132)
Jun 03, 2017 11:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/592 took 122571 ms. Total solver calls (SAT/UNSAT): 37802(22539/15263)
Jun 03, 2017 11:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 123694 ms. Total solver calls (SAT/UNSAT): 38212(22756/15456)
Jun 03, 2017 11:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 124983 ms. Total solver calls (SAT/UNSAT): 38731(22993/15738)
Jun 03, 2017 11:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 126272 ms. Total solver calls (SAT/UNSAT): 39250(23230/16020)
Jun 03, 2017 11:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 127691 ms. Total solver calls (SAT/UNSAT): 39769(23467/16302)
Jun 03, 2017 11:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 129002 ms. Total solver calls (SAT/UNSAT): 40288(23704/16584)
Jun 03, 2017 11:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 130292 ms. Total solver calls (SAT/UNSAT): 40807(23941/16866)
Jun 03, 2017 11:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 131598 ms. Total solver calls (SAT/UNSAT): 41326(24178/17148)
Jun 03, 2017 11:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 132982 ms. Total solver calls (SAT/UNSAT): 41845(24415/17430)
Jun 03, 2017 11:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 134291 ms. Total solver calls (SAT/UNSAT): 42364(24652/17712)
Jun 03, 2017 11:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 135606 ms. Total solver calls (SAT/UNSAT): 42883(24889/17994)
Jun 03, 2017 11:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 136675 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 03, 2017 11:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 138026 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 03, 2017 11:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 139128 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 03, 2017 11:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 140539 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 03, 2017 11:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 141926 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 03, 2017 11:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 143006 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 03, 2017 11:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 144191 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 03, 2017 11:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 145274 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 03, 2017 11:00:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 146690 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 03, 2017 11:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 147983 ms. Total solver calls (SAT/UNSAT): 47043(26864/20179)
Jun 03, 2017 11:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 149350 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 03, 2017 11:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 150727 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 03, 2017 11:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 152039 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 03, 2017 11:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 153456 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 03, 2017 11:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 154534 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 03, 2017 11:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 155729 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 03, 2017 11:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 156812 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 03, 2017 11:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 157893 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 03, 2017 11:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 158961 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 03, 2017 11:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 160162 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 03, 2017 11:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 161300 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 03, 2017 11:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 162381 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 03, 2017 11:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 163489 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 03, 2017 11:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 164742 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 03, 2017 11:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 165930 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 03, 2017 11:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 167006 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 03, 2017 11:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 168093 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 03, 2017 11:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 169180 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 03, 2017 11:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 170267 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 03, 2017 11:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 171328 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 03, 2017 11:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 172409 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 03, 2017 11:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 173488 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 03, 2017 11:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 174822 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 03, 2017 11:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 176151 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 03, 2017 11:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 177483 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 03, 2017 11:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 178913 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 03, 2017 11:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 179986 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 03, 2017 11:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 181066 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 03, 2017 11:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 182162 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 03, 2017 11:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 183242 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 03, 2017 11:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 184318 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 03, 2017 11:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 185392 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 03, 2017 11:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 186469 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 03, 2017 11:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 187914 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 03, 2017 11:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 189261 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 03, 2017 11:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 190585 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 03, 2017 11:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 191918 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 03, 2017 11:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 193247 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 03, 2017 11:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 194576 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 03, 2017 11:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 195917 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 03, 2017 11:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 197259 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 03, 2017 11:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 198588 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 03, 2017 11:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 199934 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 03, 2017 11:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 201271 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 03, 2017 11:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 202585 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 03, 2017 11:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 203906 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 03, 2017 11:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 205246 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 03, 2017 11:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 206586 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 03, 2017 11:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 207927 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 03, 2017 11:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 209481 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 03, 2017 11:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 210586 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 03, 2017 11:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 211674 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 03, 2017 11:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 212753 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 03, 2017 11:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 213840 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 03, 2017 11:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 215238 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 03, 2017 11:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 216553 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 03, 2017 11:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 217638 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 03, 2017 11:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 218952 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 03, 2017 11:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 220088 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 03, 2017 11:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 221204 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 03, 2017 11:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 222294 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 03, 2017 11:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 223382 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 03, 2017 11:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 224452 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 03, 2017 11:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 225528 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 03, 2017 11:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 226636 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 03, 2017 11:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 227715 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 03, 2017 11:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 228828 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 03, 2017 11:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 229939 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 03, 2017 11:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 231040 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 03, 2017 11:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 232124 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 03, 2017 11:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 233237 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 03, 2017 11:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 234323 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 03, 2017 11:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 235417 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 03, 2017 11:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 236528 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 03, 2017 11:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 237613 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 03, 2017 11:02:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 238698 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 03, 2017 11:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 239797 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 03, 2017 11:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 240893 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 03, 2017 11:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 241992 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 03, 2017 11:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 243091 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 03, 2017 11:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 244165 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 03, 2017 11:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 245238 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 03, 2017 11:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 245779 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 11:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 11:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1208 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 11:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2396 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 11:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3593 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 11:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4768 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 11:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5983 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 11:02:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 7180 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 11:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8372 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 11:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9569 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 11:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10751 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 11:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11927 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 11:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 13127 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 11:02:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 14308 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 03, 2017 11:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 15496 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 03, 2017 11:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16672 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 03, 2017 11:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 17880 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 03, 2017 11:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 19089 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 03, 2017 11:02:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 20313 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 03, 2017 11:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 21488 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 03, 2017 11:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 22696 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 03, 2017 11:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 23848 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 03, 2017 11:02:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 24949 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 03, 2017 11:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 26057 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 03, 2017 11:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 27204 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 03, 2017 11:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 28357 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 03, 2017 11:02:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 29573 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 03, 2017 11:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 30780 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 03, 2017 11:02:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 31968 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 03, 2017 11:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 33171 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 03, 2017 11:02:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 34349 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 03, 2017 11:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 35456 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 03, 2017 11:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 36568 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 03, 2017 11:02:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 37672 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 03, 2017 11:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 38793 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 03, 2017 11:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 39949 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 03, 2017 11:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 41109 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 03, 2017 11:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 42324 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 03, 2017 11:02:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 43529 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 03, 2017 11:02:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 44720 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 03, 2017 11:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 45932 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 03, 2017 11:02:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 47120 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 03, 2017 11:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 48237 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 03, 2017 11:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 49367 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 03, 2017 11:02:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 50503 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 03, 2017 11:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 51636 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 03, 2017 11:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 52776 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 03, 2017 11:03:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 53917 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 03, 2017 11:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 55037 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 03, 2017 11:03:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 56153 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 03, 2017 11:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 57290 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 03, 2017 11:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 58411 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 03, 2017 11:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 59545 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 03, 2017 11:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 60688 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 03, 2017 11:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 61880 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 03, 2017 11:03:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 63008 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 03, 2017 11:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 64156 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 03, 2017 11:03:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 65287 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 03, 2017 11:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 66417 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 03, 2017 11:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 67552 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 03, 2017 11:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 68683 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 03, 2017 11:03:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 69808 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 03, 2017 11:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 70939 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 03, 2017 11:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 72073 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 03, 2017 11:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 73149 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 03, 2017 11:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 74324 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 03, 2017 11:03:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 75491 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 03, 2017 11:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 76662 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 03, 2017 11:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 77837 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 03, 2017 11:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 79011 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 03, 2017 11:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 80185 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 03, 2017 11:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 81408 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 03, 2017 11:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 82555 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 03, 2017 11:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 83719 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 03, 2017 11:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 84887 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 03, 2017 11:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 86064 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 03, 2017 11:03:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 87233 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 03, 2017 11:03:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/592 took 88245 ms. Total solver calls (SAT/UNSAT): 33180(15248/17932)
Jun 03, 2017 11:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 89391 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 03, 2017 11:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 90457 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 03, 2017 11:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/592 took 91482 ms. Total solver calls (SAT/UNSAT): 34614(15716/18898)
Jun 03, 2017 11:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/592 took 92492 ms. Total solver calls (SAT/UNSAT): 35010(15936/19074)
Jun 03, 2017 11:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 93711 ms. Total solver calls (SAT/UNSAT): 35518(16170/19348)
Jun 03, 2017 11:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 95039 ms. Total solver calls (SAT/UNSAT): 36037(16452/19585)
Jun 03, 2017 11:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 96380 ms. Total solver calls (SAT/UNSAT): 36556(16734/19822)
Jun 03, 2017 11:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 97662 ms. Total solver calls (SAT/UNSAT): 37046(17002/20044)
Jun 03, 2017 11:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/592 took 98740 ms. Total solver calls (SAT/UNSAT): 37464(17230/20234)
Jun 03, 2017 11:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/592 took 99824 ms. Total solver calls (SAT/UNSAT): 37888(17450/20438)
Jun 03, 2017 11:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 101094 ms. Total solver calls (SAT/UNSAT): 38385(17718/20667)
Jun 03, 2017 11:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 102410 ms. Total solver calls (SAT/UNSAT): 38904(18000/20904)
Jun 03, 2017 11:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 103748 ms. Total solver calls (SAT/UNSAT): 39423(18282/21141)
Jun 03, 2017 11:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 105086 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 03, 2017 11:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 106408 ms. Total solver calls (SAT/UNSAT): 40461(18846/21615)
Jun 03, 2017 11:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 107753 ms. Total solver calls (SAT/UNSAT): 40980(19128/21852)
Jun 03, 2017 11:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 109086 ms. Total solver calls (SAT/UNSAT): 41499(19410/22089)
Jun 03, 2017 11:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 110416 ms. Total solver calls (SAT/UNSAT): 42018(19692/22326)
Jun 03, 2017 11:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 111755 ms. Total solver calls (SAT/UNSAT): 42537(19974/22563)
Jun 03, 2017 11:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 113097 ms. Total solver calls (SAT/UNSAT): 43056(20256/22800)
Jun 03, 2017 11:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 114432 ms. Total solver calls (SAT/UNSAT): 43575(20538/23037)
Jun 03, 2017 11:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 115768 ms. Total solver calls (SAT/UNSAT): 44064(20820/23244)
Jun 03, 2017 11:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 117085 ms. Total solver calls (SAT/UNSAT): 44568(21102/23466)
Jun 03, 2017 11:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 118407 ms. Total solver calls (SAT/UNSAT): 45072(21384/23688)
Jun 03, 2017 11:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 119716 ms. Total solver calls (SAT/UNSAT): 45546(21666/23880)
Jun 03, 2017 11:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 121042 ms. Total solver calls (SAT/UNSAT): 46020(21948/24072)
Jun 03, 2017 11:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 122347 ms. Total solver calls (SAT/UNSAT): 46524(22230/24294)
Jun 03, 2017 11:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 123695 ms. Total solver calls (SAT/UNSAT): 47043(22512/24531)
Jun 03, 2017 11:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 125024 ms. Total solver calls (SAT/UNSAT): 47562(22794/24768)
Jun 03, 2017 11:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 126347 ms. Total solver calls (SAT/UNSAT): 48081(23076/25005)
Jun 03, 2017 11:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 127680 ms. Total solver calls (SAT/UNSAT): 48600(23358/25242)
Jun 03, 2017 11:04:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 129086 ms. Total solver calls (SAT/UNSAT): 49104(23640/25464)
Jun 03, 2017 11:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 130399 ms. Total solver calls (SAT/UNSAT): 49578(23922/25656)
Jun 03, 2017 11:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 131711 ms. Total solver calls (SAT/UNSAT): 50052(24204/25848)
Jun 03, 2017 11:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 133048 ms. Total solver calls (SAT/UNSAT): 50526(24486/26040)
Jun 03, 2017 11:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 134438 ms. Total solver calls (SAT/UNSAT): 51000(24768/26232)
Jun 03, 2017 11:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 135732 ms. Total solver calls (SAT/UNSAT): 51474(25050/26424)
Jun 03, 2017 11:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 137056 ms. Total solver calls (SAT/UNSAT): 51948(25332/26616)
Jun 03, 2017 11:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 138387 ms. Total solver calls (SAT/UNSAT): 52422(25614/26808)
Jun 03, 2017 11:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 139691 ms. Total solver calls (SAT/UNSAT): 52896(25896/27000)
Jun 03, 2017 11:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 141027 ms. Total solver calls (SAT/UNSAT): 53370(26178/27192)
Jun 03, 2017 11:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 142353 ms. Total solver calls (SAT/UNSAT): 53844(26460/27384)
Jun 03, 2017 11:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 143665 ms. Total solver calls (SAT/UNSAT): 54318(26742/27576)
Jun 03, 2017 11:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 144985 ms. Total solver calls (SAT/UNSAT): 54792(27024/27768)
Jun 03, 2017 11:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 146359 ms. Total solver calls (SAT/UNSAT): 55311(27306/28005)
Jun 03, 2017 11:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 147718 ms. Total solver calls (SAT/UNSAT): 55830(27588/28242)
Jun 03, 2017 11:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 149160 ms. Total solver calls (SAT/UNSAT): 56349(27870/28479)
Jun 03, 2017 11:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 150195 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 03, 2017 11:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 151509 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 03, 2017 11:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 152846 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 03, 2017 11:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 154171 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 03, 2017 11:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 155214 ms. Total solver calls (SAT/UNSAT): 58433(29092/29341)
Jun 03, 2017 11:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 156602 ms. Total solver calls (SAT/UNSAT): 58907(29374/29533)
Jun 03, 2017 11:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/592 took 157934 ms. Total solver calls (SAT/UNSAT): 59396(29656/29740)
Jun 03, 2017 11:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/592 took 159278 ms. Total solver calls (SAT/UNSAT): 59915(29938/29977)
Jun 03, 2017 11:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/592 took 160640 ms. Total solver calls (SAT/UNSAT): 60434(30220/30214)
Jun 03, 2017 11:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/592 took 161997 ms. Total solver calls (SAT/UNSAT): 60953(30502/30451)
Jun 03, 2017 11:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/592 took 163349 ms. Total solver calls (SAT/UNSAT): 61472(30784/30688)
Jun 03, 2017 11:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/592 took 164704 ms. Total solver calls (SAT/UNSAT): 61991(31066/30925)
Jun 03, 2017 11:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/592 took 166053 ms. Total solver calls (SAT/UNSAT): 62510(31348/31162)
Jun 03, 2017 11:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/592 took 167392 ms. Total solver calls (SAT/UNSAT): 63029(31630/31399)
Jun 03, 2017 11:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/592 took 168756 ms. Total solver calls (SAT/UNSAT): 63548(31912/31636)
Jun 03, 2017 11:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/592 took 170096 ms. Total solver calls (SAT/UNSAT): 64067(32194/31873)
Jun 03, 2017 11:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/592 took 171455 ms. Total solver calls (SAT/UNSAT): 64586(32476/32110)
Jun 03, 2017 11:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/592 took 172796 ms. Total solver calls (SAT/UNSAT): 65105(32758/32347)
Jun 03, 2017 11:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/592 took 174116 ms. Total solver calls (SAT/UNSAT): 65624(33040/32584)
Jun 03, 2017 11:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/592 took 175476 ms. Total solver calls (SAT/UNSAT): 66143(33322/32821)
Jun 03, 2017 11:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/592 took 176835 ms. Total solver calls (SAT/UNSAT): 66662(33604/33058)
Jun 03, 2017 11:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/592 took 178177 ms. Total solver calls (SAT/UNSAT): 67181(33886/33295)
Jun 03, 2017 11:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 179503 ms. Total solver calls (SAT/UNSAT): 67685(34168/33517)
Jun 03, 2017 11:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 180902 ms. Total solver calls (SAT/UNSAT): 68159(34450/33709)
Jun 03, 2017 11:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 182302 ms. Total solver calls (SAT/UNSAT): 68633(34732/33901)
Jun 03, 2017 11:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 183677 ms. Total solver calls (SAT/UNSAT): 69107(35014/34093)
Jun 03, 2017 11:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 185031 ms. Total solver calls (SAT/UNSAT): 69611(35296/34315)
Jun 03, 2017 11:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 186355 ms. Total solver calls (SAT/UNSAT): 70130(35578/34552)
Jun 03, 2017 11:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 187722 ms. Total solver calls (SAT/UNSAT): 70604(35860/34744)
Jun 03, 2017 11:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 189071 ms. Total solver calls (SAT/UNSAT): 71078(36142/34936)
Jun 03, 2017 11:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/592 took 190422 ms. Total solver calls (SAT/UNSAT): 71552(36424/35128)
Jun 03, 2017 11:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 191793 ms. Total solver calls (SAT/UNSAT): 72026(36706/35320)
Jun 03, 2017 11:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 193173 ms. Total solver calls (SAT/UNSAT): 72500(36988/35512)
Jun 03, 2017 11:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 194664 ms. Total solver calls (SAT/UNSAT): 72974(37270/35704)
Jun 03, 2017 11:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 195694 ms. Total solver calls (SAT/UNSAT): 73290(37458/35832)
Jun 03, 2017 11:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 197101 ms. Total solver calls (SAT/UNSAT): 73764(37740/36024)
Jun 03, 2017 11:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 198184 ms. Total solver calls (SAT/UNSAT): 74080(37928/36152)
Jun 03, 2017 11:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 199583 ms. Total solver calls (SAT/UNSAT): 74554(38210/36344)
Jun 03, 2017 11:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 200943 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 03, 2017 11:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 202396 ms. Total solver calls (SAT/UNSAT): 75502(38774/36728)
Jun 03, 2017 11:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 203755 ms. Total solver calls (SAT/UNSAT): 75976(39056/36920)
Jun 03, 2017 11:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 205068 ms. Total solver calls (SAT/UNSAT): 76450(39338/37112)
Jun 03, 2017 11:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 206412 ms. Total solver calls (SAT/UNSAT): 76924(39620/37304)
Jun 03, 2017 11:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 207449 ms. Total solver calls (SAT/UNSAT): 77240(39808/37432)
Jun 03, 2017 11:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 208823 ms. Total solver calls (SAT/UNSAT): 77714(40090/37624)
Jun 03, 2017 11:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 210253 ms. Total solver calls (SAT/UNSAT): 78188(40372/37816)
Jun 03, 2017 11:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 211129 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 11:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 11:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1116 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 11:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/592) took 2161 ms. Total solver calls (SAT/UNSAT): 1183(1183/0)
Jun 03, 2017 11:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3199 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 03, 2017 11:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4233 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 03, 2017 11:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 5268 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 03, 2017 11:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 6298 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 03, 2017 11:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 7323 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 03, 2017 11:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 8395 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 03, 2017 11:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9592 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 03, 2017 11:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 10719 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 03, 2017 11:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 11759 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 03, 2017 11:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 12891 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 03, 2017 11:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 14237 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 03, 2017 11:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 15412 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 03, 2017 11:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 17430 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 03, 2017 11:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 18436 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 03, 2017 11:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 19461 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 03, 2017 11:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 20614 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 03, 2017 11:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 21627 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 03, 2017 11:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 23628 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 03, 2017 11:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 24656 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 03, 2017 11:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 26618 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 03, 2017 11:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 28551 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 03, 2017 11:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 30518 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 03, 2017 11:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 32490 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 03, 2017 11:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 34423 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 03, 2017 11:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 36349 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 03, 2017 11:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 38295 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 03, 2017 11:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 40216 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 03, 2017 11:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/592) took 42119 ms. Total solver calls (SAT/UNSAT): 23452(23452/0)
Jun 03, 2017 11:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/592) took 44017 ms. Total solver calls (SAT/UNSAT): 24553(24553/0)
Jun 03, 2017 11:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/592) took 45931 ms. Total solver calls (SAT/UNSAT): 25650(25650/0)
Jun 03, 2017 11:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/592) took 47838 ms. Total solver calls (SAT/UNSAT): 26743(26743/0)
Jun 03, 2017 11:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/592) took 49726 ms. Total solver calls (SAT/UNSAT): 27832(27832/0)
Jun 03, 2017 11:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/592) took 51598 ms. Total solver calls (SAT/UNSAT): 28917(28917/0)
Jun 03, 2017 11:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/592) took 53447 ms. Total solver calls (SAT/UNSAT): 29998(29998/0)
Jun 03, 2017 11:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/592) took 55297 ms. Total solver calls (SAT/UNSAT): 31075(31075/0)
Jun 03, 2017 11:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 57157 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 03, 2017 11:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 59072 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 03, 2017 11:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 60165 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 03, 2017 11:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 61908 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 03, 2017 11:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 63769 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 03, 2017 11:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 65509 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 03, 2017 11:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 67316 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 03, 2017 11:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 69015 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 03, 2017 11:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 70828 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 03, 2017 11:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 72653 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 03, 2017 11:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 74460 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 03, 2017 11:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 76245 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 03, 2017 11:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 78063 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 03, 2017 11:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 79822 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 03, 2017 11:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 81614 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 03, 2017 11:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 83397 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 03, 2017 11:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 85118 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 03, 2017 11:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 86873 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 03, 2017 11:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 88512 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 03, 2017 11:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 90264 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 03, 2017 11:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 91889 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 03, 2017 11:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 93649 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 03, 2017 11:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 95280 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 03, 2017 11:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 96999 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 03, 2017 11:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 98629 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 03, 2017 11:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 100350 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 03, 2017 11:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 102007 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 03, 2017 11:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 103707 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 03, 2017 11:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 105364 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 03, 2017 11:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 107067 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 03, 2017 11:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 108733 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 03, 2017 11:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 110414 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 03, 2017 11:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 112110 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 03, 2017 11:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 113670 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 03, 2017 11:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 115397 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 03, 2017 11:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 117119 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 03, 2017 11:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 118831 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 03, 2017 11:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 120537 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 03, 2017 11:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 122241 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 03, 2017 11:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 123933 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 03, 2017 11:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 125601 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 03, 2017 11:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 127267 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 03, 2017 11:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 128928 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 03, 2017 11:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 130573 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 03, 2017 11:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 132199 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 03, 2017 11:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 133795 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 03, 2017 11:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 135392 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 03, 2017 11:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 136990 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 03, 2017 11:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 138585 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 03, 2017 11:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 140167 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 03, 2017 11:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 141712 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 03, 2017 11:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 143220 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 03, 2017 11:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 144741 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 03, 2017 11:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 146289 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 03, 2017 11:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 147830 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 03, 2017 11:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 149381 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 03, 2017 11:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 150906 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 03, 2017 11:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 152436 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 03, 2017 11:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 153964 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 03, 2017 11:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 155502 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 03, 2017 11:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 157006 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 03, 2017 11:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 158519 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 03, 2017 11:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 160020 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 03, 2017 11:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 161512 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 03, 2017 11:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 162985 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 03, 2017 11:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 164431 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 03, 2017 11:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 165843 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 03, 2017 11:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 167207 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 03, 2017 11:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 168551 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 03, 2017 11:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 169887 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 03, 2017 11:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 171253 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 03, 2017 11:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 172619 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 03, 2017 11:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 173970 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 03, 2017 11:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 175306 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 03, 2017 11:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 176626 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 03, 2017 11:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 177935 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 03, 2017 11:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 179236 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 03, 2017 11:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 180547 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 03, 2017 11:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 181842 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 03, 2017 11:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 183137 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 03, 2017 11:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 184411 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 03, 2017 11:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 185678 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 03, 2017 11:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 186949 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 03, 2017 11:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 188207 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 03, 2017 11:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 189532 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 03, 2017 11:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 190858 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 03, 2017 11:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 192141 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 03, 2017 11:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 193392 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 03, 2017 11:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 194642 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 03, 2017 11:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 195876 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 03, 2017 11:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 197094 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 03, 2017 11:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 198304 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 03, 2017 11:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 199505 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 03, 2017 11:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 200698 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 03, 2017 11:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 201890 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 03, 2017 11:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 203050 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 03, 2017 11:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 204207 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 03, 2017 11:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 205351 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 03, 2017 11:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/592) took 206422 ms. Total solver calls (SAT/UNSAT): 117558(117558/0)
Jun 03, 2017 11:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/592) took 207907 ms. Total solver calls (SAT/UNSAT): 118575(118575/0)
Jun 03, 2017 11:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/592) took 209379 ms. Total solver calls (SAT/UNSAT): 119583(119583/0)
Jun 03, 2017 11:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/592) took 210887 ms. Total solver calls (SAT/UNSAT): 120582(120582/0)
Jun 03, 2017 11:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/592) took 212366 ms. Total solver calls (SAT/UNSAT): 121572(121572/0)
Jun 03, 2017 11:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 213374 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 03, 2017 11:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 214884 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 03, 2017 11:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/592) took 215907 ms. Total solver calls (SAT/UNSAT): 123847(123847/0)
Jun 03, 2017 11:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/592) took 216916 ms. Total solver calls (SAT/UNSAT): 124488(124488/0)
Jun 03, 2017 11:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 217918 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 03, 2017 11:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 218964 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 03, 2017 11:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(278/592) took 219978 ms. Total solver calls (SAT/UNSAT): 126387(126387/0)
Jun 03, 2017 11:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(280/592) took 221056 ms. Total solver calls (SAT/UNSAT): 127012(127012/0)
Jun 03, 2017 11:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/592) took 222109 ms. Total solver calls (SAT/UNSAT): 127633(127633/0)
Jun 03, 2017 11:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/592) took 223124 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Jun 03, 2017 11:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(286/592) took 224134 ms. Total solver calls (SAT/UNSAT): 128863(128863/0)
Jun 03, 2017 11:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(289/592) took 225632 ms. Total solver calls (SAT/UNSAT): 129775(129775/0)
Jun 03, 2017 11:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(292/592) took 227102 ms. Total solver calls (SAT/UNSAT): 130678(130678/0)
Jun 03, 2017 11:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(295/592) took 228506 ms. Total solver calls (SAT/UNSAT): 131572(131572/0)
Jun 03, 2017 11:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(298/592) took 229860 ms. Total solver calls (SAT/UNSAT): 132457(132457/0)
Jun 03, 2017 11:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(301/592) took 231174 ms. Total solver calls (SAT/UNSAT): 133333(133333/0)
Jun 03, 2017 11:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(304/592) took 232480 ms. Total solver calls (SAT/UNSAT): 134200(134200/0)
Jun 03, 2017 11:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(307/592) took 233763 ms. Total solver calls (SAT/UNSAT): 135058(135058/0)
Jun 03, 2017 11:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(310/592) took 235011 ms. Total solver calls (SAT/UNSAT): 135907(135907/0)
Jun 03, 2017 11:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(313/592) took 236233 ms. Total solver calls (SAT/UNSAT): 136747(136747/0)
Jun 03, 2017 11:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(316/592) took 237557 ms. Total solver calls (SAT/UNSAT): 137578(137578/0)
Jun 03, 2017 11:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(319/592) took 238922 ms. Total solver calls (SAT/UNSAT): 138400(138400/0)
Jun 03, 2017 11:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(322/592) took 240272 ms. Total solver calls (SAT/UNSAT): 139213(139213/0)
Jun 03, 2017 11:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(325/592) took 241693 ms. Total solver calls (SAT/UNSAT): 140017(140017/0)
Jun 03, 2017 11:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(328/592) took 243066 ms. Total solver calls (SAT/UNSAT): 140812(140812/0)
Jun 03, 2017 11:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(331/592) took 244381 ms. Total solver calls (SAT/UNSAT): 141598(141598/0)
Jun 03, 2017 11:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(334/592) took 245758 ms. Total solver calls (SAT/UNSAT): 142375(142375/0)
Jun 03, 2017 11:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(337/592) took 247115 ms. Total solver calls (SAT/UNSAT): 143143(143143/0)
Jun 03, 2017 11:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(340/592) took 248412 ms. Total solver calls (SAT/UNSAT): 143902(143902/0)
Jun 03, 2017 11:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/592) took 249648 ms. Total solver calls (SAT/UNSAT): 144652(144652/0)
Jun 03, 2017 11:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(346/592) took 250954 ms. Total solver calls (SAT/UNSAT): 145393(145393/0)
Jun 03, 2017 11:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(349/592) took 252181 ms. Total solver calls (SAT/UNSAT): 146125(146125/0)
Jun 03, 2017 11:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(352/592) took 253392 ms. Total solver calls (SAT/UNSAT): 146848(146848/0)
Jun 03, 2017 11:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/592) took 254579 ms. Total solver calls (SAT/UNSAT): 147562(147562/0)
Jun 03, 2017 11:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(358/592) took 255758 ms. Total solver calls (SAT/UNSAT): 148267(148267/0)
Jun 03, 2017 11:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(361/592) took 256927 ms. Total solver calls (SAT/UNSAT): 148963(148963/0)
Jun 03, 2017 11:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(364/592) took 258071 ms. Total solver calls (SAT/UNSAT): 149650(149650/0)
Jun 03, 2017 11:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(367/592) took 259233 ms. Total solver calls (SAT/UNSAT): 150328(150328/0)
Jun 03, 2017 11:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/592) took 260351 ms. Total solver calls (SAT/UNSAT): 150997(150997/0)
Jun 03, 2017 11:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(373/592) took 261456 ms. Total solver calls (SAT/UNSAT): 151657(151657/0)
Jun 03, 2017 11:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(376/592) took 262555 ms. Total solver calls (SAT/UNSAT): 152308(152308/0)
Jun 03, 2017 11:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/592) took 263643 ms. Total solver calls (SAT/UNSAT): 152950(152950/0)
Jun 03, 2017 11:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/592) took 264815 ms. Total solver calls (SAT/UNSAT): 153583(153583/0)
Jun 03, 2017 11:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(385/592) took 265870 ms. Total solver calls (SAT/UNSAT): 154207(154207/0)
Jun 03, 2017 11:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(388/592) took 266969 ms. Total solver calls (SAT/UNSAT): 154822(154822/0)
Jun 03, 2017 11:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(391/592) took 268101 ms. Total solver calls (SAT/UNSAT): 155428(155428/0)
Jun 03, 2017 11:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(394/592) took 269210 ms. Total solver calls (SAT/UNSAT): 156025(156025/0)
Jun 03, 2017 11:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(398/592) took 270533 ms. Total solver calls (SAT/UNSAT): 156807(156807/0)
Jun 03, 2017 11:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(402/592) took 271839 ms. Total solver calls (SAT/UNSAT): 157573(157573/0)
Jun 03, 2017 11:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(406/592) took 273113 ms. Total solver calls (SAT/UNSAT): 158323(158323/0)
Jun 03, 2017 11:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(410/592) took 274381 ms. Total solver calls (SAT/UNSAT): 159057(159057/0)
Jun 03, 2017 11:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(413/592) took 275385 ms. Total solver calls (SAT/UNSAT): 159597(159597/0)
Jun 03, 2017 11:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(417/592) took 276694 ms. Total solver calls (SAT/UNSAT): 160303(160303/0)
Jun 03, 2017 11:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(421/592) took 277981 ms. Total solver calls (SAT/UNSAT): 160993(160993/0)
Jun 03, 2017 11:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/592) took 279227 ms. Total solver calls (SAT/UNSAT): 161667(161667/0)
Jun 03, 2017 11:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/592) took 280432 ms. Total solver calls (SAT/UNSAT): 162325(162325/0)
Jun 03, 2017 11:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/592) took 281602 ms. Total solver calls (SAT/UNSAT): 162967(162967/0)
Jun 03, 2017 11:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(437/592) took 282736 ms. Total solver calls (SAT/UNSAT): 163593(163593/0)
Jun 03, 2017 11:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/592) took 283847 ms. Total solver calls (SAT/UNSAT): 164203(164203/0)
Jun 03, 2017 11:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 284929 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 03, 2017 11:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(449/592) took 285938 ms. Total solver calls (SAT/UNSAT): 165375(165375/0)
Jun 03, 2017 11:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(454/592) took 287114 ms. Total solver calls (SAT/UNSAT): 166075(166075/0)
Jun 03, 2017 11:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(459/592) took 288274 ms. Total solver calls (SAT/UNSAT): 166750(166750/0)
Jun 03, 2017 11:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(464/592) took 289460 ms. Total solver calls (SAT/UNSAT): 167400(167400/0)
Jun 03, 2017 11:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(469/592) took 290584 ms. Total solver calls (SAT/UNSAT): 168025(168025/0)
Jun 03, 2017 11:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(474/592) took 291638 ms. Total solver calls (SAT/UNSAT): 168625(168625/0)
Jun 03, 2017 11:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(480/592) took 292780 ms. Total solver calls (SAT/UNSAT): 169312(169312/0)
Jun 03, 2017 11:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(486/592) took 293880 ms. Total solver calls (SAT/UNSAT): 169963(169963/0)
Jun 03, 2017 11:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(492/592) took 294896 ms. Total solver calls (SAT/UNSAT): 170578(170578/0)
Jun 03, 2017 11:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(499/592) took 296043 ms. Total solver calls (SAT/UNSAT): 171250(171250/0)
Jun 03, 2017 11:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(506/592) took 297105 ms. Total solver calls (SAT/UNSAT): 171873(171873/0)
Jun 03, 2017 11:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(514/592) took 298216 ms. Total solver calls (SAT/UNSAT): 172525(172525/0)
Jun 03, 2017 11:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(522/592) took 299229 ms. Total solver calls (SAT/UNSAT): 173113(173113/0)
Jun 03, 2017 11:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(530/592) took 300257 ms. Total solver calls (SAT/UNSAT): 173637(173637/0)
Jun 03, 2017 11:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(540/592) took 301294 ms. Total solver calls (SAT/UNSAT): 174202(174202/0)
Jun 03, 2017 11:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(552/592) took 302369 ms. Total solver calls (SAT/UNSAT): 174748(174748/0)
Jun 03, 2017 11:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(568/592) took 303386 ms. Total solver calls (SAT/UNSAT): 175252(175252/0)
Jun 03, 2017 11:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 303969 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 11:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.
Jun 03, 2017 11:13:04 AM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/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], workingDir=/home/mcc/execution]
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc

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-50"
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-50.tgz
mv S_PermAdmissibility-PT-50 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-50, 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-149441652200446"
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 ;