About the Execution of ITS-Tools for PhaseVariation-PT-D10CS010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15951.860 | 3600000.00 | 5751201.00 | 11767.30 | [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 PhaseVariation-PT-D10CS010, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r050-smll-149440871800107
=====================================================================
--------------------
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-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496304191345
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ctl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
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
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -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 ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 8:03:13 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 8:03:13 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 397 ms
Jun 01, 2017 8:03:13 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 302 places.
Jun 01, 2017 8:03:14 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3137 transitions.
Jun 01, 2017 8:03:14 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 01, 2017 8:03:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property PhaseVariation-PT-D10CS010-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 01, 2017 8:03:15 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 720 ms
Jun 01, 2017 8:03:15 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 79 ms
Jun 01, 2017 8:03:17 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 101 place invariants in 388 ms
Jun 01, 2017 8:03:27 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 302 variables to be positive in 9885 ms
Jun 01, 2017 8:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3137 transitions.
Jun 01, 2017 8:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3137 took 10615 ms. Total solver calls (SAT/UNSAT): 3137(1/3136)
Jun 01, 2017 8:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/3137 took 11813 ms. Total solver calls (SAT/UNSAT): 3400(156/3244)
Jun 01, 2017 8:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/3137 took 13010 ms. Total solver calls (SAT/UNSAT): 3647(311/3336)
Jun 01, 2017 8:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/3137 took 14209 ms. Total solver calls (SAT/UNSAT): 3904(466/3438)
Jun 01, 2017 8:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3137 took 15401 ms. Total solver calls (SAT/UNSAT): 4169(621/3548)
Jun 01, 2017 8:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/3137 took 16585 ms. Total solver calls (SAT/UNSAT): 4426(776/3650)
Jun 01, 2017 8:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/3137 took 17764 ms. Total solver calls (SAT/UNSAT): 4695(931/3764)
Jun 01, 2017 8:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/3137 took 18947 ms. Total solver calls (SAT/UNSAT): 4958(1086/3872)
Jun 01, 2017 8:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3137 took 20119 ms. Total solver calls (SAT/UNSAT): 5215(1241/3974)
Jun 01, 2017 8:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/3137 took 21292 ms. Total solver calls (SAT/UNSAT): 5490(1396/4094)
Jun 01, 2017 8:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/3137 took 22461 ms. Total solver calls (SAT/UNSAT): 5747(1551/4196)
Jun 01, 2017 8:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/3137 took 23634 ms. Total solver calls (SAT/UNSAT): 6010(1706/4304)
Jun 01, 2017 8:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3137 took 24816 ms. Total solver calls (SAT/UNSAT): 6279(1861/4418)
Jun 01, 2017 8:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/3137 took 25995 ms. Total solver calls (SAT/UNSAT): 6536(2016/4520)
Jun 01, 2017 8:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/3137 took 27175 ms. Total solver calls (SAT/UNSAT): 6805(2171/4634)
Jun 01, 2017 8:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/3137 took 28356 ms. Total solver calls (SAT/UNSAT): 7068(2326/4742)
Jun 01, 2017 8:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3137 took 29547 ms. Total solver calls (SAT/UNSAT): 7325(2481/4844)
Jun 01, 2017 8:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/3137 took 30727 ms. Total solver calls (SAT/UNSAT): 7600(2636/4964)
Jun 01, 2017 8:03:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/3137 took 31901 ms. Total solver calls (SAT/UNSAT): 7857(2791/5066)
Jun 01, 2017 8:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/3137 took 33079 ms. Total solver calls (SAT/UNSAT): 8120(2946/5174)
Jun 01, 2017 8:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3137 took 34252 ms. Total solver calls (SAT/UNSAT): 8389(3101/5288)
Jun 01, 2017 8:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/3137 took 35418 ms. Total solver calls (SAT/UNSAT): 8646(3256/5390)
Jun 01, 2017 8:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/3137 took 36590 ms. Total solver calls (SAT/UNSAT): 8915(3411/5504)
Jun 01, 2017 8:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/3137 took 37765 ms. Total solver calls (SAT/UNSAT): 9172(3566/5606)
Jun 01, 2017 8:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3137 took 38934 ms. Total solver calls (SAT/UNSAT): 9419(3721/5698)
Jun 01, 2017 8:04:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/3137 took 40108 ms. Total solver calls (SAT/UNSAT): 9682(3876/5806)
Jun 01, 2017 8:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3137 took 41250 ms. Total solver calls (SAT/UNSAT): 9948(4026/5922)
Jun 01, 2017 8:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/3137 took 42269 ms. Total solver calls (SAT/UNSAT): 10211(4159/6052)
Jun 01, 2017 8:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/3137 took 43295 ms. Total solver calls (SAT/UNSAT): 10490(4292/6198)
Jun 01, 2017 8:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/3137 took 44444 ms. Total solver calls (SAT/UNSAT): 10756(4442/6314)
Jun 01, 2017 8:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/3137 took 45634 ms. Total solver calls (SAT/UNSAT): 11019(4597/6422)
Jun 01, 2017 8:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/3137 took 46824 ms. Total solver calls (SAT/UNSAT): 11282(4752/6530)
Jun 01, 2017 8:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/3137 took 48014 ms. Total solver calls (SAT/UNSAT): 11551(4907/6644)
Jun 01, 2017 8:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3137 took 49203 ms. Total solver calls (SAT/UNSAT): 11826(5062/6764)
Jun 01, 2017 8:04:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3137 took 50390 ms. Total solver calls (SAT/UNSAT): 12101(5217/6884)
Jun 01, 2017 8:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/3137 took 51581 ms. Total solver calls (SAT/UNSAT): 12376(5372/7004)
Jun 01, 2017 8:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/3137 took 52781 ms. Total solver calls (SAT/UNSAT): 12651(5527/7124)
Jun 01, 2017 8:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/3137 took 53976 ms. Total solver calls (SAT/UNSAT): 12926(5682/7244)
Jun 01, 2017 8:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/3137 took 55167 ms. Total solver calls (SAT/UNSAT): 13201(5837/7364)
Jun 01, 2017 8:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/3137 took 56354 ms. Total solver calls (SAT/UNSAT): 13476(5992/7484)
Jun 01, 2017 8:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/3137 took 57545 ms. Total solver calls (SAT/UNSAT): 13751(6147/7604)
Jun 01, 2017 8:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/3137 took 58736 ms. Total solver calls (SAT/UNSAT): 14026(6302/7724)
Jun 01, 2017 8:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/3137 took 59912 ms. Total solver calls (SAT/UNSAT): 14301(6457/7844)
Jun 01, 2017 8:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/3137 took 61086 ms. Total solver calls (SAT/UNSAT): 14576(6612/7964)
Jun 01, 2017 8:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/3137 took 62254 ms. Total solver calls (SAT/UNSAT): 14851(6767/8084)
Jun 01, 2017 8:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/3137 took 63434 ms. Total solver calls (SAT/UNSAT): 15126(6922/8204)
Jun 01, 2017 8:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/3137 took 64618 ms. Total solver calls (SAT/UNSAT): 15401(7077/8324)
Jun 01, 2017 8:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/3137 took 65802 ms. Total solver calls (SAT/UNSAT): 15676(7232/8444)
Jun 01, 2017 8:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/3137 took 66980 ms. Total solver calls (SAT/UNSAT): 15951(7387/8564)
Jun 01, 2017 8:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/3137 took 68147 ms. Total solver calls (SAT/UNSAT): 16226(7542/8684)
Jun 01, 2017 8:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/3137 took 69312 ms. Total solver calls (SAT/UNSAT): 16501(7697/8804)
Jun 01, 2017 8:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/3137 took 70477 ms. Total solver calls (SAT/UNSAT): 16776(7852/8924)
Jun 01, 2017 8:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/3137 took 71647 ms. Total solver calls (SAT/UNSAT): 17039(8007/9032)
Jun 01, 2017 8:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/3137 took 72816 ms. Total solver calls (SAT/UNSAT): 17302(8162/9140)
Jun 01, 2017 8:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/3137 took 73986 ms. Total solver calls (SAT/UNSAT): 17565(8317/9248)
Jun 01, 2017 8:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/3137 took 75013 ms. Total solver calls (SAT/UNSAT): 17848(8450/9398)
Jun 01, 2017 8:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/3137 took 76044 ms. Total solver calls (SAT/UNSAT): 18137(8583/9554)
Jun 01, 2017 8:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/3137 took 77162 ms. Total solver calls (SAT/UNSAT): 18432(8728/9704)
Jun 01, 2017 8:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/3137 took 78342 ms. Total solver calls (SAT/UNSAT): 18695(8883/9812)
Jun 01, 2017 8:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/3137 took 79524 ms. Total solver calls (SAT/UNSAT): 18958(9038/9920)
Jun 01, 2017 8:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/3137 took 80698 ms. Total solver calls (SAT/UNSAT): 19221(9193/10028)
Jun 01, 2017 8:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/3137 took 81878 ms. Total solver calls (SAT/UNSAT): 19496(9348/10148)
Jun 01, 2017 8:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/3137 took 83052 ms. Total solver calls (SAT/UNSAT): 19771(9503/10268)
Jun 01, 2017 8:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/3137 took 84226 ms. Total solver calls (SAT/UNSAT): 20046(9658/10388)
Jun 01, 2017 8:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/3137 took 85402 ms. Total solver calls (SAT/UNSAT): 20321(9813/10508)
Jun 01, 2017 8:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/3137 took 86580 ms. Total solver calls (SAT/UNSAT): 20596(9968/10628)
Jun 01, 2017 8:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/3137 took 87760 ms. Total solver calls (SAT/UNSAT): 20871(10123/10748)
Jun 01, 2017 8:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/3137 took 88929 ms. Total solver calls (SAT/UNSAT): 21146(10278/10868)
Jun 01, 2017 8:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/3137 took 90096 ms. Total solver calls (SAT/UNSAT): 21421(10433/10988)
Jun 01, 2017 8:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/3137 took 91258 ms. Total solver calls (SAT/UNSAT): 21696(10588/11108)
Jun 01, 2017 8:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/3137 took 92422 ms. Total solver calls (SAT/UNSAT): 21971(10743/11228)
Jun 01, 2017 8:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/3137 took 93595 ms. Total solver calls (SAT/UNSAT): 22246(10898/11348)
Jun 01, 2017 8:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/3137 took 94766 ms. Total solver calls (SAT/UNSAT): 22521(11053/11468)
Jun 01, 2017 8:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/3137 took 95935 ms. Total solver calls (SAT/UNSAT): 22796(11208/11588)
Jun 01, 2017 8:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/3137 took 97096 ms. Total solver calls (SAT/UNSAT): 23071(11363/11708)
Jun 01, 2017 8:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/3137 took 98254 ms. Total solver calls (SAT/UNSAT): 23346(11518/11828)
Jun 01, 2017 8:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/3137 took 99415 ms. Total solver calls (SAT/UNSAT): 23621(11673/11948)
Jun 01, 2017 8:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/3137 took 100582 ms. Total solver calls (SAT/UNSAT): 23896(11828/12068)
Jun 01, 2017 8:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/3137 took 101749 ms. Total solver calls (SAT/UNSAT): 24171(11983/12188)
Jun 01, 2017 8:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/3137 took 102918 ms. Total solver calls (SAT/UNSAT): 24446(12138/12308)
Jun 01, 2017 8:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3137 took 104095 ms. Total solver calls (SAT/UNSAT): 24715(12293/12422)
Jun 01, 2017 8:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/3137 took 105267 ms. Total solver calls (SAT/UNSAT): 24978(12448/12530)
Jun 01, 2017 8:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/3137 took 106440 ms. Total solver calls (SAT/UNSAT): 25241(12603/12638)
Jun 01, 2017 8:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/3137 took 107494 ms. Total solver calls (SAT/UNSAT): 25511(12741/12770)
Jun 01, 2017 8:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/3137 took 108518 ms. Total solver calls (SAT/UNSAT): 25794(12874/12920)
Jun 01, 2017 8:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/3137 took 109537 ms. Total solver calls (SAT/UNSAT): 26077(13007/13070)
Jun 01, 2017 8:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/3137 took 110756 ms. Total solver calls (SAT/UNSAT): 26371(13169/13202)
Jun 01, 2017 8:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/3137 took 111917 ms. Total solver calls (SAT/UNSAT): 26634(13324/13310)
Jun 01, 2017 8:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/3137 took 113079 ms. Total solver calls (SAT/UNSAT): 26897(13479/13418)
Jun 01, 2017 8:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/3137 took 114262 ms. Total solver calls (SAT/UNSAT): 27166(13634/13532)
Jun 01, 2017 8:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/3137 took 115439 ms. Total solver calls (SAT/UNSAT): 27441(13789/13652)
Jun 01, 2017 8:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/3137 took 116605 ms. Total solver calls (SAT/UNSAT): 27716(13944/13772)
Jun 01, 2017 8:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/3137 took 117779 ms. Total solver calls (SAT/UNSAT): 27991(14099/13892)
Jun 01, 2017 8:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/3137 took 118959 ms. Total solver calls (SAT/UNSAT): 28266(14254/14012)
Jun 01, 2017 8:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/3137 took 120149 ms. Total solver calls (SAT/UNSAT): 28541(14409/14132)
Jun 01, 2017 8:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/3137 took 121333 ms. Total solver calls (SAT/UNSAT): 28816(14564/14252)
Jun 01, 2017 8:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/3137 took 122512 ms. Total solver calls (SAT/UNSAT): 29091(14719/14372)
Jun 01, 2017 8:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/3137 took 123692 ms. Total solver calls (SAT/UNSAT): 29366(14874/14492)
Jun 01, 2017 8:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/3137 took 124870 ms. Total solver calls (SAT/UNSAT): 29641(15029/14612)
Jun 01, 2017 8:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/3137 took 126044 ms. Total solver calls (SAT/UNSAT): 29916(15184/14732)
Jun 01, 2017 8:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/3137 took 127218 ms. Total solver calls (SAT/UNSAT): 30191(15339/14852)
Jun 01, 2017 8:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/3137 took 128389 ms. Total solver calls (SAT/UNSAT): 30466(15494/14972)
Jun 01, 2017 8:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/3137 took 129561 ms. Total solver calls (SAT/UNSAT): 30741(15649/15092)
Jun 01, 2017 8:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/3137 took 130733 ms. Total solver calls (SAT/UNSAT): 31016(15804/15212)
Jun 01, 2017 8:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/3137 took 131907 ms. Total solver calls (SAT/UNSAT): 31291(15959/15332)
Jun 01, 2017 8:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/3137 took 133079 ms. Total solver calls (SAT/UNSAT): 31566(16114/15452)
Jun 01, 2017 8:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/3137 took 134252 ms. Total solver calls (SAT/UNSAT): 31841(16269/15572)
Jun 01, 2017 8:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/3137 took 135424 ms. Total solver calls (SAT/UNSAT): 32116(16424/15692)
Jun 01, 2017 8:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/3137 took 136601 ms. Total solver calls (SAT/UNSAT): 32391(16579/15812)
Jun 01, 2017 8:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/3137 took 137782 ms. Total solver calls (SAT/UNSAT): 32654(16734/15920)
Jun 01, 2017 8:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/3137 took 138954 ms. Total solver calls (SAT/UNSAT): 32917(16889/16028)
Jun 01, 2017 8:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/3137 took 140037 ms. Total solver calls (SAT/UNSAT): 33168(17032/16136)
Jun 01, 2017 8:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/3137 took 141051 ms. Total solver calls (SAT/UNSAT): 33451(17165/16286)
Jun 01, 2017 8:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/3137 took 142068 ms. Total solver calls (SAT/UNSAT): 33734(17298/16436)
Jun 01, 2017 8:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/3137 took 143261 ms. Total solver calls (SAT/UNSAT): 34047(17455/16592)
Jun 01, 2017 8:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/3137 took 144424 ms. Total solver calls (SAT/UNSAT): 34310(17610/16700)
Jun 01, 2017 8:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3137 took 145594 ms. Total solver calls (SAT/UNSAT): 34573(17765/16808)
Jun 01, 2017 8:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/3137 took 146765 ms. Total solver calls (SAT/UNSAT): 34836(17920/16916)
Jun 01, 2017 8:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/3137 took 147945 ms. Total solver calls (SAT/UNSAT): 35111(18075/17036)
Jun 01, 2017 8:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/3137 took 149125 ms. Total solver calls (SAT/UNSAT): 35386(18230/17156)
Jun 01, 2017 8:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/3137 took 150339 ms. Total solver calls (SAT/UNSAT): 35661(18385/17276)
Jun 01, 2017 8:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/3137 took 151383 ms. Total solver calls (SAT/UNSAT): 35881(18509/17372)
Jun 01, 2017 8:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/3137 took 152397 ms. Total solver calls (SAT/UNSAT): 36101(18633/17468)
Jun 01, 2017 8:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/3137 took 153588 ms. Total solver calls (SAT/UNSAT): 36376(18788/17588)
Jun 01, 2017 8:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/3137 took 154776 ms. Total solver calls (SAT/UNSAT): 36651(18943/17708)
Jun 01, 2017 8:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/3137 took 155980 ms. Total solver calls (SAT/UNSAT): 36926(19098/17828)
Jun 01, 2017 8:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/3137 took 157153 ms. Total solver calls (SAT/UNSAT): 37201(19253/17948)
Jun 01, 2017 8:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/3137 took 158324 ms. Total solver calls (SAT/UNSAT): 37476(19408/18068)
Jun 01, 2017 8:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/3137 took 159500 ms. Total solver calls (SAT/UNSAT): 37751(19563/18188)
Jun 01, 2017 8:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/3137 took 160675 ms. Total solver calls (SAT/UNSAT): 38026(19718/18308)
Jun 01, 2017 8:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/3137 took 161852 ms. Total solver calls (SAT/UNSAT): 38301(19873/18428)
Jun 01, 2017 8:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/3137 took 163023 ms. Total solver calls (SAT/UNSAT): 38576(20028/18548)
Jun 01, 2017 8:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/3137 took 164191 ms. Total solver calls (SAT/UNSAT): 38851(20183/18668)
Jun 01, 2017 8:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/3137 took 165358 ms. Total solver calls (SAT/UNSAT): 39126(20338/18788)
Jun 01, 2017 8:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/3137 took 166524 ms. Total solver calls (SAT/UNSAT): 39401(20493/18908)
Jun 01, 2017 8:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/3137 took 167693 ms. Total solver calls (SAT/UNSAT): 39676(20648/19028)
Jun 01, 2017 8:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/3137 took 168870 ms. Total solver calls (SAT/UNSAT): 39951(20803/19148)
Jun 01, 2017 8:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/3137 took 170050 ms. Total solver calls (SAT/UNSAT): 40220(20958/19262)
Jun 01, 2017 8:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/3137 took 171235 ms. Total solver calls (SAT/UNSAT): 40483(21113/19370)
Jun 01, 2017 8:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/3137 took 172419 ms. Total solver calls (SAT/UNSAT): 40746(21268/19478)
Jun 01, 2017 8:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/3137 took 173426 ms. Total solver calls (SAT/UNSAT): 40985(21399/19586)
Jun 01, 2017 8:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/3137 took 174460 ms. Total solver calls (SAT/UNSAT): 41274(21532/19742)
Jun 01, 2017 8:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/3137 took 175500 ms. Total solver calls (SAT/UNSAT): 41557(21665/19892)
Jun 01, 2017 8:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/3137 took 176601 ms. Total solver calls (SAT/UNSAT): 41827(21803/20024)
Jun 01, 2017 8:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/3137 took 177625 ms. Total solver calls (SAT/UNSAT): 42035(21927/20108)
Jun 01, 2017 8:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/3137 took 178653 ms. Total solver calls (SAT/UNSAT): 42249(22051/20198)
Jun 01, 2017 8:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/3137 took 179679 ms. Total solver calls (SAT/UNSAT): 42457(22175/20282)
Jun 01, 2017 8:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/3137 took 180705 ms. Total solver calls (SAT/UNSAT): 42671(22299/20372)
Jun 01, 2017 8:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/3137 took 181730 ms. Total solver calls (SAT/UNSAT): 42891(22423/20468)
Jun 01, 2017 8:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/3137 took 182764 ms. Total solver calls (SAT/UNSAT): 43111(22547/20564)
Jun 01, 2017 8:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/3137 took 183792 ms. Total solver calls (SAT/UNSAT): 43331(22671/20660)
Jun 01, 2017 8:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/3137 took 184819 ms. Total solver calls (SAT/UNSAT): 43551(22795/20756)
Jun 01, 2017 8:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/3137 took 185840 ms. Total solver calls (SAT/UNSAT): 43771(22919/20852)
Jun 01, 2017 8:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/3137 took 187039 ms. Total solver calls (SAT/UNSAT): 44046(23074/20972)
Jun 01, 2017 8:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/3137 took 188236 ms. Total solver calls (SAT/UNSAT): 44321(23229/21092)
Jun 01, 2017 8:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/3137 took 189416 ms. Total solver calls (SAT/UNSAT): 44596(23384/21212)
Jun 01, 2017 8:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/3137 took 190599 ms. Total solver calls (SAT/UNSAT): 44871(23539/21332)
Jun 01, 2017 8:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/3137 took 191782 ms. Total solver calls (SAT/UNSAT): 45146(23694/21452)
Jun 01, 2017 8:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/3137 took 192969 ms. Total solver calls (SAT/UNSAT): 45421(23849/21572)
Jun 01, 2017 8:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/3137 took 194163 ms. Total solver calls (SAT/UNSAT): 45696(24004/21692)
Jun 01, 2017 8:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/3137 took 195355 ms. Total solver calls (SAT/UNSAT): 45971(24159/21812)
Jun 01, 2017 8:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/3137 took 196538 ms. Total solver calls (SAT/UNSAT): 46246(24314/21932)
Jun 01, 2017 8:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/3137 took 197720 ms. Total solver calls (SAT/UNSAT): 46521(24469/22052)
Jun 01, 2017 8:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/3137 took 198902 ms. Total solver calls (SAT/UNSAT): 46796(24624/22172)
Jun 01, 2017 8:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/3137 took 200086 ms. Total solver calls (SAT/UNSAT): 47071(24779/22292)
Jun 01, 2017 8:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/3137 took 201265 ms. Total solver calls (SAT/UNSAT): 47346(24934/22412)
Jun 01, 2017 8:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/3137 took 202447 ms. Total solver calls (SAT/UNSAT): 47621(25089/22532)
Jun 01, 2017 8:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :853/3137 took 203628 ms. Total solver calls (SAT/UNSAT): 47896(25244/22652)
Jun 01, 2017 8:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/3137 took 204816 ms. Total solver calls (SAT/UNSAT): 48159(25399/22760)
Jun 01, 2017 8:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :863/3137 took 206005 ms. Total solver calls (SAT/UNSAT): 48422(25554/22868)
Jun 01, 2017 8:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/3137 took 207196 ms. Total solver calls (SAT/UNSAT): 48685(25709/22976)
Jun 01, 2017 8:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/3137 took 208221 ms. Total solver calls (SAT/UNSAT): 48968(25842/23126)
Jun 01, 2017 8:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :882/3137 took 209254 ms. Total solver calls (SAT/UNSAT): 49257(25975/23282)
Jun 01, 2017 8:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :889/3137 took 210371 ms. Total solver calls (SAT/UNSAT): 49552(26120/23432)
Jun 01, 2017 8:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :894/3137 took 211545 ms. Total solver calls (SAT/UNSAT): 49815(26275/23540)
Jun 01, 2017 8:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :899/3137 took 212719 ms. Total solver calls (SAT/UNSAT): 50078(26430/23648)
Jun 01, 2017 8:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/3137 took 213895 ms. Total solver calls (SAT/UNSAT): 50341(26585/23756)
Jun 01, 2017 8:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/3137 took 215101 ms. Total solver calls (SAT/UNSAT): 50616(26740/23876)
Jun 01, 2017 8:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :914/3137 took 216293 ms. Total solver calls (SAT/UNSAT): 50891(26895/23996)
Jun 01, 2017 8:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/3137 took 217485 ms. Total solver calls (SAT/UNSAT): 51166(27050/24116)
Jun 01, 2017 8:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3137 took 218668 ms. Total solver calls (SAT/UNSAT): 51441(27205/24236)
Jun 01, 2017 8:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/3137 took 219846 ms. Total solver calls (SAT/UNSAT): 51716(27360/24356)
Jun 01, 2017 8:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :934/3137 took 221023 ms. Total solver calls (SAT/UNSAT): 51991(27515/24476)
Jun 01, 2017 8:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/3137 took 222209 ms. Total solver calls (SAT/UNSAT): 52266(27670/24596)
Jun 01, 2017 8:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/3137 took 223401 ms. Total solver calls (SAT/UNSAT): 52541(27825/24716)
Jun 01, 2017 8:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :949/3137 took 224591 ms. Total solver calls (SAT/UNSAT): 52816(27980/24836)
Jun 01, 2017 8:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :954/3137 took 225786 ms. Total solver calls (SAT/UNSAT): 53091(28135/24956)
Jun 01, 2017 8:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/3137 took 226980 ms. Total solver calls (SAT/UNSAT): 53366(28290/25076)
Jun 01, 2017 8:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/3137 took 228174 ms. Total solver calls (SAT/UNSAT): 53641(28445/25196)
Jun 01, 2017 8:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :969/3137 took 229349 ms. Total solver calls (SAT/UNSAT): 53916(28600/25316)
Jun 01, 2017 8:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :974/3137 took 230524 ms. Total solver calls (SAT/UNSAT): 54191(28755/25436)
Jun 01, 2017 8:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :979/3137 took 231699 ms. Total solver calls (SAT/UNSAT): 54466(28910/25556)
Jun 01, 2017 8:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3137 took 232874 ms. Total solver calls (SAT/UNSAT): 54741(29065/25676)
Jun 01, 2017 8:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :989/3137 took 234049 ms. Total solver calls (SAT/UNSAT): 55016(29220/25796)
Jun 01, 2017 8:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/3137 took 235222 ms. Total solver calls (SAT/UNSAT): 55291(29375/25916)
Jun 01, 2017 8:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/3137 took 236397 ms. Total solver calls (SAT/UNSAT): 55566(29530/26036)
Jun 01, 2017 8:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3137 took 237564 ms. Total solver calls (SAT/UNSAT): 55835(29685/26150)
Jun 01, 2017 8:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1009/3137 took 238727 ms. Total solver calls (SAT/UNSAT): 56098(29840/26258)
Jun 01, 2017 8:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/3137 took 239892 ms. Total solver calls (SAT/UNSAT): 56361(29995/26366)
Jun 01, 2017 8:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3137 took 240938 ms. Total solver calls (SAT/UNSAT): 56631(30133/26498)
Jun 01, 2017 8:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1027/3137 took 241954 ms. Total solver calls (SAT/UNSAT): 56914(30266/26648)
Jun 01, 2017 8:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/3137 took 242970 ms. Total solver calls (SAT/UNSAT): 57197(30399/26798)
Jun 01, 2017 8:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3137 took 244193 ms. Total solver calls (SAT/UNSAT): 57491(30561/26930)
Jun 01, 2017 8:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1045/3137 took 245352 ms. Total solver calls (SAT/UNSAT): 57738(30716/27022)
Jun 01, 2017 8:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/3137 took 246514 ms. Total solver calls (SAT/UNSAT): 57995(30871/27124)
Jun 01, 2017 8:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1055/3137 took 247682 ms. Total solver calls (SAT/UNSAT): 58254(31026/27228)
Jun 01, 2017 8:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3137 took 248850 ms. Total solver calls (SAT/UNSAT): 58511(31181/27330)
Jun 01, 2017 8:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1065/3137 took 250019 ms. Total solver calls (SAT/UNSAT): 58786(31336/27450)
Jun 01, 2017 8:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/3137 took 251182 ms. Total solver calls (SAT/UNSAT): 59043(31491/27552)
Jun 01, 2017 8:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1075/3137 took 252342 ms. Total solver calls (SAT/UNSAT): 59306(31646/27660)
Jun 01, 2017 8:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/3137 took 253460 ms. Total solver calls (SAT/UNSAT): 59575(31801/27774)
Jun 01, 2017 8:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1085/3137 took 254567 ms. Total solver calls (SAT/UNSAT): 59832(31956/27876)
Jun 01, 2017 8:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1090/3137 took 255735 ms. Total solver calls (SAT/UNSAT): 60101(32111/27990)
Jun 01, 2017 8:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1095/3137 took 256925 ms. Total solver calls (SAT/UNSAT): 60364(32266/28098)
Jun 01, 2017 8:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/3137 took 258111 ms. Total solver calls (SAT/UNSAT): 60621(32421/28200)
Jun 01, 2017 8:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1105/3137 took 259315 ms. Total solver calls (SAT/UNSAT): 60896(32576/28320)
Jun 01, 2017 8:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/3137 took 260516 ms. Total solver calls (SAT/UNSAT): 61153(32731/28422)
Jun 01, 2017 8:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1115/3137 took 261716 ms. Total solver calls (SAT/UNSAT): 61416(32886/28530)
Jun 01, 2017 8:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/3137 took 262914 ms. Total solver calls (SAT/UNSAT): 61685(33041/28644)
Jun 01, 2017 8:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1125/3137 took 264108 ms. Total solver calls (SAT/UNSAT): 61942(33196/28746)
Jun 01, 2017 8:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/3137 took 265305 ms. Total solver calls (SAT/UNSAT): 62211(33351/28860)
Jun 01, 2017 8:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/3137 took 266501 ms. Total solver calls (SAT/UNSAT): 62474(33506/28968)
Jun 01, 2017 8:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/3137 took 267696 ms. Total solver calls (SAT/UNSAT): 62731(33661/29070)
Jun 01, 2017 8:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1145/3137 took 268896 ms. Total solver calls (SAT/UNSAT): 63006(33816/29190)
Jun 01, 2017 8:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1150/3137 took 270093 ms. Total solver calls (SAT/UNSAT): 63263(33971/29292)
Jun 01, 2017 8:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1155/3137 took 271292 ms. Total solver calls (SAT/UNSAT): 63514(34126/29388)
Jun 01, 2017 8:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3137 took 272494 ms. Total solver calls (SAT/UNSAT): 63773(34281/29492)
Jun 01, 2017 8:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1165/3137 took 273596 ms. Total solver calls (SAT/UNSAT): 64008(34424/29584)
Jun 01, 2017 8:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1172/3137 took 274628 ms. Total solver calls (SAT/UNSAT): 64281(34557/29724)
Jun 01, 2017 8:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/3137 took 275660 ms. Total solver calls (SAT/UNSAT): 64544(34690/29854)
Jun 01, 2017 8:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1186/3137 took 276691 ms. Total solver calls (SAT/UNSAT): 64823(34823/30000)
Jun 01, 2017 8:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1193/3137 took 277717 ms. Total solver calls (SAT/UNSAT): 65090(34956/30134)
Jun 01, 2017 8:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1200/3137 took 278750 ms. Total solver calls (SAT/UNSAT): 65369(35089/30280)
Jun 01, 2017 8:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1207/3137 took 279786 ms. Total solver calls (SAT/UNSAT): 65658(35222/30436)
Jun 01, 2017 8:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1214/3137 took 280820 ms. Total solver calls (SAT/UNSAT): 65935(35355/30580)
Jun 01, 2017 8:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1221/3137 took 281852 ms. Total solver calls (SAT/UNSAT): 66224(35488/30736)
Jun 01, 2017 8:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/3137 took 282884 ms. Total solver calls (SAT/UNSAT): 66507(35621/30886)
Jun 01, 2017 8:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1235/3137 took 283918 ms. Total solver calls (SAT/UNSAT): 66790(35754/31036)
Jun 01, 2017 8:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1242/3137 took 284951 ms. Total solver calls (SAT/UNSAT): 67079(35887/31192)
Jun 01, 2017 8:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/3137 took 285981 ms. Total solver calls (SAT/UNSAT): 67356(36020/31336)
Jun 01, 2017 8:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/3137 took 287008 ms. Total solver calls (SAT/UNSAT): 67645(36153/31492)
Jun 01, 2017 8:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/3137 took 288048 ms. Total solver calls (SAT/UNSAT): 67912(36286/31626)
Jun 01, 2017 8:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1274/3137 took 289071 ms. Total solver calls (SAT/UNSAT): 68259(36415/31844)
Jun 01, 2017 8:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1282/3137 took 290120 ms. Total solver calls (SAT/UNSAT): 68553(36551/32002)
Jun 01, 2017 8:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/3137 took 291151 ms. Total solver calls (SAT/UNSAT): 68832(36684/32148)
Jun 01, 2017 8:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1296/3137 took 292202 ms. Total solver calls (SAT/UNSAT): 69109(36817/32292)
Jun 01, 2017 8:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1303/3137 took 293235 ms. Total solver calls (SAT/UNSAT): 69398(36950/32448)
Jun 01, 2017 8:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1310/3137 took 294273 ms. Total solver calls (SAT/UNSAT): 69681(37083/32598)
Jun 01, 2017 8:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/3137 took 295317 ms. Total solver calls (SAT/UNSAT): 69964(37216/32748)
Jun 01, 2017 8:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/3137 took 296361 ms. Total solver calls (SAT/UNSAT): 70253(37349/32904)
Jun 01, 2017 8:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1331/3137 took 297398 ms. Total solver calls (SAT/UNSAT): 70530(37482/33048)
Jun 01, 2017 8:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1338/3137 took 298438 ms. Total solver calls (SAT/UNSAT): 70819(37615/33204)
Jun 01, 2017 8:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/3137 took 299480 ms. Total solver calls (SAT/UNSAT): 71102(37748/33354)
Jun 01, 2017 8:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/3137 took 300514 ms. Total solver calls (SAT/UNSAT): 71375(37881/33494)
Jun 01, 2017 8:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/3137 took 301548 ms. Total solver calls (SAT/UNSAT): 71682(38012/33670)
Jun 01, 2017 8:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1370/3137 took 302646 ms. Total solver calls (SAT/UNSAT): 72001(38151/33850)
Jun 01, 2017 8:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1375/3137 took 303843 ms. Total solver calls (SAT/UNSAT): 72258(38306/33952)
Jun 01, 2017 8:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1380/3137 took 305049 ms. Total solver calls (SAT/UNSAT): 72517(38461/34056)
Jun 01, 2017 8:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/3137 took 306052 ms. Total solver calls (SAT/UNSAT): 72709(38585/34124)
Jun 01, 2017 8:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1389/3137 took 307286 ms. Total solver calls (SAT/UNSAT): 72984(38740/34244)
Jun 01, 2017 8:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1394/3137 took 308469 ms. Total solver calls (SAT/UNSAT): 73241(38895/34346)
Jun 01, 2017 8:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1399/3137 took 309655 ms. Total solver calls (SAT/UNSAT): 73504(39050/34454)
Jun 01, 2017 8:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1404/3137 took 310844 ms. Total solver calls (SAT/UNSAT): 73773(39205/34568)
Jun 01, 2017 8:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1409/3137 took 312030 ms. Total solver calls (SAT/UNSAT): 74030(39360/34670)
Jun 01, 2017 8:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1414/3137 took 313218 ms. Total solver calls (SAT/UNSAT): 74299(39515/34784)
Jun 01, 2017 8:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1419/3137 took 314405 ms. Total solver calls (SAT/UNSAT): 74562(39670/34892)
Jun 01, 2017 8:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1424/3137 took 315596 ms. Total solver calls (SAT/UNSAT): 74819(39825/34994)
Jun 01, 2017 8:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/3137 took 316796 ms. Total solver calls (SAT/UNSAT): 75094(39980/35114)
Jun 01, 2017 8:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1434/3137 took 317993 ms. Total solver calls (SAT/UNSAT): 75351(40135/35216)
Jun 01, 2017 8:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1439/3137 took 319195 ms. Total solver calls (SAT/UNSAT): 75614(40290/35324)
Jun 01, 2017 8:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1444/3137 took 320399 ms. Total solver calls (SAT/UNSAT): 75883(40445/35438)
Jun 01, 2017 8:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1449/3137 took 321599 ms. Total solver calls (SAT/UNSAT): 76140(40600/35540)
Jun 01, 2017 8:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1454/3137 took 322801 ms. Total solver calls (SAT/UNSAT): 76409(40755/35654)
Jun 01, 2017 8:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1459/3137 took 324005 ms. Total solver calls (SAT/UNSAT): 76672(40910/35762)
Jun 01, 2017 8:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1464/3137 took 325209 ms. Total solver calls (SAT/UNSAT): 76929(41065/35864)
Jun 01, 2017 8:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1469/3137 took 326411 ms. Total solver calls (SAT/UNSAT): 77204(41220/35984)
Jun 01, 2017 8:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1474/3137 took 327610 ms. Total solver calls (SAT/UNSAT): 77461(41375/36086)
Jun 01, 2017 8:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1479/3137 took 328809 ms. Total solver calls (SAT/UNSAT): 77724(41530/36194)
Jun 01, 2017 8:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1484/3137 took 329983 ms. Total solver calls (SAT/UNSAT): 77987(41685/36302)
Jun 01, 2017 8:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/3137 took 331150 ms. Total solver calls (SAT/UNSAT): 78234(41840/36394)
Jun 01, 2017 8:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1494/3137 took 332322 ms. Total solver calls (SAT/UNSAT): 78491(41995/36496)
Jun 01, 2017 8:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1500/3137 took 333376 ms. Total solver calls (SAT/UNSAT): 78745(42133/36612)
Jun 01, 2017 8:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1507/3137 took 334401 ms. Total solver calls (SAT/UNSAT): 79014(42266/36748)
Jun 01, 2017 8:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1514/3137 took 335456 ms. Total solver calls (SAT/UNSAT): 79287(42399/36888)
Jun 01, 2017 8:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1519/3137 took 336502 ms. Total solver calls (SAT/UNSAT): 79516(42530/36986)
Jun 01, 2017 8:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1524/3137 took 337740 ms. Total solver calls (SAT/UNSAT): 79779(42685/37094)
Jun 01, 2017 8:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1529/3137 took 338984 ms. Total solver calls (SAT/UNSAT): 80042(42840/37202)
Jun 01, 2017 8:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1534/3137 took 340219 ms. Total solver calls (SAT/UNSAT): 80311(42995/37316)
Jun 01, 2017 8:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1539/3137 took 341456 ms. Total solver calls (SAT/UNSAT): 80586(43150/37436)
Jun 01, 2017 8:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/3137 took 342682 ms. Total solver calls (SAT/UNSAT): 80861(43305/37556)
Jun 01, 2017 8:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/3137 took 343905 ms. Total solver calls (SAT/UNSAT): 81136(43460/37676)
Jun 01, 2017 8:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1554/3137 took 345132 ms. Total solver calls (SAT/UNSAT): 81411(43615/37796)
Jun 01, 2017 8:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1559/3137 took 346362 ms. Total solver calls (SAT/UNSAT): 81686(43770/37916)
Jun 01, 2017 8:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1564/3137 took 347585 ms. Total solver calls (SAT/UNSAT): 81961(43925/38036)
Jun 01, 2017 8:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1569/3137 took 348816 ms. Total solver calls (SAT/UNSAT): 82236(44080/38156)
Jun 01, 2017 8:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1574/3137 took 350047 ms. Total solver calls (SAT/UNSAT): 82511(44235/38276)
Jun 01, 2017 8:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1579/3137 took 351279 ms. Total solver calls (SAT/UNSAT): 82786(44390/38396)
Jun 01, 2017 8:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3137 took 352501 ms. Total solver calls (SAT/UNSAT): 83061(44545/38516)
Jun 01, 2017 8:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1589/3137 took 353719 ms. Total solver calls (SAT/UNSAT): 83336(44700/38636)
Jun 01, 2017 8:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1594/3137 took 354936 ms. Total solver calls (SAT/UNSAT): 83611(44855/38756)
Jun 01, 2017 8:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1599/3137 took 356162 ms. Total solver calls (SAT/UNSAT): 83886(45010/38876)
Jun 01, 2017 8:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3137 took 357382 ms. Total solver calls (SAT/UNSAT): 84161(45165/38996)
Jun 01, 2017 8:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1609/3137 took 358593 ms. Total solver calls (SAT/UNSAT): 84436(45320/39116)
Jun 01, 2017 8:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1614/3137 took 359798 ms. Total solver calls (SAT/UNSAT): 84711(45475/39236)
Jun 01, 2017 8:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1619/3137 took 360995 ms. Total solver calls (SAT/UNSAT): 84986(45630/39356)
Jun 01, 2017 8:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3137 took 362197 ms. Total solver calls (SAT/UNSAT): 85261(45785/39476)
Jun 01, 2017 8:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1629/3137 took 363396 ms. Total solver calls (SAT/UNSAT): 85536(45940/39596)
Jun 01, 2017 8:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1634/3137 took 364594 ms. Total solver calls (SAT/UNSAT): 85799(46095/39704)
Jun 01, 2017 8:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1639/3137 took 365794 ms. Total solver calls (SAT/UNSAT): 86062(46250/39812)
Jun 01, 2017 8:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1644/3137 took 366995 ms. Total solver calls (SAT/UNSAT): 86325(46405/39920)
Jun 01, 2017 8:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1651/3137 took 368046 ms. Total solver calls (SAT/UNSAT): 86608(46538/40070)
Jun 01, 2017 8:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1658/3137 took 369103 ms. Total solver calls (SAT/UNSAT): 86897(46671/40226)
Jun 01, 2017 8:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1665/3137 took 370259 ms. Total solver calls (SAT/UNSAT): 87192(46816/40376)
Jun 01, 2017 8:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1670/3137 took 371476 ms. Total solver calls (SAT/UNSAT): 87455(46971/40484)
Jun 01, 2017 8:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1675/3137 took 372696 ms. Total solver calls (SAT/UNSAT): 87718(47126/40592)
Jun 01, 2017 8:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/3137 took 373916 ms. Total solver calls (SAT/UNSAT): 87981(47281/40700)
Jun 01, 2017 8:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1685/3137 took 375168 ms. Total solver calls (SAT/UNSAT): 88256(47436/40820)
Jun 01, 2017 8:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1690/3137 took 376398 ms. Total solver calls (SAT/UNSAT): 88531(47591/40940)
Jun 01, 2017 8:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1695/3137 took 377620 ms. Total solver calls (SAT/UNSAT): 88806(47746/41060)
Jun 01, 2017 8:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1700/3137 took 378843 ms. Total solver calls (SAT/UNSAT): 89081(47901/41180)
Jun 01, 2017 8:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1705/3137 took 380065 ms. Total solver calls (SAT/UNSAT): 89356(48056/41300)
Jun 01, 2017 8:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1710/3137 took 381295 ms. Total solver calls (SAT/UNSAT): 89631(48211/41420)
Jun 01, 2017 8:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1715/3137 took 382514 ms. Total solver calls (SAT/UNSAT): 89906(48366/41540)
Jun 01, 2017 8:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1720/3137 took 383725 ms. Total solver calls (SAT/UNSAT): 90181(48521/41660)
Jun 01, 2017 8:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1725/3137 took 384927 ms. Total solver calls (SAT/UNSAT): 90456(48676/41780)
Jun 01, 2017 8:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1730/3137 took 386128 ms. Total solver calls (SAT/UNSAT): 90731(48831/41900)
Jun 01, 2017 8:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1735/3137 took 387342 ms. Total solver calls (SAT/UNSAT): 91006(48986/42020)
Jun 01, 2017 8:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1740/3137 took 388570 ms. Total solver calls (SAT/UNSAT): 91281(49141/42140)
Jun 01, 2017 8:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1745/3137 took 389790 ms. Total solver calls (SAT/UNSAT): 91556(49296/42260)
Jun 01, 2017 8:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/3137 took 390999 ms. Total solver calls (SAT/UNSAT): 91831(49451/42380)
Jun 01, 2017 8:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1755/3137 took 392209 ms. Total solver calls (SAT/UNSAT): 92106(49606/42500)
Jun 01, 2017 8:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1760/3137 took 393416 ms. Total solver calls (SAT/UNSAT): 92381(49761/42620)
Jun 01, 2017 8:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1765/3137 took 394627 ms. Total solver calls (SAT/UNSAT): 92656(49916/42740)
Jun 01, 2017 8:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1770/3137 took 395837 ms. Total solver calls (SAT/UNSAT): 92931(50071/42860)
Jun 01, 2017 8:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1775/3137 took 397045 ms. Total solver calls (SAT/UNSAT): 93206(50226/42980)
Jun 01, 2017 8:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1780/3137 took 398250 ms. Total solver calls (SAT/UNSAT): 93475(50381/43094)
Jun 01, 2017 8:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1785/3137 took 399452 ms. Total solver calls (SAT/UNSAT): 93738(50536/43202)
Jun 01, 2017 8:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1790/3137 took 400657 ms. Total solver calls (SAT/UNSAT): 94001(50691/43310)
Jun 01, 2017 8:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1796/3137 took 401743 ms. Total solver calls (SAT/UNSAT): 94271(50829/43442)
Jun 01, 2017 8:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1803/3137 took 402796 ms. Total solver calls (SAT/UNSAT): 94554(50962/43592)
Jun 01, 2017 8:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1810/3137 took 403844 ms. Total solver calls (SAT/UNSAT): 94837(51095/43742)
Jun 01, 2017 8:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1815/3137 took 404860 ms. Total solver calls (SAT/UNSAT): 95076(51226/43850)
Jun 01, 2017 8:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1820/3137 took 406054 ms. Total solver calls (SAT/UNSAT): 95339(51381/43958)
Jun 01, 2017 8:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1825/3137 took 407251 ms. Total solver calls (SAT/UNSAT): 95602(51536/44066)
Jun 01, 2017 8:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1830/3137 took 408448 ms. Total solver calls (SAT/UNSAT): 95871(51691/44180)
Jun 01, 2017 8:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1835/3137 took 409650 ms. Total solver calls (SAT/UNSAT): 96146(51846/44300)
Jun 01, 2017 8:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1840/3137 took 410856 ms. Total solver calls (SAT/UNSAT): 96421(52001/44420)
Jun 01, 2017 8:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1845/3137 took 412066 ms. Total solver calls (SAT/UNSAT): 96696(52156/44540)
Jun 01, 2017 8:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1850/3137 took 413285 ms. Total solver calls (SAT/UNSAT): 96971(52311/44660)
Jun 01, 2017 8:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1855/3137 took 414510 ms. Total solver calls (SAT/UNSAT): 97246(52466/44780)
Jun 01, 2017 8:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1860/3137 took 415724 ms. Total solver calls (SAT/UNSAT): 97521(52621/44900)
Jun 01, 2017 8:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1865/3137 took 416932 ms. Total solver calls (SAT/UNSAT): 97796(52776/45020)
Jun 01, 2017 8:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1870/3137 took 418140 ms. Total solver calls (SAT/UNSAT): 98071(52931/45140)
Jun 01, 2017 8:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1875/3137 took 419350 ms. Total solver calls (SAT/UNSAT): 98346(53086/45260)
Jun 01, 2017 8:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1880/3137 took 420553 ms. Total solver calls (SAT/UNSAT): 98621(53241/45380)
Jun 01, 2017 8:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1885/3137 took 421751 ms. Total solver calls (SAT/UNSAT): 98896(53396/45500)
Jun 01, 2017 8:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1890/3137 took 422936 ms. Total solver calls (SAT/UNSAT): 99171(53551/45620)
Jun 01, 2017 8:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1895/3137 took 424124 ms. Total solver calls (SAT/UNSAT): 99446(53706/45740)
Jun 01, 2017 8:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3137 took 425324 ms. Total solver calls (SAT/UNSAT): 99721(53861/45860)
Jun 01, 2017 8:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1904/3137 took 426335 ms. Total solver calls (SAT/UNSAT): 99941(53985/45956)
Jun 01, 2017 8:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1908/3137 took 427346 ms. Total solver calls (SAT/UNSAT): 100161(54109/46052)
Jun 01, 2017 8:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1912/3137 took 428358 ms. Total solver calls (SAT/UNSAT): 100381(54233/46148)
Jun 01, 2017 8:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1916/3137 took 429369 ms. Total solver calls (SAT/UNSAT): 100601(54357/46244)
Jun 01, 2017 8:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1920/3137 took 430382 ms. Total solver calls (SAT/UNSAT): 100821(54481/46340)
Jun 01, 2017 8:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1924/3137 took 431393 ms. Total solver calls (SAT/UNSAT): 101041(54605/46436)
Jun 01, 2017 8:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1928/3137 took 432414 ms. Total solver calls (SAT/UNSAT): 101255(54729/46526)
Jun 01, 2017 8:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1932/3137 took 433427 ms. Total solver calls (SAT/UNSAT): 101463(54853/46610)
Jun 01, 2017 8:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1936/3137 took 434450 ms. Total solver calls (SAT/UNSAT): 101677(54977/46700)
Jun 01, 2017 8:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1940/3137 took 435469 ms. Total solver calls (SAT/UNSAT): 101885(55101/46784)
Jun 01, 2017 8:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1947/3137 took 436499 ms. Total solver calls (SAT/UNSAT): 102168(55234/46934)
Jun 01, 2017 8:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1954/3137 took 437518 ms. Total solver calls (SAT/UNSAT): 102457(55367/47090)
Jun 01, 2017 8:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1961/3137 took 438623 ms. Total solver calls (SAT/UNSAT): 102752(55512/47240)
Jun 01, 2017 8:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1966/3137 took 439804 ms. Total solver calls (SAT/UNSAT): 103015(55667/47348)
Jun 01, 2017 8:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1971/3137 took 440997 ms. Total solver calls (SAT/UNSAT): 103278(55822/47456)
Jun 01, 2017 8:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1976/3137 took 442187 ms. Total solver calls (SAT/UNSAT): 103541(55977/47564)
Jun 01, 2017 8:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1981/3137 took 443387 ms. Total solver calls (SAT/UNSAT): 103816(56132/47684)
Jun 01, 2017 8:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1986/3137 took 444593 ms. Total solver calls (SAT/UNSAT): 104091(56287/47804)
Jun 01, 2017 8:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1991/3137 took 445798 ms. Total solver calls (SAT/UNSAT): 104366(56442/47924)
Jun 01, 2017 8:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1996/3137 took 447002 ms. Total solver calls (SAT/UNSAT): 104641(56597/48044)
Jun 01, 2017 8:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2001/3137 took 448205 ms. Total solver calls (SAT/UNSAT): 104916(56752/48164)
Jun 01, 2017 8:10:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2006/3137 took 449410 ms. Total solver calls (SAT/UNSAT): 105191(56907/48284)
Jun 01, 2017 8:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2011/3137 took 450608 ms. Total solver calls (SAT/UNSAT): 105466(57062/48404)
Jun 01, 2017 8:10:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2016/3137 took 451806 ms. Total solver calls (SAT/UNSAT): 105741(57217/48524)
Jun 01, 2017 8:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2021/3137 took 453003 ms. Total solver calls (SAT/UNSAT): 106016(57372/48644)
Jun 01, 2017 8:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2026/3137 took 454202 ms. Total solver calls (SAT/UNSAT): 106291(57527/48764)
Jun 01, 2017 8:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2031/3137 took 455405 ms. Total solver calls (SAT/UNSAT): 106566(57682/48884)
Jun 01, 2017 8:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2036/3137 took 456609 ms. Total solver calls (SAT/UNSAT): 106841(57837/49004)
Jun 01, 2017 8:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2041/3137 took 457812 ms. Total solver calls (SAT/UNSAT): 107116(57992/49124)
Jun 01, 2017 8:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2046/3137 took 459007 ms. Total solver calls (SAT/UNSAT): 107391(58147/49244)
Jun 01, 2017 8:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2051/3137 took 460203 ms. Total solver calls (SAT/UNSAT): 107666(58302/49364)
Jun 01, 2017 8:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2056/3137 took 461403 ms. Total solver calls (SAT/UNSAT): 107941(58457/49484)
Jun 01, 2017 8:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2061/3137 took 462602 ms. Total solver calls (SAT/UNSAT): 108216(58612/49604)
Jun 01, 2017 8:11:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2066/3137 took 463773 ms. Total solver calls (SAT/UNSAT): 108491(58767/49724)
Jun 01, 2017 8:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2071/3137 took 464945 ms. Total solver calls (SAT/UNSAT): 108766(58922/49844)
Jun 01, 2017 8:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2076/3137 took 466116 ms. Total solver calls (SAT/UNSAT): 109035(59077/49958)
Jun 01, 2017 8:11:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2081/3137 took 467283 ms. Total solver calls (SAT/UNSAT): 109298(59232/50066)
Jun 01, 2017 8:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2086/3137 took 468452 ms. Total solver calls (SAT/UNSAT): 109561(59387/50174)
Jun 01, 2017 8:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2092/3137 took 469501 ms. Total solver calls (SAT/UNSAT): 109831(59525/50306)
Jun 01, 2017 8:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2099/3137 took 470522 ms. Total solver calls (SAT/UNSAT): 110114(59658/50456)
Jun 01, 2017 8:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2106/3137 took 471545 ms. Total solver calls (SAT/UNSAT): 110397(59791/50606)
Jun 01, 2017 8:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2112/3137 took 472777 ms. Total solver calls (SAT/UNSAT): 110691(59953/50738)
Jun 01, 2017 8:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2117/3137 took 473950 ms. Total solver calls (SAT/UNSAT): 110954(60108/50846)
Jun 01, 2017 8:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2122/3137 took 475123 ms. Total solver calls (SAT/UNSAT): 111217(60263/50954)
Jun 01, 2017 8:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2127/3137 took 476299 ms. Total solver calls (SAT/UNSAT): 111486(60418/51068)
Jun 01, 2017 8:11:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2132/3137 took 477475 ms. Total solver calls (SAT/UNSAT): 111761(60573/51188)
Jun 01, 2017 8:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2137/3137 took 478652 ms. Total solver calls (SAT/UNSAT): 112036(60728/51308)
Jun 01, 2017 8:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3137 took 479829 ms. Total solver calls (SAT/UNSAT): 112311(60883/51428)
Jun 01, 2017 8:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2147/3137 took 481007 ms. Total solver calls (SAT/UNSAT): 112586(61038/51548)
Jun 01, 2017 8:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2152/3137 took 482184 ms. Total solver calls (SAT/UNSAT): 112861(61193/51668)
Jun 01, 2017 8:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2157/3137 took 483360 ms. Total solver calls (SAT/UNSAT): 113136(61348/51788)
Jun 01, 2017 8:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2162/3137 took 484526 ms. Total solver calls (SAT/UNSAT): 113411(61503/51908)
Jun 01, 2017 8:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2167/3137 took 485691 ms. Total solver calls (SAT/UNSAT): 113686(61658/52028)
Jun 01, 2017 8:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2172/3137 took 486856 ms. Total solver calls (SAT/UNSAT): 113961(61813/52148)
Jun 01, 2017 8:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2177/3137 took 488033 ms. Total solver calls (SAT/UNSAT): 114236(61968/52268)
Jun 01, 2017 8:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2182/3137 took 489209 ms. Total solver calls (SAT/UNSAT): 114511(62123/52388)
Jun 01, 2017 8:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2187/3137 took 490386 ms. Total solver calls (SAT/UNSAT): 114786(62278/52508)
Jun 01, 2017 8:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2192/3137 took 491553 ms. Total solver calls (SAT/UNSAT): 115061(62433/52628)
Jun 01, 2017 8:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2197/3137 took 492717 ms. Total solver calls (SAT/UNSAT): 115336(62588/52748)
Jun 01, 2017 8:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2202/3137 took 493881 ms. Total solver calls (SAT/UNSAT): 115611(62743/52868)
Jun 01, 2017 8:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2207/3137 took 495045 ms. Total solver calls (SAT/UNSAT): 115886(62898/52988)
Jun 01, 2017 8:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2212/3137 took 496210 ms. Total solver calls (SAT/UNSAT): 116161(63053/53108)
Jun 01, 2017 8:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2217/3137 took 497375 ms. Total solver calls (SAT/UNSAT): 116436(63208/53228)
Jun 01, 2017 8:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2222/3137 took 498545 ms. Total solver calls (SAT/UNSAT): 116711(63363/53348)
Jun 01, 2017 8:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2227/3137 took 499719 ms. Total solver calls (SAT/UNSAT): 116974(63518/53456)
Jun 01, 2017 8:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2232/3137 took 500892 ms. Total solver calls (SAT/UNSAT): 117237(63673/53564)
Jun 01, 2017 8:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2237/3137 took 501975 ms. Total solver calls (SAT/UNSAT): 117488(63816/53672)
Jun 01, 2017 8:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2244/3137 took 502988 ms. Total solver calls (SAT/UNSAT): 117771(63949/53822)
Jun 01, 2017 8:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2251/3137 took 504006 ms. Total solver calls (SAT/UNSAT): 118054(64082/53972)
Jun 01, 2017 8:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2258/3137 took 505200 ms. Total solver calls (SAT/UNSAT): 118367(64239/54128)
Jun 01, 2017 8:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2263/3137 took 506361 ms. Total solver calls (SAT/UNSAT): 118630(64394/54236)
Jun 01, 2017 8:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2268/3137 took 507522 ms. Total solver calls (SAT/UNSAT): 118893(64549/54344)
Jun 01, 2017 8:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2273/3137 took 508686 ms. Total solver calls (SAT/UNSAT): 119156(64704/54452)
Jun 01, 2017 8:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2278/3137 took 509863 ms. Total solver calls (SAT/UNSAT): 119431(64859/54572)
Jun 01, 2017 8:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2283/3137 took 511040 ms. Total solver calls (SAT/UNSAT): 119706(65014/54692)
Jun 01, 2017 8:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2288/3137 took 512218 ms. Total solver calls (SAT/UNSAT): 119981(65169/54812)
Jun 01, 2017 8:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2293/3137 took 513383 ms. Total solver calls (SAT/UNSAT): 120256(65324/54932)
Jun 01, 2017 8:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2298/3137 took 514548 ms. Total solver calls (SAT/UNSAT): 120531(65479/55052)
Jun 01, 2017 8:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2303/3137 took 515713 ms. Total solver calls (SAT/UNSAT): 120806(65634/55172)
Jun 01, 2017 8:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2308/3137 took 516888 ms. Total solver calls (SAT/UNSAT): 121081(65789/55292)
Jun 01, 2017 8:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2313/3137 took 518065 ms. Total solver calls (SAT/UNSAT): 121356(65944/55412)
Jun 01, 2017 8:12:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2318/3137 took 519242 ms. Total solver calls (SAT/UNSAT): 121631(66099/55532)
Jun 01, 2017 8:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2323/3137 took 520421 ms. Total solver calls (SAT/UNSAT): 121906(66254/55652)
Jun 01, 2017 8:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2328/3137 took 521598 ms. Total solver calls (SAT/UNSAT): 122181(66409/55772)
Jun 01, 2017 8:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2333/3137 took 522775 ms. Total solver calls (SAT/UNSAT): 122456(66564/55892)
Jun 01, 2017 8:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2338/3137 took 523952 ms. Total solver calls (SAT/UNSAT): 122731(66719/56012)
Jun 01, 2017 8:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2343/3137 took 525128 ms. Total solver calls (SAT/UNSAT): 123006(66874/56132)
Jun 01, 2017 8:12:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2348/3137 took 526307 ms. Total solver calls (SAT/UNSAT): 123281(67029/56252)
Jun 01, 2017 8:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3137 took 527493 ms. Total solver calls (SAT/UNSAT): 123556(67184/56372)
Jun 01, 2017 8:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2358/3137 took 528679 ms. Total solver calls (SAT/UNSAT): 123831(67339/56492)
Jun 01, 2017 8:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2363/3137 took 529863 ms. Total solver calls (SAT/UNSAT): 124106(67494/56612)
Jun 01, 2017 8:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2368/3137 took 531046 ms. Total solver calls (SAT/UNSAT): 124381(67649/56732)
Jun 01, 2017 8:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2373/3137 took 532220 ms. Total solver calls (SAT/UNSAT): 124644(67804/56840)
Jun 01, 2017 8:12:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2378/3137 took 533397 ms. Total solver calls (SAT/UNSAT): 124913(67959/56954)
Jun 01, 2017 8:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2383/3137 took 534573 ms. Total solver calls (SAT/UNSAT): 125176(68114/57062)
Jun 01, 2017 8:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2390/3137 took 535689 ms. Total solver calls (SAT/UNSAT): 125471(68259/57212)
Jun 01, 2017 8:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2397/3137 took 536716 ms. Total solver calls (SAT/UNSAT): 125754(68392/57362)
Jun 01, 2017 8:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2404/3137 took 537743 ms. Total solver calls (SAT/UNSAT): 126037(68525/57512)
Jun 01, 2017 8:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2409/3137 took 538916 ms. Total solver calls (SAT/UNSAT): 126300(68680/57620)
Jun 01, 2017 8:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2414/3137 took 540086 ms. Total solver calls (SAT/UNSAT): 126553(68835/57718)
Jun 01, 2017 8:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2419/3137 took 541254 ms. Total solver calls (SAT/UNSAT): 126804(68990/57814)
Jun 01, 2017 8:12:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2424/3137 took 542432 ms. Total solver calls (SAT/UNSAT): 127069(69145/57924)
Jun 01, 2017 8:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2429/3137 took 543610 ms. Total solver calls (SAT/UNSAT): 127326(69300/58026)
Jun 01, 2017 8:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2434/3137 took 544791 ms. Total solver calls (SAT/UNSAT): 127595(69455/58140)
Jun 01, 2017 8:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2439/3137 took 545962 ms. Total solver calls (SAT/UNSAT): 127858(69610/58248)
Jun 01, 2017 8:12:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2444/3137 took 547127 ms. Total solver calls (SAT/UNSAT): 128115(69765/58350)
Jun 01, 2017 8:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2449/3137 took 548298 ms. Total solver calls (SAT/UNSAT): 128390(69920/58470)
Jun 01, 2017 8:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2454/3137 took 549462 ms. Total solver calls (SAT/UNSAT): 128647(70075/58572)
Jun 01, 2017 8:12:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2459/3137 took 550626 ms. Total solver calls (SAT/UNSAT): 128910(70230/58680)
Jun 01, 2017 8:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2464/3137 took 551794 ms. Total solver calls (SAT/UNSAT): 129179(70385/58794)
Jun 01, 2017 8:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2469/3137 took 552959 ms. Total solver calls (SAT/UNSAT): 129436(70540/58896)
Jun 01, 2017 8:12:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2474/3137 took 554138 ms. Total solver calls (SAT/UNSAT): 129705(70695/59010)
Jun 01, 2017 8:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2479/3137 took 555315 ms. Total solver calls (SAT/UNSAT): 129968(70850/59118)
Jun 01, 2017 8:12:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2484/3137 took 556490 ms. Total solver calls (SAT/UNSAT): 130225(71005/59220)
Jun 01, 2017 8:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2489/3137 took 557663 ms. Total solver calls (SAT/UNSAT): 130500(71160/59340)
Jun 01, 2017 8:12:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2494/3137 took 558831 ms. Total solver calls (SAT/UNSAT): 130757(71315/59442)
Jun 01, 2017 8:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2499/3137 took 560001 ms. Total solver calls (SAT/UNSAT): 131020(71470/59550)
Jun 01, 2017 8:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2504/3137 took 561171 ms. Total solver calls (SAT/UNSAT): 131289(71625/59664)
Jun 01, 2017 8:12:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2509/3137 took 562338 ms. Total solver calls (SAT/UNSAT): 131546(71780/59766)
Jun 01, 2017 8:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2514/3137 took 563509 ms. Total solver calls (SAT/UNSAT): 131815(71935/59880)
Jun 01, 2017 8:12:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2519/3137 took 564680 ms. Total solver calls (SAT/UNSAT): 132072(72090/59982)
Jun 01, 2017 8:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2524/3137 took 565850 ms. Total solver calls (SAT/UNSAT): 132319(72245/60074)
Jun 01, 2017 8:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2529/3137 took 567052 ms. Total solver calls (SAT/UNSAT): 132582(72400/60182)
Jun 01, 2017 8:12:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2535/3137 took 568192 ms. Total solver calls (SAT/UNSAT): 132848(72550/60298)
Jun 01, 2017 8:12:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2542/3137 took 569210 ms. Total solver calls (SAT/UNSAT): 133111(72683/60428)
Jun 01, 2017 8:12:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2549/3137 took 570232 ms. Total solver calls (SAT/UNSAT): 133384(72816/60568)
Jun 01, 2017 8:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2556/3137 took 571250 ms. Total solver calls (SAT/UNSAT): 133657(72949/60708)
Jun 01, 2017 8:12:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2563/3137 took 572266 ms. Total solver calls (SAT/UNSAT): 133926(73082/60844)
Jun 01, 2017 8:13:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2570/3137 took 573294 ms. Total solver calls (SAT/UNSAT): 134215(73215/61000)
Jun 01, 2017 8:13:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2577/3137 took 574318 ms. Total solver calls (SAT/UNSAT): 134492(73348/61144)
Jun 01, 2017 8:13:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2584/3137 took 575343 ms. Total solver calls (SAT/UNSAT): 134781(73481/61300)
Jun 01, 2017 8:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2591/3137 took 576360 ms. Total solver calls (SAT/UNSAT): 135064(73614/61450)
Jun 01, 2017 8:13:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2598/3137 took 577381 ms. Total solver calls (SAT/UNSAT): 135347(73747/61600)
Jun 01, 2017 8:13:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2605/3137 took 578405 ms. Total solver calls (SAT/UNSAT): 135636(73880/61756)
Jun 01, 2017 8:13:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2612/3137 took 579431 ms. Total solver calls (SAT/UNSAT): 135913(74013/61900)
Jun 01, 2017 8:13:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2619/3137 took 580450 ms. Total solver calls (SAT/UNSAT): 136202(74146/62056)
Jun 01, 2017 8:13:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2626/3137 took 581468 ms. Total solver calls (SAT/UNSAT): 136479(74279/62200)
Jun 01, 2017 8:13:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2634/3137 took 582512 ms. Total solver calls (SAT/UNSAT): 136769(74415/62354)
Jun 01, 2017 8:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2645/3137 took 583527 ms. Total solver calls (SAT/UNSAT): 137120(74544/62576)
Jun 01, 2017 8:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2652/3137 took 584538 ms. Total solver calls (SAT/UNSAT): 137393(74677/62716)
Jun 01, 2017 8:13:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2659/3137 took 585556 ms. Total solver calls (SAT/UNSAT): 137666(74810/62856)
Jun 01, 2017 8:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2666/3137 took 586579 ms. Total solver calls (SAT/UNSAT): 137955(74943/63012)
Jun 01, 2017 8:13:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2673/3137 took 587592 ms. Total solver calls (SAT/UNSAT): 138238(75076/63162)
Jun 01, 2017 8:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2680/3137 took 588615 ms. Total solver calls (SAT/UNSAT): 138521(75209/63312)
Jun 01, 2017 8:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2687/3137 took 589640 ms. Total solver calls (SAT/UNSAT): 138810(75342/63468)
Jun 01, 2017 8:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2694/3137 took 590663 ms. Total solver calls (SAT/UNSAT): 139087(75475/63612)
Jun 01, 2017 8:13:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2701/3137 took 591683 ms. Total solver calls (SAT/UNSAT): 139376(75608/63768)
Jun 01, 2017 8:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2708/3137 took 592704 ms. Total solver calls (SAT/UNSAT): 139659(75741/63918)
Jun 01, 2017 8:13:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3137 took 593726 ms. Total solver calls (SAT/UNSAT): 139942(75874/64068)
Jun 01, 2017 8:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2722/3137 took 594737 ms. Total solver calls (SAT/UNSAT): 140215(76007/64208)
Jun 01, 2017 8:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2733/3137 took 595798 ms. Total solver calls (SAT/UNSAT): 140564(76144/64420)
Jun 01, 2017 8:13:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2807/3137 took 596802 ms. Total solver calls (SAT/UNSAT): 143140(76177/66963)
Jun 01, 2017 8:13:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2907/3137 took 597802 ms. Total solver calls (SAT/UNSAT): 146468(76177/70291)
Jun 01, 2017 8:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3012/3137 took 598803 ms. Total solver calls (SAT/UNSAT): 149797(76177/73620)
Jun 01, 2017 8:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3116/3137 took 599806 ms. Total solver calls (SAT/UNSAT): 153133(76177/76956)
Jun 01, 2017 8:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 599948 ms. Total solver calls (SAT/UNSAT): 153601(76177/77424)
Jun 01, 2017 8:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 3137 transitions.
Jun 01, 2017 8:13:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3137 took 20251 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="PhaseVariation-PT-D10CS010"
export BK_EXAMINATION="ReachabilityDeadlock"
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/PhaseVariation-PT-D10CS010.tgz
mv 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 PhaseVariation-PT-D10CS010, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r050-smll-149440871800107"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 ;