About the Execution of ITS-Tools for S_PhaseVariation-PT-D10CS010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15949.450 | 3600000.00 | 5886628.00 | 13332.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_PhaseVariation-PT-D10CS010, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r130-smll-149441683100107
=====================================================================
--------------------
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 1496303862980
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 7:57:45 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 7:57:45 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 394 ms
Jun 01, 2017 7:57:45 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 302 places.
Jun 01, 2017 7:57:46 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3137 transitions.
Jun 01, 2017 7:57:46 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 7:57:46 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 7:57:47 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 753 ms
Jun 01, 2017 7:57:47 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 71 ms
Jun 01, 2017 7:57:49 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 101 place invariants in 502 ms
Jun 01, 2017 7:57:59 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 302 variables to be positive in 9916 ms
Jun 01, 2017 7:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3137 transitions.
Jun 01, 2017 7:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3137 took 10596 ms. Total solver calls (SAT/UNSAT): 3137(1/3136)
Jun 01, 2017 7:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/3137 took 11793 ms. Total solver calls (SAT/UNSAT): 3400(156/3244)
Jun 01, 2017 7:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/3137 took 12987 ms. Total solver calls (SAT/UNSAT): 3647(311/3336)
Jun 01, 2017 7:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/3137 took 14184 ms. Total solver calls (SAT/UNSAT): 3904(466/3438)
Jun 01, 2017 7:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3137 took 15375 ms. Total solver calls (SAT/UNSAT): 4169(621/3548)
Jun 01, 2017 7:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/3137 took 16552 ms. Total solver calls (SAT/UNSAT): 4426(776/3650)
Jun 01, 2017 7:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/3137 took 17729 ms. Total solver calls (SAT/UNSAT): 4695(931/3764)
Jun 01, 2017 7:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/3137 took 18902 ms. Total solver calls (SAT/UNSAT): 4958(1086/3872)
Jun 01, 2017 7:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3137 took 20067 ms. Total solver calls (SAT/UNSAT): 5215(1241/3974)
Jun 01, 2017 7:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/3137 took 21237 ms. Total solver calls (SAT/UNSAT): 5490(1396/4094)
Jun 01, 2017 7:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/3137 took 22405 ms. Total solver calls (SAT/UNSAT): 5747(1551/4196)
Jun 01, 2017 7:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/3137 took 23579 ms. Total solver calls (SAT/UNSAT): 6010(1706/4304)
Jun 01, 2017 7:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3137 took 24756 ms. Total solver calls (SAT/UNSAT): 6279(1861/4418)
Jun 01, 2017 7:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/3137 took 25933 ms. Total solver calls (SAT/UNSAT): 6536(2016/4520)
Jun 01, 2017 7:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/3137 took 27106 ms. Total solver calls (SAT/UNSAT): 6805(2171/4634)
Jun 01, 2017 7:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/3137 took 28291 ms. Total solver calls (SAT/UNSAT): 7068(2326/4742)
Jun 01, 2017 7:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3137 took 29474 ms. Total solver calls (SAT/UNSAT): 7325(2481/4844)
Jun 01, 2017 7:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/3137 took 30650 ms. Total solver calls (SAT/UNSAT): 7600(2636/4964)
Jun 01, 2017 7:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/3137 took 31822 ms. Total solver calls (SAT/UNSAT): 7857(2791/5066)
Jun 01, 2017 7:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/3137 took 32996 ms. Total solver calls (SAT/UNSAT): 8120(2946/5174)
Jun 01, 2017 7:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3137 took 34165 ms. Total solver calls (SAT/UNSAT): 8389(3101/5288)
Jun 01, 2017 7:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/3137 took 35328 ms. Total solver calls (SAT/UNSAT): 8646(3256/5390)
Jun 01, 2017 7:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/3137 took 36502 ms. Total solver calls (SAT/UNSAT): 8915(3411/5504)
Jun 01, 2017 7:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/3137 took 37677 ms. Total solver calls (SAT/UNSAT): 9172(3566/5606)
Jun 01, 2017 7:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3137 took 38843 ms. Total solver calls (SAT/UNSAT): 9419(3721/5698)
Jun 01, 2017 7:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/3137 took 40015 ms. Total solver calls (SAT/UNSAT): 9682(3876/5806)
Jun 01, 2017 7:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3137 took 41152 ms. Total solver calls (SAT/UNSAT): 9948(4026/5922)
Jun 01, 2017 7:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/3137 took 42168 ms. Total solver calls (SAT/UNSAT): 10211(4159/6052)
Jun 01, 2017 7:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/3137 took 43190 ms. Total solver calls (SAT/UNSAT): 10490(4292/6198)
Jun 01, 2017 7:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/3137 took 44335 ms. Total solver calls (SAT/UNSAT): 10756(4442/6314)
Jun 01, 2017 7:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/3137 took 45521 ms. Total solver calls (SAT/UNSAT): 11019(4597/6422)
Jun 01, 2017 7:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/3137 took 46707 ms. Total solver calls (SAT/UNSAT): 11282(4752/6530)
Jun 01, 2017 7:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/3137 took 47893 ms. Total solver calls (SAT/UNSAT): 11551(4907/6644)
Jun 01, 2017 7:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3137 took 49078 ms. Total solver calls (SAT/UNSAT): 11826(5062/6764)
Jun 01, 2017 7:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3137 took 50263 ms. Total solver calls (SAT/UNSAT): 12101(5217/6884)
Jun 01, 2017 7:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/3137 took 51450 ms. Total solver calls (SAT/UNSAT): 12376(5372/7004)
Jun 01, 2017 7:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/3137 took 52641 ms. Total solver calls (SAT/UNSAT): 12651(5527/7124)
Jun 01, 2017 7:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/3137 took 53831 ms. Total solver calls (SAT/UNSAT): 12926(5682/7244)
Jun 01, 2017 7:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/3137 took 55017 ms. Total solver calls (SAT/UNSAT): 13201(5837/7364)
Jun 01, 2017 7:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/3137 took 56201 ms. Total solver calls (SAT/UNSAT): 13476(5992/7484)
Jun 01, 2017 7:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/3137 took 57387 ms. Total solver calls (SAT/UNSAT): 13751(6147/7604)
Jun 01, 2017 7:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/3137 took 58571 ms. Total solver calls (SAT/UNSAT): 14026(6302/7724)
Jun 01, 2017 7:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/3137 took 59744 ms. Total solver calls (SAT/UNSAT): 14301(6457/7844)
Jun 01, 2017 7:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/3137 took 60910 ms. Total solver calls (SAT/UNSAT): 14576(6612/7964)
Jun 01, 2017 7:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/3137 took 62077 ms. Total solver calls (SAT/UNSAT): 14851(6767/8084)
Jun 01, 2017 7:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/3137 took 63254 ms. Total solver calls (SAT/UNSAT): 15126(6922/8204)
Jun 01, 2017 7:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/3137 took 64435 ms. Total solver calls (SAT/UNSAT): 15401(7077/8324)
Jun 01, 2017 7:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/3137 took 65617 ms. Total solver calls (SAT/UNSAT): 15676(7232/8444)
Jun 01, 2017 7:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/3137 took 66791 ms. Total solver calls (SAT/UNSAT): 15951(7387/8564)
Jun 01, 2017 7:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/3137 took 67952 ms. Total solver calls (SAT/UNSAT): 16226(7542/8684)
Jun 01, 2017 7:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/3137 took 69112 ms. Total solver calls (SAT/UNSAT): 16501(7697/8804)
Jun 01, 2017 7:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/3137 took 70279 ms. Total solver calls (SAT/UNSAT): 16776(7852/8924)
Jun 01, 2017 7:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/3137 took 71446 ms. Total solver calls (SAT/UNSAT): 17039(8007/9032)
Jun 01, 2017 7:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/3137 took 72613 ms. Total solver calls (SAT/UNSAT): 17302(8162/9140)
Jun 01, 2017 7:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/3137 took 73780 ms. Total solver calls (SAT/UNSAT): 17565(8317/9248)
Jun 01, 2017 7:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/3137 took 74805 ms. Total solver calls (SAT/UNSAT): 17848(8450/9398)
Jun 01, 2017 7:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/3137 took 75832 ms. Total solver calls (SAT/UNSAT): 18137(8583/9554)
Jun 01, 2017 7:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/3137 took 76949 ms. Total solver calls (SAT/UNSAT): 18432(8728/9704)
Jun 01, 2017 7:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/3137 took 78128 ms. Total solver calls (SAT/UNSAT): 18695(8883/9812)
Jun 01, 2017 7:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/3137 took 79303 ms. Total solver calls (SAT/UNSAT): 18958(9038/9920)
Jun 01, 2017 7:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/3137 took 80469 ms. Total solver calls (SAT/UNSAT): 19221(9193/10028)
Jun 01, 2017 7:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/3137 took 81644 ms. Total solver calls (SAT/UNSAT): 19496(9348/10148)
Jun 01, 2017 7:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/3137 took 82822 ms. Total solver calls (SAT/UNSAT): 19771(9503/10268)
Jun 01, 2017 7:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/3137 took 84000 ms. Total solver calls (SAT/UNSAT): 20046(9658/10388)
Jun 01, 2017 7:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/3137 took 85177 ms. Total solver calls (SAT/UNSAT): 20321(9813/10508)
Jun 01, 2017 7:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/3137 took 86354 ms. Total solver calls (SAT/UNSAT): 20596(9968/10628)
Jun 01, 2017 7:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/3137 took 87530 ms. Total solver calls (SAT/UNSAT): 20871(10123/10748)
Jun 01, 2017 7:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/3137 took 88698 ms. Total solver calls (SAT/UNSAT): 21146(10278/10868)
Jun 01, 2017 7:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/3137 took 89860 ms. Total solver calls (SAT/UNSAT): 21421(10433/10988)
Jun 01, 2017 7:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/3137 took 91022 ms. Total solver calls (SAT/UNSAT): 21696(10588/11108)
Jun 01, 2017 7:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/3137 took 92189 ms. Total solver calls (SAT/UNSAT): 21971(10743/11228)
Jun 01, 2017 7:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/3137 took 93364 ms. Total solver calls (SAT/UNSAT): 22246(10898/11348)
Jun 01, 2017 7:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/3137 took 94538 ms. Total solver calls (SAT/UNSAT): 22521(11053/11468)
Jun 01, 2017 7:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/3137 took 95710 ms. Total solver calls (SAT/UNSAT): 22796(11208/11588)
Jun 01, 2017 7:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/3137 took 96872 ms. Total solver calls (SAT/UNSAT): 23071(11363/11708)
Jun 01, 2017 7:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/3137 took 98035 ms. Total solver calls (SAT/UNSAT): 23346(11518/11828)
Jun 01, 2017 7:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/3137 took 99197 ms. Total solver calls (SAT/UNSAT): 23621(11673/11948)
Jun 01, 2017 7:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/3137 took 100368 ms. Total solver calls (SAT/UNSAT): 23896(11828/12068)
Jun 01, 2017 7:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/3137 took 101542 ms. Total solver calls (SAT/UNSAT): 24171(11983/12188)
Jun 01, 2017 7:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/3137 took 102721 ms. Total solver calls (SAT/UNSAT): 24446(12138/12308)
Jun 01, 2017 7:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3137 took 103903 ms. Total solver calls (SAT/UNSAT): 24715(12293/12422)
Jun 01, 2017 7:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/3137 took 105085 ms. Total solver calls (SAT/UNSAT): 24978(12448/12530)
Jun 01, 2017 7:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/3137 took 106266 ms. Total solver calls (SAT/UNSAT): 25241(12603/12638)
Jun 01, 2017 7:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/3137 took 107329 ms. Total solver calls (SAT/UNSAT): 25511(12741/12770)
Jun 01, 2017 7:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/3137 took 108360 ms. Total solver calls (SAT/UNSAT): 25794(12874/12920)
Jun 01, 2017 7:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/3137 took 109387 ms. Total solver calls (SAT/UNSAT): 26077(13007/13070)
Jun 01, 2017 7:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/3137 took 110616 ms. Total solver calls (SAT/UNSAT): 26371(13169/13202)
Jun 01, 2017 7:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/3137 took 111782 ms. Total solver calls (SAT/UNSAT): 26634(13324/13310)
Jun 01, 2017 7:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/3137 took 112948 ms. Total solver calls (SAT/UNSAT): 26897(13479/13418)
Jun 01, 2017 7:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/3137 took 114118 ms. Total solver calls (SAT/UNSAT): 27166(13634/13532)
Jun 01, 2017 7:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/3137 took 115291 ms. Total solver calls (SAT/UNSAT): 27441(13789/13652)
Jun 01, 2017 7:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/3137 took 116466 ms. Total solver calls (SAT/UNSAT): 27716(13944/13772)
Jun 01, 2017 7:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/3137 took 117640 ms. Total solver calls (SAT/UNSAT): 27991(14099/13892)
Jun 01, 2017 7:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/3137 took 118826 ms. Total solver calls (SAT/UNSAT): 28266(14254/14012)
Jun 01, 2017 7:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/3137 took 120014 ms. Total solver calls (SAT/UNSAT): 28541(14409/14132)
Jun 01, 2017 8:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/3137 took 121200 ms. Total solver calls (SAT/UNSAT): 28816(14564/14252)
Jun 01, 2017 8:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/3137 took 122380 ms. Total solver calls (SAT/UNSAT): 29091(14719/14372)
Jun 01, 2017 8:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/3137 took 123562 ms. Total solver calls (SAT/UNSAT): 29366(14874/14492)
Jun 01, 2017 8:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/3137 took 124743 ms. Total solver calls (SAT/UNSAT): 29641(15029/14612)
Jun 01, 2017 8:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/3137 took 125918 ms. Total solver calls (SAT/UNSAT): 29916(15184/14732)
Jun 01, 2017 8:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/3137 took 127093 ms. Total solver calls (SAT/UNSAT): 30191(15339/14852)
Jun 01, 2017 8:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/3137 took 128267 ms. Total solver calls (SAT/UNSAT): 30466(15494/14972)
Jun 01, 2017 8:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/3137 took 129443 ms. Total solver calls (SAT/UNSAT): 30741(15649/15092)
Jun 01, 2017 8:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/3137 took 130618 ms. Total solver calls (SAT/UNSAT): 31016(15804/15212)
Jun 01, 2017 8:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/3137 took 131793 ms. Total solver calls (SAT/UNSAT): 31291(15959/15332)
Jun 01, 2017 8:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/3137 took 132968 ms. Total solver calls (SAT/UNSAT): 31566(16114/15452)
Jun 01, 2017 8:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/3137 took 134143 ms. Total solver calls (SAT/UNSAT): 31841(16269/15572)
Jun 01, 2017 8:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/3137 took 135317 ms. Total solver calls (SAT/UNSAT): 32116(16424/15692)
Jun 01, 2017 8:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/3137 took 136498 ms. Total solver calls (SAT/UNSAT): 32391(16579/15812)
Jun 01, 2017 8:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/3137 took 137681 ms. Total solver calls (SAT/UNSAT): 32654(16734/15920)
Jun 01, 2017 8:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/3137 took 138851 ms. Total solver calls (SAT/UNSAT): 32917(16889/16028)
Jun 01, 2017 8:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/3137 took 139931 ms. Total solver calls (SAT/UNSAT): 33168(17032/16136)
Jun 01, 2017 8:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/3137 took 140942 ms. Total solver calls (SAT/UNSAT): 33451(17165/16286)
Jun 01, 2017 8:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/3137 took 141956 ms. Total solver calls (SAT/UNSAT): 33734(17298/16436)
Jun 01, 2017 8:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/3137 took 143146 ms. Total solver calls (SAT/UNSAT): 34047(17455/16592)
Jun 01, 2017 8:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/3137 took 144310 ms. Total solver calls (SAT/UNSAT): 34310(17610/16700)
Jun 01, 2017 8:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3137 took 145484 ms. Total solver calls (SAT/UNSAT): 34573(17765/16808)
Jun 01, 2017 8:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/3137 took 146658 ms. Total solver calls (SAT/UNSAT): 34836(17920/16916)
Jun 01, 2017 8:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/3137 took 147846 ms. Total solver calls (SAT/UNSAT): 35111(18075/17036)
Jun 01, 2017 8:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/3137 took 149035 ms. Total solver calls (SAT/UNSAT): 35386(18230/17156)
Jun 01, 2017 8:00:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/3137 took 150223 ms. Total solver calls (SAT/UNSAT): 35661(18385/17276)
Jun 01, 2017 8:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/3137 took 151410 ms. Total solver calls (SAT/UNSAT): 35936(18540/17396)
Jun 01, 2017 8:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/3137 took 152592 ms. Total solver calls (SAT/UNSAT): 36211(18695/17516)
Jun 01, 2017 8:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/3137 took 153773 ms. Total solver calls (SAT/UNSAT): 36486(18850/17636)
Jun 01, 2017 8:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/3137 took 154954 ms. Total solver calls (SAT/UNSAT): 36761(19005/17756)
Jun 01, 2017 8:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/3137 took 156134 ms. Total solver calls (SAT/UNSAT): 37036(19160/17876)
Jun 01, 2017 8:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/3137 took 157313 ms. Total solver calls (SAT/UNSAT): 37311(19315/17996)
Jun 01, 2017 8:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/3137 took 158496 ms. Total solver calls (SAT/UNSAT): 37586(19470/18116)
Jun 01, 2017 8:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/3137 took 159680 ms. Total solver calls (SAT/UNSAT): 37861(19625/18236)
Jun 01, 2017 8:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/3137 took 160862 ms. Total solver calls (SAT/UNSAT): 38136(19780/18356)
Jun 01, 2017 8:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/3137 took 162042 ms. Total solver calls (SAT/UNSAT): 38411(19935/18476)
Jun 01, 2017 8:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/3137 took 163216 ms. Total solver calls (SAT/UNSAT): 38686(20090/18596)
Jun 01, 2017 8:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3137 took 164389 ms. Total solver calls (SAT/UNSAT): 38961(20245/18716)
Jun 01, 2017 8:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/3137 took 165569 ms. Total solver calls (SAT/UNSAT): 39236(20400/18836)
Jun 01, 2017 8:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/3137 took 166741 ms. Total solver calls (SAT/UNSAT): 39511(20555/18956)
Jun 01, 2017 8:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/3137 took 167914 ms. Total solver calls (SAT/UNSAT): 39786(20710/19076)
Jun 01, 2017 8:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/3137 took 169088 ms. Total solver calls (SAT/UNSAT): 40061(20865/19196)
Jun 01, 2017 8:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/3137 took 170257 ms. Total solver calls (SAT/UNSAT): 40324(21020/19304)
Jun 01, 2017 8:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/3137 took 171429 ms. Total solver calls (SAT/UNSAT): 40593(21175/19418)
Jun 01, 2017 8:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/3137 took 172599 ms. Total solver calls (SAT/UNSAT): 40856(21330/19526)
Jun 01, 2017 8:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/3137 took 173709 ms. Total solver calls (SAT/UNSAT): 41151(21475/19676)
Jun 01, 2017 8:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/3137 took 174734 ms. Total solver calls (SAT/UNSAT): 41434(21608/19826)
Jun 01, 2017 8:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/3137 took 175762 ms. Total solver calls (SAT/UNSAT): 41717(21741/19976)
Jun 01, 2017 8:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/3137 took 176939 ms. Total solver calls (SAT/UNSAT): 41980(21896/20084)
Jun 01, 2017 8:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/3137 took 178120 ms. Total solver calls (SAT/UNSAT): 42249(22051/20198)
Jun 01, 2017 8:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/3137 took 179300 ms. Total solver calls (SAT/UNSAT): 42512(22206/20306)
Jun 01, 2017 8:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/3137 took 180484 ms. Total solver calls (SAT/UNSAT): 42781(22361/20420)
Jun 01, 2017 8:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/3137 took 181670 ms. Total solver calls (SAT/UNSAT): 43056(22516/20540)
Jun 01, 2017 8:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/3137 took 182855 ms. Total solver calls (SAT/UNSAT): 43331(22671/20660)
Jun 01, 2017 8:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/3137 took 184032 ms. Total solver calls (SAT/UNSAT): 43606(22826/20780)
Jun 01, 2017 8:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/3137 took 185209 ms. Total solver calls (SAT/UNSAT): 43881(22981/20900)
Jun 01, 2017 8:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/3137 took 186389 ms. Total solver calls (SAT/UNSAT): 44156(23136/21020)
Jun 01, 2017 8:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/3137 took 187565 ms. Total solver calls (SAT/UNSAT): 44431(23291/21140)
Jun 01, 2017 8:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/3137 took 188732 ms. Total solver calls (SAT/UNSAT): 44706(23446/21260)
Jun 01, 2017 8:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/3137 took 189899 ms. Total solver calls (SAT/UNSAT): 44981(23601/21380)
Jun 01, 2017 8:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/3137 took 191069 ms. Total solver calls (SAT/UNSAT): 45256(23756/21500)
Jun 01, 2017 8:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/3137 took 192249 ms. Total solver calls (SAT/UNSAT): 45531(23911/21620)
Jun 01, 2017 8:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :815/3137 took 193427 ms. Total solver calls (SAT/UNSAT): 45806(24066/21740)
Jun 01, 2017 8:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/3137 took 194604 ms. Total solver calls (SAT/UNSAT): 46081(24221/21860)
Jun 01, 2017 8:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/3137 took 195770 ms. Total solver calls (SAT/UNSAT): 46356(24376/21980)
Jun 01, 2017 8:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/3137 took 196935 ms. Total solver calls (SAT/UNSAT): 46631(24531/22100)
Jun 01, 2017 8:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/3137 took 198099 ms. Total solver calls (SAT/UNSAT): 46906(24686/22220)
Jun 01, 2017 8:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/3137 took 199264 ms. Total solver calls (SAT/UNSAT): 47181(24841/22340)
Jun 01, 2017 8:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/3137 took 200428 ms. Total solver calls (SAT/UNSAT): 47456(24996/22460)
Jun 01, 2017 8:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :850/3137 took 201591 ms. Total solver calls (SAT/UNSAT): 47731(25151/22580)
Jun 01, 2017 8:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :855/3137 took 202759 ms. Total solver calls (SAT/UNSAT): 48000(25306/22694)
Jun 01, 2017 8:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/3137 took 203932 ms. Total solver calls (SAT/UNSAT): 48263(25461/22802)
Jun 01, 2017 8:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :865/3137 took 205104 ms. Total solver calls (SAT/UNSAT): 48526(25616/22910)
Jun 01, 2017 8:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :871/3137 took 206241 ms. Total solver calls (SAT/UNSAT): 48808(25766/23042)
Jun 01, 2017 8:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/3137 took 207252 ms. Total solver calls (SAT/UNSAT): 49091(25899/23192)
Jun 01, 2017 8:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/3137 took 208268 ms. Total solver calls (SAT/UNSAT): 49374(26032/23342)
Jun 01, 2017 8:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/3137 took 209401 ms. Total solver calls (SAT/UNSAT): 49656(26182/23474)
Jun 01, 2017 8:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/3137 took 210562 ms. Total solver calls (SAT/UNSAT): 49919(26337/23582)
Jun 01, 2017 8:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :901/3137 took 211721 ms. Total solver calls (SAT/UNSAT): 50182(26492/23690)
Jun 01, 2017 8:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/3137 took 212887 ms. Total solver calls (SAT/UNSAT): 50451(26647/23804)
Jun 01, 2017 8:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/3137 took 214063 ms. Total solver calls (SAT/UNSAT): 50726(26802/23924)
Jun 01, 2017 8:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/3137 took 215238 ms. Total solver calls (SAT/UNSAT): 51001(26957/24044)
Jun 01, 2017 8:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :921/3137 took 216412 ms. Total solver calls (SAT/UNSAT): 51276(27112/24164)
Jun 01, 2017 8:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/3137 took 217575 ms. Total solver calls (SAT/UNSAT): 51551(27267/24284)
Jun 01, 2017 8:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/3137 took 218738 ms. Total solver calls (SAT/UNSAT): 51826(27422/24404)
Jun 01, 2017 8:01:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3137 took 219908 ms. Total solver calls (SAT/UNSAT): 52101(27577/24524)
Jun 01, 2017 8:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :941/3137 took 221085 ms. Total solver calls (SAT/UNSAT): 52376(27732/24644)
Jun 01, 2017 8:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :946/3137 took 222262 ms. Total solver calls (SAT/UNSAT): 52651(27887/24764)
Jun 01, 2017 8:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/3137 took 223438 ms. Total solver calls (SAT/UNSAT): 52926(28042/24884)
Jun 01, 2017 8:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3137 took 224613 ms. Total solver calls (SAT/UNSAT): 53201(28197/25004)
Jun 01, 2017 8:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :961/3137 took 225790 ms. Total solver calls (SAT/UNSAT): 53476(28352/25124)
Jun 01, 2017 8:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/3137 took 226967 ms. Total solver calls (SAT/UNSAT): 53751(28507/25244)
Jun 01, 2017 8:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/3137 took 228143 ms. Total solver calls (SAT/UNSAT): 54026(28662/25364)
Jun 01, 2017 8:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3137 took 229318 ms. Total solver calls (SAT/UNSAT): 54301(28817/25484)
Jun 01, 2017 8:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/3137 took 230494 ms. Total solver calls (SAT/UNSAT): 54576(28972/25604)
Jun 01, 2017 8:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/3137 took 231669 ms. Total solver calls (SAT/UNSAT): 54851(29127/25724)
Jun 01, 2017 8:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :991/3137 took 232844 ms. Total solver calls (SAT/UNSAT): 55126(29282/25844)
Jun 01, 2017 8:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3137 took 234019 ms. Total solver calls (SAT/UNSAT): 55401(29437/25964)
Jun 01, 2017 8:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1001/3137 took 235193 ms. Total solver calls (SAT/UNSAT): 55676(29592/26084)
Jun 01, 2017 8:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/3137 took 236358 ms. Total solver calls (SAT/UNSAT): 55939(29747/26192)
Jun 01, 2017 8:01:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1011/3137 took 237521 ms. Total solver calls (SAT/UNSAT): 56202(29902/26300)
Jun 01, 2017 8:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3137 took 238686 ms. Total solver calls (SAT/UNSAT): 56465(30057/26408)
Jun 01, 2017 8:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1023/3137 took 239705 ms. Total solver calls (SAT/UNSAT): 56748(30190/26558)
Jun 01, 2017 8:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/3137 took 240724 ms. Total solver calls (SAT/UNSAT): 57037(30323/26714)
Jun 01, 2017 8:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1037/3137 took 241830 ms. Total solver calls (SAT/UNSAT): 57332(30468/26864)
Jun 01, 2017 8:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/3137 took 242994 ms. Total solver calls (SAT/UNSAT): 57589(30623/26966)
Jun 01, 2017 8:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/3137 took 244156 ms. Total solver calls (SAT/UNSAT): 57842(30778/27064)
Jun 01, 2017 8:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3137 took 245319 ms. Total solver calls (SAT/UNSAT): 58089(30933/27156)
Jun 01, 2017 8:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1057/3137 took 246496 ms. Total solver calls (SAT/UNSAT): 58364(31088/27276)
Jun 01, 2017 8:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/3137 took 247667 ms. Total solver calls (SAT/UNSAT): 58621(31243/27378)
Jun 01, 2017 8:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1067/3137 took 248841 ms. Total solver calls (SAT/UNSAT): 58884(31398/27486)
Jun 01, 2017 8:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3137 took 250004 ms. Total solver calls (SAT/UNSAT): 59153(31553/27600)
Jun 01, 2017 8:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1077/3137 took 251166 ms. Total solver calls (SAT/UNSAT): 59410(31708/27702)
Jun 01, 2017 8:02:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3137 took 252335 ms. Total solver calls (SAT/UNSAT): 59679(31863/27816)
Jun 01, 2017 8:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/3137 took 253501 ms. Total solver calls (SAT/UNSAT): 59942(32018/27924)
Jun 01, 2017 8:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3137 took 254666 ms. Total solver calls (SAT/UNSAT): 60199(32173/28026)
Jun 01, 2017 8:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1097/3137 took 255836 ms. Total solver calls (SAT/UNSAT): 60474(32328/28146)
Jun 01, 2017 8:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/3137 took 257007 ms. Total solver calls (SAT/UNSAT): 60731(32483/28248)
Jun 01, 2017 8:02:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/3137 took 258186 ms. Total solver calls (SAT/UNSAT): 60994(32638/28356)
Jun 01, 2017 8:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3137 took 259368 ms. Total solver calls (SAT/UNSAT): 61263(32793/28470)
Jun 01, 2017 8:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1117/3137 took 260545 ms. Total solver calls (SAT/UNSAT): 61520(32948/28572)
Jun 01, 2017 8:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/3137 took 261721 ms. Total solver calls (SAT/UNSAT): 61789(33103/28686)
Jun 01, 2017 8:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/3137 took 262896 ms. Total solver calls (SAT/UNSAT): 62052(33258/28794)
Jun 01, 2017 8:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3137 took 264068 ms. Total solver calls (SAT/UNSAT): 62309(33413/28896)
Jun 01, 2017 8:02:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1137/3137 took 265247 ms. Total solver calls (SAT/UNSAT): 62584(33568/29016)
Jun 01, 2017 8:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/3137 took 266418 ms. Total solver calls (SAT/UNSAT): 62841(33723/29118)
Jun 01, 2017 8:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/3137 took 267592 ms. Total solver calls (SAT/UNSAT): 63104(33878/29226)
Jun 01, 2017 8:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/3137 took 268771 ms. Total solver calls (SAT/UNSAT): 63367(34033/29334)
Jun 01, 2017 8:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1157/3137 took 269947 ms. Total solver calls (SAT/UNSAT): 63614(34188/29426)
Jun 01, 2017 8:02:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1162/3137 took 271126 ms. Total solver calls (SAT/UNSAT): 63871(34343/29528)
Jun 01, 2017 8:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1168/3137 took 272183 ms. Total solver calls (SAT/UNSAT): 64125(34481/29644)
Jun 01, 2017 8:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1175/3137 took 273208 ms. Total solver calls (SAT/UNSAT): 64394(34614/29780)
Jun 01, 2017 8:02:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1182/3137 took 274235 ms. Total solver calls (SAT/UNSAT): 64667(34747/29920)
Jun 01, 2017 8:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1189/3137 took 275253 ms. Total solver calls (SAT/UNSAT): 64930(34880/30050)
Jun 01, 2017 8:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1196/3137 took 276279 ms. Total solver calls (SAT/UNSAT): 65209(35013/30196)
Jun 01, 2017 8:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/3137 took 277312 ms. Total solver calls (SAT/UNSAT): 65492(35146/30346)
Jun 01, 2017 8:02:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1210/3137 took 278344 ms. Total solver calls (SAT/UNSAT): 65775(35279/30496)
Jun 01, 2017 8:02:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1217/3137 took 279375 ms. Total solver calls (SAT/UNSAT): 66064(35412/30652)
Jun 01, 2017 8:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/3137 took 280401 ms. Total solver calls (SAT/UNSAT): 66341(35545/30796)
Jun 01, 2017 8:02:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/3137 took 281436 ms. Total solver calls (SAT/UNSAT): 66630(35678/30952)
Jun 01, 2017 8:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1238/3137 took 282467 ms. Total solver calls (SAT/UNSAT): 66913(35811/31102)
Jun 01, 2017 8:02:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/3137 took 283497 ms. Total solver calls (SAT/UNSAT): 67196(35944/31252)
Jun 01, 2017 8:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3137 took 284524 ms. Total solver calls (SAT/UNSAT): 67485(36077/31408)
Jun 01, 2017 8:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1259/3137 took 285548 ms. Total solver calls (SAT/UNSAT): 67752(36210/31542)
Jun 01, 2017 8:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1268/3137 took 286634 ms. Total solver calls (SAT/UNSAT): 68073(36349/31724)
Jun 01, 2017 8:02:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1279/3137 took 287774 ms. Total solver calls (SAT/UNSAT): 68440(36494/31946)
Jun 01, 2017 8:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1286/3137 took 288789 ms. Total solver calls (SAT/UNSAT): 68703(36627/32076)
Jun 01, 2017 8:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1293/3137 took 289823 ms. Total solver calls (SAT/UNSAT): 68992(36760/32232)
Jun 01, 2017 8:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1300/3137 took 290849 ms. Total solver calls (SAT/UNSAT): 69275(36893/32382)
Jun 01, 2017 8:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1307/3137 took 291873 ms. Total solver calls (SAT/UNSAT): 69558(37026/32532)
Jun 01, 2017 8:02:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1314/3137 took 292907 ms. Total solver calls (SAT/UNSAT): 69847(37159/32688)
Jun 01, 2017 8:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1321/3137 took 293939 ms. Total solver calls (SAT/UNSAT): 70124(37292/32832)
Jun 01, 2017 8:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1328/3137 took 294972 ms. Total solver calls (SAT/UNSAT): 70413(37425/32988)
Jun 01, 2017 8:02:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1335/3137 took 295999 ms. Total solver calls (SAT/UNSAT): 70696(37558/33138)
Jun 01, 2017 8:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1342/3137 took 297030 ms. Total solver calls (SAT/UNSAT): 70979(37691/33288)
Jun 01, 2017 8:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/3137 took 298059 ms. Total solver calls (SAT/UNSAT): 71262(37824/33438)
Jun 01, 2017 8:02:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1356/3137 took 299076 ms. Total solver calls (SAT/UNSAT): 71525(37957/33568)
Jun 01, 2017 8:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1368/3137 took 300119 ms. Total solver calls (SAT/UNSAT): 71897(38089/33808)
Jun 01, 2017 8:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1373/3137 took 301303 ms. Total solver calls (SAT/UNSAT): 72160(38244/33916)
Jun 01, 2017 8:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1378/3137 took 302481 ms. Total solver calls (SAT/UNSAT): 72407(38399/34008)
Jun 01, 2017 8:03:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1383/3137 took 303663 ms. Total solver calls (SAT/UNSAT): 72664(38554/34110)
Jun 01, 2017 8:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1388/3137 took 304836 ms. Total solver calls (SAT/UNSAT): 72929(38709/34220)
Jun 01, 2017 8:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/3137 took 306005 ms. Total solver calls (SAT/UNSAT): 73186(38864/34322)
Jun 01, 2017 8:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1398/3137 took 307176 ms. Total solver calls (SAT/UNSAT): 73455(39019/34436)
Jun 01, 2017 8:03:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1403/3137 took 308345 ms. Total solver calls (SAT/UNSAT): 73718(39174/34544)
Jun 01, 2017 8:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1408/3137 took 309513 ms. Total solver calls (SAT/UNSAT): 73975(39329/34646)
Jun 01, 2017 8:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1413/3137 took 310716 ms. Total solver calls (SAT/UNSAT): 74250(39484/34766)
Jun 01, 2017 8:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1418/3137 took 311886 ms. Total solver calls (SAT/UNSAT): 74507(39639/34868)
Jun 01, 2017 8:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1423/3137 took 313063 ms. Total solver calls (SAT/UNSAT): 74770(39794/34976)
Jun 01, 2017 8:03:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1428/3137 took 314239 ms. Total solver calls (SAT/UNSAT): 75039(39949/35090)
Jun 01, 2017 8:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1433/3137 took 315404 ms. Total solver calls (SAT/UNSAT): 75296(40104/35192)
Jun 01, 2017 8:03:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1438/3137 took 316578 ms. Total solver calls (SAT/UNSAT): 75565(40259/35306)
Jun 01, 2017 8:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1443/3137 took 317750 ms. Total solver calls (SAT/UNSAT): 75828(40414/35414)
Jun 01, 2017 8:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1448/3137 took 318920 ms. Total solver calls (SAT/UNSAT): 76085(40569/35516)
Jun 01, 2017 8:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/3137 took 320095 ms. Total solver calls (SAT/UNSAT): 76360(40724/35636)
Jun 01, 2017 8:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1458/3137 took 321266 ms. Total solver calls (SAT/UNSAT): 76617(40879/35738)
Jun 01, 2017 8:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1463/3137 took 322438 ms. Total solver calls (SAT/UNSAT): 76880(41034/35846)
Jun 01, 2017 8:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/3137 took 323606 ms. Total solver calls (SAT/UNSAT): 77149(41189/35960)
Jun 01, 2017 8:03:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1473/3137 took 324770 ms. Total solver calls (SAT/UNSAT): 77406(41344/36062)
Jun 01, 2017 8:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1478/3137 took 325937 ms. Total solver calls (SAT/UNSAT): 77675(41499/36176)
Jun 01, 2017 8:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1483/3137 took 327099 ms. Total solver calls (SAT/UNSAT): 77932(41654/36278)
Jun 01, 2017 8:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1488/3137 took 328266 ms. Total solver calls (SAT/UNSAT): 78179(41809/36370)
Jun 01, 2017 8:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1493/3137 took 329435 ms. Total solver calls (SAT/UNSAT): 78442(41964/36478)
Jun 01, 2017 8:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1499/3137 took 330571 ms. Total solver calls (SAT/UNSAT): 78708(42114/36594)
Jun 01, 2017 8:03:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1506/3137 took 331587 ms. Total solver calls (SAT/UNSAT): 78971(42247/36724)
Jun 01, 2017 8:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/3137 took 332607 ms. Total solver calls (SAT/UNSAT): 79250(42380/36870)
Jun 01, 2017 8:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1519/3137 took 333751 ms. Total solver calls (SAT/UNSAT): 79516(42530/36986)
Jun 01, 2017 8:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1524/3137 took 334926 ms. Total solver calls (SAT/UNSAT): 79779(42685/37094)
Jun 01, 2017 8:03:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1529/3137 took 336100 ms. Total solver calls (SAT/UNSAT): 80042(42840/37202)
Jun 01, 2017 8:03:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1534/3137 took 337279 ms. Total solver calls (SAT/UNSAT): 80311(42995/37316)
Jun 01, 2017 8:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1539/3137 took 338460 ms. Total solver calls (SAT/UNSAT): 80586(43150/37436)
Jun 01, 2017 8:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/3137 took 339640 ms. Total solver calls (SAT/UNSAT): 80861(43305/37556)
Jun 01, 2017 8:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/3137 took 340820 ms. Total solver calls (SAT/UNSAT): 81136(43460/37676)
Jun 01, 2017 8:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1554/3137 took 342007 ms. Total solver calls (SAT/UNSAT): 81411(43615/37796)
Jun 01, 2017 8:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1559/3137 took 343191 ms. Total solver calls (SAT/UNSAT): 81686(43770/37916)
Jun 01, 2017 8:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1564/3137 took 344368 ms. Total solver calls (SAT/UNSAT): 81961(43925/38036)
Jun 01, 2017 8:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1569/3137 took 345544 ms. Total solver calls (SAT/UNSAT): 82236(44080/38156)
Jun 01, 2017 8:03:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1574/3137 took 346720 ms. Total solver calls (SAT/UNSAT): 82511(44235/38276)
Jun 01, 2017 8:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1579/3137 took 347897 ms. Total solver calls (SAT/UNSAT): 82786(44390/38396)
Jun 01, 2017 8:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3137 took 349063 ms. Total solver calls (SAT/UNSAT): 83061(44545/38516)
Jun 01, 2017 8:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1589/3137 took 350227 ms. Total solver calls (SAT/UNSAT): 83336(44700/38636)
Jun 01, 2017 8:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1594/3137 took 351395 ms. Total solver calls (SAT/UNSAT): 83611(44855/38756)
Jun 01, 2017 8:03:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1599/3137 took 352572 ms. Total solver calls (SAT/UNSAT): 83886(45010/38876)
Jun 01, 2017 8:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3137 took 353753 ms. Total solver calls (SAT/UNSAT): 84161(45165/38996)
Jun 01, 2017 8:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1609/3137 took 354934 ms. Total solver calls (SAT/UNSAT): 84436(45320/39116)
Jun 01, 2017 8:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1614/3137 took 356110 ms. Total solver calls (SAT/UNSAT): 84711(45475/39236)
Jun 01, 2017 8:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1619/3137 took 357277 ms. Total solver calls (SAT/UNSAT): 84986(45630/39356)
Jun 01, 2017 8:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3137 took 358446 ms. Total solver calls (SAT/UNSAT): 85261(45785/39476)
Jun 01, 2017 8:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1629/3137 took 359614 ms. Total solver calls (SAT/UNSAT): 85536(45940/39596)
Jun 01, 2017 8:03:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1634/3137 took 360778 ms. Total solver calls (SAT/UNSAT): 85799(46095/39704)
Jun 01, 2017 8:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1639/3137 took 361942 ms. Total solver calls (SAT/UNSAT): 86062(46250/39812)
Jun 01, 2017 8:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1644/3137 took 363097 ms. Total solver calls (SAT/UNSAT): 86325(46405/39920)
Jun 01, 2017 8:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1651/3137 took 364111 ms. Total solver calls (SAT/UNSAT): 86608(46538/40070)
Jun 01, 2017 8:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1658/3137 took 365127 ms. Total solver calls (SAT/UNSAT): 86897(46671/40226)
Jun 01, 2017 8:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1665/3137 took 366228 ms. Total solver calls (SAT/UNSAT): 87192(46816/40376)
Jun 01, 2017 8:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1670/3137 took 367389 ms. Total solver calls (SAT/UNSAT): 87455(46971/40484)
Jun 01, 2017 8:04:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1675/3137 took 368550 ms. Total solver calls (SAT/UNSAT): 87718(47126/40592)
Jun 01, 2017 8:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/3137 took 369711 ms. Total solver calls (SAT/UNSAT): 87981(47281/40700)
Jun 01, 2017 8:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1685/3137 took 370882 ms. Total solver calls (SAT/UNSAT): 88256(47436/40820)
Jun 01, 2017 8:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1690/3137 took 372052 ms. Total solver calls (SAT/UNSAT): 88531(47591/40940)
Jun 01, 2017 8:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1695/3137 took 373223 ms. Total solver calls (SAT/UNSAT): 88806(47746/41060)
Jun 01, 2017 8:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1700/3137 took 374394 ms. Total solver calls (SAT/UNSAT): 89081(47901/41180)
Jun 01, 2017 8:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1705/3137 took 375564 ms. Total solver calls (SAT/UNSAT): 89356(48056/41300)
Jun 01, 2017 8:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1710/3137 took 376734 ms. Total solver calls (SAT/UNSAT): 89631(48211/41420)
Jun 01, 2017 8:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1715/3137 took 377897 ms. Total solver calls (SAT/UNSAT): 89906(48366/41540)
Jun 01, 2017 8:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1720/3137 took 379055 ms. Total solver calls (SAT/UNSAT): 90181(48521/41660)
Jun 01, 2017 8:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1725/3137 took 380213 ms. Total solver calls (SAT/UNSAT): 90456(48676/41780)
Jun 01, 2017 8:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1730/3137 took 381377 ms. Total solver calls (SAT/UNSAT): 90731(48831/41900)
Jun 01, 2017 8:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1735/3137 took 382547 ms. Total solver calls (SAT/UNSAT): 91006(48986/42020)
Jun 01, 2017 8:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1740/3137 took 383718 ms. Total solver calls (SAT/UNSAT): 91281(49141/42140)
Jun 01, 2017 8:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1745/3137 took 384886 ms. Total solver calls (SAT/UNSAT): 91556(49296/42260)
Jun 01, 2017 8:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/3137 took 386044 ms. Total solver calls (SAT/UNSAT): 91831(49451/42380)
Jun 01, 2017 8:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1755/3137 took 387203 ms. Total solver calls (SAT/UNSAT): 92106(49606/42500)
Jun 01, 2017 8:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1760/3137 took 388361 ms. Total solver calls (SAT/UNSAT): 92381(49761/42620)
Jun 01, 2017 8:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1765/3137 took 389525 ms. Total solver calls (SAT/UNSAT): 92656(49916/42740)
Jun 01, 2017 8:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1770/3137 took 390689 ms. Total solver calls (SAT/UNSAT): 92931(50071/42860)
Jun 01, 2017 8:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1775/3137 took 391853 ms. Total solver calls (SAT/UNSAT): 93206(50226/42980)
Jun 01, 2017 8:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1780/3137 took 393020 ms. Total solver calls (SAT/UNSAT): 93475(50381/43094)
Jun 01, 2017 8:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1785/3137 took 394186 ms. Total solver calls (SAT/UNSAT): 93738(50536/43202)
Jun 01, 2017 8:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1790/3137 took 395352 ms. Total solver calls (SAT/UNSAT): 94001(50691/43310)
Jun 01, 2017 8:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1796/3137 took 396402 ms. Total solver calls (SAT/UNSAT): 94271(50829/43442)
Jun 01, 2017 8:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1803/3137 took 397419 ms. Total solver calls (SAT/UNSAT): 94554(50962/43592)
Jun 01, 2017 8:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1810/3137 took 398432 ms. Total solver calls (SAT/UNSAT): 94837(51095/43742)
Jun 01, 2017 8:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1816/3137 took 399645 ms. Total solver calls (SAT/UNSAT): 95131(51257/43874)
Jun 01, 2017 8:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1821/3137 took 400799 ms. Total solver calls (SAT/UNSAT): 95394(51412/43982)
Jun 01, 2017 8:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1826/3137 took 401953 ms. Total solver calls (SAT/UNSAT): 95657(51567/44090)
Jun 01, 2017 8:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1831/3137 took 403109 ms. Total solver calls (SAT/UNSAT): 95926(51722/44204)
Jun 01, 2017 8:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1836/3137 took 404266 ms. Total solver calls (SAT/UNSAT): 96201(51877/44324)
Jun 01, 2017 8:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1841/3137 took 405424 ms. Total solver calls (SAT/UNSAT): 96476(52032/44444)
Jun 01, 2017 8:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1846/3137 took 406587 ms. Total solver calls (SAT/UNSAT): 96751(52187/44564)
Jun 01, 2017 8:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1851/3137 took 407757 ms. Total solver calls (SAT/UNSAT): 97026(52342/44684)
Jun 01, 2017 8:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1856/3137 took 408927 ms. Total solver calls (SAT/UNSAT): 97301(52497/44804)
Jun 01, 2017 8:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1861/3137 took 410096 ms. Total solver calls (SAT/UNSAT): 97576(52652/44924)
Jun 01, 2017 8:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1866/3137 took 411260 ms. Total solver calls (SAT/UNSAT): 97851(52807/45044)
Jun 01, 2017 8:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1871/3137 took 412424 ms. Total solver calls (SAT/UNSAT): 98126(52962/45164)
Jun 01, 2017 8:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1876/3137 took 413587 ms. Total solver calls (SAT/UNSAT): 98401(53117/45284)
Jun 01, 2017 8:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1881/3137 took 414745 ms. Total solver calls (SAT/UNSAT): 98676(53272/45404)
Jun 01, 2017 8:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1886/3137 took 415902 ms. Total solver calls (SAT/UNSAT): 98951(53427/45524)
Jun 01, 2017 8:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1891/3137 took 417060 ms. Total solver calls (SAT/UNSAT): 99226(53582/45644)
Jun 01, 2017 8:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1896/3137 took 418218 ms. Total solver calls (SAT/UNSAT): 99501(53737/45764)
Jun 01, 2017 8:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1901/3137 took 419375 ms. Total solver calls (SAT/UNSAT): 99776(53892/45884)
Jun 01, 2017 8:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1906/3137 took 420534 ms. Total solver calls (SAT/UNSAT): 100051(54047/46004)
Jun 01, 2017 8:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1911/3137 took 421692 ms. Total solver calls (SAT/UNSAT): 100326(54202/46124)
Jun 01, 2017 8:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1916/3137 took 422849 ms. Total solver calls (SAT/UNSAT): 100601(54357/46244)
Jun 01, 2017 8:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1921/3137 took 424007 ms. Total solver calls (SAT/UNSAT): 100876(54512/46364)
Jun 01, 2017 8:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1926/3137 took 425170 ms. Total solver calls (SAT/UNSAT): 101151(54667/46484)
Jun 01, 2017 8:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1931/3137 took 426336 ms. Total solver calls (SAT/UNSAT): 101414(54822/46592)
Jun 01, 2017 8:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1936/3137 took 427502 ms. Total solver calls (SAT/UNSAT): 101677(54977/46700)
Jun 01, 2017 8:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1941/3137 took 428579 ms. Total solver calls (SAT/UNSAT): 101928(55120/46808)
Jun 01, 2017 8:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3137 took 429587 ms. Total solver calls (SAT/UNSAT): 102211(55253/46958)
Jun 01, 2017 8:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1955/3137 took 430598 ms. Total solver calls (SAT/UNSAT): 102494(55386/47108)
Jun 01, 2017 8:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1962/3137 took 431785 ms. Total solver calls (SAT/UNSAT): 102807(55543/47264)
Jun 01, 2017 8:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1967/3137 took 432939 ms. Total solver calls (SAT/UNSAT): 103070(55698/47372)
Jun 01, 2017 8:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/3137 took 434093 ms. Total solver calls (SAT/UNSAT): 103333(55853/47480)
Jun 01, 2017 8:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1977/3137 took 435250 ms. Total solver calls (SAT/UNSAT): 103596(56008/47588)
Jun 01, 2017 8:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1982/3137 took 436421 ms. Total solver calls (SAT/UNSAT): 103871(56163/47708)
Jun 01, 2017 8:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1987/3137 took 437591 ms. Total solver calls (SAT/UNSAT): 104146(56318/47828)
Jun 01, 2017 8:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1992/3137 took 438761 ms. Total solver calls (SAT/UNSAT): 104421(56473/47948)
Jun 01, 2017 8:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1997/3137 took 439934 ms. Total solver calls (SAT/UNSAT): 104696(56628/48068)
Jun 01, 2017 8:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2002/3137 took 441105 ms. Total solver calls (SAT/UNSAT): 104971(56783/48188)
Jun 01, 2017 8:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2007/3137 took 442276 ms. Total solver calls (SAT/UNSAT): 105246(56938/48308)
Jun 01, 2017 8:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2012/3137 took 443442 ms. Total solver calls (SAT/UNSAT): 105521(57093/48428)
Jun 01, 2017 8:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2017/3137 took 444607 ms. Total solver calls (SAT/UNSAT): 105796(57248/48548)
Jun 01, 2017 8:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2022/3137 took 445772 ms. Total solver calls (SAT/UNSAT): 106071(57403/48668)
Jun 01, 2017 8:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2027/3137 took 446942 ms. Total solver calls (SAT/UNSAT): 106346(57558/48788)
Jun 01, 2017 8:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2032/3137 took 448113 ms. Total solver calls (SAT/UNSAT): 106621(57713/48908)
Jun 01, 2017 8:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2037/3137 took 449284 ms. Total solver calls (SAT/UNSAT): 106896(57868/49028)
Jun 01, 2017 8:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2042/3137 took 450453 ms. Total solver calls (SAT/UNSAT): 107171(58023/49148)
Jun 01, 2017 8:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2047/3137 took 451618 ms. Total solver calls (SAT/UNSAT): 107446(58178/49268)
Jun 01, 2017 8:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2052/3137 took 452782 ms. Total solver calls (SAT/UNSAT): 107721(58333/49388)
Jun 01, 2017 8:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2057/3137 took 453947 ms. Total solver calls (SAT/UNSAT): 107996(58488/49508)
Jun 01, 2017 8:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2062/3137 took 455112 ms. Total solver calls (SAT/UNSAT): 108271(58643/49628)
Jun 01, 2017 8:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2067/3137 took 456277 ms. Total solver calls (SAT/UNSAT): 108546(58798/49748)
Jun 01, 2017 8:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2072/3137 took 457442 ms. Total solver calls (SAT/UNSAT): 108821(58953/49868)
Jun 01, 2017 8:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2077/3137 took 458602 ms. Total solver calls (SAT/UNSAT): 109084(59108/49976)
Jun 01, 2017 8:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2082/3137 took 459765 ms. Total solver calls (SAT/UNSAT): 109353(59263/50090)
Jun 01, 2017 8:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2087/3137 took 460927 ms. Total solver calls (SAT/UNSAT): 109616(59418/50198)
Jun 01, 2017 8:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2094/3137 took 462028 ms. Total solver calls (SAT/UNSAT): 109911(59563/50348)
Jun 01, 2017 8:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2101/3137 took 463044 ms. Total solver calls (SAT/UNSAT): 110194(59696/50498)
Jun 01, 2017 8:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2108/3137 took 464063 ms. Total solver calls (SAT/UNSAT): 110477(59829/50648)
Jun 01, 2017 8:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2113/3137 took 465230 ms. Total solver calls (SAT/UNSAT): 110740(59984/50756)
Jun 01, 2017 8:05:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2118/3137 took 466402 ms. Total solver calls (SAT/UNSAT): 111009(60139/50870)
Jun 01, 2017 8:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2123/3137 took 467569 ms. Total solver calls (SAT/UNSAT): 111272(60294/50978)
Jun 01, 2017 8:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2128/3137 took 468738 ms. Total solver calls (SAT/UNSAT): 111541(60449/51092)
Jun 01, 2017 8:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2133/3137 took 469909 ms. Total solver calls (SAT/UNSAT): 111816(60604/51212)
Jun 01, 2017 8:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3137 took 471079 ms. Total solver calls (SAT/UNSAT): 112091(60759/51332)
Jun 01, 2017 8:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2143/3137 took 472250 ms. Total solver calls (SAT/UNSAT): 112366(60914/51452)
Jun 01, 2017 8:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2148/3137 took 473423 ms. Total solver calls (SAT/UNSAT): 112641(61069/51572)
Jun 01, 2017 8:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2153/3137 took 474594 ms. Total solver calls (SAT/UNSAT): 112916(61224/51692)
Jun 01, 2017 8:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2158/3137 took 475762 ms. Total solver calls (SAT/UNSAT): 113191(61379/51812)
Jun 01, 2017 8:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2163/3137 took 476922 ms. Total solver calls (SAT/UNSAT): 113466(61534/51932)
Jun 01, 2017 8:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2168/3137 took 478082 ms. Total solver calls (SAT/UNSAT): 113741(61689/52052)
Jun 01, 2017 8:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2173/3137 took 479244 ms. Total solver calls (SAT/UNSAT): 114016(61844/52172)
Jun 01, 2017 8:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2178/3137 took 480416 ms. Total solver calls (SAT/UNSAT): 114291(61999/52292)
Jun 01, 2017 8:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2183/3137 took 481587 ms. Total solver calls (SAT/UNSAT): 114566(62154/52412)
Jun 01, 2017 8:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2188/3137 took 482760 ms. Total solver calls (SAT/UNSAT): 114841(62309/52532)
Jun 01, 2017 8:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2193/3137 took 483920 ms. Total solver calls (SAT/UNSAT): 115116(62464/52652)
Jun 01, 2017 8:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2198/3137 took 485081 ms. Total solver calls (SAT/UNSAT): 115391(62619/52772)
Jun 01, 2017 8:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2203/3137 took 486266 ms. Total solver calls (SAT/UNSAT): 115666(62774/52892)
Jun 01, 2017 8:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2208/3137 took 487425 ms. Total solver calls (SAT/UNSAT): 115941(62929/53012)
Jun 01, 2017 8:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2213/3137 took 488589 ms. Total solver calls (SAT/UNSAT): 116216(63084/53132)
Jun 01, 2017 8:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2218/3137 took 489761 ms. Total solver calls (SAT/UNSAT): 116491(63239/53252)
Jun 01, 2017 8:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2223/3137 took 490939 ms. Total solver calls (SAT/UNSAT): 116760(63394/53366)
Jun 01, 2017 8:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2228/3137 took 492120 ms. Total solver calls (SAT/UNSAT): 117023(63549/53474)
Jun 01, 2017 8:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2233/3137 took 493301 ms. Total solver calls (SAT/UNSAT): 117286(63704/53582)
Jun 01, 2017 8:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2238/3137 took 494301 ms. Total solver calls (SAT/UNSAT): 117525(63835/53690)
Jun 01, 2017 8:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2245/3137 took 495323 ms. Total solver calls (SAT/UNSAT): 117814(63968/53846)
Jun 01, 2017 8:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2252/3137 took 496347 ms. Total solver calls (SAT/UNSAT): 118097(64101/53996)
Jun 01, 2017 8:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2258/3137 took 497401 ms. Total solver calls (SAT/UNSAT): 118367(64239/54128)
Jun 01, 2017 8:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2263/3137 took 498568 ms. Total solver calls (SAT/UNSAT): 118630(64394/54236)
Jun 01, 2017 8:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2268/3137 took 499736 ms. Total solver calls (SAT/UNSAT): 118893(64549/54344)
Jun 01, 2017 8:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2273/3137 took 500907 ms. Total solver calls (SAT/UNSAT): 119156(64704/54452)
Jun 01, 2017 8:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2278/3137 took 502104 ms. Total solver calls (SAT/UNSAT): 119431(64859/54572)
Jun 01, 2017 8:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2283/3137 took 503277 ms. Total solver calls (SAT/UNSAT): 119706(65014/54692)
Jun 01, 2017 8:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2288/3137 took 504449 ms. Total solver calls (SAT/UNSAT): 119981(65169/54812)
Jun 01, 2017 8:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2293/3137 took 505608 ms. Total solver calls (SAT/UNSAT): 120256(65324/54932)
Jun 01, 2017 8:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2298/3137 took 506767 ms. Total solver calls (SAT/UNSAT): 120531(65479/55052)
Jun 01, 2017 8:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2303/3137 took 507927 ms. Total solver calls (SAT/UNSAT): 120806(65634/55172)
Jun 01, 2017 8:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2308/3137 took 509097 ms. Total solver calls (SAT/UNSAT): 121081(65789/55292)
Jun 01, 2017 8:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2313/3137 took 510270 ms. Total solver calls (SAT/UNSAT): 121356(65944/55412)
Jun 01, 2017 8:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2318/3137 took 511445 ms. Total solver calls (SAT/UNSAT): 121631(66099/55532)
Jun 01, 2017 8:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2323/3137 took 512620 ms. Total solver calls (SAT/UNSAT): 121906(66254/55652)
Jun 01, 2017 8:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2328/3137 took 513794 ms. Total solver calls (SAT/UNSAT): 122181(66409/55772)
Jun 01, 2017 8:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2333/3137 took 514974 ms. Total solver calls (SAT/UNSAT): 122456(66564/55892)
Jun 01, 2017 8:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2338/3137 took 516150 ms. Total solver calls (SAT/UNSAT): 122731(66719/56012)
Jun 01, 2017 8:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2343/3137 took 517326 ms. Total solver calls (SAT/UNSAT): 123006(66874/56132)
Jun 01, 2017 8:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2348/3137 took 518502 ms. Total solver calls (SAT/UNSAT): 123281(67029/56252)
Jun 01, 2017 8:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3137 took 519676 ms. Total solver calls (SAT/UNSAT): 123556(67184/56372)
Jun 01, 2017 8:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2358/3137 took 520851 ms. Total solver calls (SAT/UNSAT): 123831(67339/56492)
Jun 01, 2017 8:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2363/3137 took 522031 ms. Total solver calls (SAT/UNSAT): 124106(67494/56612)
Jun 01, 2017 8:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2368/3137 took 523204 ms. Total solver calls (SAT/UNSAT): 124381(67649/56732)
Jun 01, 2017 8:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2373/3137 took 524369 ms. Total solver calls (SAT/UNSAT): 124644(67804/56840)
Jun 01, 2017 8:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2378/3137 took 525536 ms. Total solver calls (SAT/UNSAT): 124913(67959/56954)
Jun 01, 2017 8:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2383/3137 took 526703 ms. Total solver calls (SAT/UNSAT): 125176(68114/57062)
Jun 01, 2017 8:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2390/3137 took 527809 ms. Total solver calls (SAT/UNSAT): 125471(68259/57212)
Jun 01, 2017 8:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2397/3137 took 528827 ms. Total solver calls (SAT/UNSAT): 125754(68392/57362)
Jun 01, 2017 8:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2404/3137 took 529846 ms. Total solver calls (SAT/UNSAT): 126037(68525/57512)
Jun 01, 2017 8:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2409/3137 took 531013 ms. Total solver calls (SAT/UNSAT): 126300(68680/57620)
Jun 01, 2017 8:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2414/3137 took 532177 ms. Total solver calls (SAT/UNSAT): 126553(68835/57718)
Jun 01, 2017 8:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2419/3137 took 533340 ms. Total solver calls (SAT/UNSAT): 126804(68990/57814)
Jun 01, 2017 8:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2424/3137 took 534509 ms. Total solver calls (SAT/UNSAT): 127069(69145/57924)
Jun 01, 2017 8:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2429/3137 took 535647 ms. Total solver calls (SAT/UNSAT): 127326(69300/58026)
Jun 01, 2017 8:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2434/3137 took 536767 ms. Total solver calls (SAT/UNSAT): 127595(69455/58140)
Jun 01, 2017 8:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2439/3137 took 537882 ms. Total solver calls (SAT/UNSAT): 127858(69610/58248)
Jun 01, 2017 8:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2444/3137 took 538991 ms. Total solver calls (SAT/UNSAT): 128115(69765/58350)
Jun 01, 2017 8:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2449/3137 took 540127 ms. Total solver calls (SAT/UNSAT): 128390(69920/58470)
Jun 01, 2017 8:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2453/3137 took 541128 ms. Total solver calls (SAT/UNSAT): 128592(70044/58548)
Jun 01, 2017 8:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2457/3137 took 542152 ms. Total solver calls (SAT/UNSAT): 128812(70168/58644)
Jun 01, 2017 8:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2462/3137 took 543284 ms. Total solver calls (SAT/UNSAT): 129069(70323/58746)
Jun 01, 2017 8:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2467/3137 took 544413 ms. Total solver calls (SAT/UNSAT): 129332(70478/58854)
Jun 01, 2017 8:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2472/3137 took 545539 ms. Total solver calls (SAT/UNSAT): 129601(70633/58968)
Jun 01, 2017 8:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2477/3137 took 546663 ms. Total solver calls (SAT/UNSAT): 129858(70788/59070)
Jun 01, 2017 8:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2482/3137 took 547792 ms. Total solver calls (SAT/UNSAT): 130127(70943/59184)
Jun 01, 2017 8:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2487/3137 took 548916 ms. Total solver calls (SAT/UNSAT): 130390(71098/59292)
Jun 01, 2017 8:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2492/3137 took 550035 ms. Total solver calls (SAT/UNSAT): 130647(71253/59394)
Jun 01, 2017 8:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2497/3137 took 551159 ms. Total solver calls (SAT/UNSAT): 130922(71408/59514)
Jun 01, 2017 8:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2502/3137 took 552283 ms. Total solver calls (SAT/UNSAT): 131179(71563/59616)
Jun 01, 2017 8:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2507/3137 took 553411 ms. Total solver calls (SAT/UNSAT): 131442(71718/59724)
Jun 01, 2017 8:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2512/3137 took 554591 ms. Total solver calls (SAT/UNSAT): 131711(71873/59838)
Jun 01, 2017 8:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2517/3137 took 555770 ms. Total solver calls (SAT/UNSAT): 131968(72028/59940)
Jun 01, 2017 8:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2522/3137 took 556980 ms. Total solver calls (SAT/UNSAT): 132225(72183/60042)
Jun 01, 2017 8:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2527/3137 took 558190 ms. Total solver calls (SAT/UNSAT): 132478(72338/60140)
Jun 01, 2017 8:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2531/3137 took 559199 ms. Total solver calls (SAT/UNSAT): 132680(72462/60218)
Jun 01, 2017 8:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2538/3137 took 560330 ms. Total solver calls (SAT/UNSAT): 132961(72607/60354)
Jun 01, 2017 8:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2545/3137 took 561371 ms. Total solver calls (SAT/UNSAT): 133234(72740/60494)
Jun 01, 2017 8:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2552/3137 took 562411 ms. Total solver calls (SAT/UNSAT): 133497(72873/60624)
Jun 01, 2017 8:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2559/3137 took 563449 ms. Total solver calls (SAT/UNSAT): 133776(73006/60770)
Jun 01, 2017 8:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2566/3137 took 564488 ms. Total solver calls (SAT/UNSAT): 134049(73139/60910)
Jun 01, 2017 8:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2573/3137 took 565540 ms. Total solver calls (SAT/UNSAT): 134332(73272/61060)
Jun 01, 2017 8:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2580/3137 took 566586 ms. Total solver calls (SAT/UNSAT): 134621(73405/61216)
Jun 01, 2017 8:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2587/3137 took 567625 ms. Total solver calls (SAT/UNSAT): 134898(73538/61360)
Jun 01, 2017 8:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2594/3137 took 568680 ms. Total solver calls (SAT/UNSAT): 135187(73671/61516)
Jun 01, 2017 8:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2601/3137 took 569759 ms. Total solver calls (SAT/UNSAT): 135470(73804/61666)
Jun 01, 2017 8:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2608/3137 took 570788 ms. Total solver calls (SAT/UNSAT): 135753(73937/61816)
Jun 01, 2017 8:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2615/3137 took 571810 ms. Total solver calls (SAT/UNSAT): 136042(74070/61972)
Jun 01, 2017 8:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2622/3137 took 572838 ms. Total solver calls (SAT/UNSAT): 136319(74203/62116)
Jun 01, 2017 8:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2629/3137 took 573855 ms. Total solver calls (SAT/UNSAT): 136598(74336/62262)
Jun 01, 2017 8:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2639/3137 took 574892 ms. Total solver calls (SAT/UNSAT): 136926(74470/62456)
Jun 01, 2017 8:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2648/3137 took 575900 ms. Total solver calls (SAT/UNSAT): 137237(74601/62636)
Jun 01, 2017 8:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2655/3137 took 576916 ms. Total solver calls (SAT/UNSAT): 137506(74734/62772)
Jun 01, 2017 8:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2662/3137 took 577955 ms. Total solver calls (SAT/UNSAT): 137795(74867/62928)
Jun 01, 2017 8:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2669/3137 took 578980 ms. Total solver calls (SAT/UNSAT): 138072(75000/63072)
Jun 01, 2017 8:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2676/3137 took 580004 ms. Total solver calls (SAT/UNSAT): 138361(75133/63228)
Jun 01, 2017 8:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2683/3137 took 581033 ms. Total solver calls (SAT/UNSAT): 138644(75266/63378)
Jun 01, 2017 8:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2690/3137 took 582065 ms. Total solver calls (SAT/UNSAT): 138927(75399/63528)
Jun 01, 2017 8:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2697/3137 took 583109 ms. Total solver calls (SAT/UNSAT): 139216(75532/63684)
Jun 01, 2017 8:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2704/3137 took 584195 ms. Total solver calls (SAT/UNSAT): 139493(75665/63828)
Jun 01, 2017 8:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3137 took 585259 ms. Total solver calls (SAT/UNSAT): 139782(75798/63984)
Jun 01, 2017 8:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2718/3137 took 586354 ms. Total solver calls (SAT/UNSAT): 140059(75931/64128)
Jun 01, 2017 8:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2726/3137 took 587424 ms. Total solver calls (SAT/UNSAT): 140349(76067/64282)
Jun 01, 2017 8:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2747/3137 took 588428 ms. Total solver calls (SAT/UNSAT): 141064(76177/64887)
Jun 01, 2017 8:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2843/3137 took 589432 ms. Total solver calls (SAT/UNSAT): 144376(76177/68199)
Jun 01, 2017 8:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2951/3137 took 590436 ms. Total solver calls (SAT/UNSAT): 147684(76177/71507)
Jun 01, 2017 8:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3047/3137 took 591439 ms. Total solver calls (SAT/UNSAT): 150996(76177/74819)
Jun 01, 2017 8:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 592230 ms. Total solver calls (SAT/UNSAT): 153601(76177/77424)
Jun 01, 2017 8:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 3137 transitions.
Jun 01, 2017 8:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3137 took 20622 ms. Total solver calls (SAT/UNSAT): 3137(2736/401)
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PhaseVariation-PT-D10CS010"
export BK_EXAMINATION="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/S_PhaseVariation-PT-D10CS010.tgz
mv S_PhaseVariation-PT-D10CS010 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PhaseVariation-PT-D10CS010, examination is 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 r130-smll-149441683100107"
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 ;