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 PermAdmissibility-PT-10, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486700429
=====================================================================

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1496326519425


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

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ 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 01, 2017 2:15:20 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 2:15:20 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 100 ms
Jun 01, 2017 2:15:20 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 2:15:21 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 2:15:21 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 150 ms
Jun 01, 2017 2:15:21 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 23 ms
Jun 01, 2017 2:15:21 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 6 ms
Jun 01, 2017 2:15:22 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 167 ms
Jun 01, 2017 2:15:30 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8837 ms
Jun 01, 2017 2:15:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 2:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 463 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 2:15:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1825 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 01, 2017 2:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3214 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 01, 2017 2:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4592 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 01, 2017 2:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 5984 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 01, 2017 2:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7366 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 01, 2017 2:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 8752 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 01, 2017 2:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 10128 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 01, 2017 2:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 11510 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 01, 2017 2:15:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 12866 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 01, 2017 2:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 14248 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 01, 2017 2:15:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 15625 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 01, 2017 2:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 16991 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 01, 2017 2:15:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 18390 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 01, 2017 2:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 19759 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 01, 2017 2:15:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 21157 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 01, 2017 2:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 22553 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 01, 2017 2:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 23927 ms. Total solver calls (SAT/UNSAT): 7072(4108/2964)
Jun 01, 2017 2:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 25293 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 01, 2017 2:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 26667 ms. Total solver calls (SAT/UNSAT): 7888(4582/3306)
Jun 01, 2017 2:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/592 took 27965 ms. Total solver calls (SAT/UNSAT): 8326(4819/3507)
Jun 01, 2017 2:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 28979 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 01, 2017 2:16:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 30240 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 01, 2017 2:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 31618 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 01, 2017 2:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 32896 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 01, 2017 2:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/592 took 33925 ms. Total solver calls (SAT/UNSAT): 10289(5846/4443)
Jun 01, 2017 2:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/592 took 35034 ms. Total solver calls (SAT/UNSAT): 10591(6004/4587)
Jun 01, 2017 2:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/592 took 36317 ms. Total solver calls (SAT/UNSAT): 11044(6241/4803)
Jun 01, 2017 2:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/592 took 37675 ms. Total solver calls (SAT/UNSAT): 11497(6478/5019)
Jun 01, 2017 2:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 38681 ms. Total solver calls (SAT/UNSAT): 11799(6636/5163)
Jun 01, 2017 2:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/592 took 39692 ms. Total solver calls (SAT/UNSAT): 12101(6794/5307)
Jun 01, 2017 2:16:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/592 took 40981 ms. Total solver calls (SAT/UNSAT): 12554(7031/5523)
Jun 01, 2017 2:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/592 took 42237 ms. Total solver calls (SAT/UNSAT): 13007(7268/5739)
Jun 01, 2017 2:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/592 took 43574 ms. Total solver calls (SAT/UNSAT): 13460(7505/5955)
Jun 01, 2017 2:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/592 took 45012 ms. Total solver calls (SAT/UNSAT): 13913(7742/6171)
Jun 01, 2017 2:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/592 took 46047 ms. Total solver calls (SAT/UNSAT): 14215(7900/6315)
Jun 01, 2017 2:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/592 took 47421 ms. Total solver calls (SAT/UNSAT): 14653(8137/6516)
Jun 01, 2017 2:16:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 48550 ms. Total solver calls (SAT/UNSAT): 14925(8295/6630)
Jun 01, 2017 2:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/592 took 49585 ms. Total solver calls (SAT/UNSAT): 15197(8453/6744)
Jun 01, 2017 2:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/592 took 50850 ms. Total solver calls (SAT/UNSAT): 15650(8690/6960)
Jun 01, 2017 2:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/592 took 52253 ms. Total solver calls (SAT/UNSAT): 16103(8927/7176)
Jun 01, 2017 2:16:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/592 took 53492 ms. Total solver calls (SAT/UNSAT): 16556(9164/7392)
Jun 01, 2017 2:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/592 took 54776 ms. Total solver calls (SAT/UNSAT): 17009(9401/7608)
Jun 01, 2017 2:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/592 took 56172 ms. Total solver calls (SAT/UNSAT): 17462(9638/7824)
Jun 01, 2017 2:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/592 took 57452 ms. Total solver calls (SAT/UNSAT): 17885(9875/8010)
Jun 01, 2017 2:16:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 58829 ms. Total solver calls (SAT/UNSAT): 18293(10112/8181)
Jun 01, 2017 2:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/592 took 60170 ms. Total solver calls (SAT/UNSAT): 18701(10349/8352)
Jun 01, 2017 2:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/592 took 61458 ms. Total solver calls (SAT/UNSAT): 19109(10586/8523)
Jun 01, 2017 2:16:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/592 took 62841 ms. Total solver calls (SAT/UNSAT): 19517(10823/8694)
Jun 01, 2017 2:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/592 took 63934 ms. Total solver calls (SAT/UNSAT): 19789(10981/8808)
Jun 01, 2017 2:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 65256 ms. Total solver calls (SAT/UNSAT): 20197(11218/8979)
Jun 01, 2017 2:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 66541 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 01, 2017 2:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 67971 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 01, 2017 2:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 69383 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 01, 2017 2:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 70672 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 01, 2017 2:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 71945 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 01, 2017 2:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 73220 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 01, 2017 2:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 74567 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 01, 2017 2:16:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 75848 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 01, 2017 2:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 76916 ms. Total solver calls (SAT/UNSAT): 23808(13272/10536)
Jun 01, 2017 2:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 78360 ms. Total solver calls (SAT/UNSAT): 24216(13509/10707)
Jun 01, 2017 2:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 79702 ms. Total solver calls (SAT/UNSAT): 24624(13746/10878)
Jun 01, 2017 2:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 80974 ms. Total solver calls (SAT/UNSAT): 25032(13983/11049)
Jun 01, 2017 2:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 82250 ms. Total solver calls (SAT/UNSAT): 25440(14220/11220)
Jun 01, 2017 2:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 83569 ms. Total solver calls (SAT/UNSAT): 25848(14457/11391)
Jun 01, 2017 2:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 84874 ms. Total solver calls (SAT/UNSAT): 26256(14694/11562)
Jun 01, 2017 2:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/592 took 86127 ms. Total solver calls (SAT/UNSAT): 26598(14931/11667)
Jun 01, 2017 2:16:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/592 took 87156 ms. Total solver calls (SAT/UNSAT): 26907(15168/11739)
Jun 01, 2017 2:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 88488 ms. Total solver calls (SAT/UNSAT): 27319(15484/11835)
Jun 01, 2017 2:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 89818 ms. Total solver calls (SAT/UNSAT): 27731(15800/11931)
Jun 01, 2017 2:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/592 took 91171 ms. Total solver calls (SAT/UNSAT): 28143(16116/12027)
Jun 01, 2017 2:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/592 took 92484 ms. Total solver calls (SAT/UNSAT): 28555(16432/12123)
Jun 01, 2017 2:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 93570 ms. Total solver calls (SAT/UNSAT): 28864(16669/12195)
Jun 01, 2017 2:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 94854 ms. Total solver calls (SAT/UNSAT): 29276(16985/12291)
Jun 01, 2017 2:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/592 took 95911 ms. Total solver calls (SAT/UNSAT): 29585(17222/12363)
Jun 01, 2017 2:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/592 took 96966 ms. Total solver calls (SAT/UNSAT): 29894(17459/12435)
Jun 01, 2017 2:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 98365 ms. Total solver calls (SAT/UNSAT): 30269(17696/12573)
Jun 01, 2017 2:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 99676 ms. Total solver calls (SAT/UNSAT): 30677(17933/12744)
Jun 01, 2017 2:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/592 took 101004 ms. Total solver calls (SAT/UNSAT): 31089(18249/12840)
Jun 01, 2017 2:17:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/592 took 102009 ms. Total solver calls (SAT/UNSAT): 31398(18486/12912)
Jun 01, 2017 2:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 103012 ms. Total solver calls (SAT/UNSAT): 31707(18723/12984)
Jun 01, 2017 2:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/592 took 104145 ms. Total solver calls (SAT/UNSAT): 32016(18960/13056)
Jun 01, 2017 2:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/592 took 105198 ms. Total solver calls (SAT/UNSAT): 32325(19197/13128)
Jun 01, 2017 2:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 106519 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 01, 2017 2:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 107661 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 01, 2017 2:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/592 took 108687 ms. Total solver calls (SAT/UNSAT): 33335(19967/13368)
Jun 01, 2017 2:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 109957 ms. Total solver calls (SAT/UNSAT): 33708(20252/13456)
Jun 01, 2017 2:17:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 111108 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 01, 2017 2:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/592 took 112125 ms. Total solver calls (SAT/UNSAT): 34399(20727/13672)
Jun 01, 2017 2:17:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/592 took 113206 ms. Total solver calls (SAT/UNSAT): 34758(20934/13824)
Jun 01, 2017 2:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/592 took 114214 ms. Total solver calls (SAT/UNSAT): 35118(21164/13954)
Jun 01, 2017 2:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 115362 ms. Total solver calls (SAT/UNSAT): 35518(21404/14114)
Jun 01, 2017 2:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 116653 ms. Total solver calls (SAT/UNSAT): 36037(21641/14396)
Jun 01, 2017 2:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 117944 ms. Total solver calls (SAT/UNSAT): 36556(21878/14678)
Jun 01, 2017 2:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 119472 ms. Total solver calls (SAT/UNSAT): 37046(22128/14918)
Jun 01, 2017 2:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/592 took 120578 ms. Total solver calls (SAT/UNSAT): 37428(22309/15119)
Jun 01, 2017 2:17:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/592 took 121680 ms. Total solver calls (SAT/UNSAT): 37759(22516/15243)
Jun 01, 2017 2:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 122920 ms. Total solver calls (SAT/UNSAT): 38212(22756/15456)
Jun 01, 2017 2:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 124284 ms. Total solver calls (SAT/UNSAT): 38731(22993/15738)
Jun 01, 2017 2:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 125572 ms. Total solver calls (SAT/UNSAT): 39250(23230/16020)
Jun 01, 2017 2:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 126892 ms. Total solver calls (SAT/UNSAT): 39769(23467/16302)
Jun 01, 2017 2:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 128226 ms. Total solver calls (SAT/UNSAT): 40288(23704/16584)
Jun 01, 2017 2:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 129496 ms. Total solver calls (SAT/UNSAT): 40807(23941/16866)
Jun 01, 2017 2:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 130930 ms. Total solver calls (SAT/UNSAT): 41326(24178/17148)
Jun 01, 2017 2:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 132209 ms. Total solver calls (SAT/UNSAT): 41845(24415/17430)
Jun 01, 2017 2:17:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 133553 ms. Total solver calls (SAT/UNSAT): 42364(24652/17712)
Jun 01, 2017 2:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 134870 ms. Total solver calls (SAT/UNSAT): 42883(24889/17994)
Jun 01, 2017 2:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 135892 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 01, 2017 2:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 137336 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 01, 2017 2:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 138412 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 01, 2017 2:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 139839 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 01, 2017 2:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 140889 ms. Total solver calls (SAT/UNSAT): 44914(25837/19077)
Jun 01, 2017 2:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/592 took 141987 ms. Total solver calls (SAT/UNSAT): 45230(25995/19235)
Jun 01, 2017 2:17:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 143295 ms. Total solver calls (SAT/UNSAT): 45546(26153/19393)
Jun 01, 2017 2:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 144410 ms. Total solver calls (SAT/UNSAT): 45862(26311/19551)
Jun 01, 2017 2:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 145518 ms. Total solver calls (SAT/UNSAT): 46178(26469/19709)
Jun 01, 2017 2:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/592 took 146901 ms. Total solver calls (SAT/UNSAT): 46697(26706/19991)
Jun 01, 2017 2:17:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 148216 ms. Total solver calls (SAT/UNSAT): 47216(26943/20273)
Jun 01, 2017 2:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/592 took 149686 ms. Total solver calls (SAT/UNSAT): 47735(27180/20555)
Jun 01, 2017 2:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/592 took 150993 ms. Total solver calls (SAT/UNSAT): 48254(27417/20837)
Jun 01, 2017 2:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 152260 ms. Total solver calls (SAT/UNSAT): 48773(27654/21119)
Jun 01, 2017 2:18:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/592 took 153749 ms. Total solver calls (SAT/UNSAT): 49262(27891/21371)
Jun 01, 2017 2:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 154802 ms. Total solver calls (SAT/UNSAT): 49578(28049/21529)
Jun 01, 2017 2:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 155862 ms. Total solver calls (SAT/UNSAT): 49894(28207/21687)
Jun 01, 2017 2:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/592 took 156908 ms. Total solver calls (SAT/UNSAT): 50210(28365/21845)
Jun 01, 2017 2:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 157992 ms. Total solver calls (SAT/UNSAT): 50526(28523/22003)
Jun 01, 2017 2:18:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 159056 ms. Total solver calls (SAT/UNSAT): 50842(28681/22161)
Jun 01, 2017 2:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/592 took 160108 ms. Total solver calls (SAT/UNSAT): 51158(28839/22319)
Jun 01, 2017 2:18:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 161157 ms. Total solver calls (SAT/UNSAT): 51474(28997/22477)
Jun 01, 2017 2:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 162434 ms. Total solver calls (SAT/UNSAT): 51790(29155/22635)
Jun 01, 2017 2:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/592 took 163623 ms. Total solver calls (SAT/UNSAT): 52106(29313/22793)
Jun 01, 2017 2:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 164735 ms. Total solver calls (SAT/UNSAT): 52422(29471/22951)
Jun 01, 2017 2:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 165801 ms. Total solver calls (SAT/UNSAT): 52738(29629/23109)
Jun 01, 2017 2:18:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/592 took 166883 ms. Total solver calls (SAT/UNSAT): 53054(29787/23267)
Jun 01, 2017 2:18:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 167959 ms. Total solver calls (SAT/UNSAT): 53370(29945/23425)
Jun 01, 2017 2:18:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 169145 ms. Total solver calls (SAT/UNSAT): 53686(30103/23583)
Jun 01, 2017 2:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/592 took 170237 ms. Total solver calls (SAT/UNSAT): 54002(30261/23741)
Jun 01, 2017 2:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 171386 ms. Total solver calls (SAT/UNSAT): 54318(30419/23899)
Jun 01, 2017 2:18:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 172665 ms. Total solver calls (SAT/UNSAT): 54634(30577/24057)
Jun 01, 2017 2:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/592 took 173681 ms. Total solver calls (SAT/UNSAT): 54965(30735/24230)
Jun 01, 2017 2:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/592 took 174995 ms. Total solver calls (SAT/UNSAT): 55484(30972/24512)
Jun 01, 2017 2:18:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/592 took 176295 ms. Total solver calls (SAT/UNSAT): 56003(31209/24794)
Jun 01, 2017 2:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/592 took 177869 ms. Total solver calls (SAT/UNSAT): 56522(31446/25076)
Jun 01, 2017 2:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 178935 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 01, 2017 2:18:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 179990 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 01, 2017 2:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 181186 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 01, 2017 2:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 182299 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 01, 2017 2:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 183391 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 01, 2017 2:18:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 184600 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 01, 2017 2:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 185666 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 01, 2017 2:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 186777 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 01, 2017 2:18:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/592 took 187993 ms. Total solver calls (SAT/UNSAT): 59396(32868/26528)
Jun 01, 2017 2:18:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/592 took 189405 ms. Total solver calls (SAT/UNSAT): 59915(33105/26810)
Jun 01, 2017 2:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/592 took 190723 ms. Total solver calls (SAT/UNSAT): 60434(33342/27092)
Jun 01, 2017 2:18:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/592 took 192030 ms. Total solver calls (SAT/UNSAT): 60953(33579/27374)
Jun 01, 2017 2:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/592 took 193343 ms. Total solver calls (SAT/UNSAT): 61472(33816/27656)
Jun 01, 2017 2:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/592 took 194642 ms. Total solver calls (SAT/UNSAT): 61991(34053/27938)
Jun 01, 2017 2:18:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/592 took 195936 ms. Total solver calls (SAT/UNSAT): 62510(34290/28220)
Jun 01, 2017 2:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/592 took 197232 ms. Total solver calls (SAT/UNSAT): 63029(34527/28502)
Jun 01, 2017 2:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/592 took 198519 ms. Total solver calls (SAT/UNSAT): 63548(34764/28784)
Jun 01, 2017 2:18:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/592 took 199810 ms. Total solver calls (SAT/UNSAT): 64067(35001/29066)
Jun 01, 2017 2:18:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/592 took 201100 ms. Total solver calls (SAT/UNSAT): 64586(35238/29348)
Jun 01, 2017 2:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/592 took 202378 ms. Total solver calls (SAT/UNSAT): 65105(35475/29630)
Jun 01, 2017 2:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/592 took 203668 ms. Total solver calls (SAT/UNSAT): 65624(35712/29912)
Jun 01, 2017 2:18:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/592 took 205006 ms. Total solver calls (SAT/UNSAT): 66143(35949/30194)
Jun 01, 2017 2:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/592 took 206453 ms. Total solver calls (SAT/UNSAT): 66662(36186/30476)
Jun 01, 2017 2:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/592 took 207872 ms. Total solver calls (SAT/UNSAT): 67181(36423/30758)
Jun 01, 2017 2:19:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 209458 ms. Total solver calls (SAT/UNSAT): 67685(36660/31025)
Jun 01, 2017 2:19:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 210658 ms. Total solver calls (SAT/UNSAT): 68001(36818/31183)
Jun 01, 2017 2:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 211752 ms. Total solver calls (SAT/UNSAT): 68317(36976/31341)
Jun 01, 2017 2:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 212800 ms. Total solver calls (SAT/UNSAT): 68633(37134/31499)
Jun 01, 2017 2:19:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 213890 ms. Total solver calls (SAT/UNSAT): 68949(37292/31657)
Jun 01, 2017 2:19:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 214933 ms. Total solver calls (SAT/UNSAT): 69265(37450/31815)
Jun 01, 2017 2:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 216443 ms. Total solver calls (SAT/UNSAT): 69784(37687/32097)
Jun 01, 2017 2:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 217881 ms. Total solver calls (SAT/UNSAT): 70288(37924/32364)
Jun 01, 2017 2:19:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 219079 ms. Total solver calls (SAT/UNSAT): 70604(38082/32522)
Jun 01, 2017 2:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 220298 ms. Total solver calls (SAT/UNSAT): 70920(38240/32680)
Jun 01, 2017 2:19:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 221398 ms. Total solver calls (SAT/UNSAT): 71236(38398/32838)
Jun 01, 2017 2:19:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/592 took 222528 ms. Total solver calls (SAT/UNSAT): 71552(38556/32996)
Jun 01, 2017 2:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 223587 ms. Total solver calls (SAT/UNSAT): 71868(38714/33154)
Jun 01, 2017 2:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 224758 ms. Total solver calls (SAT/UNSAT): 72184(38872/33312)
Jun 01, 2017 2:19:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 225797 ms. Total solver calls (SAT/UNSAT): 72500(39030/33470)
Jun 01, 2017 2:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 226913 ms. Total solver calls (SAT/UNSAT): 72816(39188/33628)
Jun 01, 2017 2:19:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 228026 ms. Total solver calls (SAT/UNSAT): 73132(39346/33786)
Jun 01, 2017 2:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 229085 ms. Total solver calls (SAT/UNSAT): 73448(39504/33944)
Jun 01, 2017 2:19:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 230172 ms. Total solver calls (SAT/UNSAT): 73764(39662/34102)
Jun 01, 2017 2:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 231218 ms. Total solver calls (SAT/UNSAT): 74080(39820/34260)
Jun 01, 2017 2:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/592 took 232436 ms. Total solver calls (SAT/UNSAT): 74396(39978/34418)
Jun 01, 2017 2:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 233517 ms. Total solver calls (SAT/UNSAT): 74712(40136/34576)
Jun 01, 2017 2:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 234681 ms. Total solver calls (SAT/UNSAT): 75028(40294/34734)
Jun 01, 2017 2:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/592 took 235797 ms. Total solver calls (SAT/UNSAT): 75344(40452/34892)
Jun 01, 2017 2:19:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 236865 ms. Total solver calls (SAT/UNSAT): 75660(40610/35050)
Jun 01, 2017 2:19:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 238122 ms. Total solver calls (SAT/UNSAT): 75976(40768/35208)
Jun 01, 2017 2:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/592 took 239255 ms. Total solver calls (SAT/UNSAT): 76292(40926/35366)
Jun 01, 2017 2:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 240325 ms. Total solver calls (SAT/UNSAT): 76608(41084/35524)
Jun 01, 2017 2:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 241406 ms. Total solver calls (SAT/UNSAT): 76924(41242/35682)
Jun 01, 2017 2:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/592 took 242477 ms. Total solver calls (SAT/UNSAT): 77240(41400/35840)
Jun 01, 2017 2:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 243575 ms. Total solver calls (SAT/UNSAT): 77556(41558/35998)
Jun 01, 2017 2:19:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 244617 ms. Total solver calls (SAT/UNSAT): 77872(41716/36156)
Jun 01, 2017 2:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/592 took 245678 ms. Total solver calls (SAT/UNSAT): 78188(41874/36314)
Jun 01, 2017 2:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 246772 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 2:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 246773 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 2:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 2:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1142 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 2:19:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2282 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 2:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3427 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 2:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4551 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 2:19:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5691 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 01, 2017 2:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6814 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 01, 2017 2:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 7936 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 01, 2017 2:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9024 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 01, 2017 2:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10148 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 01, 2017 2:19:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11279 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 01, 2017 2:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12382 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 01, 2017 2:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13495 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 01, 2017 2:19:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14588 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 01, 2017 2:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 15689 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 01, 2017 2:19:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 16829 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 01, 2017 2:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 17975 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 01, 2017 2:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 19130 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 01, 2017 2:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 20223 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 01, 2017 2:19:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 21344 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 01, 2017 2:20:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 22447 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 01, 2017 2:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 23522 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 01, 2017 2:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 24586 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 01, 2017 2:20:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 25724 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 01, 2017 2:20:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 26850 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 01, 2017 2:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 28021 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 01, 2017 2:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 29172 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 01, 2017 2:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 30331 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 01, 2017 2:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 31496 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 01, 2017 2:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 32621 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 01, 2017 2:20:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 33664 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 01, 2017 2:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 34715 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 01, 2017 2:20:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 35758 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 01, 2017 2:20:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 36808 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 01, 2017 2:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 37896 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 01, 2017 2:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 38985 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 01, 2017 2:20:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 40097 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 01, 2017 2:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 41227 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 01, 2017 2:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 42348 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 01, 2017 2:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 43478 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 01, 2017 2:20:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 44589 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 01, 2017 2:20:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 45633 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 01, 2017 2:20:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 46683 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 01, 2017 2:20:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 47729 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 01, 2017 2:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 48820 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 01, 2017 2:20:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 49877 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 01, 2017 2:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 50954 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 2:20:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 52002 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 01, 2017 2:20:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 53056 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 2:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 54127 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 2:20:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 55223 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 01, 2017 2:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 56327 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 2:20:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 57417 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 01, 2017 2:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 58552 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 2:20:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 59614 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 01, 2017 2:20:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 60720 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 2:20:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 61784 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 01, 2017 2:20:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 62856 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 2:20:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 63920 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 01, 2017 2:20:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 64998 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 01, 2017 2:20:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 66079 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 01, 2017 2:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 67145 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 01, 2017 2:20:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 68201 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 01, 2017 2:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 69210 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 01, 2017 2:20:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 70321 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 01, 2017 2:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 71420 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 01, 2017 2:20:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 72534 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 01, 2017 2:20:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 73622 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 01, 2017 2:20:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 74710 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 01, 2017 2:20:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 75847 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 01, 2017 2:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 76994 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 01, 2017 2:20:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 78076 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 01, 2017 2:20:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 79235 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 01, 2017 2:20:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 80344 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 01, 2017 2:20:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 81460 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 01, 2017 2:21:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 82582 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 01, 2017 2:21:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/592 took 83596 ms. Total solver calls (SAT/UNSAT): 33211(15256/17955)
Jun 01, 2017 2:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/592 took 84597 ms. Total solver calls (SAT/UNSAT): 33722(15400/18322)
Jun 01, 2017 2:21:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 85606 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 01, 2017 2:21:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/592 took 86675 ms. Total solver calls (SAT/UNSAT): 34686(15756/18930)
Jun 01, 2017 2:21:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/592 took 87709 ms. Total solver calls (SAT/UNSAT): 35118(15996/19122)
Jun 01, 2017 2:21:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 89034 ms. Total solver calls (SAT/UNSAT): 35691(16264/19427)
Jun 01, 2017 2:21:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 90347 ms. Total solver calls (SAT/UNSAT): 36210(16546/19664)
Jun 01, 2017 2:21:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 91603 ms. Total solver calls (SAT/UNSAT): 36729(16828/19901)
Jun 01, 2017 2:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 92927 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 01, 2017 2:21:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 93929 ms. Total solver calls (SAT/UNSAT): 37644(17330/20314)
Jun 01, 2017 2:21:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 95256 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 01, 2017 2:21:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 96582 ms. Total solver calls (SAT/UNSAT): 38731(17906/20825)
Jun 01, 2017 2:21:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 97934 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 01, 2017 2:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 99250 ms. Total solver calls (SAT/UNSAT): 39769(18470/21299)
Jun 01, 2017 2:21:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 100506 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 01, 2017 2:21:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 101784 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 01, 2017 2:21:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 103088 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 01, 2017 2:21:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 104432 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 01, 2017 2:21:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 105822 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 01, 2017 2:21:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 107106 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 01, 2017 2:21:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 108395 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 01, 2017 2:21:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 109697 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 01, 2017 2:21:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 110986 ms. Total solver calls (SAT/UNSAT): 44395(21008/23387)
Jun 01, 2017 2:21:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 112313 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 01, 2017 2:21:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 113577 ms. Total solver calls (SAT/UNSAT): 45388(21572/23816)
Jun 01, 2017 2:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 114850 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 01, 2017 2:21:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 116129 ms. Total solver calls (SAT/UNSAT): 46351(22136/24215)
Jun 01, 2017 2:21:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 117444 ms. Total solver calls (SAT/UNSAT): 46870(22418/24452)
Jun 01, 2017 2:21:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 118742 ms. Total solver calls (SAT/UNSAT): 47389(22700/24689)
Jun 01, 2017 2:21:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 120090 ms. Total solver calls (SAT/UNSAT): 47908(22982/24926)
Jun 01, 2017 2:21:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 121459 ms. Total solver calls (SAT/UNSAT): 48427(23264/25163)
Jun 01, 2017 2:21:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 122760 ms. Total solver calls (SAT/UNSAT): 48946(23546/25400)
Jun 01, 2017 2:21:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 124059 ms. Total solver calls (SAT/UNSAT): 49420(23828/25592)
Jun 01, 2017 2:21:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 125302 ms. Total solver calls (SAT/UNSAT): 49894(24110/25784)
Jun 01, 2017 2:21:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 126600 ms. Total solver calls (SAT/UNSAT): 50368(24392/25976)
Jun 01, 2017 2:21:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 127883 ms. Total solver calls (SAT/UNSAT): 50842(24674/26168)
Jun 01, 2017 2:21:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 129150 ms. Total solver calls (SAT/UNSAT): 51316(24956/26360)
Jun 01, 2017 2:21:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 130384 ms. Total solver calls (SAT/UNSAT): 51790(25238/26552)
Jun 01, 2017 2:21:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 131624 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 01, 2017 2:21:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 132853 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 01, 2017 2:21:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 134121 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 01, 2017 2:21:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 135366 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 01, 2017 2:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 136575 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 01, 2017 2:21:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 137805 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 01, 2017 2:21:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 139074 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 01, 2017 2:21:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 140352 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 01, 2017 2:21:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 141636 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 01, 2017 2:22:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 142890 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 01, 2017 2:22:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 144113 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 01, 2017 2:22:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 145410 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 01, 2017 2:22:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 146670 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 01, 2017 2:22:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 147920 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 01, 2017 2:22:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 149198 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 01, 2017 2:22:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 150489 ms. Total solver calls (SAT/UNSAT): 59569(29750/29819)
Jun 01, 2017 2:22:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 151755 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 01, 2017 2:22:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 153034 ms. Total solver calls (SAT/UNSAT): 60607(30314/30293)
Jun 01, 2017 2:22:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 154326 ms. Total solver calls (SAT/UNSAT): 61126(30596/30530)
Jun 01, 2017 2:22:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 155597 ms. Total solver calls (SAT/UNSAT): 61645(30878/30767)
Jun 01, 2017 2:22:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 156872 ms. Total solver calls (SAT/UNSAT): 62164(31160/31004)
Jun 01, 2017 2:22:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 158168 ms. Total solver calls (SAT/UNSAT): 62683(31442/31241)
Jun 01, 2017 2:22:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 159436 ms. Total solver calls (SAT/UNSAT): 63202(31724/31478)
Jun 01, 2017 2:22:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 160704 ms. Total solver calls (SAT/UNSAT): 63721(32006/31715)
Jun 01, 2017 2:22:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 161971 ms. Total solver calls (SAT/UNSAT): 64240(32288/31952)
Jun 01, 2017 2:22:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 163240 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 01, 2017 2:22:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 164509 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 01, 2017 2:22:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 165769 ms. Total solver calls (SAT/UNSAT): 65797(33134/32663)
Jun 01, 2017 2:22:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 167057 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 01, 2017 2:22:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 168369 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 01, 2017 2:22:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 169644 ms. Total solver calls (SAT/UNSAT): 67354(33980/33374)
Jun 01, 2017 2:22:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 170930 ms. Total solver calls (SAT/UNSAT): 67843(34262/33581)
Jun 01, 2017 2:22:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 172232 ms. Total solver calls (SAT/UNSAT): 68317(34544/33773)
Jun 01, 2017 2:22:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 173490 ms. Total solver calls (SAT/UNSAT): 68633(34732/33901)
Jun 01, 2017 2:22:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 174785 ms. Total solver calls (SAT/UNSAT): 68949(34920/34029)
Jun 01, 2017 2:22:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 176129 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 01, 2017 2:22:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 177400 ms. Total solver calls (SAT/UNSAT): 69611(35296/34315)
Jun 01, 2017 2:22:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 178690 ms. Total solver calls (SAT/UNSAT): 70130(35578/34552)
Jun 01, 2017 2:22:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 179993 ms. Total solver calls (SAT/UNSAT): 70604(35860/34744)
Jun 01, 2017 2:22:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 181294 ms. Total solver calls (SAT/UNSAT): 71078(36142/34936)
Jun 01, 2017 2:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/592 took 182618 ms. Total solver calls (SAT/UNSAT): 71552(36424/35128)
Jun 01, 2017 2:22:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 183950 ms. Total solver calls (SAT/UNSAT): 72026(36706/35320)
Jun 01, 2017 2:22:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 185269 ms. Total solver calls (SAT/UNSAT): 72500(36988/35512)
Jun 01, 2017 2:22:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 186574 ms. Total solver calls (SAT/UNSAT): 72974(37270/35704)
Jun 01, 2017 2:22:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/592 took 187892 ms. Total solver calls (SAT/UNSAT): 73448(37552/35896)
Jun 01, 2017 2:22:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 189415 ms. Total solver calls (SAT/UNSAT): 73922(37834/36088)
Jun 01, 2017 2:22:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 190645 ms. Total solver calls (SAT/UNSAT): 74238(38022/36216)
Jun 01, 2017 2:22:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 191964 ms. Total solver calls (SAT/UNSAT): 74712(38304/36408)
Jun 01, 2017 2:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 193275 ms. Total solver calls (SAT/UNSAT): 75186(38586/36600)
Jun 01, 2017 2:22:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 194583 ms. Total solver calls (SAT/UNSAT): 75660(38868/36792)
Jun 01, 2017 2:22:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 195893 ms. Total solver calls (SAT/UNSAT): 76134(39150/36984)
Jun 01, 2017 2:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 197214 ms. Total solver calls (SAT/UNSAT): 76608(39432/37176)
Jun 01, 2017 2:22:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 198501 ms. Total solver calls (SAT/UNSAT): 77082(39714/37368)
Jun 01, 2017 2:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 199840 ms. Total solver calls (SAT/UNSAT): 77556(39996/37560)
Jun 01, 2017 2:22:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 201141 ms. Total solver calls (SAT/UNSAT): 78030(40278/37752)
Jun 01, 2017 2:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 202436 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 2:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 202436 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 2:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 2:23:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1045 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 2:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3043 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 01, 2017 2:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 5006 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 01, 2017 2:23:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 6940 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 01, 2017 2:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 8917 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 01, 2017 2:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 10882 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 01, 2017 2:23:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 12841 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 01, 2017 2:23:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 14736 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 01, 2017 2:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 16644 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 01, 2017 2:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 18588 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 01, 2017 2:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 20471 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 01, 2017 2:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 22359 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 01, 2017 2:23:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 24225 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 01, 2017 2:23:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/592) took 25232 ms. Total solver calls (SAT/UNSAT): 15067(15067/0)
Jun 01, 2017 2:23:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/592) took 27115 ms. Total solver calls (SAT/UNSAT): 16198(16198/0)
Jun 01, 2017 2:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 28970 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 01, 2017 2:23:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/592) took 30833 ms. Total solver calls (SAT/UNSAT): 18448(18448/0)
Jun 01, 2017 2:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/592) took 32670 ms. Total solver calls (SAT/UNSAT): 19567(19567/0)
Jun 01, 2017 2:23:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/592) took 34523 ms. Total solver calls (SAT/UNSAT): 20682(20682/0)
Jun 01, 2017 2:23:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 36344 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 01, 2017 2:23:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 38160 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 01, 2017 2:23:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 39972 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 01, 2017 2:23:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 41780 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 01, 2017 2:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 43571 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 01, 2017 2:23:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 45389 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 01, 2017 2:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 47161 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 01, 2017 2:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 48960 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 01, 2017 2:23:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 50697 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 01, 2017 2:23:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 52456 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 01, 2017 2:23:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 54204 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 01, 2017 2:23:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 55966 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 01, 2017 2:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 57646 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 01, 2017 2:23:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 59415 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 01, 2017 2:24:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 61077 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 01, 2017 2:24:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 62808 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 01, 2017 2:24:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 64458 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 01, 2017 2:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 66205 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 01, 2017 2:24:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 67933 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 01, 2017 2:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 69630 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 01, 2017 2:24:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 71306 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 01, 2017 2:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 73004 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 01, 2017 2:24:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 74676 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 01, 2017 2:24:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 76336 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 01, 2017 2:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 78020 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 01, 2017 2:24:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 79639 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 01, 2017 2:24:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 81311 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 01, 2017 2:24:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 82900 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 01, 2017 2:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 84566 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 01, 2017 2:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 86133 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 01, 2017 2:24:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 87782 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 01, 2017 2:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 89338 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 01, 2017 2:24:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 90972 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 01, 2017 2:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 92559 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 01, 2017 2:24:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 94196 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 01, 2017 2:24:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 95808 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 01, 2017 2:24:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 97468 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 01, 2017 2:24:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 99074 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 01, 2017 2:24:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 100685 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 01, 2017 2:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 102283 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 01, 2017 2:24:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 103919 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 01, 2017 2:24:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 105543 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 01, 2017 2:24:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 107046 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 01, 2017 2:24:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 108652 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 01, 2017 2:24:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 110291 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 01, 2017 2:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 111888 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 01, 2017 2:24:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 113545 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 01, 2017 2:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 115133 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 01, 2017 2:24:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 116737 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 01, 2017 2:24:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 118320 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 01, 2017 2:25:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 119901 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 01, 2017 2:25:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 121478 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 01, 2017 2:25:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 123023 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 01, 2017 2:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 124595 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 01, 2017 2:25:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 126142 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 01, 2017 2:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 127681 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 01, 2017 2:25:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 129254 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 01, 2017 2:25:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 130776 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 01, 2017 2:25:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 132290 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 01, 2017 2:25:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 133777 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 01, 2017 2:25:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 135254 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 01, 2017 2:25:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 136689 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 01, 2017 2:25:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 138185 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 01, 2017 2:25:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 139619 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 01, 2017 2:25:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 141091 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 01, 2017 2:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 142527 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 01, 2017 2:25:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 143994 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 01, 2017 2:25:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 145481 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 01, 2017 2:25:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 146949 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 01, 2017 2:25:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 148395 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 01, 2017 2:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 149855 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 01, 2017 2:25:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 151276 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 01, 2017 2:25:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 152718 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 01, 2017 2:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 154125 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 01, 2017 2:25:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 155525 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 01, 2017 2:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 156864 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 01, 2017 2:25:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 158149 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 01, 2017 2:25:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 159458 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 01, 2017 2:25:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 160750 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 01, 2017 2:25:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 162049 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 01, 2017 2:25:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 163333 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 01, 2017 2:25:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 164662 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 01, 2017 2:25:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 165936 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 01, 2017 2:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 167212 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 01, 2017 2:25:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 168452 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 01, 2017 2:25:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 169698 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 01, 2017 2:25:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 170937 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 01, 2017 2:25:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 172181 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 01, 2017 2:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 173419 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 01, 2017 2:25:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 174648 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 01, 2017 2:25:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 175857 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 01, 2017 2:25:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 177069 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 01, 2017 2:25:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 178304 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 01, 2017 2:25:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 179602 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 01, 2017 2:26:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 180902 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 01, 2017 2:26:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 182143 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 01, 2017 2:26:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 183345 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 01, 2017 2:26:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 184524 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 01, 2017 2:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 185669 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 01, 2017 2:26:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 186814 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 01, 2017 2:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 187945 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 01, 2017 2:26:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 189083 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 01, 2017 2:26:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 190229 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 01, 2017 2:26:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 191350 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 01, 2017 2:26:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 192449 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 01, 2017 2:26:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 193547 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 01, 2017 2:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 194643 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 01, 2017 2:26:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/592) took 195653 ms. Total solver calls (SAT/UNSAT): 117558(117558/0)
Jun 01, 2017 2:26:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/592) took 197089 ms. Total solver calls (SAT/UNSAT): 118575(118575/0)
Jun 01, 2017 2:26:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/592) took 198485 ms. Total solver calls (SAT/UNSAT): 119583(119583/0)
Jun 01, 2017 2:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/592) took 199870 ms. Total solver calls (SAT/UNSAT): 120582(120582/0)
Jun 01, 2017 2:26:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/592) took 201262 ms. Total solver calls (SAT/UNSAT): 121572(121572/0)
Jun 01, 2017 2:26:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(266/592) took 202678 ms. Total solver calls (SAT/UNSAT): 122553(122553/0)
Jun 01, 2017 2:26:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(269/592) took 204130 ms. Total solver calls (SAT/UNSAT): 123525(123525/0)
Jun 01, 2017 2:26:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/592) took 205558 ms. Total solver calls (SAT/UNSAT): 124488(124488/0)
Jun 01, 2017 2:26:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/592) took 207001 ms. Total solver calls (SAT/UNSAT): 125442(125442/0)
Jun 01, 2017 2:26:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(278/592) took 208397 ms. Total solver calls (SAT/UNSAT): 126387(126387/0)
Jun 01, 2017 2:26:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/592) took 209877 ms. Total solver calls (SAT/UNSAT): 127323(127323/0)
Jun 01, 2017 2:26:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/592) took 211301 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Jun 01, 2017 2:26:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/592) took 212670 ms. Total solver calls (SAT/UNSAT): 129168(129168/0)
Jun 01, 2017 2:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/592) took 214034 ms. Total solver calls (SAT/UNSAT): 130077(130077/0)
Jun 01, 2017 2:26:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/592) took 215381 ms. Total solver calls (SAT/UNSAT): 130977(130977/0)
Jun 01, 2017 2:26:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(296/592) took 216632 ms. Total solver calls (SAT/UNSAT): 131868(131868/0)
Jun 01, 2017 2:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/592) took 217863 ms. Total solver calls (SAT/UNSAT): 132750(132750/0)
Jun 01, 2017 2:26:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/592) took 219070 ms. Total solver calls (SAT/UNSAT): 133623(133623/0)
Jun 01, 2017 2:26:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(305/592) took 220285 ms. Total solver calls (SAT/UNSAT): 134487(134487/0)
Jun 01, 2017 2:26:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/592) took 221506 ms. Total solver calls (SAT/UNSAT): 135342(135342/0)
Jun 01, 2017 2:26:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/592) took 222683 ms. Total solver calls (SAT/UNSAT): 136188(136188/0)
Jun 01, 2017 2:26:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/592) took 223833 ms. Total solver calls (SAT/UNSAT): 137025(137025/0)
Jun 01, 2017 2:26:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/592) took 225159 ms. Total solver calls (SAT/UNSAT): 137853(137853/0)
Jun 01, 2017 2:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/592) took 226473 ms. Total solver calls (SAT/UNSAT): 138672(138672/0)
Jun 01, 2017 2:26:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/592) took 227798 ms. Total solver calls (SAT/UNSAT): 139482(139482/0)
Jun 01, 2017 2:26:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/592) took 229134 ms. Total solver calls (SAT/UNSAT): 140283(140283/0)
Jun 01, 2017 2:26:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(329/592) took 230415 ms. Total solver calls (SAT/UNSAT): 141075(141075/0)
Jun 01, 2017 2:26:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(332/592) took 231710 ms. Total solver calls (SAT/UNSAT): 141858(141858/0)
Jun 01, 2017 2:26:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/592) took 233039 ms. Total solver calls (SAT/UNSAT): 142632(142632/0)
Jun 01, 2017 2:26:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(338/592) took 234352 ms. Total solver calls (SAT/UNSAT): 143397(143397/0)
Jun 01, 2017 2:26:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(341/592) took 235509 ms. Total solver calls (SAT/UNSAT): 144153(144153/0)
Jun 01, 2017 2:26:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/592) took 236697 ms. Total solver calls (SAT/UNSAT): 144900(144900/0)
Jun 01, 2017 2:26:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/592) took 237911 ms. Total solver calls (SAT/UNSAT): 145638(145638/0)
Jun 01, 2017 2:26:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/592) took 239100 ms. Total solver calls (SAT/UNSAT): 146367(146367/0)
Jun 01, 2017 2:27:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/592) took 240251 ms. Total solver calls (SAT/UNSAT): 147087(147087/0)
Jun 01, 2017 2:27:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(356/592) took 241421 ms. Total solver calls (SAT/UNSAT): 147798(147798/0)
Jun 01, 2017 2:27:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/592) took 242550 ms. Total solver calls (SAT/UNSAT): 148500(148500/0)
Jun 01, 2017 2:27:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/592) took 243654 ms. Total solver calls (SAT/UNSAT): 149193(149193/0)
Jun 01, 2017 2:27:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(365/592) took 244747 ms. Total solver calls (SAT/UNSAT): 149877(149877/0)
Jun 01, 2017 2:27:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(368/592) took 245831 ms. Total solver calls (SAT/UNSAT): 150552(150552/0)
Jun 01, 2017 2:27:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/592) took 246911 ms. Total solver calls (SAT/UNSAT): 151218(151218/0)
Jun 01, 2017 2:27:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(374/592) took 247964 ms. Total solver calls (SAT/UNSAT): 151875(151875/0)
Jun 01, 2017 2:27:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(377/592) took 249013 ms. Total solver calls (SAT/UNSAT): 152523(152523/0)
Jun 01, 2017 2:27:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/592) took 250081 ms. Total solver calls (SAT/UNSAT): 153162(153162/0)
Jun 01, 2017 2:27:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/592) took 251170 ms. Total solver calls (SAT/UNSAT): 153792(153792/0)
Jun 01, 2017 2:27:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/592) took 252188 ms. Total solver calls (SAT/UNSAT): 154413(154413/0)
Jun 01, 2017 2:27:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/592) took 253263 ms. Total solver calls (SAT/UNSAT): 155025(155025/0)
Jun 01, 2017 2:27:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(392/592) took 254336 ms. Total solver calls (SAT/UNSAT): 155628(155628/0)
Jun 01, 2017 2:27:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/592) took 255383 ms. Total solver calls (SAT/UNSAT): 156222(156222/0)
Jun 01, 2017 2:27:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(399/592) took 256675 ms. Total solver calls (SAT/UNSAT): 157000(157000/0)
Jun 01, 2017 2:27:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(403/592) took 257949 ms. Total solver calls (SAT/UNSAT): 157762(157762/0)
Jun 01, 2017 2:27:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(407/592) took 259180 ms. Total solver calls (SAT/UNSAT): 158508(158508/0)
Jun 01, 2017 2:27:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(411/592) took 260388 ms. Total solver calls (SAT/UNSAT): 159238(159238/0)
Jun 01, 2017 2:27:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/592) took 261666 ms. Total solver calls (SAT/UNSAT): 159952(159952/0)
Jun 01, 2017 2:27:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(419/592) took 262925 ms. Total solver calls (SAT/UNSAT): 160650(160650/0)
Jun 01, 2017 2:27:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(423/592) took 264163 ms. Total solver calls (SAT/UNSAT): 161332(161332/0)
Jun 01, 2017 2:27:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(427/592) took 265345 ms. Total solver calls (SAT/UNSAT): 161998(161998/0)
Jun 01, 2017 2:27:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(431/592) took 266489 ms. Total solver calls (SAT/UNSAT): 162648(162648/0)
Jun 01, 2017 2:27:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(435/592) took 267599 ms. Total solver calls (SAT/UNSAT): 163282(163282/0)
Jun 01, 2017 2:27:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(439/592) took 268682 ms. Total solver calls (SAT/UNSAT): 163900(163900/0)
Jun 01, 2017 2:27:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(443/592) took 269726 ms. Total solver calls (SAT/UNSAT): 164502(164502/0)
Jun 01, 2017 2:27:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(447/592) took 270745 ms. Total solver calls (SAT/UNSAT): 165088(165088/0)
Jun 01, 2017 2:27:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(452/592) took 271894 ms. Total solver calls (SAT/UNSAT): 165798(165798/0)
Jun 01, 2017 2:27:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(457/592) took 273007 ms. Total solver calls (SAT/UNSAT): 166483(166483/0)
Jun 01, 2017 2:27:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(462/592) took 274129 ms. Total solver calls (SAT/UNSAT): 167143(167143/0)
Jun 01, 2017 2:27:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(467/592) took 275229 ms. Total solver calls (SAT/UNSAT): 167778(167778/0)
Jun 01, 2017 2:27:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(472/592) took 276256 ms. Total solver calls (SAT/UNSAT): 168388(168388/0)
Jun 01, 2017 2:27:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(478/592) took 277376 ms. Total solver calls (SAT/UNSAT): 169087(169087/0)
Jun 01, 2017 2:27:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(484/592) took 278436 ms. Total solver calls (SAT/UNSAT): 169750(169750/0)
Jun 01, 2017 2:27:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(491/592) took 279588 ms. Total solver calls (SAT/UNSAT): 170478(170478/0)
Jun 01, 2017 2:27:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(498/592) took 280653 ms. Total solver calls (SAT/UNSAT): 171157(171157/0)
Jun 01, 2017 2:27:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/592) took 281669 ms. Total solver calls (SAT/UNSAT): 171787(171787/0)
Jun 01, 2017 2:27:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(513/592) took 282739 ms. Total solver calls (SAT/UNSAT): 172447(172447/0)
Jun 01, 2017 2:27:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(522/592) took 283826 ms. Total solver calls (SAT/UNSAT): 173113(173113/0)
Jun 01, 2017 2:27:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(531/592) took 284925 ms. Total solver calls (SAT/UNSAT): 173698(173698/0)
Jun 01, 2017 2:27:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(542/592) took 286013 ms. Total solver calls (SAT/UNSAT): 174303(174303/0)
Jun 01, 2017 2:27:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(555/592) took 287071 ms. Total solver calls (SAT/UNSAT): 174862(174862/0)
Jun 01, 2017 2:27:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(574/592) took 288091 ms. Total solver calls (SAT/UNSAT): 175375(175375/0)
Jun 01, 2017 2:27:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 288413 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 2:27:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.

Sequence of Actions to be Executed by the VM

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

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

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is PermAdmissibility-PT-10, 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 r040-blw7-149440486700429"
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 ;