About the Execution of ITS-Tools for S_PhaseVariation-PT-D10CS010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15951.190 | 3600000.00 | 5895792.00 | 15749.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_PhaseVariation-PT-D10CS010, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r130-smll-149441683100105
=====================================================================
--------------------
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 PhaseVariation-PT-D10CS010-LTLFireability-0
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-1
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-10
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-11
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-12
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-13
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-14
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-15
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-2
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-3
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-4
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-5
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-6
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-7
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-8
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1496300780138
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(X(X(G(X((("pool__6_5_>=1")&&("cell___6_4__B_>=1"))&&("run_dot>=1"))))))))
Formula 0 simplified : !FXXGX("cell___6_4__B_>=1" & "pool__6_5_>=1" & "run_dot>=1")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3137 rows 302 cols
invariant : 1'cell___6_5__A_ + 1'cell___6_5__B_ + 1'pool__6_5_= 1
invariant : 1'cell___7_6__A_ + 1'cell___7_6__B_ + 1'pool__7_6_= 1
invariant : 1'cell___5_4__A_ + 1'cell___5_4__B_ + 1'pool__5_4_= 1
invariant : 1'cell___1_7__A_ + 1'cell___1_7__B_ + 1'pool__1_7_= 1
invariant : 1'cell___7_9__A_ + 1'cell___7_9__B_ + 1'pool__7_9_= 1
invariant : 1'cell___9_10__A_ + 1'cell___9_10__B_ + 1'pool__9_10_= 1
invariant : 1'cell___6_6__A_ + 1'cell___6_6__B_ + 1'pool__6_6_= 1
invariant : 1'cell___10_4__A_ + 1'cell___10_4__B_ + 1'pool__10_4_= 1
invariant : 1'cell___2_2__A_ + 1'cell___2_2__B_ + 1'pool__2_2_= 1
invariant : 1'cell___5_10__A_ + 1'cell___5_10__B_ + 1'pool__5_10_= 1
invariant : 1'cell___2_5__A_ + 1'cell___2_5__B_ + 1'pool__2_5_= 1
invariant : 1'cell___6_7__A_ + 1'cell___6_7__B_ + 1'pool__6_7_= 1
invariant : 1'cell___10_8__A_ + 1'cell___10_8__B_ + 1'pool__10_8_= 1
invariant : 1'cell___6_8__A_ + 1'cell___6_8__B_ + 1'pool__6_8_= 1
invariant : 1'cell___9_5__A_ + 1'cell___9_5__B_ + 1'pool__9_5_= 1
invariant : 1'cell___5_1__A_ + 1'cell___5_1__B_ + 1'pool__5_1_= 1
invariant : 1'cell___3_4__A_ + 1'cell___3_4__B_ + 1'pool__3_4_= 1
invariant : 1'cell___4_1__A_ + 1'cell___4_1__B_ + 1'pool__4_1_= 1
invariant : 1'cell___7_2__A_ + 1'cell___7_2__B_ + 1'pool__7_2_= 1
invariant : 1'cell___4_10__A_ + 1'cell___4_10__B_ + 1'pool__4_10_= 1
invariant : 1'cell___1_8__A_ + 1'cell___1_8__B_ + 1'pool__1_8_= 1
invariant : 1'cell___5_8__A_ + 1'cell___5_8__B_ + 1'pool__5_8_= 1
invariant : 1'cell___10_2__A_ + 1'cell___10_2__B_ + 1'pool__10_2_= 1
invariant : 1'cell___9_2__A_ + 1'cell___9_2__B_ + 1'pool__9_2_= 1
invariant : 1'cell___1_4__A_ + 1'cell___1_4__B_ + 1'pool__1_4_= 1
invariant : 1'cell___2_8__A_ + 1'cell___2_8__B_ + 1'pool__2_8_= 1
invariant : 1'cell___10_1__A_ + 1'cell___10_1__B_ + 1'pool__10_1_= 1
invariant : 1'cell___4_2__A_ + 1'cell___4_2__B_ + 1'pool__4_2_= 1
invariant : 1'cell___10_5__A_ + 1'cell___10_5__B_ + 1'pool__10_5_= 1
invariant : 1'cell___1_10__A_ + 1'cell___1_10__B_ + 1'pool__1_10_= 1
invariant : 1'cell___8_3__A_ + 1'cell___8_3__B_ + 1'pool__8_3_= 1
invariant : 1'cell___3_3__A_ + 1'cell___3_3__B_ + 1'pool__3_3_= 1
invariant : 1'cell___8_6__A_ + 1'cell___8_6__B_ + 1'pool__8_6_= 1
invariant : 1'cell___9_9__A_ + 1'cell___9_9__B_ + 1'pool__9_9_= 1
invariant : 1'cell___2_10__A_ + 1'cell___2_10__B_ + 1'pool__2_10_= 1
invariant : 1'cell___7_3__A_ + 1'cell___7_3__B_ + 1'pool__7_3_= 1
invariant : 1'cell___8_4__A_ + 1'cell___8_4__B_ + 1'pool__8_4_= 1
invariant : 1'cell___9_8__A_ + 1'cell___9_8__B_ + 1'pool__9_8_= 1
invariant : 1'cell___10_3__A_ + 1'cell___10_3__B_ + 1'pool__10_3_= 1
invariant : -1'cell___10_10__A_ + -1'cell___10_10__B_ + -1'cell___10_1__A_ + -1'cell___10_1__B_ + -1'cell___10_2__A_ + -1'cell___10_2__B_ + -1'cell___10_3__A_ + -1'cell___10_3__B_ + -1'cell___10_4__A_ + -1'cell___10_4__B_ + -1'cell___10_5__A_ + -1'cell___10_5__B_ + -1'cell___10_6__A_ + -1'cell___10_6__B_ + -1'cell___10_7__A_ + -1'cell___10_7__B_ + -1'cell___10_8__A_ + -1'cell___10_8__B_ + -1'cell___10_9__A_ + -1'cell___10_9__B_ + -1'cell___1_10__A_ + -1'cell___1_10__B_ + -1'cell___1_1__A_ + -1'cell___1_1__B_ + -1'cell___1_2__A_ + -1'cell___1_2__B_ + -1'cell___1_3__A_ + -1'cell___1_3__B_ + -1'cell___1_4__A_ + -1'cell___1_4__B_ + -1'cell___1_5__A_ + -1'cell___1_5__B_ + -1'cell___1_6__A_ + -1'cell___1_6__B_ + -1'cell___1_7__A_ + -1'cell___1_7__B_ + -1'cell___1_8__A_ + -1'cell___1_8__B_ + -1'cell___1_9__A_ + -1'cell___1_9__B_ + -1'cell___2_10__A_ + -1'cell___2_10__B_ + -1'cell___2_1__A_ + -1'cell___2_1__B_ + -1'cell___2_2__A_ + -1'cell___2_2__B_ + -1'cell___2_3__A_ + -1'cell___2_3__B_ + -1'cell___2_4__A_ + -1'cell___2_4__B_ + -1'cell___2_5__A_ + -1'cell___2_5__B_ + -1'cell___2_6__A_ + -1'cell___2_6__B_ + -1'cell___2_7__A_ + -1'cell___2_7__B_ + -1'cell___2_8__A_ + -1'cell___2_8__B_ + -1'cell___2_9__A_ + -1'cell___2_9__B_ + -1'cell___3_10__A_ + -1'cell___3_10__B_ + -1'cell___3_1__A_ + -1'cell___3_1__B_ + -1'cell___3_2__A_ + -1'cell___3_2__B_ + -1'cell___3_3__A_ + -1'cell___3_3__B_ + -1'cell___3_4__A_ + -1'cell___3_4__B_ + -1'cell___3_5__A_ + -1'cell___3_5__B_ + -1'cell___3_6__A_ + -1'cell___3_6__B_ + -1'cell___3_7__A_ + -1'cell___3_7__B_ + -1'cell___3_8__A_ + -1'cell___3_8__B_ + -1'cell___3_9__A_ + -1'cell___3_9__B_ + -1'cell___4_10__A_ + -1'cell___4_10__B_ + -1'cell___4_1__A_ + -1'cell___4_1__B_ + -1'cell___4_2__A_ + -1'cell___4_2__B_ + -1'cell___4_3__A_ + -1'cell___4_3__B_ + -1'cell___4_4__A_ + -1'cell___4_4__B_ + -1'cell___4_5__A_ + -1'cell___4_5__B_ + -1'cell___4_6__A_ + -1'cell___4_6__B_ + -1'cell___4_7__A_ + -1'cell___4_7__B_ + -1'cell___4_8__A_ + -1'cell___4_8__B_ + -1'cell___4_9__A_ + -1'cell___4_9__B_ + -1'cell___5_10__A_ + -1'cell___5_10__B_ + -1'cell___5_1__A_ + -1'cell___5_1__B_ + -1'cell___5_2__A_ + -1'cell___5_2__B_ + -1'cell___5_3__A_ + -1'cell___5_3__B_ + -1'cell___5_4__A_ + -1'cell___5_4__B_ + -1'cell___5_5__A_ + -1'cell___5_5__B_ + -1'cell___5_6__A_ + -1'cell___5_6__B_ + -1'cell___5_7__A_ + -1'cell___5_7__B_ + -1'cell___5_8__A_ + -1'cell___5_8__B_ + -1'cell___5_9__A_ + -1'cell___5_9__B_ + -1'cell___6_10__A_ + -1'cell___6_10__B_ + -1'cell___6_1__A_ + -1'cell___6_1__B_ + -1'cell___6_2__A_ + -1'cell___6_2__B_ + -1'cell___6_3__A_ + -1'cell___6_3__B_ + -1'cell___6_4__A_ + -1'cell___6_4__B_ + -1'cell___6_5__A_ + -1'cell___6_5__B_ + -1'cell___6_6__A_ + -1'cell___6_6__B_ + -1'cell___6_7__A_ + -1'cell___6_7__B_ + -1'cell___6_8__A_ + -1'cell___6_8__B_ + -1'cell___6_9__A_ + -1'cell___6_9__B_ + -1'cell___7_10__A_ + -1'cell___7_10__B_ + -1'cell___7_1__A_ + -1'cell___7_1__B_ + -1'cell___7_2__A_ + -1'cell___7_2__B_ + -1'cell___7_3__A_ + -1'cell___7_3__B_ + -1'cell___7_4__A_ + -1'cell___7_4__B_ + -1'cell___7_5__A_ + -1'cell___7_5__B_ + -1'cell___7_6__A_ + -1'cell___7_6__B_ + -1'cell___7_7__A_ + -1'cell___7_7__B_ + -1'cell___7_8__A_ + -1'cell___7_8__B_ + -1'cell___7_9__A_ + -1'cell___7_9__B_ + -1'cell___8_10__A_ + -1'cell___8_10__B_ + -1'cell___8_1__A_ + -1'cell___8_1__B_ + -1'cell___8_2__A_ + -1'cell___8_2__B_ + -1'cell___8_3__A_ + -1'cell___8_3__B_ + -1'cell___8_4__A_ + -1'cell___8_4__B_ + -1'cell___8_5__A_ + -1'cell___8_5__B_ + -1'cell___8_6__A_ + -1'cell___8_6__B_ + -1'cell___8_7__A_ + -1'cell___8_7__B_ + -1'cell___8_8__A_ + -1'cell___8_8__B_ + -1'cell___8_9__A_ + -1'cell___8_9__B_ + -1'cell___9_10__A_ + -1'cell___9_10__B_ + -1'cell___9_1__A_ + -1'cell___9_1__B_ + -1'cell___9_2__A_ + -1'cell___9_2__B_ + -1'cell___9_3__A_ + -1'cell___9_3__B_ + -1'cell___9_4__A_ + -1'cell___9_4__B_ + -1'cell___9_5__A_ + -1'cell___9_5__B_ + -1'cell___9_6__A_ + -1'cell___9_6__B_ + -1'cell___9_7__A_ + -1'cell___9_7__B_ + -1'cell___9_8__A_ + -1'cell___9_8__B_ + -1'cell___9_9__A_ + -1'cell___9_9__B_ + 1'size_dot= 0
invariant : 1'cell___10_7__A_ + 1'cell___10_7__B_ + 1'pool__10_7_= 1
invariant : 1'cell___1_6__A_ + 1'cell___1_6__B_ + 1'pool__1_6_= 1
invariant : 1'cell___6_1__A_ + 1'cell___6_1__B_ + 1'pool__6_1_= 1
invariant : 1'cell___2_3__A_ + 1'cell___2_3__B_ + 1'pool__2_3_= 1
invariant : 1'cell___8_10__A_ + 1'cell___8_10__B_ + 1'pool__8_10_= 1
invariant : 1'cell___3_7__A_ + 1'cell___3_7__B_ + 1'pool__3_7_= 1
invariant : 1'cell___4_8__A_ + 1'cell___4_8__B_ + 1'pool__4_8_= 1
invariant : 1'cell___8_2__A_ + 1'cell___8_2__B_ + 1'pool__8_2_= 1
invariant : 1'cell___4_5__A_ + 1'cell___4_5__B_ + 1'pool__4_5_= 1
invariant : 1'cell___2_1__A_ + 1'cell___2_1__B_ + 1'pool__2_1_= 1
invariant : 1'cell___4_3__A_ + 1'cell___4_3__B_ + 1'pool__4_3_= 1
invariant : 1'cell___4_4__A_ + 1'cell___4_4__B_ + 1'pool__4_4_= 1
invariant : 1'cell___8_7__A_ + 1'cell___8_7__B_ + 1'pool__8_7_= 1
invariant : 1'cell___5_7__A_ + 1'cell___5_7__B_ + 1'pool__5_7_= 1
invariant : 1'cell___7_8__A_ + 1'cell___7_8__B_ + 1'pool__7_8_= 1
invariant : 1'cell___1_9__A_ + 1'cell___1_9__B_ + 1'pool__1_9_= 1
invariant : 1'cell___3_1__A_ + 1'cell___3_1__B_ + 1'pool__3_1_= 1
invariant : 1'cell___3_8__A_ + 1'cell___3_8__B_ + 1'pool__3_8_= 1
invariant : 1'cell___6_2__A_ + 1'cell___6_2__B_ + 1'pool__6_2_= 1
invariant : 1'cell___6_9__A_ + 1'cell___6_9__B_ + 1'pool__6_9_= 1
invariant : 1'cell___1_3__A_ + 1'cell___1_3__B_ + 1'pool__1_3_= 1
invariant : 1'cell___10_6__A_ + 1'cell___10_6__B_ + 1'pool__10_6_= 1
invariant : 1'cell___5_3__A_ + 1'cell___5_3__B_ + 1'pool__5_3_= 1
invariant : 1'cell___3_6__A_ + 1'cell___3_6__B_ + 1'pool__3_6_= 1
invariant : 1'cell___7_4__A_ + 1'cell___7_4__B_ + 1'pool__7_4_= 1
invariant : 1'cell___7_1__A_ + 1'cell___7_1__B_ + 1'pool__7_1_= 1
invariant : 1'cell___4_6__A_ + 1'cell___4_6__B_ + 1'pool__4_6_= 1
invariant : 1'cell___7_5__A_ + 1'cell___7_5__B_ + 1'pool__7_5_= 1
invariant : 1'cell___8_8__A_ + 1'cell___8_8__B_ + 1'pool__8_8_= 1
invariant : 1'cell___2_4__A_ + 1'cell___2_4__B_ + 1'pool__2_4_= 1
invariant : 1'cell___5_6__A_ + 1'cell___5_6__B_ + 1'pool__5_6_= 1
invariant : 1'cell___3_10__A_ + 1'cell___3_10__B_ + 1'pool__3_10_= 1
invariant : 1'cell___3_5__A_ + 1'cell___3_5__B_ + 1'pool__3_5_= 1
invariant : 1'cell___1_5__A_ + 1'cell___1_5__B_ + 1'pool__1_5_= 1
invariant : 1'cell___3_9__A_ + 1'cell___3_9__B_ + 1'pool__3_9_= 1
invariant : 1'cell___6_10__A_ + 1'cell___6_10__B_ + 1'pool__6_10_= 1
invariant : 1'cell___2_9__A_ + 1'cell___2_9__B_ + 1'pool__2_9_= 1
invariant : 1'cell___2_6__A_ + 1'cell___2_6__B_ + 1'pool__2_6_= 1
invariant : 1'cell___2_7__A_ + 1'cell___2_7__B_ + 1'pool__2_7_= 1
invariant : 1'cell___5_5__A_ + 1'cell___5_5__B_ + 1'pool__5_5_= 1
invariant : 1'cell___8_5__A_ + 1'cell___8_5__B_ + 1'pool__8_5_= 1
invariant : 1'cell___10_9__A_ + 1'cell___10_9__B_ + 1'pool__10_9_= 1
invariant : 1'cell___4_7__A_ + 1'cell___4_7__B_ + 1'pool__4_7_= 1
invariant : 1'cell___8_1__A_ + 1'cell___8_1__B_ + 1'pool__8_1_= 1
invariant : 1'cell___10_10__A_ + 1'cell___10_10__B_ + 1'pool__10_10_= 1
invariant : 1'cell___9_3__A_ + 1'cell___9_3__B_ + 1'pool__9_3_= 1
invariant : 1'cell___7_7__A_ + 1'cell___7_7__B_ + 1'pool__7_7_= 1
invariant : 1'cell___5_2__A_ + 1'cell___5_2__B_ + 1'pool__5_2_= 1
invariant : 1'cell___1_1__A_ + 1'cell___1_1__B_ + 1'pool__1_1_= 1
invariant : 1'cell___4_9__A_ + 1'cell___4_9__B_ + 1'pool__4_9_= 1
invariant : 1'cell___9_1__A_ + 1'cell___9_1__B_ + 1'pool__9_1_= 1
invariant : 1'cell___9_6__A_ + 1'cell___9_6__B_ + 1'pool__9_6_= 1
invariant : 1'cell___6_3__A_ + 1'cell___6_3__B_ + 1'pool__6_3_= 1
invariant : 1'cell___9_4__A_ + 1'cell___9_4__B_ + 1'pool__9_4_= 1
invariant : 1'cell___3_2__A_ + 1'cell___3_2__B_ + 1'pool__3_2_= 1
invariant : 1'cell___7_10__A_ + 1'cell___7_10__B_ + 1'pool__7_10_= 1
invariant : 1'cell___5_9__A_ + 1'cell___5_9__B_ + 1'pool__5_9_= 1
invariant : 1'cell___6_4__A_ + 1'cell___6_4__B_ + 1'pool__6_4_= 1
invariant : 1'cell___9_7__A_ + 1'cell___9_7__B_ + 1'pool__9_7_= 1
invariant : 1'cell___8_9__A_ + 1'cell___8_9__B_ + 1'pool__8_9_= 1
invariant : 1'cell___1_2__A_ + 1'cell___1_2__B_ + 1'pool__1_2_= 1
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 7:06:22 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 7:06:23 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 757 ms
Jun 01, 2017 7:06:23 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 302 places.
Jun 01, 2017 7:06:24 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3137 transitions.
Jun 01, 2017 7:06:25 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 758 ms
Jun 01, 2017 7:06:25 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 77 ms
Jun 01, 2017 7:06:25 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 1 ms
Jun 01, 2017 7:06:28 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 101 place invariants in 553 ms
Jun 01, 2017 7:06:37 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 302 variables to be positive in 10023 ms
Jun 01, 2017 7:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3137 transitions.
Jun 01, 2017 7:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3137 took 10658 ms. Total solver calls (SAT/UNSAT): 3137(1/3136)
Jun 01, 2017 7:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/3137 took 11816 ms. Total solver calls (SAT/UNSAT): 3400(156/3244)
Jun 01, 2017 7:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/3137 took 12948 ms. Total solver calls (SAT/UNSAT): 3647(311/3336)
Jun 01, 2017 7:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/3137 took 14164 ms. Total solver calls (SAT/UNSAT): 3904(466/3438)
Jun 01, 2017 7:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3137 took 15336 ms. Total solver calls (SAT/UNSAT): 4169(621/3548)
Jun 01, 2017 7:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/3137 took 16524 ms. Total solver calls (SAT/UNSAT): 4426(776/3650)
Jun 01, 2017 7:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/3137 took 17702 ms. Total solver calls (SAT/UNSAT): 4695(931/3764)
Jun 01, 2017 7:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/3137 took 18907 ms. Total solver calls (SAT/UNSAT): 4958(1086/3872)
Jun 01, 2017 7:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3137 took 20097 ms. Total solver calls (SAT/UNSAT): 5215(1241/3974)
Jun 01, 2017 7:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/3137 took 21298 ms. Total solver calls (SAT/UNSAT): 5490(1396/4094)
Jun 01, 2017 7:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/3137 took 22499 ms. Total solver calls (SAT/UNSAT): 5747(1551/4196)
Jun 01, 2017 7:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/3137 took 23711 ms. Total solver calls (SAT/UNSAT): 6010(1706/4304)
Jun 01, 2017 7:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3137 took 24911 ms. Total solver calls (SAT/UNSAT): 6279(1861/4418)
Jun 01, 2017 7:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/3137 took 26125 ms. Total solver calls (SAT/UNSAT): 6536(2016/4520)
Jun 01, 2017 7:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/3137 took 27341 ms. Total solver calls (SAT/UNSAT): 6805(2171/4634)
Jun 01, 2017 7:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/3137 took 28543 ms. Total solver calls (SAT/UNSAT): 7068(2326/4742)
Jun 01, 2017 7:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3137 took 29759 ms. Total solver calls (SAT/UNSAT): 7325(2481/4844)
Jun 01, 2017 7:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/3137 took 30975 ms. Total solver calls (SAT/UNSAT): 7600(2636/4964)
Jun 01, 2017 7:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/3137 took 32181 ms. Total solver calls (SAT/UNSAT): 7857(2791/5066)
Jun 01, 2017 7:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/3137 took 33384 ms. Total solver calls (SAT/UNSAT): 8120(2946/5174)
Jun 01, 2017 7:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3137 took 34624 ms. Total solver calls (SAT/UNSAT): 8389(3101/5288)
Jun 01, 2017 7:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/3137 took 35854 ms. Total solver calls (SAT/UNSAT): 8646(3256/5390)
Jun 01, 2017 7:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/3137 took 37048 ms. Total solver calls (SAT/UNSAT): 8915(3411/5504)
Jun 01, 2017 7:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/3137 took 38234 ms. Total solver calls (SAT/UNSAT): 9172(3566/5606)
Jun 01, 2017 7:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3137 took 39410 ms. Total solver calls (SAT/UNSAT): 9419(3721/5698)
Jun 01, 2017 7:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/3137 took 40655 ms. Total solver calls (SAT/UNSAT): 9682(3876/5806)
Jun 01, 2017 7:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/3137 took 41705 ms. Total solver calls (SAT/UNSAT): 9911(4007/5904)
Jun 01, 2017 7:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/3137 took 42777 ms. Total solver calls (SAT/UNSAT): 10178(4140/6038)
Jun 01, 2017 7:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/3137 took 43859 ms. Total solver calls (SAT/UNSAT): 10447(4273/6174)
Jun 01, 2017 7:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/3137 took 44983 ms. Total solver calls (SAT/UNSAT): 10707(4411/6296)
Jun 01, 2017 7:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/3137 took 45991 ms. Total solver calls (SAT/UNSAT): 10915(4535/6380)
Jun 01, 2017 7:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/3137 took 47002 ms. Total solver calls (SAT/UNSAT): 11129(4659/6470)
Jun 01, 2017 7:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/3137 took 48012 ms. Total solver calls (SAT/UNSAT): 11337(4783/6554)
Jun 01, 2017 7:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/3137 took 49018 ms. Total solver calls (SAT/UNSAT): 11551(4907/6644)
Jun 01, 2017 7:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3137 took 50265 ms. Total solver calls (SAT/UNSAT): 11826(5062/6764)
Jun 01, 2017 7:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3137 took 51512 ms. Total solver calls (SAT/UNSAT): 12101(5217/6884)
Jun 01, 2017 7:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/3137 took 52763 ms. Total solver calls (SAT/UNSAT): 12376(5372/7004)
Jun 01, 2017 7:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/3137 took 53987 ms. Total solver calls (SAT/UNSAT): 12651(5527/7124)
Jun 01, 2017 7:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/3137 took 55208 ms. Total solver calls (SAT/UNSAT): 12926(5682/7244)
Jun 01, 2017 7:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/3137 took 56423 ms. Total solver calls (SAT/UNSAT): 13201(5837/7364)
Jun 01, 2017 7:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/3137 took 57639 ms. Total solver calls (SAT/UNSAT): 13476(5992/7484)
Jun 01, 2017 7:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/3137 took 58856 ms. Total solver calls (SAT/UNSAT): 13751(6147/7604)
Jun 01, 2017 7:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/3137 took 60071 ms. Total solver calls (SAT/UNSAT): 14026(6302/7724)
Jun 01, 2017 7:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/3137 took 61274 ms. Total solver calls (SAT/UNSAT): 14301(6457/7844)
Jun 01, 2017 7:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/3137 took 62474 ms. Total solver calls (SAT/UNSAT): 14576(6612/7964)
Jun 01, 2017 7:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/3137 took 63669 ms. Total solver calls (SAT/UNSAT): 14851(6767/8084)
Jun 01, 2017 7:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/3137 took 64876 ms. Total solver calls (SAT/UNSAT): 15126(6922/8204)
Jun 01, 2017 7:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/3137 took 66087 ms. Total solver calls (SAT/UNSAT): 15401(7077/8324)
Jun 01, 2017 7:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/3137 took 67298 ms. Total solver calls (SAT/UNSAT): 15676(7232/8444)
Jun 01, 2017 7:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/3137 took 68504 ms. Total solver calls (SAT/UNSAT): 15951(7387/8564)
Jun 01, 2017 7:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/3137 took 69699 ms. Total solver calls (SAT/UNSAT): 16226(7542/8684)
Jun 01, 2017 7:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/3137 took 70888 ms. Total solver calls (SAT/UNSAT): 16501(7697/8804)
Jun 01, 2017 7:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/3137 took 72077 ms. Total solver calls (SAT/UNSAT): 16776(7852/8924)
Jun 01, 2017 7:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/3137 took 73271 ms. Total solver calls (SAT/UNSAT): 17039(8007/9032)
Jun 01, 2017 7:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/3137 took 74467 ms. Total solver calls (SAT/UNSAT): 17302(8162/9140)
Jun 01, 2017 7:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/3137 took 75663 ms. Total solver calls (SAT/UNSAT): 17565(8317/9248)
Jun 01, 2017 7:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/3137 took 76713 ms. Total solver calls (SAT/UNSAT): 17848(8450/9398)
Jun 01, 2017 7:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/3137 took 77765 ms. Total solver calls (SAT/UNSAT): 18137(8583/9554)
Jun 01, 2017 7:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/3137 took 78907 ms. Total solver calls (SAT/UNSAT): 18432(8728/9704)
Jun 01, 2017 7:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/3137 took 80116 ms. Total solver calls (SAT/UNSAT): 18695(8883/9812)
Jun 01, 2017 7:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/3137 took 81323 ms. Total solver calls (SAT/UNSAT): 18958(9038/9920)
Jun 01, 2017 7:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/3137 took 82528 ms. Total solver calls (SAT/UNSAT): 19221(9193/10028)
Jun 01, 2017 7:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/3137 took 83735 ms. Total solver calls (SAT/UNSAT): 19496(9348/10148)
Jun 01, 2017 7:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/3137 took 84939 ms. Total solver calls (SAT/UNSAT): 19771(9503/10268)
Jun 01, 2017 7:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/3137 took 86144 ms. Total solver calls (SAT/UNSAT): 20046(9658/10388)
Jun 01, 2017 7:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/3137 took 87355 ms. Total solver calls (SAT/UNSAT): 20321(9813/10508)
Jun 01, 2017 7:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/3137 took 88563 ms. Total solver calls (SAT/UNSAT): 20596(9968/10628)
Jun 01, 2017 7:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/3137 took 89769 ms. Total solver calls (SAT/UNSAT): 20871(10123/10748)
Jun 01, 2017 7:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/3137 took 90967 ms. Total solver calls (SAT/UNSAT): 21146(10278/10868)
Jun 01, 2017 7:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/3137 took 92159 ms. Total solver calls (SAT/UNSAT): 21421(10433/10988)
Jun 01, 2017 7:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/3137 took 93351 ms. Total solver calls (SAT/UNSAT): 21696(10588/11108)
Jun 01, 2017 7:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/3137 took 94547 ms. Total solver calls (SAT/UNSAT): 21971(10743/11228)
Jun 01, 2017 7:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/3137 took 95753 ms. Total solver calls (SAT/UNSAT): 22246(10898/11348)
Jun 01, 2017 7:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/3137 took 96959 ms. Total solver calls (SAT/UNSAT): 22521(11053/11468)
Jun 01, 2017 7:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/3137 took 97969 ms. Total solver calls (SAT/UNSAT): 22741(11177/11564)
Jun 01, 2017 7:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/3137 took 99214 ms. Total solver calls (SAT/UNSAT): 23016(11332/11684)
Jun 01, 2017 7:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/3137 took 100454 ms. Total solver calls (SAT/UNSAT): 23291(11487/11804)
Jun 01, 2017 7:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/3137 took 101688 ms. Total solver calls (SAT/UNSAT): 23566(11642/11924)
Jun 01, 2017 7:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/3137 took 102934 ms. Total solver calls (SAT/UNSAT): 23841(11797/12044)
Jun 01, 2017 7:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/3137 took 103939 ms. Total solver calls (SAT/UNSAT): 24061(11921/12140)
Jun 01, 2017 7:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3137 took 104946 ms. Total solver calls (SAT/UNSAT): 24281(12045/12236)
Jun 01, 2017 7:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/3137 took 105956 ms. Total solver calls (SAT/UNSAT): 24501(12169/12332)
Jun 01, 2017 7:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3137 took 106966 ms. Total solver calls (SAT/UNSAT): 24715(12293/12422)
Jun 01, 2017 7:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/3137 took 107975 ms. Total solver calls (SAT/UNSAT): 24923(12417/12506)
Jun 01, 2017 7:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3137 took 108986 ms. Total solver calls (SAT/UNSAT): 25137(12541/12596)
Jun 01, 2017 7:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/3137 took 110001 ms. Total solver calls (SAT/UNSAT): 25345(12665/12680)
Jun 01, 2017 7:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/3137 took 111107 ms. Total solver calls (SAT/UNSAT): 25628(12798/12830)
Jun 01, 2017 7:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/3137 took 112212 ms. Total solver calls (SAT/UNSAT): 25917(12931/12986)
Jun 01, 2017 7:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/3137 took 113393 ms. Total solver calls (SAT/UNSAT): 26212(13076/13136)
Jun 01, 2017 7:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/3137 took 114632 ms. Total solver calls (SAT/UNSAT): 26475(13231/13244)
Jun 01, 2017 7:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/3137 took 115867 ms. Total solver calls (SAT/UNSAT): 26738(13386/13352)
Jun 01, 2017 7:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/3137 took 117083 ms. Total solver calls (SAT/UNSAT): 27001(13541/13460)
Jun 01, 2017 7:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/3137 took 118284 ms. Total solver calls (SAT/UNSAT): 27276(13696/13580)
Jun 01, 2017 7:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/3137 took 119483 ms. Total solver calls (SAT/UNSAT): 27551(13851/13700)
Jun 01, 2017 7:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/3137 took 120684 ms. Total solver calls (SAT/UNSAT): 27826(14006/13820)
Jun 01, 2017 7:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/3137 took 121897 ms. Total solver calls (SAT/UNSAT): 28101(14161/13940)
Jun 01, 2017 7:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/3137 took 123111 ms. Total solver calls (SAT/UNSAT): 28376(14316/14060)
Jun 01, 2017 7:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/3137 took 124326 ms. Total solver calls (SAT/UNSAT): 28651(14471/14180)
Jun 01, 2017 7:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/3137 took 125543 ms. Total solver calls (SAT/UNSAT): 28926(14626/14300)
Jun 01, 2017 7:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/3137 took 126760 ms. Total solver calls (SAT/UNSAT): 29201(14781/14420)
Jun 01, 2017 7:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/3137 took 127976 ms. Total solver calls (SAT/UNSAT): 29476(14936/14540)
Jun 01, 2017 7:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/3137 took 129188 ms. Total solver calls (SAT/UNSAT): 29751(15091/14660)
Jun 01, 2017 7:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/3137 took 130389 ms. Total solver calls (SAT/UNSAT): 30026(15246/14780)
Jun 01, 2017 7:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/3137 took 131591 ms. Total solver calls (SAT/UNSAT): 30301(15401/14900)
Jun 01, 2017 7:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/3137 took 132795 ms. Total solver calls (SAT/UNSAT): 30576(15556/15020)
Jun 01, 2017 7:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/3137 took 133997 ms. Total solver calls (SAT/UNSAT): 30851(15711/15140)
Jun 01, 2017 7:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/3137 took 135200 ms. Total solver calls (SAT/UNSAT): 31126(15866/15260)
Jun 01, 2017 7:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/3137 took 136406 ms. Total solver calls (SAT/UNSAT): 31401(16021/15380)
Jun 01, 2017 7:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/3137 took 137612 ms. Total solver calls (SAT/UNSAT): 31676(16176/15500)
Jun 01, 2017 7:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/3137 took 138815 ms. Total solver calls (SAT/UNSAT): 31951(16331/15620)
Jun 01, 2017 7:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/3137 took 140019 ms. Total solver calls (SAT/UNSAT): 32226(16486/15740)
Jun 01, 2017 7:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/3137 took 141232 ms. Total solver calls (SAT/UNSAT): 32495(16641/15854)
Jun 01, 2017 7:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/3137 took 142448 ms. Total solver calls (SAT/UNSAT): 32758(16796/15962)
Jun 01, 2017 7:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/3137 took 143662 ms. Total solver calls (SAT/UNSAT): 33021(16951/16070)
Jun 01, 2017 7:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/3137 took 144733 ms. Total solver calls (SAT/UNSAT): 33291(17089/16202)
Jun 01, 2017 7:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/3137 took 145768 ms. Total solver calls (SAT/UNSAT): 33574(17222/16352)
Jun 01, 2017 7:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/3137 took 146805 ms. Total solver calls (SAT/UNSAT): 33857(17355/16502)
Jun 01, 2017 7:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/3137 took 147812 ms. Total solver calls (SAT/UNSAT): 34096(17486/16610)
Jun 01, 2017 7:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/3137 took 149006 ms. Total solver calls (SAT/UNSAT): 34359(17641/16718)
Jun 01, 2017 7:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/3137 took 150191 ms. Total solver calls (SAT/UNSAT): 34622(17796/16826)
Jun 01, 2017 7:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/3137 took 151401 ms. Total solver calls (SAT/UNSAT): 34891(17951/16940)
Jun 01, 2017 7:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/3137 took 152620 ms. Total solver calls (SAT/UNSAT): 35166(18106/17060)
Jun 01, 2017 7:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/3137 took 153841 ms. Total solver calls (SAT/UNSAT): 35441(18261/17180)
Jun 01, 2017 7:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/3137 took 155062 ms. Total solver calls (SAT/UNSAT): 35716(18416/17300)
Jun 01, 2017 7:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/3137 took 156286 ms. Total solver calls (SAT/UNSAT): 35991(18571/17420)
Jun 01, 2017 7:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/3137 took 157525 ms. Total solver calls (SAT/UNSAT): 36266(18726/17540)
Jun 01, 2017 7:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/3137 took 158759 ms. Total solver calls (SAT/UNSAT): 36541(18881/17660)
Jun 01, 2017 7:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/3137 took 159988 ms. Total solver calls (SAT/UNSAT): 36816(19036/17780)
Jun 01, 2017 7:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/3137 took 161217 ms. Total solver calls (SAT/UNSAT): 37091(19191/17900)
Jun 01, 2017 7:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/3137 took 162447 ms. Total solver calls (SAT/UNSAT): 37366(19346/18020)
Jun 01, 2017 7:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/3137 took 163682 ms. Total solver calls (SAT/UNSAT): 37641(19501/18140)
Jun 01, 2017 7:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/3137 took 164918 ms. Total solver calls (SAT/UNSAT): 37916(19656/18260)
Jun 01, 2017 7:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/3137 took 166150 ms. Total solver calls (SAT/UNSAT): 38191(19811/18380)
Jun 01, 2017 7:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/3137 took 167380 ms. Total solver calls (SAT/UNSAT): 38466(19966/18500)
Jun 01, 2017 7:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/3137 took 168605 ms. Total solver calls (SAT/UNSAT): 38741(20121/18620)
Jun 01, 2017 7:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/3137 took 169829 ms. Total solver calls (SAT/UNSAT): 39016(20276/18740)
Jun 01, 2017 7:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/3137 took 171051 ms. Total solver calls (SAT/UNSAT): 39291(20431/18860)
Jun 01, 2017 7:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/3137 took 172268 ms. Total solver calls (SAT/UNSAT): 39566(20586/18980)
Jun 01, 2017 7:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/3137 took 173476 ms. Total solver calls (SAT/UNSAT): 39841(20741/19100)
Jun 01, 2017 7:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/3137 took 174681 ms. Total solver calls (SAT/UNSAT): 40116(20896/19220)
Jun 01, 2017 7:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/3137 took 175883 ms. Total solver calls (SAT/UNSAT): 40379(21051/19328)
Jun 01, 2017 7:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/3137 took 177088 ms. Total solver calls (SAT/UNSAT): 40642(21206/19436)
Jun 01, 2017 7:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/3137 took 178292 ms. Total solver calls (SAT/UNSAT): 40905(21361/19544)
Jun 01, 2017 7:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :727/3137 took 179358 ms. Total solver calls (SAT/UNSAT): 41188(21494/19694)
Jun 01, 2017 7:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/3137 took 180429 ms. Total solver calls (SAT/UNSAT): 41477(21627/19850)
Jun 01, 2017 7:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/3137 took 181592 ms. Total solver calls (SAT/UNSAT): 41772(21772/20000)
Jun 01, 2017 7:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/3137 took 182827 ms. Total solver calls (SAT/UNSAT): 42035(21927/20108)
Jun 01, 2017 7:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/3137 took 184056 ms. Total solver calls (SAT/UNSAT): 42298(22082/20216)
Jun 01, 2017 7:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/3137 took 185285 ms. Total solver calls (SAT/UNSAT): 42561(22237/20324)
Jun 01, 2017 7:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/3137 took 186515 ms. Total solver calls (SAT/UNSAT): 42836(22392/20444)
Jun 01, 2017 7:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/3137 took 187748 ms. Total solver calls (SAT/UNSAT): 43111(22547/20564)
Jun 01, 2017 7:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/3137 took 188978 ms. Total solver calls (SAT/UNSAT): 43386(22702/20684)
Jun 01, 2017 7:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/3137 took 190211 ms. Total solver calls (SAT/UNSAT): 43661(22857/20804)
Jun 01, 2017 7:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/3137 took 191442 ms. Total solver calls (SAT/UNSAT): 43936(23012/20924)
Jun 01, 2017 7:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/3137 took 192669 ms. Total solver calls (SAT/UNSAT): 44211(23167/21044)
Jun 01, 2017 7:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/3137 took 193887 ms. Total solver calls (SAT/UNSAT): 44486(23322/21164)
Jun 01, 2017 7:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/3137 took 195103 ms. Total solver calls (SAT/UNSAT): 44761(23477/21284)
Jun 01, 2017 7:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/3137 took 196314 ms. Total solver calls (SAT/UNSAT): 45036(23632/21404)
Jun 01, 2017 7:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/3137 took 197530 ms. Total solver calls (SAT/UNSAT): 45311(23787/21524)
Jun 01, 2017 7:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/3137 took 198753 ms. Total solver calls (SAT/UNSAT): 45586(23942/21644)
Jun 01, 2017 7:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/3137 took 199975 ms. Total solver calls (SAT/UNSAT): 45861(24097/21764)
Jun 01, 2017 7:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/3137 took 201194 ms. Total solver calls (SAT/UNSAT): 46136(24252/21884)
Jun 01, 2017 7:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/3137 took 202402 ms. Total solver calls (SAT/UNSAT): 46411(24407/22004)
Jun 01, 2017 7:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/3137 took 203610 ms. Total solver calls (SAT/UNSAT): 46686(24562/22124)
Jun 01, 2017 7:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3137 took 204815 ms. Total solver calls (SAT/UNSAT): 46961(24717/22244)
Jun 01, 2017 7:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/3137 took 206023 ms. Total solver calls (SAT/UNSAT): 47236(24872/22364)
Jun 01, 2017 7:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/3137 took 207231 ms. Total solver calls (SAT/UNSAT): 47511(25027/22484)
Jun 01, 2017 7:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/3137 took 208439 ms. Total solver calls (SAT/UNSAT): 47786(25182/22604)
Jun 01, 2017 7:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3137 took 209657 ms. Total solver calls (SAT/UNSAT): 48055(25337/22718)
Jun 01, 2017 7:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/3137 took 210873 ms. Total solver calls (SAT/UNSAT): 48318(25492/22826)
Jun 01, 2017 7:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/3137 took 212089 ms. Total solver calls (SAT/UNSAT): 48581(25647/22934)
Jun 01, 2017 7:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/3137 took 213174 ms. Total solver calls (SAT/UNSAT): 48851(25785/23066)
Jun 01, 2017 7:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/3137 took 214226 ms. Total solver calls (SAT/UNSAT): 49134(25918/23216)
Jun 01, 2017 7:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :886/3137 took 215283 ms. Total solver calls (SAT/UNSAT): 49417(26051/23366)
Jun 01, 2017 7:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/3137 took 216310 ms. Total solver calls (SAT/UNSAT): 49656(26182/23474)
Jun 01, 2017 7:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/3137 took 217519 ms. Total solver calls (SAT/UNSAT): 49919(26337/23582)
Jun 01, 2017 7:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :901/3137 took 218725 ms. Total solver calls (SAT/UNSAT): 50182(26492/23690)
Jun 01, 2017 7:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/3137 took 219932 ms. Total solver calls (SAT/UNSAT): 50451(26647/23804)
Jun 01, 2017 7:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/3137 took 221146 ms. Total solver calls (SAT/UNSAT): 50726(26802/23924)
Jun 01, 2017 7:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/3137 took 222361 ms. Total solver calls (SAT/UNSAT): 51001(26957/24044)
Jun 01, 2017 7:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :921/3137 took 223579 ms. Total solver calls (SAT/UNSAT): 51276(27112/24164)
Jun 01, 2017 7:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/3137 took 224782 ms. Total solver calls (SAT/UNSAT): 51551(27267/24284)
Jun 01, 2017 7:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/3137 took 225983 ms. Total solver calls (SAT/UNSAT): 51826(27422/24404)
Jun 01, 2017 7:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3137 took 227185 ms. Total solver calls (SAT/UNSAT): 52101(27577/24524)
Jun 01, 2017 7:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :941/3137 took 228400 ms. Total solver calls (SAT/UNSAT): 52376(27732/24644)
Jun 01, 2017 7:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :946/3137 took 229616 ms. Total solver calls (SAT/UNSAT): 52651(27887/24764)
Jun 01, 2017 7:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/3137 took 230830 ms. Total solver calls (SAT/UNSAT): 52926(28042/24884)
Jun 01, 2017 7:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3137 took 232044 ms. Total solver calls (SAT/UNSAT): 53201(28197/25004)
Jun 01, 2017 7:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :961/3137 took 233259 ms. Total solver calls (SAT/UNSAT): 53476(28352/25124)
Jun 01, 2017 7:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/3137 took 234472 ms. Total solver calls (SAT/UNSAT): 53751(28507/25244)
Jun 01, 2017 7:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/3137 took 235685 ms. Total solver calls (SAT/UNSAT): 54026(28662/25364)
Jun 01, 2017 7:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3137 took 236898 ms. Total solver calls (SAT/UNSAT): 54301(28817/25484)
Jun 01, 2017 7:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/3137 took 238108 ms. Total solver calls (SAT/UNSAT): 54576(28972/25604)
Jun 01, 2017 7:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/3137 took 239317 ms. Total solver calls (SAT/UNSAT): 54851(29127/25724)
Jun 01, 2017 7:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :991/3137 took 240523 ms. Total solver calls (SAT/UNSAT): 55126(29282/25844)
Jun 01, 2017 7:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3137 took 241734 ms. Total solver calls (SAT/UNSAT): 55401(29437/25964)
Jun 01, 2017 7:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1001/3137 took 242940 ms. Total solver calls (SAT/UNSAT): 55676(29592/26084)
Jun 01, 2017 7:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/3137 took 244141 ms. Total solver calls (SAT/UNSAT): 55939(29747/26192)
Jun 01, 2017 7:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1011/3137 took 245341 ms. Total solver calls (SAT/UNSAT): 56202(29902/26300)
Jun 01, 2017 7:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3137 took 246540 ms. Total solver calls (SAT/UNSAT): 56465(30057/26408)
Jun 01, 2017 7:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1023/3137 took 247586 ms. Total solver calls (SAT/UNSAT): 56748(30190/26558)
Jun 01, 2017 7:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/3137 took 248635 ms. Total solver calls (SAT/UNSAT): 57037(30323/26714)
Jun 01, 2017 7:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1037/3137 took 249776 ms. Total solver calls (SAT/UNSAT): 57332(30468/26864)
Jun 01, 2017 7:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/3137 took 250973 ms. Total solver calls (SAT/UNSAT): 57589(30623/26966)
Jun 01, 2017 7:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/3137 took 252171 ms. Total solver calls (SAT/UNSAT): 57842(30778/27064)
Jun 01, 2017 7:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3137 took 253367 ms. Total solver calls (SAT/UNSAT): 58089(30933/27156)
Jun 01, 2017 7:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1057/3137 took 254576 ms. Total solver calls (SAT/UNSAT): 58364(31088/27276)
Jun 01, 2017 7:10:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/3137 took 255780 ms. Total solver calls (SAT/UNSAT): 58621(31243/27378)
Jun 01, 2017 7:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1067/3137 took 256986 ms. Total solver calls (SAT/UNSAT): 58884(31398/27486)
Jun 01, 2017 7:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3137 took 258181 ms. Total solver calls (SAT/UNSAT): 59153(31553/27600)
Jun 01, 2017 7:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1077/3137 took 259371 ms. Total solver calls (SAT/UNSAT): 59410(31708/27702)
Jun 01, 2017 7:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3137 took 260569 ms. Total solver calls (SAT/UNSAT): 59679(31863/27816)
Jun 01, 2017 7:10:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/3137 took 261766 ms. Total solver calls (SAT/UNSAT): 59942(32018/27924)
Jun 01, 2017 7:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3137 took 262960 ms. Total solver calls (SAT/UNSAT): 60199(32173/28026)
Jun 01, 2017 7:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1097/3137 took 264156 ms. Total solver calls (SAT/UNSAT): 60474(32328/28146)
Jun 01, 2017 7:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/3137 took 265353 ms. Total solver calls (SAT/UNSAT): 60731(32483/28248)
Jun 01, 2017 7:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/3137 took 266568 ms. Total solver calls (SAT/UNSAT): 60994(32638/28356)
Jun 01, 2017 7:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3137 took 267788 ms. Total solver calls (SAT/UNSAT): 61263(32793/28470)
Jun 01, 2017 7:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1117/3137 took 269000 ms. Total solver calls (SAT/UNSAT): 61520(32948/28572)
Jun 01, 2017 7:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/3137 took 270213 ms. Total solver calls (SAT/UNSAT): 61789(33103/28686)
Jun 01, 2017 7:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/3137 took 271421 ms. Total solver calls (SAT/UNSAT): 62052(33258/28794)
Jun 01, 2017 7:11:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3137 took 272628 ms. Total solver calls (SAT/UNSAT): 62309(33413/28896)
Jun 01, 2017 7:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1137/3137 took 273842 ms. Total solver calls (SAT/UNSAT): 62584(33568/29016)
Jun 01, 2017 7:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/3137 took 275048 ms. Total solver calls (SAT/UNSAT): 62841(33723/29118)
Jun 01, 2017 7:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/3137 took 276256 ms. Total solver calls (SAT/UNSAT): 63104(33878/29226)
Jun 01, 2017 7:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/3137 took 277471 ms. Total solver calls (SAT/UNSAT): 63367(34033/29334)
Jun 01, 2017 7:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1157/3137 took 278683 ms. Total solver calls (SAT/UNSAT): 63614(34188/29426)
Jun 01, 2017 7:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1162/3137 took 279897 ms. Total solver calls (SAT/UNSAT): 63871(34343/29528)
Jun 01, 2017 7:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1168/3137 took 280986 ms. Total solver calls (SAT/UNSAT): 64125(34481/29644)
Jun 01, 2017 7:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1175/3137 took 282044 ms. Total solver calls (SAT/UNSAT): 64394(34614/29780)
Jun 01, 2017 7:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1182/3137 took 283103 ms. Total solver calls (SAT/UNSAT): 64667(34747/29920)
Jun 01, 2017 7:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1189/3137 took 284154 ms. Total solver calls (SAT/UNSAT): 64930(34880/30050)
Jun 01, 2017 7:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1196/3137 took 285211 ms. Total solver calls (SAT/UNSAT): 65209(35013/30196)
Jun 01, 2017 7:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/3137 took 286273 ms. Total solver calls (SAT/UNSAT): 65492(35146/30346)
Jun 01, 2017 7:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1210/3137 took 287336 ms. Total solver calls (SAT/UNSAT): 65775(35279/30496)
Jun 01, 2017 7:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1217/3137 took 288398 ms. Total solver calls (SAT/UNSAT): 66064(35412/30652)
Jun 01, 2017 7:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/3137 took 289454 ms. Total solver calls (SAT/UNSAT): 66341(35545/30796)
Jun 01, 2017 7:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/3137 took 290518 ms. Total solver calls (SAT/UNSAT): 66630(35678/30952)
Jun 01, 2017 7:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1238/3137 took 291582 ms. Total solver calls (SAT/UNSAT): 66913(35811/31102)
Jun 01, 2017 7:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/3137 took 292646 ms. Total solver calls (SAT/UNSAT): 67196(35944/31252)
Jun 01, 2017 7:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3137 took 293705 ms. Total solver calls (SAT/UNSAT): 67485(36077/31408)
Jun 01, 2017 7:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1259/3137 took 294760 ms. Total solver calls (SAT/UNSAT): 67752(36210/31542)
Jun 01, 2017 7:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/3137 took 295791 ms. Total solver calls (SAT/UNSAT): 68038(36338/31700)
Jun 01, 2017 7:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1278/3137 took 296914 ms. Total solver calls (SAT/UNSAT): 68403(36475/31928)
Jun 01, 2017 7:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1285/3137 took 297970 ms. Total solver calls (SAT/UNSAT): 68670(36608/32062)
Jun 01, 2017 7:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1292/3137 took 299038 ms. Total solver calls (SAT/UNSAT): 68949(36741/32208)
Jun 01, 2017 7:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1299/3137 took 300109 ms. Total solver calls (SAT/UNSAT): 69238(36874/32364)
Jun 01, 2017 7:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1306/3137 took 301174 ms. Total solver calls (SAT/UNSAT): 69515(37007/32508)
Jun 01, 2017 7:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1313/3137 took 302247 ms. Total solver calls (SAT/UNSAT): 69804(37140/32664)
Jun 01, 2017 7:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1320/3137 took 303318 ms. Total solver calls (SAT/UNSAT): 70087(37273/32814)
Jun 01, 2017 7:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1327/3137 took 304387 ms. Total solver calls (SAT/UNSAT): 70370(37406/32964)
Jun 01, 2017 7:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1334/3137 took 305454 ms. Total solver calls (SAT/UNSAT): 70659(37539/33120)
Jun 01, 2017 7:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1341/3137 took 306521 ms. Total solver calls (SAT/UNSAT): 70936(37672/33264)
Jun 01, 2017 7:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1348/3137 took 307593 ms. Total solver calls (SAT/UNSAT): 71225(37805/33420)
Jun 01, 2017 7:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1355/3137 took 308648 ms. Total solver calls (SAT/UNSAT): 71492(37938/33554)
Jun 01, 2017 7:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1366/3137 took 309696 ms. Total solver calls (SAT/UNSAT): 71839(38067/33772)
Jun 01, 2017 7:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/3137 took 310859 ms. Total solver calls (SAT/UNSAT): 72111(38213/33898)
Jun 01, 2017 7:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3137 took 312084 ms. Total solver calls (SAT/UNSAT): 72358(38368/33990)
Jun 01, 2017 7:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1382/3137 took 313312 ms. Total solver calls (SAT/UNSAT): 72615(38523/34092)
Jun 01, 2017 7:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1387/3137 took 314534 ms. Total solver calls (SAT/UNSAT): 72874(38678/34196)
Jun 01, 2017 7:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1392/3137 took 315750 ms. Total solver calls (SAT/UNSAT): 73131(38833/34298)
Jun 01, 2017 7:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/3137 took 316972 ms. Total solver calls (SAT/UNSAT): 73406(38988/34418)
Jun 01, 2017 7:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1402/3137 took 318187 ms. Total solver calls (SAT/UNSAT): 73663(39143/34520)
Jun 01, 2017 7:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1407/3137 took 319404 ms. Total solver calls (SAT/UNSAT): 73926(39298/34628)
Jun 01, 2017 7:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1412/3137 took 320623 ms. Total solver calls (SAT/UNSAT): 74195(39453/34742)
Jun 01, 2017 7:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/3137 took 321839 ms. Total solver calls (SAT/UNSAT): 74452(39608/34844)
Jun 01, 2017 7:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1422/3137 took 323064 ms. Total solver calls (SAT/UNSAT): 74721(39763/34958)
Jun 01, 2017 7:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1427/3137 took 324287 ms. Total solver calls (SAT/UNSAT): 74984(39918/35066)
Jun 01, 2017 7:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/3137 took 325508 ms. Total solver calls (SAT/UNSAT): 75241(40073/35168)
Jun 01, 2017 7:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1437/3137 took 326743 ms. Total solver calls (SAT/UNSAT): 75516(40228/35288)
Jun 01, 2017 7:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1442/3137 took 327973 ms. Total solver calls (SAT/UNSAT): 75773(40383/35390)
Jun 01, 2017 7:12:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1447/3137 took 329205 ms. Total solver calls (SAT/UNSAT): 76036(40538/35498)
Jun 01, 2017 7:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1452/3137 took 330438 ms. Total solver calls (SAT/UNSAT): 76305(40693/35612)
Jun 01, 2017 7:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/3137 took 331663 ms. Total solver calls (SAT/UNSAT): 76562(40848/35714)
Jun 01, 2017 7:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1462/3137 took 332882 ms. Total solver calls (SAT/UNSAT): 76831(41003/35828)
Jun 01, 2017 7:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1467/3137 took 334097 ms. Total solver calls (SAT/UNSAT): 77094(41158/35936)
Jun 01, 2017 7:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1472/3137 took 335306 ms. Total solver calls (SAT/UNSAT): 77351(41313/36038)
Jun 01, 2017 7:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/3137 took 336520 ms. Total solver calls (SAT/UNSAT): 77626(41468/36158)
Jun 01, 2017 7:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1482/3137 took 337725 ms. Total solver calls (SAT/UNSAT): 77877(41623/36254)
Jun 01, 2017 7:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1487/3137 took 338927 ms. Total solver calls (SAT/UNSAT): 78134(41778/36356)
Jun 01, 2017 7:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/3137 took 340131 ms. Total solver calls (SAT/UNSAT): 78393(41933/36460)
Jun 01, 2017 7:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/3137 took 341240 ms. Total solver calls (SAT/UNSAT): 78628(42076/36552)
Jun 01, 2017 7:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1504/3137 took 342288 ms. Total solver calls (SAT/UNSAT): 78901(42209/36692)
Jun 01, 2017 7:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1511/3137 took 343332 ms. Total solver calls (SAT/UNSAT): 79164(42342/36822)
Jun 01, 2017 7:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3137 took 344340 ms. Total solver calls (SAT/UNSAT): 79412(42468/36944)
Jun 01, 2017 7:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1522/3137 took 345562 ms. Total solver calls (SAT/UNSAT): 79675(42623/37052)
Jun 01, 2017 7:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1527/3137 took 346795 ms. Total solver calls (SAT/UNSAT): 79938(42778/37160)
Jun 01, 2017 7:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1532/3137 took 348027 ms. Total solver calls (SAT/UNSAT): 80201(42933/37268)
Jun 01, 2017 7:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1537/3137 took 349256 ms. Total solver calls (SAT/UNSAT): 80476(43088/37388)
Jun 01, 2017 7:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1542/3137 took 350483 ms. Total solver calls (SAT/UNSAT): 80751(43243/37508)
Jun 01, 2017 7:12:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1547/3137 took 351712 ms. Total solver calls (SAT/UNSAT): 81026(43398/37628)
Jun 01, 2017 7:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1552/3137 took 352946 ms. Total solver calls (SAT/UNSAT): 81301(43553/37748)
Jun 01, 2017 7:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1557/3137 took 354182 ms. Total solver calls (SAT/UNSAT): 81576(43708/37868)
Jun 01, 2017 7:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1562/3137 took 355417 ms. Total solver calls (SAT/UNSAT): 81851(43863/37988)
Jun 01, 2017 7:12:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1567/3137 took 356653 ms. Total solver calls (SAT/UNSAT): 82126(44018/38108)
Jun 01, 2017 7:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1572/3137 took 357887 ms. Total solver calls (SAT/UNSAT): 82401(44173/38228)
Jun 01, 2017 7:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1577/3137 took 359120 ms. Total solver calls (SAT/UNSAT): 82676(44328/38348)
Jun 01, 2017 7:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1582/3137 took 360348 ms. Total solver calls (SAT/UNSAT): 82951(44483/38468)
Jun 01, 2017 7:12:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1587/3137 took 361566 ms. Total solver calls (SAT/UNSAT): 83226(44638/38588)
Jun 01, 2017 7:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1592/3137 took 362774 ms. Total solver calls (SAT/UNSAT): 83501(44793/38708)
Jun 01, 2017 7:12:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1597/3137 took 363984 ms. Total solver calls (SAT/UNSAT): 83776(44948/38828)
Jun 01, 2017 7:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1602/3137 took 365205 ms. Total solver calls (SAT/UNSAT): 84051(45103/38948)
Jun 01, 2017 7:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1607/3137 took 366425 ms. Total solver calls (SAT/UNSAT): 84326(45258/39068)
Jun 01, 2017 7:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/3137 took 367646 ms. Total solver calls (SAT/UNSAT): 84601(45413/39188)
Jun 01, 2017 7:12:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1617/3137 took 368853 ms. Total solver calls (SAT/UNSAT): 84876(45568/39308)
Jun 01, 2017 7:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1622/3137 took 370060 ms. Total solver calls (SAT/UNSAT): 85151(45723/39428)
Jun 01, 2017 7:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1627/3137 took 371274 ms. Total solver calls (SAT/UNSAT): 85426(45878/39548)
Jun 01, 2017 7:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1632/3137 took 372486 ms. Total solver calls (SAT/UNSAT): 85695(46033/39662)
Jun 01, 2017 7:12:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1637/3137 took 373696 ms. Total solver calls (SAT/UNSAT): 85958(46188/39770)
Jun 01, 2017 7:12:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1642/3137 took 374906 ms. Total solver calls (SAT/UNSAT): 86221(46343/39878)
Jun 01, 2017 7:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1648/3137 took 376005 ms. Total solver calls (SAT/UNSAT): 86491(46481/40010)
Jun 01, 2017 7:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1655/3137 took 377079 ms. Total solver calls (SAT/UNSAT): 86774(46614/40160)
Jun 01, 2017 7:12:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1662/3137 took 378151 ms. Total solver calls (SAT/UNSAT): 87057(46747/40310)
Jun 01, 2017 7:12:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1667/3137 took 379196 ms. Total solver calls (SAT/UNSAT): 87296(46878/40418)
Jun 01, 2017 7:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3137 took 380426 ms. Total solver calls (SAT/UNSAT): 87559(47033/40526)
Jun 01, 2017 7:12:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1677/3137 took 381658 ms. Total solver calls (SAT/UNSAT): 87822(47188/40634)
Jun 01, 2017 7:13:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1682/3137 took 382880 ms. Total solver calls (SAT/UNSAT): 88091(47343/40748)
Jun 01, 2017 7:13:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1687/3137 took 384107 ms. Total solver calls (SAT/UNSAT): 88366(47498/40868)
Jun 01, 2017 7:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1692/3137 took 385333 ms. Total solver calls (SAT/UNSAT): 88641(47653/40988)
Jun 01, 2017 7:13:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1697/3137 took 386559 ms. Total solver calls (SAT/UNSAT): 88916(47808/41108)
Jun 01, 2017 7:13:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1702/3137 took 387783 ms. Total solver calls (SAT/UNSAT): 89191(47963/41228)
Jun 01, 2017 7:13:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1707/3137 took 389006 ms. Total solver calls (SAT/UNSAT): 89466(48118/41348)
Jun 01, 2017 7:13:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1712/3137 took 390230 ms. Total solver calls (SAT/UNSAT): 89741(48273/41468)
Jun 01, 2017 7:13:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1717/3137 took 391441 ms. Total solver calls (SAT/UNSAT): 90016(48428/41588)
Jun 01, 2017 7:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1722/3137 took 392652 ms. Total solver calls (SAT/UNSAT): 90291(48583/41708)
Jun 01, 2017 7:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1727/3137 took 393869 ms. Total solver calls (SAT/UNSAT): 90566(48738/41828)
Jun 01, 2017 7:13:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1732/3137 took 395095 ms. Total solver calls (SAT/UNSAT): 90841(48893/41948)
Jun 01, 2017 7:13:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1737/3137 took 396324 ms. Total solver calls (SAT/UNSAT): 91116(49048/42068)
Jun 01, 2017 7:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1742/3137 took 397551 ms. Total solver calls (SAT/UNSAT): 91391(49203/42188)
Jun 01, 2017 7:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1747/3137 took 398769 ms. Total solver calls (SAT/UNSAT): 91666(49358/42308)
Jun 01, 2017 7:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1752/3137 took 399981 ms. Total solver calls (SAT/UNSAT): 91941(49513/42428)
Jun 01, 2017 7:13:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1757/3137 took 401198 ms. Total solver calls (SAT/UNSAT): 92216(49668/42548)
Jun 01, 2017 7:13:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1762/3137 took 402418 ms. Total solver calls (SAT/UNSAT): 92491(49823/42668)
Jun 01, 2017 7:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1767/3137 took 403646 ms. Total solver calls (SAT/UNSAT): 92766(49978/42788)
Jun 01, 2017 7:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1772/3137 took 404871 ms. Total solver calls (SAT/UNSAT): 93041(50133/42908)
Jun 01, 2017 7:13:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1777/3137 took 406099 ms. Total solver calls (SAT/UNSAT): 93316(50288/43028)
Jun 01, 2017 7:13:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1782/3137 took 407328 ms. Total solver calls (SAT/UNSAT): 93579(50443/43136)
Jun 01, 2017 7:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1787/3137 took 408558 ms. Total solver calls (SAT/UNSAT): 93842(50598/43244)
Jun 01, 2017 7:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1792/3137 took 409787 ms. Total solver calls (SAT/UNSAT): 94105(50753/43352)
Jun 01, 2017 7:13:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1799/3137 took 410860 ms. Total solver calls (SAT/UNSAT): 94388(50886/43502)
Jun 01, 2017 7:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1806/3137 took 411932 ms. Total solver calls (SAT/UNSAT): 94677(51019/43658)
Jun 01, 2017 7:13:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1813/3137 took 413074 ms. Total solver calls (SAT/UNSAT): 94972(51164/43808)
Jun 01, 2017 7:13:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1818/3137 took 414274 ms. Total solver calls (SAT/UNSAT): 95235(51319/43916)
Jun 01, 2017 7:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1823/3137 took 415473 ms. Total solver calls (SAT/UNSAT): 95498(51474/44024)
Jun 01, 2017 7:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1828/3137 took 416670 ms. Total solver calls (SAT/UNSAT): 95761(51629/44132)
Jun 01, 2017 7:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1833/3137 took 417871 ms. Total solver calls (SAT/UNSAT): 96036(51784/44252)
Jun 01, 2017 7:13:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1838/3137 took 419072 ms. Total solver calls (SAT/UNSAT): 96311(51939/44372)
Jun 01, 2017 7:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1843/3137 took 420273 ms. Total solver calls (SAT/UNSAT): 96586(52094/44492)
Jun 01, 2017 7:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1848/3137 took 421483 ms. Total solver calls (SAT/UNSAT): 96861(52249/44612)
Jun 01, 2017 7:13:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1853/3137 took 422695 ms. Total solver calls (SAT/UNSAT): 97136(52404/44732)
Jun 01, 2017 7:13:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1858/3137 took 423908 ms. Total solver calls (SAT/UNSAT): 97411(52559/44852)
Jun 01, 2017 7:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1863/3137 took 425118 ms. Total solver calls (SAT/UNSAT): 97686(52714/44972)
Jun 01, 2017 7:13:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1868/3137 took 426322 ms. Total solver calls (SAT/UNSAT): 97961(52869/45092)
Jun 01, 2017 7:13:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1873/3137 took 427525 ms. Total solver calls (SAT/UNSAT): 98236(53024/45212)
Jun 01, 2017 7:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1878/3137 took 428724 ms. Total solver calls (SAT/UNSAT): 98511(53179/45332)
Jun 01, 2017 7:13:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1883/3137 took 429918 ms. Total solver calls (SAT/UNSAT): 98786(53334/45452)
Jun 01, 2017 7:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1888/3137 took 431115 ms. Total solver calls (SAT/UNSAT): 99061(53489/45572)
Jun 01, 2017 7:13:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1893/3137 took 432313 ms. Total solver calls (SAT/UNSAT): 99336(53644/45692)
Jun 01, 2017 7:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1898/3137 took 433512 ms. Total solver calls (SAT/UNSAT): 99611(53799/45812)
Jun 01, 2017 7:13:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1903/3137 took 434712 ms. Total solver calls (SAT/UNSAT): 99886(53954/45932)
Jun 01, 2017 7:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1908/3137 took 435911 ms. Total solver calls (SAT/UNSAT): 100161(54109/46052)
Jun 01, 2017 7:13:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1913/3137 took 437111 ms. Total solver calls (SAT/UNSAT): 100436(54264/46172)
Jun 01, 2017 7:13:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1918/3137 took 438309 ms. Total solver calls (SAT/UNSAT): 100711(54419/46292)
Jun 01, 2017 7:13:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1923/3137 took 439510 ms. Total solver calls (SAT/UNSAT): 100986(54574/46412)
Jun 01, 2017 7:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1928/3137 took 440717 ms. Total solver calls (SAT/UNSAT): 101255(54729/46526)
Jun 01, 2017 7:13:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1933/3137 took 441925 ms. Total solver calls (SAT/UNSAT): 101518(54884/46634)
Jun 01, 2017 7:14:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1938/3137 took 443136 ms. Total solver calls (SAT/UNSAT): 101781(55039/46742)
Jun 01, 2017 7:14:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1944/3137 took 444214 ms. Total solver calls (SAT/UNSAT): 102051(55177/46874)
Jun 01, 2017 7:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1951/3137 took 445255 ms. Total solver calls (SAT/UNSAT): 102334(55310/47024)
Jun 01, 2017 7:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1958/3137 took 446305 ms. Total solver calls (SAT/UNSAT): 102617(55443/47174)
Jun 01, 2017 7:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1963/3137 took 447322 ms. Total solver calls (SAT/UNSAT): 102856(55574/47282)
Jun 01, 2017 7:14:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1968/3137 took 448518 ms. Total solver calls (SAT/UNSAT): 103119(55729/47390)
Jun 01, 2017 7:14:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1973/3137 took 449714 ms. Total solver calls (SAT/UNSAT): 103382(55884/47498)
Jun 01, 2017 7:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1978/3137 took 450917 ms. Total solver calls (SAT/UNSAT): 103651(56039/47612)
Jun 01, 2017 7:14:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1983/3137 took 452129 ms. Total solver calls (SAT/UNSAT): 103926(56194/47732)
Jun 01, 2017 7:14:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1988/3137 took 453339 ms. Total solver calls (SAT/UNSAT): 104201(56349/47852)
Jun 01, 2017 7:14:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1993/3137 took 454552 ms. Total solver calls (SAT/UNSAT): 104476(56504/47972)
Jun 01, 2017 7:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1998/3137 took 455762 ms. Total solver calls (SAT/UNSAT): 104751(56659/48092)
Jun 01, 2017 7:14:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2003/3137 took 456971 ms. Total solver calls (SAT/UNSAT): 105026(56814/48212)
Jun 01, 2017 7:14:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2008/3137 took 458181 ms. Total solver calls (SAT/UNSAT): 105301(56969/48332)
Jun 01, 2017 7:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2013/3137 took 459387 ms. Total solver calls (SAT/UNSAT): 105576(57124/48452)
Jun 01, 2017 7:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2018/3137 took 460591 ms. Total solver calls (SAT/UNSAT): 105851(57279/48572)
Jun 01, 2017 7:14:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2023/3137 took 461794 ms. Total solver calls (SAT/UNSAT): 106126(57434/48692)
Jun 01, 2017 7:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2028/3137 took 463001 ms. Total solver calls (SAT/UNSAT): 106401(57589/48812)
Jun 01, 2017 7:14:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2033/3137 took 464211 ms. Total solver calls (SAT/UNSAT): 106676(57744/48932)
Jun 01, 2017 7:14:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2038/3137 took 465422 ms. Total solver calls (SAT/UNSAT): 106951(57899/49052)
Jun 01, 2017 7:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2043/3137 took 466631 ms. Total solver calls (SAT/UNSAT): 107226(58054/49172)
Jun 01, 2017 7:14:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2048/3137 took 467836 ms. Total solver calls (SAT/UNSAT): 107501(58209/49292)
Jun 01, 2017 7:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2053/3137 took 469040 ms. Total solver calls (SAT/UNSAT): 107776(58364/49412)
Jun 01, 2017 7:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2058/3137 took 470244 ms. Total solver calls (SAT/UNSAT): 108051(58519/49532)
Jun 01, 2017 7:14:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2063/3137 took 471448 ms. Total solver calls (SAT/UNSAT): 108326(58674/49652)
Jun 01, 2017 7:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2068/3137 took 472660 ms. Total solver calls (SAT/UNSAT): 108601(58829/49772)
Jun 01, 2017 7:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2073/3137 took 473901 ms. Total solver calls (SAT/UNSAT): 108876(58984/49892)
Jun 01, 2017 7:14:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2078/3137 took 475137 ms. Total solver calls (SAT/UNSAT): 109139(59139/50000)
Jun 01, 2017 7:14:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2083/3137 took 476373 ms. Total solver calls (SAT/UNSAT): 109402(59294/50108)
Jun 01, 2017 7:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2088/3137 took 477613 ms. Total solver calls (SAT/UNSAT): 109665(59449/50216)
Jun 01, 2017 7:14:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2095/3137 took 478692 ms. Total solver calls (SAT/UNSAT): 109948(59582/50366)
Jun 01, 2017 7:14:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2102/3137 took 479775 ms. Total solver calls (SAT/UNSAT): 110237(59715/50522)
Jun 01, 2017 7:14:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2109/3137 took 480952 ms. Total solver calls (SAT/UNSAT): 110532(59860/50672)
Jun 01, 2017 7:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2114/3137 took 482195 ms. Total solver calls (SAT/UNSAT): 110795(60015/50780)
Jun 01, 2017 7:14:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2119/3137 took 483438 ms. Total solver calls (SAT/UNSAT): 111058(60170/50888)
Jun 01, 2017 7:14:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2124/3137 took 484685 ms. Total solver calls (SAT/UNSAT): 111321(60325/50996)
Jun 01, 2017 7:14:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2129/3137 took 485934 ms. Total solver calls (SAT/UNSAT): 111596(60480/51116)
Jun 01, 2017 7:14:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2134/3137 took 487181 ms. Total solver calls (SAT/UNSAT): 111871(60635/51236)
Jun 01, 2017 7:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3137 took 488181 ms. Total solver calls (SAT/UNSAT): 112091(60759/51332)
Jun 01, 2017 7:14:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3137 took 489181 ms. Total solver calls (SAT/UNSAT): 112311(60883/51428)
Jun 01, 2017 7:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3137 took 490181 ms. Total solver calls (SAT/UNSAT): 112531(61007/51524)
Jun 01, 2017 7:14:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2150/3137 took 491181 ms. Total solver calls (SAT/UNSAT): 112751(61131/51620)
Jun 01, 2017 7:14:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2155/3137 took 492427 ms. Total solver calls (SAT/UNSAT): 113026(61286/51740)
Jun 01, 2017 7:14:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2160/3137 took 493665 ms. Total solver calls (SAT/UNSAT): 113301(61441/51860)
Jun 01, 2017 7:14:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2165/3137 took 494898 ms. Total solver calls (SAT/UNSAT): 113576(61596/51980)
Jun 01, 2017 7:14:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3137 took 496132 ms. Total solver calls (SAT/UNSAT): 113851(61751/52100)
Jun 01, 2017 7:14:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2175/3137 took 497374 ms. Total solver calls (SAT/UNSAT): 114126(61906/52220)
Jun 01, 2017 7:14:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2180/3137 took 498623 ms. Total solver calls (SAT/UNSAT): 114401(62061/52340)
Jun 01, 2017 7:14:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2185/3137 took 499871 ms. Total solver calls (SAT/UNSAT): 114676(62216/52460)
Jun 01, 2017 7:14:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2190/3137 took 501115 ms. Total solver calls (SAT/UNSAT): 114951(62371/52580)
Jun 01, 2017 7:15:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2195/3137 took 502348 ms. Total solver calls (SAT/UNSAT): 115226(62526/52700)
Jun 01, 2017 7:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2200/3137 took 503584 ms. Total solver calls (SAT/UNSAT): 115501(62681/52820)
Jun 01, 2017 7:15:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2205/3137 took 504820 ms. Total solver calls (SAT/UNSAT): 115776(62836/52940)
Jun 01, 2017 7:15:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2210/3137 took 506055 ms. Total solver calls (SAT/UNSAT): 116051(62991/53060)
Jun 01, 2017 7:15:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2215/3137 took 507291 ms. Total solver calls (SAT/UNSAT): 116326(63146/53180)
Jun 01, 2017 7:15:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2220/3137 took 508527 ms. Total solver calls (SAT/UNSAT): 116601(63301/53300)
Jun 01, 2017 7:15:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2225/3137 took 509773 ms. Total solver calls (SAT/UNSAT): 116864(63456/53408)
Jun 01, 2017 7:15:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2230/3137 took 511020 ms. Total solver calls (SAT/UNSAT): 117133(63611/53522)
Jun 01, 2017 7:15:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2235/3137 took 512265 ms. Total solver calls (SAT/UNSAT): 117396(63766/53630)
Jun 01, 2017 7:15:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2241/3137 took 513282 ms. Total solver calls (SAT/UNSAT): 117648(63892/53756)
Jun 01, 2017 7:15:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2248/3137 took 514358 ms. Total solver calls (SAT/UNSAT): 117931(64025/53906)
Jun 01, 2017 7:15:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2255/3137 took 515438 ms. Total solver calls (SAT/UNSAT): 118220(64158/54062)
Jun 01, 2017 7:15:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2260/3137 took 516578 ms. Total solver calls (SAT/UNSAT): 118471(64301/54170)
Jun 01, 2017 7:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2265/3137 took 517812 ms. Total solver calls (SAT/UNSAT): 118734(64456/54278)
Jun 01, 2017 7:15:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2270/3137 took 519047 ms. Total solver calls (SAT/UNSAT): 118997(64611/54386)
Jun 01, 2017 7:15:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2275/3137 took 520291 ms. Total solver calls (SAT/UNSAT): 119266(64766/54500)
Jun 01, 2017 7:15:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2279/3137 took 521293 ms. Total solver calls (SAT/UNSAT): 119486(64890/54596)
Jun 01, 2017 7:15:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2283/3137 took 522293 ms. Total solver calls (SAT/UNSAT): 119706(65014/54692)
Jun 01, 2017 7:15:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2287/3137 took 523293 ms. Total solver calls (SAT/UNSAT): 119926(65138/54788)
Jun 01, 2017 7:15:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2292/3137 took 524534 ms. Total solver calls (SAT/UNSAT): 120201(65293/54908)
Jun 01, 2017 7:15:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2297/3137 took 525770 ms. Total solver calls (SAT/UNSAT): 120476(65448/55028)
Jun 01, 2017 7:15:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2302/3137 took 527007 ms. Total solver calls (SAT/UNSAT): 120751(65603/55148)
Jun 01, 2017 7:15:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2307/3137 took 528253 ms. Total solver calls (SAT/UNSAT): 121026(65758/55268)
Jun 01, 2017 7:15:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2311/3137 took 529255 ms. Total solver calls (SAT/UNSAT): 121246(65882/55364)
Jun 01, 2017 7:15:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2315/3137 took 530255 ms. Total solver calls (SAT/UNSAT): 121466(66006/55460)
Jun 01, 2017 7:15:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2319/3137 took 531256 ms. Total solver calls (SAT/UNSAT): 121686(66130/55556)
Jun 01, 2017 7:15:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2323/3137 took 532257 ms. Total solver calls (SAT/UNSAT): 121906(66254/55652)
Jun 01, 2017 7:15:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2327/3137 took 533262 ms. Total solver calls (SAT/UNSAT): 122126(66378/55748)
Jun 01, 2017 7:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2331/3137 took 534264 ms. Total solver calls (SAT/UNSAT): 122346(66502/55844)
Jun 01, 2017 7:15:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2335/3137 took 535265 ms. Total solver calls (SAT/UNSAT): 122566(66626/55940)
Jun 01, 2017 7:15:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2340/3137 took 536513 ms. Total solver calls (SAT/UNSAT): 122841(66781/56060)
Jun 01, 2017 7:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2344/3137 took 537516 ms. Total solver calls (SAT/UNSAT): 123061(66905/56156)
Jun 01, 2017 7:15:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2348/3137 took 538519 ms. Total solver calls (SAT/UNSAT): 123281(67029/56252)
Jun 01, 2017 7:15:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2352/3137 took 539521 ms. Total solver calls (SAT/UNSAT): 123501(67153/56348)
Jun 01, 2017 7:15:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2356/3137 took 540522 ms. Total solver calls (SAT/UNSAT): 123721(67277/56444)
Jun 01, 2017 7:15:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2360/3137 took 541523 ms. Total solver calls (SAT/UNSAT): 123941(67401/56540)
Jun 01, 2017 7:15:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2365/3137 took 542766 ms. Total solver calls (SAT/UNSAT): 124216(67556/56660)
Jun 01, 2017 7:15:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2370/3137 took 543977 ms. Total solver calls (SAT/UNSAT): 124491(67711/56780)
Jun 01, 2017 7:15:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2375/3137 took 545202 ms. Total solver calls (SAT/UNSAT): 124754(67866/56888)
Jun 01, 2017 7:15:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2380/3137 took 546400 ms. Total solver calls (SAT/UNSAT): 125017(68021/56996)
Jun 01, 2017 7:15:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2385/3137 took 547510 ms. Total solver calls (SAT/UNSAT): 125268(68164/57104)
Jun 01, 2017 7:15:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2392/3137 took 548556 ms. Total solver calls (SAT/UNSAT): 125551(68297/57254)
Jun 01, 2017 7:15:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2399/3137 took 549603 ms. Total solver calls (SAT/UNSAT): 125834(68430/57404)
Jun 01, 2017 7:15:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2406/3137 took 550831 ms. Total solver calls (SAT/UNSAT): 126147(68587/57560)
Jun 01, 2017 7:15:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2411/3137 took 552025 ms. Total solver calls (SAT/UNSAT): 126398(68742/57656)
Jun 01, 2017 7:15:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2416/3137 took 553222 ms. Total solver calls (SAT/UNSAT): 126657(68897/57760)
Jun 01, 2017 7:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2421/3137 took 554417 ms. Total solver calls (SAT/UNSAT): 126904(69052/57852)
Jun 01, 2017 7:15:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2426/3137 took 555626 ms. Total solver calls (SAT/UNSAT): 127173(69207/57966)
Jun 01, 2017 7:15:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2431/3137 took 556841 ms. Total solver calls (SAT/UNSAT): 127436(69362/58074)
Jun 01, 2017 7:15:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2436/3137 took 558059 ms. Total solver calls (SAT/UNSAT): 127693(69517/58176)
Jun 01, 2017 7:15:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2441/3137 took 559269 ms. Total solver calls (SAT/UNSAT): 127968(69672/58296)
Jun 01, 2017 7:15:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2446/3137 took 560473 ms. Total solver calls (SAT/UNSAT): 128225(69827/58398)
Jun 01, 2017 7:15:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2451/3137 took 561681 ms. Total solver calls (SAT/UNSAT): 128488(69982/58506)
Jun 01, 2017 7:16:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2456/3137 took 562891 ms. Total solver calls (SAT/UNSAT): 128757(70137/58620)
Jun 01, 2017 7:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2461/3137 took 564097 ms. Total solver calls (SAT/UNSAT): 129014(70292/58722)
Jun 01, 2017 7:16:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2466/3137 took 565305 ms. Total solver calls (SAT/UNSAT): 129283(70447/58836)
Jun 01, 2017 7:16:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2471/3137 took 566520 ms. Total solver calls (SAT/UNSAT): 129546(70602/58944)
Jun 01, 2017 7:16:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2476/3137 took 567739 ms. Total solver calls (SAT/UNSAT): 129803(70757/59046)
Jun 01, 2017 7:16:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2481/3137 took 568964 ms. Total solver calls (SAT/UNSAT): 130078(70912/59166)
Jun 01, 2017 7:16:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2486/3137 took 570179 ms. Total solver calls (SAT/UNSAT): 130335(71067/59268)
Jun 01, 2017 7:16:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2491/3137 took 571391 ms. Total solver calls (SAT/UNSAT): 130598(71222/59376)
Jun 01, 2017 7:16:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2496/3137 took 572604 ms. Total solver calls (SAT/UNSAT): 130867(71377/59490)
Jun 01, 2017 7:16:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2501/3137 took 573816 ms. Total solver calls (SAT/UNSAT): 131124(71532/59592)
Jun 01, 2017 7:16:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2506/3137 took 575029 ms. Total solver calls (SAT/UNSAT): 131393(71687/59706)
Jun 01, 2017 7:16:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2511/3137 took 576240 ms. Total solver calls (SAT/UNSAT): 131656(71842/59814)
Jun 01, 2017 7:16:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2516/3137 took 577451 ms. Total solver calls (SAT/UNSAT): 131913(71997/59916)
Jun 01, 2017 7:16:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2521/3137 took 578670 ms. Total solver calls (SAT/UNSAT): 132176(72152/60024)
Jun 01, 2017 7:16:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2526/3137 took 579885 ms. Total solver calls (SAT/UNSAT): 132429(72307/60122)
Jun 01, 2017 7:16:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2531/3137 took 581097 ms. Total solver calls (SAT/UNSAT): 132680(72462/60218)
Jun 01, 2017 7:16:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2538/3137 took 582245 ms. Total solver calls (SAT/UNSAT): 132961(72607/60354)
Jun 01, 2017 7:16:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2545/3137 took 583302 ms. Total solver calls (SAT/UNSAT): 133234(72740/60494)
Jun 01, 2017 7:16:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2552/3137 took 584362 ms. Total solver calls (SAT/UNSAT): 133497(72873/60624)
Jun 01, 2017 7:16:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2559/3137 took 585423 ms. Total solver calls (SAT/UNSAT): 133776(73006/60770)
Jun 01, 2017 7:16:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2566/3137 took 586489 ms. Total solver calls (SAT/UNSAT): 134049(73139/60910)
Jun 01, 2017 7:16:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2573/3137 took 587567 ms. Total solver calls (SAT/UNSAT): 134332(73272/61060)
Jun 01, 2017 7:16:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2580/3137 took 588637 ms. Total solver calls (SAT/UNSAT): 134621(73405/61216)
Jun 01, 2017 7:16:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2587/3137 took 589698 ms. Total solver calls (SAT/UNSAT): 134898(73538/61360)
Jun 01, 2017 7:16:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2594/3137 took 590762 ms. Total solver calls (SAT/UNSAT): 135187(73671/61516)
Jun 01, 2017 7:16:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2601/3137 took 591827 ms. Total solver calls (SAT/UNSAT): 135470(73804/61666)
Jun 01, 2017 7:16:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2608/3137 took 592893 ms. Total solver calls (SAT/UNSAT): 135753(73937/61816)
Jun 01, 2017 7:16:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2615/3137 took 593959 ms. Total solver calls (SAT/UNSAT): 136042(74070/61972)
Jun 01, 2017 7:16:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2622/3137 took 595016 ms. Total solver calls (SAT/UNSAT): 136319(74203/62116)
Jun 01, 2017 7:16:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2629/3137 took 596074 ms. Total solver calls (SAT/UNSAT): 136598(74336/62262)
Jun 01, 2017 7:16:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2639/3137 took 597158 ms. Total solver calls (SAT/UNSAT): 136926(74470/62456)
Jun 01, 2017 7:16:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2648/3137 took 598211 ms. Total solver calls (SAT/UNSAT): 137237(74601/62636)
Jun 01, 2017 7:16:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2655/3137 took 599261 ms. Total solver calls (SAT/UNSAT): 137506(74734/62772)
Jun 01, 2017 7:16:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2662/3137 took 600325 ms. Total solver calls (SAT/UNSAT): 137795(74867/62928)
Jun 01, 2017 7:16:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2669/3137 took 601378 ms. Total solver calls (SAT/UNSAT): 138072(75000/63072)
Jun 01, 2017 7:16:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2676/3137 took 602435 ms. Total solver calls (SAT/UNSAT): 138361(75133/63228)
Jun 01, 2017 7:16:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2683/3137 took 603500 ms. Total solver calls (SAT/UNSAT): 138644(75266/63378)
Jun 01, 2017 7:16:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2690/3137 took 604564 ms. Total solver calls (SAT/UNSAT): 138927(75399/63528)
Jun 01, 2017 7:16:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2697/3137 took 605628 ms. Total solver calls (SAT/UNSAT): 139216(75532/63684)
Jun 01, 2017 7:16:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2704/3137 took 606686 ms. Total solver calls (SAT/UNSAT): 139493(75665/63828)
Jun 01, 2017 7:16:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3137 took 607752 ms. Total solver calls (SAT/UNSAT): 139782(75798/63984)
Jun 01, 2017 7:16:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2718/3137 took 608816 ms. Total solver calls (SAT/UNSAT): 140059(75931/64128)
Jun 01, 2017 7:16:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2725/3137 took 609821 ms. Total solver calls (SAT/UNSAT): 140320(76056/64264)
Jun 01, 2017 7:16:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2737/3137 took 610832 ms. Total solver calls (SAT/UNSAT): 140694(76177/64517)
Jun 01, 2017 7:16:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2830/3137 took 611843 ms. Total solver calls (SAT/UNSAT): 143943(76177/67766)
Jun 01, 2017 7:16:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2938/3137 took 612843 ms. Total solver calls (SAT/UNSAT): 147203(76177/71026)
Jun 01, 2017 7:16:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3036/3137 took 613849 ms. Total solver calls (SAT/UNSAT): 150589(76177/74412)
Jun 01, 2017 7:16:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 614746 ms. Total solver calls (SAT/UNSAT): 153601(76177/77424)
Jun 01, 2017 7:16:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 3137 transitions.
Jun 01, 2017 7:17:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3137 took 21216 ms. Total solver calls (SAT/UNSAT): 3137(2736/401)
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PhaseVariation-PT-D10CS010"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_PhaseVariation-PT-D10CS010.tgz
mv S_PhaseVariation-PT-D10CS010 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PhaseVariation-PT-D10CS010, 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 r130-smll-149441683100105"
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 '
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 ;