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

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

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

Execution Chart

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

Trace from the execution

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


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

=== Now, execution of the tool begins

BK_START 1496487884029


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(F((X(((((("c5>=1")&&("in1_1>=1"))&&("in3_4>=1"))||((("c5>=1")&&("in1_0>=1"))&&("in3_5>=1")))||((("c5>=1")&&("in1_1>=1"))&&("in3_5>=1")))||((("in1_0>=1")&&("c5>=1"))&&("in3_4>=1"))))U(F(((((((((((((((((("aux7_2>=1")&&("c9>=1"))&&("aux5_5>=1"))||((("c9>=1")&&("aux7_3>=1"))&&("aux5_0>=1")))||((("aux7_2>=1")&&("c9>=1"))&&("aux5_1>=1")))||((("aux5_4>=1")&&("aux7_2>=1"))&&("c9>=1")))||((("aux5_0>=1")&&("c9>=1"))&&("aux7_2>=1")))||((("aux5_4>=1")&&("aux7_7>=1"))&&("c9>=1")))||((("c9>=1")&&("aux7_7>=1"))&&("aux5_1>=1")))||((("aux7_7>=1")&&("c9>=1"))&&("aux5_5>=1")))||((("aux5_4>=1")&&("c9>=1"))&&("aux7_6>=1")))||((("aux5_1>=1")&&("c9>=1"))&&("aux7_6>=1")))||((("aux5_0>=1")&&("c9>=1"))&&("aux7_7>=1")))||((("aux5_5>=1")&&("c9>=1"))&&("aux7_6>=1")))||((("aux5_4>=1")&&("aux7_3>=1"))&&("c9>=1")))||((("c9>=1")&&("aux7_3>=1"))&&("aux5_1>=1")))||((("aux7_6>=1")&&("c9>=1"))&&("aux5_0>=1")))||((("aux5_5>=1")&&("aux7_3>=1"))&&("c9>=1"))))))))
Formula 0 simplified : !F(X(("c5>=1" & "in1_1>=1" & "in3_4>=1") | ("c5>=1" & "in1_0>=1" & "in3_5>=1") | ("c5>=1" & "in1_1>=1" & "in3_5>=1") | ("c5>=1" & "in1_0>=1" & "in3_4>=1")) U F(("aux5_5>=1" & "aux7_2>=1" & "c9>=1") | ("aux5_0>=1" & "aux7_3>=1" & "c9>=1") | ("aux5_1>=1" & "aux7_2>=1" & "c9>=1") | ("aux5_4>=1" & "aux7_2>=1" & "c9>=1") | ("aux5_0>=1" & "aux7_2>=1" & "c9>=1") | ("aux5_4>=1" & "aux7_7>=1" & "c9>=1") | ("aux5_1>=1" & "aux7_7>=1" & "c9>=1") | ("aux5_5>=1" & "aux7_7>=1" & "c9>=1") | ("aux5_4>=1" & "aux7_6>=1" & "c9>=1") | ("aux5_1>=1" & "aux7_6>=1" & "c9>=1") | ("aux5_0>=1" & "aux7_7>=1" & "c9>=1") | ("aux5_5>=1" & "aux7_6>=1" & "c9>=1") | ("aux5_4>=1" & "aux7_3>=1" & "c9>=1") | ("aux5_1>=1" & "aux7_3>=1" & "c9>=1") | ("aux5_0>=1" & "aux7_6>=1" & "c9>=1") | ("aux5_5>=1" & "aux7_3>=1" & "c9>=1")))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 11:04:45 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 11:04:45 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 129 ms
Jun 03, 2017 11:04:45 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 11:04:46 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 11:04:46 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 115 ms
Jun 03, 2017 11:04:46 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 29 ms
Jun 03, 2017 11:04:46 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 10 ms
Jun 03, 2017 11:04:47 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 151 ms
Jun 03, 2017 11:04:56 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 9751 ms
Jun 03, 2017 11:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 11:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 487 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 11:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1616 ms. Total solver calls (SAT/UNSAT): 408(237/171)
Jun 03, 2017 11:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 3033 ms. Total solver calls (SAT/UNSAT): 816(474/342)
Jun 03, 2017 11:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/592 took 4046 ms. Total solver calls (SAT/UNSAT): 1088(632/456)
Jun 03, 2017 11:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 5162 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 03, 2017 11:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 6177 ms. Total solver calls (SAT/UNSAT): 1632(948/684)
Jun 03, 2017 11:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 7629 ms. Total solver calls (SAT/UNSAT): 2040(1185/855)
Jun 03, 2017 11:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/592 took 8812 ms. Total solver calls (SAT/UNSAT): 2312(1343/969)
Jun 03, 2017 11:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 9878 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 03, 2017 11:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 11332 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 03, 2017 11:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 12916 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 03, 2017 11:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 14007 ms. Total solver calls (SAT/UNSAT): 3672(2133/1539)
Jun 03, 2017 11:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/592 took 15080 ms. Total solver calls (SAT/UNSAT): 3944(2291/1653)
Jun 03, 2017 11:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/592 took 16518 ms. Total solver calls (SAT/UNSAT): 4352(2528/1824)
Jun 03, 2017 11:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/592 took 17948 ms. Total solver calls (SAT/UNSAT): 4760(2765/1995)
Jun 03, 2017 11:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 19019 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 03, 2017 11:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 20566 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 03, 2017 11:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 22118 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 03, 2017 11:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 23147 ms. Total solver calls (SAT/UNSAT): 6120(3555/2565)
Jun 03, 2017 11:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/592 took 24248 ms. Total solver calls (SAT/UNSAT): 6392(3713/2679)
Jun 03, 2017 11:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/592 took 25679 ms. Total solver calls (SAT/UNSAT): 6800(3950/2850)
Jun 03, 2017 11:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/592 took 27129 ms. Total solver calls (SAT/UNSAT): 7208(4187/3021)
Jun 03, 2017 11:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/592 took 28583 ms. Total solver calls (SAT/UNSAT): 7616(4424/3192)
Jun 03, 2017 11:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/592 took 30015 ms. Total solver calls (SAT/UNSAT): 8024(4661/3363)
Jun 03, 2017 11:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/592 took 31298 ms. Total solver calls (SAT/UNSAT): 8477(4898/3579)
Jun 03, 2017 11:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/592 took 32607 ms. Total solver calls (SAT/UNSAT): 8930(5135/3795)
Jun 03, 2017 11:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/592 took 33905 ms. Total solver calls (SAT/UNSAT): 9383(5372/4011)
Jun 03, 2017 11:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/592 took 35201 ms. Total solver calls (SAT/UNSAT): 9836(5609/4227)
Jun 03, 2017 11:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/592 took 36522 ms. Total solver calls (SAT/UNSAT): 10289(5846/4443)
Jun 03, 2017 11:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/592 took 37806 ms. Total solver calls (SAT/UNSAT): 10742(6083/4659)
Jun 03, 2017 11:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/592 took 39114 ms. Total solver calls (SAT/UNSAT): 11195(6320/4875)
Jun 03, 2017 11:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/592 took 40404 ms. Total solver calls (SAT/UNSAT): 11648(6557/5091)
Jun 03, 2017 11:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/592 took 41709 ms. Total solver calls (SAT/UNSAT): 12101(6794/5307)
Jun 03, 2017 11:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/592 took 43022 ms. Total solver calls (SAT/UNSAT): 12554(7031/5523)
Jun 03, 2017 11:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/592 took 44410 ms. Total solver calls (SAT/UNSAT): 13007(7268/5739)
Jun 03, 2017 11:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/592 took 45716 ms. Total solver calls (SAT/UNSAT): 13460(7505/5955)
Jun 03, 2017 11:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/592 took 47018 ms. Total solver calls (SAT/UNSAT): 13913(7742/6171)
Jun 03, 2017 11:05:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/592 took 48308 ms. Total solver calls (SAT/UNSAT): 14366(7979/6387)
Jun 03, 2017 11:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/592 took 49686 ms. Total solver calls (SAT/UNSAT): 14789(8216/6573)
Jun 03, 2017 11:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/592 took 51122 ms. Total solver calls (SAT/UNSAT): 15197(8453/6744)
Jun 03, 2017 11:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/592 took 52422 ms. Total solver calls (SAT/UNSAT): 15650(8690/6960)
Jun 03, 2017 11:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/592 took 53796 ms. Total solver calls (SAT/UNSAT): 16103(8927/7176)
Jun 03, 2017 11:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/592 took 54804 ms. Total solver calls (SAT/UNSAT): 16405(9085/7320)
Jun 03, 2017 11:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/592 took 56096 ms. Total solver calls (SAT/UNSAT): 16858(9322/7536)
Jun 03, 2017 11:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/592 took 57394 ms. Total solver calls (SAT/UNSAT): 17311(9559/7752)
Jun 03, 2017 11:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/592 took 58710 ms. Total solver calls (SAT/UNSAT): 17749(9796/7953)
Jun 03, 2017 11:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/592 took 60030 ms. Total solver calls (SAT/UNSAT): 18157(10033/8124)
Jun 03, 2017 11:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/592 took 61339 ms. Total solver calls (SAT/UNSAT): 18565(10270/8295)
Jun 03, 2017 11:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/592 took 62650 ms. Total solver calls (SAT/UNSAT): 18973(10507/8466)
Jun 03, 2017 11:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 63979 ms. Total solver calls (SAT/UNSAT): 19381(10744/8637)
Jun 03, 2017 11:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/592 took 65293 ms. Total solver calls (SAT/UNSAT): 19789(10981/8808)
Jun 03, 2017 11:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 66607 ms. Total solver calls (SAT/UNSAT): 20197(11218/8979)
Jun 03, 2017 11:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 67921 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 03, 2017 11:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 69237 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 03, 2017 11:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 70562 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 03, 2017 11:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 71885 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 03, 2017 11:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 73194 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 03, 2017 11:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 74512 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 03, 2017 11:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 75836 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 03, 2017 11:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 77148 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 03, 2017 11:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 78459 ms. Total solver calls (SAT/UNSAT): 23944(13351/10593)
Jun 03, 2017 11:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 79784 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 03, 2017 11:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 81112 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 03, 2017 11:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 82428 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 03, 2017 11:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 83757 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 03, 2017 11:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 85092 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 03, 2017 11:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 86405 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 03, 2017 11:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 87435 ms. Total solver calls (SAT/UNSAT): 26701(15010/11691)
Jun 03, 2017 11:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 88485 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 03, 2017 11:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 89529 ms. Total solver calls (SAT/UNSAT): 27319(15484/11835)
Jun 03, 2017 11:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/592 took 90572 ms. Total solver calls (SAT/UNSAT): 27628(15721/11907)
Jun 03, 2017 11:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/592 took 91600 ms. Total solver calls (SAT/UNSAT): 27937(15958/11979)
Jun 03, 2017 11:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 92640 ms. Total solver calls (SAT/UNSAT): 28246(16195/12051)
Jun 03, 2017 11:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/592 took 93676 ms. Total solver calls (SAT/UNSAT): 28555(16432/12123)
Jun 03, 2017 11:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 94708 ms. Total solver calls (SAT/UNSAT): 28864(16669/12195)
Jun 03, 2017 11:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/592 took 95734 ms. Total solver calls (SAT/UNSAT): 29173(16906/12267)
Jun 03, 2017 11:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 96764 ms. Total solver calls (SAT/UNSAT): 29482(17143/12339)
Jun 03, 2017 11:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 97800 ms. Total solver calls (SAT/UNSAT): 29791(17380/12411)
Jun 03, 2017 11:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 98912 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 03, 2017 11:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 100240 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 03, 2017 11:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 101372 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 03, 2017 11:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 102417 ms. Total solver calls (SAT/UNSAT): 31192(18328/12864)
Jun 03, 2017 11:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/592 took 103442 ms. Total solver calls (SAT/UNSAT): 31501(18565/12936)
Jun 03, 2017 11:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/592 took 104478 ms. Total solver calls (SAT/UNSAT): 31810(18802/13008)
Jun 03, 2017 11:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 105494 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 03, 2017 11:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 106504 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 03, 2017 11:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 107532 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 03, 2017 11:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 108561 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 03, 2017 11:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/592 took 109631 ms. Total solver calls (SAT/UNSAT): 33397(20013/13384)
Jun 03, 2017 11:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/592 took 110651 ms. Total solver calls (SAT/UNSAT): 33715(20259/13456)
Jun 03, 2017 11:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 111708 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 03, 2017 11:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/592 took 112747 ms. Total solver calls (SAT/UNSAT): 34399(20727/13672)
Jun 03, 2017 11:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/592 took 113845 ms. Total solver calls (SAT/UNSAT): 34794(20957/13837)
Jun 03, 2017 11:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/592 took 114892 ms. Total solver calls (SAT/UNSAT): 35154(21187/13967)
Jun 03, 2017 11:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 116320 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 03, 2017 11:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 117605 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 03, 2017 11:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 118908 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 03, 2017 11:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 120343 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 03, 2017 11:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 121453 ms. Total solver calls (SAT/UNSAT): 37644(22447/15197)
Jun 03, 2017 11:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/592 took 122478 ms. Total solver calls (SAT/UNSAT): 38003(22654/15349)
Jun 03, 2017 11:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 123865 ms. Total solver calls (SAT/UNSAT): 38558(22914/15644)
Jun 03, 2017 11:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 125154 ms. Total solver calls (SAT/UNSAT): 39077(23151/15926)
Jun 03, 2017 11:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 126456 ms. Total solver calls (SAT/UNSAT): 39596(23388/16208)
Jun 03, 2017 11:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/592 took 127747 ms. Total solver calls (SAT/UNSAT): 40115(23625/16490)
Jun 03, 2017 11:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 129024 ms. Total solver calls (SAT/UNSAT): 40634(23862/16772)
Jun 03, 2017 11:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 130317 ms. Total solver calls (SAT/UNSAT): 41153(24099/17054)
Jun 03, 2017 11:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 131604 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 03, 2017 11:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 132900 ms. Total solver calls (SAT/UNSAT): 42191(24573/17618)
Jun 03, 2017 11:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 134200 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 03, 2017 11:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 135483 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 03, 2017 11:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 136771 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 03, 2017 11:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 137909 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 03, 2017 11:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 139288 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 03, 2017 11:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 140654 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 03, 2017 11:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 141700 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 03, 2017 11:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 142749 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 03, 2017 11:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 143814 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 03, 2017 11:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 145220 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 03, 2017 11:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 146509 ms. Total solver calls (SAT/UNSAT): 47043(26864/20179)
Jun 03, 2017 11:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 147816 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 03, 2017 11:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 149096 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 03, 2017 11:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 150376 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 03, 2017 11:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 151764 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 03, 2017 11:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 152834 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 03, 2017 11:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 153904 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 03, 2017 11:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 154978 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 03, 2017 11:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 156047 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 03, 2017 11:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 157090 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 03, 2017 11:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 158164 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 03, 2017 11:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 159235 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 03, 2017 11:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 160343 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 03, 2017 11:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 161447 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 03, 2017 11:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 162525 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 03, 2017 11:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 163611 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 03, 2017 11:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 164687 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 03, 2017 11:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 165778 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 03, 2017 11:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 166863 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 03, 2017 11:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 167950 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 03, 2017 11:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 168992 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 03, 2017 11:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 170064 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 03, 2017 11:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 171138 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 03, 2017 11:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 172462 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 03, 2017 11:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 173772 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 03, 2017 11:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 175108 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 03, 2017 11:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 176535 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 03, 2017 11:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 177592 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 03, 2017 11:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 178675 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 03, 2017 11:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 179768 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 03, 2017 11:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 180852 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 03, 2017 11:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 181940 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 03, 2017 11:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 183008 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 03, 2017 11:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 184074 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 03, 2017 11:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 185501 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 03, 2017 11:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 186818 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 03, 2017 11:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 188111 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 03, 2017 11:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 189419 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 03, 2017 11:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 190721 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 03, 2017 11:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 192038 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 03, 2017 11:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 193359 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 03, 2017 11:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 194663 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 03, 2017 11:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 195964 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 03, 2017 11:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 197287 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 03, 2017 11:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 198600 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 03, 2017 11:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 199892 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 03, 2017 11:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 201213 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 03, 2017 11:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 202553 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 03, 2017 11:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 203897 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 03, 2017 11:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 205222 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 03, 2017 11:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 206325 ms. Total solver calls (SAT/UNSAT): 67685(36660/31025)
Jun 03, 2017 11:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 207413 ms. Total solver calls (SAT/UNSAT): 68001(36818/31183)
Jun 03, 2017 11:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 208533 ms. Total solver calls (SAT/UNSAT): 68317(36976/31341)
Jun 03, 2017 11:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 209596 ms. Total solver calls (SAT/UNSAT): 68633(37134/31499)
Jun 03, 2017 11:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 210696 ms. Total solver calls (SAT/UNSAT): 68949(37292/31657)
Jun 03, 2017 11:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 211761 ms. Total solver calls (SAT/UNSAT): 69265(37450/31815)
Jun 03, 2017 11:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 213068 ms. Total solver calls (SAT/UNSAT): 69784(37687/32097)
Jun 03, 2017 11:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 214483 ms. Total solver calls (SAT/UNSAT): 70288(37924/32364)
Jun 03, 2017 11:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 215546 ms. Total solver calls (SAT/UNSAT): 70604(38082/32522)
Jun 03, 2017 11:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 216650 ms. Total solver calls (SAT/UNSAT): 70920(38240/32680)
Jun 03, 2017 11:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 217707 ms. Total solver calls (SAT/UNSAT): 71236(38398/32838)
Jun 03, 2017 11:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/592 took 218851 ms. Total solver calls (SAT/UNSAT): 71552(38556/32996)
Jun 03, 2017 11:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 219950 ms. Total solver calls (SAT/UNSAT): 71868(38714/33154)
Jun 03, 2017 11:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 221049 ms. Total solver calls (SAT/UNSAT): 72184(38872/33312)
Jun 03, 2017 11:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 222105 ms. Total solver calls (SAT/UNSAT): 72500(39030/33470)
Jun 03, 2017 11:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 223210 ms. Total solver calls (SAT/UNSAT): 72816(39188/33628)
Jun 03, 2017 11:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 224313 ms. Total solver calls (SAT/UNSAT): 73132(39346/33786)
Jun 03, 2017 11:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 225418 ms. Total solver calls (SAT/UNSAT): 73448(39504/33944)
Jun 03, 2017 11:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 226533 ms. Total solver calls (SAT/UNSAT): 73764(39662/34102)
Jun 03, 2017 11:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 227628 ms. Total solver calls (SAT/UNSAT): 74080(39820/34260)
Jun 03, 2017 11:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 228735 ms. Total solver calls (SAT/UNSAT): 74396(39978/34418)
Jun 03, 2017 11:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 229841 ms. Total solver calls (SAT/UNSAT): 74712(40136/34576)
Jun 03, 2017 11:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 230945 ms. Total solver calls (SAT/UNSAT): 75028(40294/34734)
Jun 03, 2017 11:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/592 took 232010 ms. Total solver calls (SAT/UNSAT): 75344(40452/34892)
Jun 03, 2017 11:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 233132 ms. Total solver calls (SAT/UNSAT): 75660(40610/35050)
Jun 03, 2017 11:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 234204 ms. Total solver calls (SAT/UNSAT): 75976(40768/35208)
Jun 03, 2017 11:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/592 took 235334 ms. Total solver calls (SAT/UNSAT): 76292(40926/35366)
Jun 03, 2017 11:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 236393 ms. Total solver calls (SAT/UNSAT): 76608(41084/35524)
Jun 03, 2017 11:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 237503 ms. Total solver calls (SAT/UNSAT): 76924(41242/35682)
Jun 03, 2017 11:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 238592 ms. Total solver calls (SAT/UNSAT): 77240(41400/35840)
Jun 03, 2017 11:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 239716 ms. Total solver calls (SAT/UNSAT): 77556(41558/35998)
Jun 03, 2017 11:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 240781 ms. Total solver calls (SAT/UNSAT): 77872(41716/36156)
Jun 03, 2017 11:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 241820 ms. Total solver calls (SAT/UNSAT): 78188(41874/36314)
Jun 03, 2017 11:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 242914 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 11:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 242914 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 11:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 11:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1207 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 11:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2410 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 11:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3611 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 11:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4786 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 11:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5989 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 11:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 7179 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 11:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8346 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 11:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9559 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 11:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10774 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 11:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11950 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 11:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 13152 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 11:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 14327 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 03, 2017 11:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 15499 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 03, 2017 11:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16667 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 03, 2017 11:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 17863 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 03, 2017 11:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 19311 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 03, 2017 11:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 20519 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 03, 2017 11:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 21809 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 03, 2017 11:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 23014 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 03, 2017 11:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 24171 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 03, 2017 11:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 25496 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 03, 2017 11:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 26599 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 03, 2017 11:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 27806 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 03, 2017 11:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 28955 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 03, 2017 11:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 30248 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 03, 2017 11:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 31660 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 03, 2017 11:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 32867 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 03, 2017 11:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 34079 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 03, 2017 11:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 35254 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 03, 2017 11:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 36475 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 03, 2017 11:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 37626 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 03, 2017 11:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 38731 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 03, 2017 11:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 39907 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 03, 2017 11:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 41112 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 03, 2017 11:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 42320 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 03, 2017 11:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 43511 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 03, 2017 11:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 44688 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 03, 2017 11:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 45963 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 03, 2017 11:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 47139 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 03, 2017 11:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 48287 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 03, 2017 11:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 49379 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 03, 2017 11:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 50490 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 03, 2017 11:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 51637 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 03, 2017 11:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 52758 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 03, 2017 11:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 53862 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 03, 2017 11:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 54952 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 03, 2017 11:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 56059 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 03, 2017 11:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 57149 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 03, 2017 11:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 58254 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 03, 2017 11:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 59339 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 03, 2017 11:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 60459 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 03, 2017 11:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 61553 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 03, 2017 11:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 62714 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 03, 2017 11:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 63823 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 03, 2017 11:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 64924 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 03, 2017 11:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 65997 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 03, 2017 11:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 67117 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 03, 2017 11:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 68209 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 03, 2017 11:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 69286 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 03, 2017 11:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 70407 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 03, 2017 11:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 71489 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 03, 2017 11:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 72609 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 03, 2017 11:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 73670 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 03, 2017 11:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 74813 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 03, 2017 11:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 75948 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 03, 2017 11:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 77079 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 03, 2017 11:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 78189 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 03, 2017 11:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 79341 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 03, 2017 11:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 80450 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 03, 2017 11:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 81628 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 03, 2017 11:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 82752 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 03, 2017 11:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 83897 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 03, 2017 11:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 85101 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 03, 2017 11:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 86226 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 03, 2017 11:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 87346 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 03, 2017 11:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/592 took 88384 ms. Total solver calls (SAT/UNSAT): 33211(15256/17955)
Jun 03, 2017 11:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 89457 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 03, 2017 11:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 90541 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 03, 2017 11:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/592 took 91563 ms. Total solver calls (SAT/UNSAT): 34614(15716/18898)
Jun 03, 2017 11:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/592 took 92568 ms. Total solver calls (SAT/UNSAT): 35010(15936/19074)
Jun 03, 2017 11:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 93777 ms. Total solver calls (SAT/UNSAT): 35518(16170/19348)
Jun 03, 2017 11:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 95106 ms. Total solver calls (SAT/UNSAT): 36037(16452/19585)
Jun 03, 2017 11:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 96431 ms. Total solver calls (SAT/UNSAT): 36556(16734/19822)
Jun 03, 2017 11:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 97696 ms. Total solver calls (SAT/UNSAT): 37046(17002/20044)
Jun 03, 2017 11:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/592 took 98760 ms. Total solver calls (SAT/UNSAT): 37464(17230/20234)
Jun 03, 2017 11:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/592 took 99833 ms. Total solver calls (SAT/UNSAT): 37888(17450/20438)
Jun 03, 2017 11:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 101103 ms. Total solver calls (SAT/UNSAT): 38385(17718/20667)
Jun 03, 2017 11:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 102416 ms. Total solver calls (SAT/UNSAT): 38904(18000/20904)
Jun 03, 2017 11:10:43 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:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 105089 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 03, 2017 11:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 106409 ms. Total solver calls (SAT/UNSAT): 40461(18846/21615)
Jun 03, 2017 11:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 107739 ms. Total solver calls (SAT/UNSAT): 40980(19128/21852)
Jun 03, 2017 11:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 109074 ms. Total solver calls (SAT/UNSAT): 41499(19410/22089)
Jun 03, 2017 11:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 110376 ms. Total solver calls (SAT/UNSAT): 42018(19692/22326)
Jun 03, 2017 11:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 111629 ms. Total solver calls (SAT/UNSAT): 42537(19974/22563)
Jun 03, 2017 11:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 112882 ms. Total solver calls (SAT/UNSAT): 43056(20256/22800)
Jun 03, 2017 11:10:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 114147 ms. Total solver calls (SAT/UNSAT): 43575(20538/23037)
Jun 03, 2017 11:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 115421 ms. Total solver calls (SAT/UNSAT): 44064(20820/23244)
Jun 03, 2017 11:10:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 116732 ms. Total solver calls (SAT/UNSAT): 44568(21102/23466)
Jun 03, 2017 11:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 118002 ms. Total solver calls (SAT/UNSAT): 45072(21384/23688)
Jun 03, 2017 11:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 119234 ms. Total solver calls (SAT/UNSAT): 45546(21666/23880)
Jun 03, 2017 11:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 120462 ms. Total solver calls (SAT/UNSAT): 46020(21948/24072)
Jun 03, 2017 11:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 121698 ms. Total solver calls (SAT/UNSAT): 46524(22230/24294)
Jun 03, 2017 11:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 122964 ms. Total solver calls (SAT/UNSAT): 47043(22512/24531)
Jun 03, 2017 11:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 124220 ms. Total solver calls (SAT/UNSAT): 47562(22794/24768)
Jun 03, 2017 11:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 125468 ms. Total solver calls (SAT/UNSAT): 48081(23076/25005)
Jun 03, 2017 11:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 126764 ms. Total solver calls (SAT/UNSAT): 48600(23358/25242)
Jun 03, 2017 11:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 128018 ms. Total solver calls (SAT/UNSAT): 49104(23640/25464)
Jun 03, 2017 11:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 129254 ms. Total solver calls (SAT/UNSAT): 49578(23922/25656)
Jun 03, 2017 11:11:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 130469 ms. Total solver calls (SAT/UNSAT): 50052(24204/25848)
Jun 03, 2017 11:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 131738 ms. Total solver calls (SAT/UNSAT): 50526(24486/26040)
Jun 03, 2017 11:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 133045 ms. Total solver calls (SAT/UNSAT): 51000(24768/26232)
Jun 03, 2017 11:11:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 134333 ms. Total solver calls (SAT/UNSAT): 51474(25050/26424)
Jun 03, 2017 11:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 135649 ms. Total solver calls (SAT/UNSAT): 51948(25332/26616)
Jun 03, 2017 11:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 136940 ms. Total solver calls (SAT/UNSAT): 52422(25614/26808)
Jun 03, 2017 11:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 138245 ms. Total solver calls (SAT/UNSAT): 52896(25896/27000)
Jun 03, 2017 11:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 139589 ms. Total solver calls (SAT/UNSAT): 53370(26178/27192)
Jun 03, 2017 11:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 140899 ms. Total solver calls (SAT/UNSAT): 53844(26460/27384)
Jun 03, 2017 11:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 142201 ms. Total solver calls (SAT/UNSAT): 54318(26742/27576)
Jun 03, 2017 11:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 143501 ms. Total solver calls (SAT/UNSAT): 54792(27024/27768)
Jun 03, 2017 11:11:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 144877 ms. Total solver calls (SAT/UNSAT): 55311(27306/28005)
Jun 03, 2017 11:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 146230 ms. Total solver calls (SAT/UNSAT): 55830(27588/28242)
Jun 03, 2017 11:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 147522 ms. Total solver calls (SAT/UNSAT): 56349(27870/28479)
Jun 03, 2017 11:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 148781 ms. Total solver calls (SAT/UNSAT): 56853(28152/28701)
Jun 03, 2017 11:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 149998 ms. Total solver calls (SAT/UNSAT): 57327(28434/28893)
Jun 03, 2017 11:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 151216 ms. Total solver calls (SAT/UNSAT): 57801(28716/29085)
Jun 03, 2017 11:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/592 took 152447 ms. Total solver calls (SAT/UNSAT): 58275(28998/29277)
Jun 03, 2017 11:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 153674 ms. Total solver calls (SAT/UNSAT): 58749(29280/29469)
Jun 03, 2017 11:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 154889 ms. Total solver calls (SAT/UNSAT): 59223(29562/29661)
Jun 03, 2017 11:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 156159 ms. Total solver calls (SAT/UNSAT): 59742(29844/29898)
Jun 03, 2017 11:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 157457 ms. Total solver calls (SAT/UNSAT): 60261(30126/30135)
Jun 03, 2017 11:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 158724 ms. Total solver calls (SAT/UNSAT): 60780(30408/30372)
Jun 03, 2017 11:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 160004 ms. Total solver calls (SAT/UNSAT): 61299(30690/30609)
Jun 03, 2017 11:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 161274 ms. Total solver calls (SAT/UNSAT): 61818(30972/30846)
Jun 03, 2017 11:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 162536 ms. Total solver calls (SAT/UNSAT): 62337(31254/31083)
Jun 03, 2017 11:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 163880 ms. Total solver calls (SAT/UNSAT): 62856(31536/31320)
Jun 03, 2017 11:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 165219 ms. Total solver calls (SAT/UNSAT): 63375(31818/31557)
Jun 03, 2017 11:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 166545 ms. Total solver calls (SAT/UNSAT): 63894(32100/31794)
Jun 03, 2017 11:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 167878 ms. Total solver calls (SAT/UNSAT): 64413(32382/32031)
Jun 03, 2017 11:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 169145 ms. Total solver calls (SAT/UNSAT): 64932(32664/32268)
Jun 03, 2017 11:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 170392 ms. Total solver calls (SAT/UNSAT): 65451(32946/32505)
Jun 03, 2017 11:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 171658 ms. Total solver calls (SAT/UNSAT): 65970(33228/32742)
Jun 03, 2017 11:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 172932 ms. Total solver calls (SAT/UNSAT): 66489(33510/32979)
Jun 03, 2017 11:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 174192 ms. Total solver calls (SAT/UNSAT): 67008(33792/33216)
Jun 03, 2017 11:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 175462 ms. Total solver calls (SAT/UNSAT): 67527(34074/33453)
Jun 03, 2017 11:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 176750 ms. Total solver calls (SAT/UNSAT): 68001(34356/33645)
Jun 03, 2017 11:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 178067 ms. Total solver calls (SAT/UNSAT): 68475(34638/33837)
Jun 03, 2017 11:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 179429 ms. Total solver calls (SAT/UNSAT): 68949(34920/34029)
Jun 03, 2017 11:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/592 took 180723 ms. Total solver calls (SAT/UNSAT): 69438(35202/34236)
Jun 03, 2017 11:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/592 took 181965 ms. Total solver calls (SAT/UNSAT): 69957(35484/34473)
Jun 03, 2017 11:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 183239 ms. Total solver calls (SAT/UNSAT): 70446(35766/34680)
Jun 03, 2017 11:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 184520 ms. Total solver calls (SAT/UNSAT): 70920(36048/34872)
Jun 03, 2017 11:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 185821 ms. Total solver calls (SAT/UNSAT): 71394(36330/35064)
Jun 03, 2017 11:12:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 187109 ms. Total solver calls (SAT/UNSAT): 71868(36612/35256)
Jun 03, 2017 11:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 188379 ms. Total solver calls (SAT/UNSAT): 72342(36894/35448)
Jun 03, 2017 11:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 189668 ms. Total solver calls (SAT/UNSAT): 72816(37176/35640)
Jun 03, 2017 11:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 190968 ms. Total solver calls (SAT/UNSAT): 73290(37458/35832)
Jun 03, 2017 11:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 192326 ms. Total solver calls (SAT/UNSAT): 73764(37740/36024)
Jun 03, 2017 11:12:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 193705 ms. Total solver calls (SAT/UNSAT): 74238(38022/36216)
Jun 03, 2017 11:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 195083 ms. Total solver calls (SAT/UNSAT): 74712(38304/36408)
Jun 03, 2017 11:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 196432 ms. Total solver calls (SAT/UNSAT): 75186(38586/36600)
Jun 03, 2017 11:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 197788 ms. Total solver calls (SAT/UNSAT): 75660(38868/36792)
Jun 03, 2017 11:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 199152 ms. Total solver calls (SAT/UNSAT): 76134(39150/36984)
Jun 03, 2017 11:12:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 200507 ms. Total solver calls (SAT/UNSAT): 76608(39432/37176)
Jun 03, 2017 11:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 201848 ms. Total solver calls (SAT/UNSAT): 77082(39714/37368)
Jun 03, 2017 11:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 203182 ms. Total solver calls (SAT/UNSAT): 77556(39996/37560)
Jun 03, 2017 11:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 204544 ms. Total solver calls (SAT/UNSAT): 78030(40278/37752)
Jun 03, 2017 11:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 205890 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 11:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 205891 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 11:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 11:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1062 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 11:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/592) took 2112 ms. Total solver calls (SAT/UNSAT): 1183(1183/0)
Jun 03, 2017 11:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3149 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 03, 2017 11:12:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4196 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 03, 2017 11:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 5247 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 03, 2017 11:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 6287 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 03, 2017 11:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 7328 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 03, 2017 11:12:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 8365 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 03, 2017 11:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9423 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 03, 2017 11:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 10452 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 03, 2017 11:12:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 11467 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 03, 2017 11:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 12507 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 03, 2017 11:12:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 13548 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 03, 2017 11:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 14565 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 03, 2017 11:12:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 15595 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 03, 2017 11:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 16623 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 03, 2017 11:12:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 17640 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 03, 2017 11:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 18658 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 03, 2017 11:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 19686 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 03, 2017 11:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 21667 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 03, 2017 11:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 22687 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 03, 2017 11:12:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 23725 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 03, 2017 11:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 24727 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 03, 2017 11:12:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 25735 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 03, 2017 11:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 27719 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 03, 2017 11:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/592) took 28725 ms. Total solver calls (SAT/UNSAT): 16198(16198/0)
Jun 03, 2017 11:12:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 30703 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 03, 2017 11:12:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 31712 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 03, 2017 11:12:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 33653 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 03, 2017 11:13:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 35599 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 03, 2017 11:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 37554 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 03, 2017 11:13:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 38613 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 03, 2017 11:13:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 40566 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 03, 2017 11:13:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 42483 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 03, 2017 11:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 44423 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 03, 2017 11:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 46327 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 03, 2017 11:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 48248 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 03, 2017 11:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 50118 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 03, 2017 11:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 52013 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 03, 2017 11:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 53880 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 03, 2017 11:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 55744 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 03, 2017 11:13:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 57577 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 03, 2017 11:13:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 59419 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 03, 2017 11:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 61174 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 03, 2017 11:13:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 63053 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 03, 2017 11:13:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 64780 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 03, 2017 11:13:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 66597 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 03, 2017 11:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 68300 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 03, 2017 11:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 70108 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 03, 2017 11:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 71918 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 03, 2017 11:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 73741 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 03, 2017 11:13:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 75508 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 03, 2017 11:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 77309 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 03, 2017 11:13:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 79075 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 03, 2017 11:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 80864 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 03, 2017 11:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 82631 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 03, 2017 11:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 84368 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 03, 2017 11:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 86152 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 03, 2017 11:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 87819 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 03, 2017 11:13:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 89606 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 03, 2017 11:13:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 91270 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 03, 2017 11:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 93045 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 03, 2017 11:14:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 94686 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 03, 2017 11:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 96427 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 03, 2017 11:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 98083 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 03, 2017 11:14:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 99811 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 03, 2017 11:14:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 101488 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 03, 2017 11:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 103213 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 03, 2017 11:14:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 104901 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 03, 2017 11:14:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 106610 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 03, 2017 11:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 108301 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 03, 2017 11:14:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 109984 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 03, 2017 11:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 111660 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 03, 2017 11:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 113225 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 03, 2017 11:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 114942 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 03, 2017 11:14:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 116661 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 03, 2017 11:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 118383 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 03, 2017 11:14:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 120073 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 03, 2017 11:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 121769 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 03, 2017 11:14:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 123467 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 03, 2017 11:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 125153 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 03, 2017 11:14:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 126806 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 03, 2017 11:14:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 128486 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 03, 2017 11:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 130149 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 03, 2017 11:14:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 131835 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 03, 2017 11:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 133494 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 03, 2017 11:14:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 135158 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 03, 2017 11:14:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 136781 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 03, 2017 11:14:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 138422 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 03, 2017 11:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 140050 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 03, 2017 11:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 141601 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 03, 2017 11:14:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 143149 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 03, 2017 11:14:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 144712 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 03, 2017 11:14:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 146311 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 03, 2017 11:14:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 147844 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 03, 2017 11:14:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 149410 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 03, 2017 11:14:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 150965 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 03, 2017 11:14:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 152516 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 03, 2017 11:14:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 154044 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 03, 2017 11:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 155566 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 03, 2017 11:15:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 157094 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 03, 2017 11:15:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 158603 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 03, 2017 11:15:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 160106 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 03, 2017 11:15:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 161601 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 03, 2017 11:15:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 163081 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 03, 2017 11:15:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 164569 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 03, 2017 11:15:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 165993 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 03, 2017 11:15:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 167378 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 03, 2017 11:15:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 168751 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 03, 2017 11:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 170118 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 03, 2017 11:15:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 171480 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 03, 2017 11:15:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 172815 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 03, 2017 11:15:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 174161 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 03, 2017 11:15:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 175488 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 03, 2017 11:15:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 176811 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 03, 2017 11:15:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 178134 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 03, 2017 11:15:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 179456 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 03, 2017 11:15:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 180772 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 03, 2017 11:15:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 182093 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 03, 2017 11:15:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 183375 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 03, 2017 11:15:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 184627 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 03, 2017 11:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 185907 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 03, 2017 11:15:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 187160 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 03, 2017 11:15:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 188439 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 03, 2017 11:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 189779 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 03, 2017 11:15:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 191103 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 03, 2017 11:15:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 192386 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 03, 2017 11:15:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 193635 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 03, 2017 11:15:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 194859 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 03, 2017 11:15:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 196243 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 03, 2017 11:15:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 197467 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 03, 2017 11:15:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 198671 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 03, 2017 11:15:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 199881 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 03, 2017 11:15:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 201076 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 03, 2017 11:15:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 202259 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 03, 2017 11:15:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 203456 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 03, 2017 11:15:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 204632 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 03, 2017 11:15:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 205782 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 03, 2017 11:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/592) took 206845 ms. Total solver calls (SAT/UNSAT): 117558(117558/0)
Jun 03, 2017 11:15:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/592) took 208315 ms. Total solver calls (SAT/UNSAT): 118575(118575/0)
Jun 03, 2017 11:15:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/592) took 209436 ms. Total solver calls (SAT/UNSAT): 119248(119248/0)
Jun 03, 2017 11:15:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(258/592) took 210440 ms. Total solver calls (SAT/UNSAT): 119917(119917/0)
Jun 03, 2017 11:15:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/592) took 211456 ms. Total solver calls (SAT/UNSAT): 120582(120582/0)
Jun 03, 2017 11:15:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/592) took 212937 ms. Total solver calls (SAT/UNSAT): 121572(121572/0)
Jun 03, 2017 11:15:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 213963 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 03, 2017 11:16:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/592) took 215004 ms. Total solver calls (SAT/UNSAT): 122878(122878/0)
Jun 03, 2017 11:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(269/592) took 216041 ms. Total solver calls (SAT/UNSAT): 123525(123525/0)
Jun 03, 2017 11:16:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/592) took 217074 ms. Total solver calls (SAT/UNSAT): 124168(124168/0)
Jun 03, 2017 11:16:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/592) took 218078 ms. Total solver calls (SAT/UNSAT): 124807(124807/0)
Jun 03, 2017 11:16:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/592) took 219140 ms. Total solver calls (SAT/UNSAT): 125442(125442/0)
Jun 03, 2017 11:16:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(277/592) took 220160 ms. Total solver calls (SAT/UNSAT): 126073(126073/0)
Jun 03, 2017 11:16:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 221191 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 03, 2017 11:16:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/592) took 222258 ms. Total solver calls (SAT/UNSAT): 127323(127323/0)
Jun 03, 2017 11:16:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(283/592) took 223301 ms. Total solver calls (SAT/UNSAT): 127942(127942/0)
Jun 03, 2017 11:16:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(285/592) took 224315 ms. Total solver calls (SAT/UNSAT): 128557(128557/0)
Jun 03, 2017 11:16:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/592) took 225331 ms. Total solver calls (SAT/UNSAT): 129168(129168/0)
Jun 03, 2017 11:16:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(289/592) took 226337 ms. Total solver calls (SAT/UNSAT): 129775(129775/0)
Jun 03, 2017 11:16:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/592) took 227352 ms. Total solver calls (SAT/UNSAT): 130378(130378/0)
Jun 03, 2017 11:16:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/592) took 228360 ms. Total solver calls (SAT/UNSAT): 130977(130977/0)
Jun 03, 2017 11:16:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(296/592) took 229710 ms. Total solver calls (SAT/UNSAT): 131868(131868/0)
Jun 03, 2017 11:16:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/592) took 231060 ms. Total solver calls (SAT/UNSAT): 132750(132750/0)
Jun 03, 2017 11:16:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/592) took 232393 ms. Total solver calls (SAT/UNSAT): 133623(133623/0)
Jun 03, 2017 11:16:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(305/592) took 233704 ms. Total solver calls (SAT/UNSAT): 134487(134487/0)
Jun 03, 2017 11:16:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/592) took 234997 ms. Total solver calls (SAT/UNSAT): 135342(135342/0)
Jun 03, 2017 11:16:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/592) took 236267 ms. Total solver calls (SAT/UNSAT): 136188(136188/0)
Jun 03, 2017 11:16:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/592) took 237512 ms. Total solver calls (SAT/UNSAT): 137025(137025/0)
Jun 03, 2017 11:16:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/592) took 238898 ms. Total solver calls (SAT/UNSAT): 137853(137853/0)
Jun 03, 2017 11:16:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/592) took 240259 ms. Total solver calls (SAT/UNSAT): 138672(138672/0)
Jun 03, 2017 11:16:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/592) took 241655 ms. Total solver calls (SAT/UNSAT): 139482(139482/0)
Jun 03, 2017 11:16:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/592) took 243107 ms. Total solver calls (SAT/UNSAT): 140283(140283/0)
Jun 03, 2017 11:16:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(329/592) took 244454 ms. Total solver calls (SAT/UNSAT): 141075(141075/0)
Jun 03, 2017 11:16:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(332/592) took 245826 ms. Total solver calls (SAT/UNSAT): 141858(141858/0)
Jun 03, 2017 11:16:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/592) took 247244 ms. Total solver calls (SAT/UNSAT): 142632(142632/0)
Jun 03, 2017 11:16:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(338/592) took 248640 ms. Total solver calls (SAT/UNSAT): 143397(143397/0)
Jun 03, 2017 11:16:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(341/592) took 249908 ms. Total solver calls (SAT/UNSAT): 144153(144153/0)
Jun 03, 2017 11:16:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/592) took 251186 ms. Total solver calls (SAT/UNSAT): 144900(144900/0)
Jun 03, 2017 11:16:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/592) took 252458 ms. Total solver calls (SAT/UNSAT): 145638(145638/0)
Jun 03, 2017 11:16:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/592) took 253698 ms. Total solver calls (SAT/UNSAT): 146367(146367/0)
Jun 03, 2017 11:16:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/592) took 254909 ms. Total solver calls (SAT/UNSAT): 147087(147087/0)
Jun 03, 2017 11:16:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(356/592) took 256114 ms. Total solver calls (SAT/UNSAT): 147798(147798/0)
Jun 03, 2017 11:16:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/592) took 257298 ms. Total solver calls (SAT/UNSAT): 148500(148500/0)
Jun 03, 2017 11:16:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/592) took 258465 ms. Total solver calls (SAT/UNSAT): 149193(149193/0)
Jun 03, 2017 11:16:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(365/592) took 259633 ms. Total solver calls (SAT/UNSAT): 149877(149877/0)
Jun 03, 2017 11:16:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(368/592) took 260791 ms. Total solver calls (SAT/UNSAT): 150552(150552/0)
Jun 03, 2017 11:16:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/592) took 261925 ms. Total solver calls (SAT/UNSAT): 151218(151218/0)
Jun 03, 2017 11:16:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(374/592) took 263040 ms. Total solver calls (SAT/UNSAT): 151875(151875/0)
Jun 03, 2017 11:16:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(377/592) took 264150 ms. Total solver calls (SAT/UNSAT): 152523(152523/0)
Jun 03, 2017 11:16:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/592) took 265284 ms. Total solver calls (SAT/UNSAT): 153162(153162/0)
Jun 03, 2017 11:16:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/592) took 266426 ms. Total solver calls (SAT/UNSAT): 153792(153792/0)
Jun 03, 2017 11:16:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/592) took 267506 ms. Total solver calls (SAT/UNSAT): 154413(154413/0)
Jun 03, 2017 11:16:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/592) took 268651 ms. Total solver calls (SAT/UNSAT): 155025(155025/0)
Jun 03, 2017 11:16:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(392/592) took 269784 ms. Total solver calls (SAT/UNSAT): 155628(155628/0)
Jun 03, 2017 11:16:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/592) took 270865 ms. Total solver calls (SAT/UNSAT): 156222(156222/0)
Jun 03, 2017 11:16:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(399/592) took 272202 ms. Total solver calls (SAT/UNSAT): 157000(157000/0)
Jun 03, 2017 11:16:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(403/592) took 273518 ms. Total solver calls (SAT/UNSAT): 157762(157762/0)
Jun 03, 2017 11:17:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(407/592) took 274808 ms. Total solver calls (SAT/UNSAT): 158508(158508/0)
Jun 03, 2017 11:17:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(411/592) took 276100 ms. Total solver calls (SAT/UNSAT): 159238(159238/0)
Jun 03, 2017 11:17:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/592) took 277433 ms. Total solver calls (SAT/UNSAT): 159952(159952/0)
Jun 03, 2017 11:17:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(419/592) took 278726 ms. Total solver calls (SAT/UNSAT): 160650(160650/0)
Jun 03, 2017 11:17:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(423/592) took 280000 ms. Total solver calls (SAT/UNSAT): 161332(161332/0)
Jun 03, 2017 11:17:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(427/592) took 281219 ms. Total solver calls (SAT/UNSAT): 161998(161998/0)
Jun 03, 2017 11:17:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(431/592) took 282428 ms. Total solver calls (SAT/UNSAT): 162648(162648/0)
Jun 03, 2017 11:17:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(435/592) took 283600 ms. Total solver calls (SAT/UNSAT): 163282(163282/0)
Jun 03, 2017 11:17:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(439/592) took 284726 ms. Total solver calls (SAT/UNSAT): 163900(163900/0)
Jun 03, 2017 11:17:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(443/592) took 285821 ms. Total solver calls (SAT/UNSAT): 164502(164502/0)
Jun 03, 2017 11:17:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(447/592) took 286902 ms. Total solver calls (SAT/UNSAT): 165088(165088/0)
Jun 03, 2017 11:17:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(452/592) took 288121 ms. Total solver calls (SAT/UNSAT): 165798(165798/0)
Jun 03, 2017 11:17:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(457/592) took 289310 ms. Total solver calls (SAT/UNSAT): 166483(166483/0)
Jun 03, 2017 11:17:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(462/592) took 290492 ms. Total solver calls (SAT/UNSAT): 167143(167143/0)
Jun 03, 2017 11:17:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(467/592) took 291640 ms. Total solver calls (SAT/UNSAT): 167778(167778/0)
Jun 03, 2017 11:17:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(472/592) took 292734 ms. Total solver calls (SAT/UNSAT): 168388(168388/0)
Jun 03, 2017 11:17:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(477/592) took 293742 ms. Total solver calls (SAT/UNSAT): 168973(168973/0)
Jun 03, 2017 11:17:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(483/592) took 294882 ms. Total solver calls (SAT/UNSAT): 169642(169642/0)
Jun 03, 2017 11:17:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(489/592) took 295944 ms. Total solver calls (SAT/UNSAT): 170275(170275/0)
Jun 03, 2017 11:17:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(495/592) took 296957 ms. Total solver calls (SAT/UNSAT): 170872(170872/0)
Jun 03, 2017 11:17:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(502/592) took 298084 ms. Total solver calls (SAT/UNSAT): 171523(171523/0)
Jun 03, 2017 11:17:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(509/592) took 299128 ms. Total solver calls (SAT/UNSAT): 172125(172125/0)
Jun 03, 2017 11:17:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(517/592) took 300230 ms. Total solver calls (SAT/UNSAT): 172753(172753/0)
Jun 03, 2017 11:17:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(525/592) took 301255 ms. Total solver calls (SAT/UNSAT): 173317(173317/0)
Jun 03, 2017 11:17:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(534/592) took 302335 ms. Total solver calls (SAT/UNSAT): 173875(173875/0)
Jun 03, 2017 11:17:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(544/592) took 303342 ms. Total solver calls (SAT/UNSAT): 174400(174400/0)
Jun 03, 2017 11:17:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(557/592) took 304388 ms. Total solver calls (SAT/UNSAT): 174933(174933/0)
Jun 03, 2017 11:17:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(578/592) took 305416 ms. Total solver calls (SAT/UNSAT): 175437(175437/0)
Jun 03, 2017 11:17:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 305622 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 11:17:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.
Jun 03, 2017 11:20:12 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/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.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="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_PermAdmissibility-PT-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 LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-blw7-149441652200447"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.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 ;