Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...........................
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is PhaseVariation-PT-D10CS010, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r050-smll-149440871700104
=====================================================================

--------------------
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-LTLCardinality-0
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-1
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-10
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-11
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-12
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-13
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-14
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-15
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-2
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-3
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-4
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-5
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-6
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-7
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-8
FORMULA_NAME PhaseVariation-PT-D10CS010-LTLCardinality-9

=== Now, execution of the tool begins

BK_START 1496300537881


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

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !(((X(X("cell___3_5__B_<=cell___8_10__A_")))U(G(F("pool__4_7_<=pool__2_9_")))))
Formula 0 simplified : !(XX"cell___3_5__B_<=cell___8_10__A_" U GF"pool__4_7_<=pool__2_9_")
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
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -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 LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 7:02:20 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 7:02:21 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 654 ms
Jun 01, 2017 7:02:21 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 302 places.
Jun 01, 2017 7:02:21 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3137 transitions.
Jun 01, 2017 7:02:23 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1155 ms
Jun 01, 2017 7:02:23 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 102 ms
Jun 01, 2017 7:02:23 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 01, 2017 7:02:25 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 101 place invariants in 454 ms
Jun 01, 2017 7:02:34 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 302 variables to be positive in 8598 ms
Jun 01, 2017 7:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3137 transitions.
Jun 01, 2017 7:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3137 took 9982 ms. Total solver calls (SAT/UNSAT): 3137(1/3136)
Jun 01, 2017 7:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/3137 took 11125 ms. Total solver calls (SAT/UNSAT): 3400(156/3244)
Jun 01, 2017 7:02:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/3137 took 12272 ms. Total solver calls (SAT/UNSAT): 3647(311/3336)
Jun 01, 2017 7:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/3137 took 13413 ms. Total solver calls (SAT/UNSAT): 3904(466/3438)
Jun 01, 2017 7:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3137 took 14566 ms. Total solver calls (SAT/UNSAT): 4169(621/3548)
Jun 01, 2017 7:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/3137 took 15704 ms. Total solver calls (SAT/UNSAT): 4426(776/3650)
Jun 01, 2017 7:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/3137 took 16842 ms. Total solver calls (SAT/UNSAT): 4695(931/3764)
Jun 01, 2017 7:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/3137 took 17981 ms. Total solver calls (SAT/UNSAT): 4958(1086/3872)
Jun 01, 2017 7:02:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3137 took 19116 ms. Total solver calls (SAT/UNSAT): 5215(1241/3974)
Jun 01, 2017 7:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/3137 took 20254 ms. Total solver calls (SAT/UNSAT): 5490(1396/4094)
Jun 01, 2017 7:02:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/3137 took 21385 ms. Total solver calls (SAT/UNSAT): 5747(1551/4196)
Jun 01, 2017 7:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/3137 took 22518 ms. Total solver calls (SAT/UNSAT): 6010(1706/4304)
Jun 01, 2017 7:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3137 took 23649 ms. Total solver calls (SAT/UNSAT): 6279(1861/4418)
Jun 01, 2017 7:02:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/3137 took 24774 ms. Total solver calls (SAT/UNSAT): 6536(2016/4520)
Jun 01, 2017 7:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/3137 took 25892 ms. Total solver calls (SAT/UNSAT): 6805(2171/4634)
Jun 01, 2017 7:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/3137 took 27007 ms. Total solver calls (SAT/UNSAT): 7068(2326/4742)
Jun 01, 2017 7:03:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3137 took 28131 ms. Total solver calls (SAT/UNSAT): 7325(2481/4844)
Jun 01, 2017 7:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/3137 took 29260 ms. Total solver calls (SAT/UNSAT): 7600(2636/4964)
Jun 01, 2017 7:03:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/3137 took 30388 ms. Total solver calls (SAT/UNSAT): 7857(2791/5066)
Jun 01, 2017 7:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/3137 took 31578 ms. Total solver calls (SAT/UNSAT): 8120(2946/5174)
Jun 01, 2017 7:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3137 took 32773 ms. Total solver calls (SAT/UNSAT): 8389(3101/5288)
Jun 01, 2017 7:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/3137 took 33963 ms. Total solver calls (SAT/UNSAT): 8646(3256/5390)
Jun 01, 2017 7:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/3137 took 35154 ms. Total solver calls (SAT/UNSAT): 8915(3411/5504)
Jun 01, 2017 7:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/3137 took 36316 ms. Total solver calls (SAT/UNSAT): 9172(3566/5606)
Jun 01, 2017 7:03:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3137 took 37429 ms. Total solver calls (SAT/UNSAT): 9419(3721/5698)
Jun 01, 2017 7:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/3137 took 38548 ms. Total solver calls (SAT/UNSAT): 9682(3876/5806)
Jun 01, 2017 7:03:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3137 took 39636 ms. Total solver calls (SAT/UNSAT): 9948(4026/5922)
Jun 01, 2017 7:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/3137 took 40749 ms. Total solver calls (SAT/UNSAT): 10254(4178/6076)
Jun 01, 2017 7:03:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/3137 took 41862 ms. Total solver calls (SAT/UNSAT): 10564(4330/6234)
Jun 01, 2017 7:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/3137 took 42895 ms. Total solver calls (SAT/UNSAT): 10811(4473/6338)
Jun 01, 2017 7:03:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/3137 took 44021 ms. Total solver calls (SAT/UNSAT): 11074(4628/6446)
Jun 01, 2017 7:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/3137 took 45153 ms. Total solver calls (SAT/UNSAT): 11337(4783/6554)
Jun 01, 2017 7:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/3137 took 46288 ms. Total solver calls (SAT/UNSAT): 11606(4938/6668)
Jun 01, 2017 7:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/3137 took 47425 ms. Total solver calls (SAT/UNSAT): 11881(5093/6788)
Jun 01, 2017 7:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/3137 took 48561 ms. Total solver calls (SAT/UNSAT): 12156(5248/6908)
Jun 01, 2017 7:03:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/3137 took 49697 ms. Total solver calls (SAT/UNSAT): 12431(5403/7028)
Jun 01, 2017 7:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/3137 took 50833 ms. Total solver calls (SAT/UNSAT): 12706(5558/7148)
Jun 01, 2017 7:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/3137 took 51968 ms. Total solver calls (SAT/UNSAT): 12981(5713/7268)
Jun 01, 2017 7:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/3137 took 53103 ms. Total solver calls (SAT/UNSAT): 13256(5868/7388)
Jun 01, 2017 7:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/3137 took 54239 ms. Total solver calls (SAT/UNSAT): 13531(6023/7508)
Jun 01, 2017 7:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/3137 took 55374 ms. Total solver calls (SAT/UNSAT): 13806(6178/7628)
Jun 01, 2017 7:03:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/3137 took 56510 ms. Total solver calls (SAT/UNSAT): 14081(6333/7748)
Jun 01, 2017 7:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/3137 took 57646 ms. Total solver calls (SAT/UNSAT): 14356(6488/7868)
Jun 01, 2017 7:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/3137 took 58784 ms. Total solver calls (SAT/UNSAT): 14631(6643/7988)
Jun 01, 2017 7:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/3137 took 60008 ms. Total solver calls (SAT/UNSAT): 14906(6798/8108)
Jun 01, 2017 7:03:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/3137 took 61226 ms. Total solver calls (SAT/UNSAT): 15181(6953/8228)
Jun 01, 2017 7:03:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/3137 took 62415 ms. Total solver calls (SAT/UNSAT): 15456(7108/8348)
Jun 01, 2017 7:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/3137 took 63555 ms. Total solver calls (SAT/UNSAT): 15731(7263/8468)
Jun 01, 2017 7:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/3137 took 64690 ms. Total solver calls (SAT/UNSAT): 16006(7418/8588)
Jun 01, 2017 7:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/3137 took 65824 ms. Total solver calls (SAT/UNSAT): 16281(7573/8708)
Jun 01, 2017 7:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/3137 took 66958 ms. Total solver calls (SAT/UNSAT): 16556(7728/8828)
Jun 01, 2017 7:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/3137 took 68093 ms. Total solver calls (SAT/UNSAT): 16831(7883/8948)
Jun 01, 2017 7:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/3137 took 69224 ms. Total solver calls (SAT/UNSAT): 17094(8038/9056)
Jun 01, 2017 7:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/3137 took 70354 ms. Total solver calls (SAT/UNSAT): 17357(8193/9164)
Jun 01, 2017 7:03:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/3137 took 71399 ms. Total solver calls (SAT/UNSAT): 17608(8336/9272)
Jun 01, 2017 7:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/3137 took 72524 ms. Total solver calls (SAT/UNSAT): 17934(8488/9446)
Jun 01, 2017 7:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/3137 took 73645 ms. Total solver calls (SAT/UNSAT): 18254(8640/9614)
Jun 01, 2017 7:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/3137 took 74741 ms. Total solver calls (SAT/UNSAT): 18536(8790/9746)
Jun 01, 2017 7:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/3137 took 75865 ms. Total solver calls (SAT/UNSAT): 18799(8945/9854)
Jun 01, 2017 7:03:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/3137 took 76989 ms. Total solver calls (SAT/UNSAT): 19062(9100/9962)
Jun 01, 2017 7:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/3137 took 78115 ms. Total solver calls (SAT/UNSAT): 19331(9255/10076)
Jun 01, 2017 7:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/3137 took 79242 ms. Total solver calls (SAT/UNSAT): 19606(9410/10196)
Jun 01, 2017 7:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/3137 took 80370 ms. Total solver calls (SAT/UNSAT): 19881(9565/10316)
Jun 01, 2017 7:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/3137 took 81496 ms. Total solver calls (SAT/UNSAT): 20156(9720/10436)
Jun 01, 2017 7:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/3137 took 82621 ms. Total solver calls (SAT/UNSAT): 20431(9875/10556)
Jun 01, 2017 7:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/3137 took 83748 ms. Total solver calls (SAT/UNSAT): 20706(10030/10676)
Jun 01, 2017 7:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/3137 took 84875 ms. Total solver calls (SAT/UNSAT): 20981(10185/10796)
Jun 01, 2017 7:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/3137 took 86002 ms. Total solver calls (SAT/UNSAT): 21256(10340/10916)
Jun 01, 2017 7:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/3137 took 87130 ms. Total solver calls (SAT/UNSAT): 21531(10495/11036)
Jun 01, 2017 7:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/3137 took 88257 ms. Total solver calls (SAT/UNSAT): 21806(10650/11156)
Jun 01, 2017 7:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/3137 took 89385 ms. Total solver calls (SAT/UNSAT): 22081(10805/11276)
Jun 01, 2017 7:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/3137 took 90512 ms. Total solver calls (SAT/UNSAT): 22356(10960/11396)
Jun 01, 2017 7:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/3137 took 91638 ms. Total solver calls (SAT/UNSAT): 22631(11115/11516)
Jun 01, 2017 7:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/3137 took 92765 ms. Total solver calls (SAT/UNSAT): 22906(11270/11636)
Jun 01, 2017 7:04:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/3137 took 93891 ms. Total solver calls (SAT/UNSAT): 23181(11425/11756)
Jun 01, 2017 7:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/3137 took 95020 ms. Total solver calls (SAT/UNSAT): 23456(11580/11876)
Jun 01, 2017 7:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/3137 took 96147 ms. Total solver calls (SAT/UNSAT): 23731(11735/11996)
Jun 01, 2017 7:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/3137 took 97273 ms. Total solver calls (SAT/UNSAT): 24006(11890/12116)
Jun 01, 2017 7:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3137 took 98399 ms. Total solver calls (SAT/UNSAT): 24281(12045/12236)
Jun 01, 2017 7:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/3137 took 99526 ms. Total solver calls (SAT/UNSAT): 24556(12200/12356)
Jun 01, 2017 7:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/3137 took 100649 ms. Total solver calls (SAT/UNSAT): 24819(12355/12464)
Jun 01, 2017 7:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/3137 took 101772 ms. Total solver calls (SAT/UNSAT): 25082(12510/12572)
Jun 01, 2017 7:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/3137 took 102901 ms. Total solver calls (SAT/UNSAT): 25345(12665/12680)
Jun 01, 2017 7:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/3137 took 104022 ms. Total solver calls (SAT/UNSAT): 25671(12817/12854)
Jun 01, 2017 7:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/3137 took 105142 ms. Total solver calls (SAT/UNSAT): 25997(12969/13028)
Jun 01, 2017 7:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/3137 took 106152 ms. Total solver calls (SAT/UNSAT): 26267(13107/13160)
Jun 01, 2017 7:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/3137 took 107275 ms. Total solver calls (SAT/UNSAT): 26530(13262/13268)
Jun 01, 2017 7:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/3137 took 108399 ms. Total solver calls (SAT/UNSAT): 26793(13417/13376)
Jun 01, 2017 7:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/3137 took 109522 ms. Total solver calls (SAT/UNSAT): 27056(13572/13484)
Jun 01, 2017 7:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/3137 took 110648 ms. Total solver calls (SAT/UNSAT): 27331(13727/13604)
Jun 01, 2017 7:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/3137 took 111775 ms. Total solver calls (SAT/UNSAT): 27606(13882/13724)
Jun 01, 2017 7:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3137 took 112902 ms. Total solver calls (SAT/UNSAT): 27881(14037/13844)
Jun 01, 2017 7:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/3137 took 114028 ms. Total solver calls (SAT/UNSAT): 28156(14192/13964)
Jun 01, 2017 7:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/3137 took 115155 ms. Total solver calls (SAT/UNSAT): 28431(14347/14084)
Jun 01, 2017 7:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/3137 took 116282 ms. Total solver calls (SAT/UNSAT): 28706(14502/14204)
Jun 01, 2017 7:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/3137 took 117409 ms. Total solver calls (SAT/UNSAT): 28981(14657/14324)
Jun 01, 2017 7:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/3137 took 118536 ms. Total solver calls (SAT/UNSAT): 29256(14812/14444)
Jun 01, 2017 7:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/3137 took 119662 ms. Total solver calls (SAT/UNSAT): 29531(14967/14564)
Jun 01, 2017 7:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/3137 took 120806 ms. Total solver calls (SAT/UNSAT): 29806(15122/14684)
Jun 01, 2017 7:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/3137 took 121963 ms. Total solver calls (SAT/UNSAT): 30081(15277/14804)
Jun 01, 2017 7:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/3137 took 123125 ms. Total solver calls (SAT/UNSAT): 30356(15432/14924)
Jun 01, 2017 7:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/3137 took 124293 ms. Total solver calls (SAT/UNSAT): 30631(15587/15044)
Jun 01, 2017 7:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/3137 took 125455 ms. Total solver calls (SAT/UNSAT): 30906(15742/15164)
Jun 01, 2017 7:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/3137 took 126619 ms. Total solver calls (SAT/UNSAT): 31181(15897/15284)
Jun 01, 2017 7:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/3137 took 127780 ms. Total solver calls (SAT/UNSAT): 31456(16052/15404)
Jun 01, 2017 7:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/3137 took 128923 ms. Total solver calls (SAT/UNSAT): 31731(16207/15524)
Jun 01, 2017 7:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/3137 took 130050 ms. Total solver calls (SAT/UNSAT): 32006(16362/15644)
Jun 01, 2017 7:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/3137 took 131169 ms. Total solver calls (SAT/UNSAT): 32281(16517/15764)
Jun 01, 2017 7:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/3137 took 132296 ms. Total solver calls (SAT/UNSAT): 32544(16672/15872)
Jun 01, 2017 7:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/3137 took 133500 ms. Total solver calls (SAT/UNSAT): 32813(16827/15986)
Jun 01, 2017 7:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/3137 took 134557 ms. Total solver calls (SAT/UNSAT): 33021(16951/16070)
Jun 01, 2017 7:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/3137 took 135721 ms. Total solver calls (SAT/UNSAT): 33291(17089/16202)
Jun 01, 2017 7:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/3137 took 136794 ms. Total solver calls (SAT/UNSAT): 33574(17222/16352)
Jun 01, 2017 7:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/3137 took 137841 ms. Total solver calls (SAT/UNSAT): 33857(17355/16502)
Jun 01, 2017 7:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/3137 took 138857 ms. Total solver calls (SAT/UNSAT): 34096(17486/16610)
Jun 01, 2017 7:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/3137 took 140050 ms. Total solver calls (SAT/UNSAT): 34359(17641/16718)
Jun 01, 2017 7:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/3137 took 141241 ms. Total solver calls (SAT/UNSAT): 34622(17796/16826)
Jun 01, 2017 7:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/3137 took 142436 ms. Total solver calls (SAT/UNSAT): 34891(17951/16940)
Jun 01, 2017 7:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/3137 took 143635 ms. Total solver calls (SAT/UNSAT): 35166(18106/17060)
Jun 01, 2017 7:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/3137 took 144852 ms. Total solver calls (SAT/UNSAT): 35441(18261/17180)
Jun 01, 2017 7:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/3137 took 146067 ms. Total solver calls (SAT/UNSAT): 35716(18416/17300)
Jun 01, 2017 7:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/3137 took 147282 ms. Total solver calls (SAT/UNSAT): 35991(18571/17420)
Jun 01, 2017 7:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/3137 took 148495 ms. Total solver calls (SAT/UNSAT): 36266(18726/17540)
Jun 01, 2017 7:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/3137 took 149702 ms. Total solver calls (SAT/UNSAT): 36541(18881/17660)
Jun 01, 2017 7:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/3137 took 150914 ms. Total solver calls (SAT/UNSAT): 36816(19036/17780)
Jun 01, 2017 7:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/3137 took 152121 ms. Total solver calls (SAT/UNSAT): 37091(19191/17900)
Jun 01, 2017 7:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/3137 took 153329 ms. Total solver calls (SAT/UNSAT): 37366(19346/18020)
Jun 01, 2017 7:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/3137 took 154535 ms. Total solver calls (SAT/UNSAT): 37641(19501/18140)
Jun 01, 2017 7:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/3137 took 155685 ms. Total solver calls (SAT/UNSAT): 37916(19656/18260)
Jun 01, 2017 7:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/3137 took 156829 ms. Total solver calls (SAT/UNSAT): 38191(19811/18380)
Jun 01, 2017 7:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/3137 took 158016 ms. Total solver calls (SAT/UNSAT): 38466(19966/18500)
Jun 01, 2017 7:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/3137 took 159220 ms. Total solver calls (SAT/UNSAT): 38741(20121/18620)
Jun 01, 2017 7:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/3137 took 160353 ms. Total solver calls (SAT/UNSAT): 39016(20276/18740)
Jun 01, 2017 7:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/3137 took 161499 ms. Total solver calls (SAT/UNSAT): 39291(20431/18860)
Jun 01, 2017 7:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/3137 took 162629 ms. Total solver calls (SAT/UNSAT): 39566(20586/18980)
Jun 01, 2017 7:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/3137 took 163756 ms. Total solver calls (SAT/UNSAT): 39841(20741/19100)
Jun 01, 2017 7:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/3137 took 164883 ms. Total solver calls (SAT/UNSAT): 40116(20896/19220)
Jun 01, 2017 7:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/3137 took 166011 ms. Total solver calls (SAT/UNSAT): 40379(21051/19328)
Jun 01, 2017 7:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/3137 took 167153 ms. Total solver calls (SAT/UNSAT): 40642(21206/19436)
Jun 01, 2017 7:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/3137 took 168286 ms. Total solver calls (SAT/UNSAT): 40905(21361/19544)
Jun 01, 2017 7:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :727/3137 took 169309 ms. Total solver calls (SAT/UNSAT): 41188(21494/19694)
Jun 01, 2017 7:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/3137 took 170353 ms. Total solver calls (SAT/UNSAT): 41477(21627/19850)
Jun 01, 2017 7:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/3137 took 171483 ms. Total solver calls (SAT/UNSAT): 41772(21772/20000)
Jun 01, 2017 7:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/3137 took 172690 ms. Total solver calls (SAT/UNSAT): 42035(21927/20108)
Jun 01, 2017 7:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/3137 took 173851 ms. Total solver calls (SAT/UNSAT): 42298(22082/20216)
Jun 01, 2017 7:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/3137 took 174997 ms. Total solver calls (SAT/UNSAT): 42561(22237/20324)
Jun 01, 2017 7:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/3137 took 176128 ms. Total solver calls (SAT/UNSAT): 42836(22392/20444)
Jun 01, 2017 7:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/3137 took 177261 ms. Total solver calls (SAT/UNSAT): 43111(22547/20564)
Jun 01, 2017 7:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/3137 took 178395 ms. Total solver calls (SAT/UNSAT): 43386(22702/20684)
Jun 01, 2017 7:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/3137 took 179528 ms. Total solver calls (SAT/UNSAT): 43661(22857/20804)
Jun 01, 2017 7:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/3137 took 180664 ms. Total solver calls (SAT/UNSAT): 43936(23012/20924)
Jun 01, 2017 7:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/3137 took 181797 ms. Total solver calls (SAT/UNSAT): 44211(23167/21044)
Jun 01, 2017 7:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/3137 took 182931 ms. Total solver calls (SAT/UNSAT): 44486(23322/21164)
Jun 01, 2017 7:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/3137 took 184061 ms. Total solver calls (SAT/UNSAT): 44761(23477/21284)
Jun 01, 2017 7:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/3137 took 185193 ms. Total solver calls (SAT/UNSAT): 45036(23632/21404)
Jun 01, 2017 7:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/3137 took 186324 ms. Total solver calls (SAT/UNSAT): 45311(23787/21524)
Jun 01, 2017 7:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/3137 took 187455 ms. Total solver calls (SAT/UNSAT): 45586(23942/21644)
Jun 01, 2017 7:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/3137 took 188586 ms. Total solver calls (SAT/UNSAT): 45861(24097/21764)
Jun 01, 2017 7:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/3137 took 189717 ms. Total solver calls (SAT/UNSAT): 46136(24252/21884)
Jun 01, 2017 7:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/3137 took 190848 ms. Total solver calls (SAT/UNSAT): 46411(24407/22004)
Jun 01, 2017 7:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/3137 took 191979 ms. Total solver calls (SAT/UNSAT): 46686(24562/22124)
Jun 01, 2017 7:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3137 took 193109 ms. Total solver calls (SAT/UNSAT): 46961(24717/22244)
Jun 01, 2017 7:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/3137 took 194241 ms. Total solver calls (SAT/UNSAT): 47236(24872/22364)
Jun 01, 2017 7:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/3137 took 195383 ms. Total solver calls (SAT/UNSAT): 47511(25027/22484)
Jun 01, 2017 7:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/3137 took 196519 ms. Total solver calls (SAT/UNSAT): 47786(25182/22604)
Jun 01, 2017 7:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3137 took 197654 ms. Total solver calls (SAT/UNSAT): 48055(25337/22718)
Jun 01, 2017 7:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/3137 took 198788 ms. Total solver calls (SAT/UNSAT): 48318(25492/22826)
Jun 01, 2017 7:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/3137 took 199920 ms. Total solver calls (SAT/UNSAT): 48581(25647/22934)
Jun 01, 2017 7:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/3137 took 200945 ms. Total solver calls (SAT/UNSAT): 48851(25785/23066)
Jun 01, 2017 7:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/3137 took 201947 ms. Total solver calls (SAT/UNSAT): 49134(25918/23216)
Jun 01, 2017 7:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/3137 took 203076 ms. Total solver calls (SAT/UNSAT): 49460(26070/23390)
Jun 01, 2017 7:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :892/3137 took 204122 ms. Total solver calls (SAT/UNSAT): 49711(26213/23498)
Jun 01, 2017 7:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :897/3137 took 205253 ms. Total solver calls (SAT/UNSAT): 49974(26368/23606)
Jun 01, 2017 7:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :902/3137 took 206385 ms. Total solver calls (SAT/UNSAT): 50237(26523/23714)
Jun 01, 2017 7:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :907/3137 took 207519 ms. Total solver calls (SAT/UNSAT): 50506(26678/23828)
Jun 01, 2017 7:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/3137 took 208655 ms. Total solver calls (SAT/UNSAT): 50781(26833/23948)
Jun 01, 2017 7:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/3137 took 209791 ms. Total solver calls (SAT/UNSAT): 51056(26988/24068)
Jun 01, 2017 7:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :922/3137 took 210925 ms. Total solver calls (SAT/UNSAT): 51331(27143/24188)
Jun 01, 2017 7:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :927/3137 took 212061 ms. Total solver calls (SAT/UNSAT): 51606(27298/24308)
Jun 01, 2017 7:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/3137 took 213198 ms. Total solver calls (SAT/UNSAT): 51881(27453/24428)
Jun 01, 2017 7:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :937/3137 took 214332 ms. Total solver calls (SAT/UNSAT): 52156(27608/24548)
Jun 01, 2017 7:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/3137 took 215471 ms. Total solver calls (SAT/UNSAT): 52431(27763/24668)
Jun 01, 2017 7:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :947/3137 took 216610 ms. Total solver calls (SAT/UNSAT): 52706(27918/24788)
Jun 01, 2017 7:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3137 took 217748 ms. Total solver calls (SAT/UNSAT): 52981(28073/24908)
Jun 01, 2017 7:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :957/3137 took 218886 ms. Total solver calls (SAT/UNSAT): 53256(28228/25028)
Jun 01, 2017 7:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :962/3137 took 220025 ms. Total solver calls (SAT/UNSAT): 53531(28383/25148)
Jun 01, 2017 7:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :967/3137 took 221166 ms. Total solver calls (SAT/UNSAT): 53806(28538/25268)
Jun 01, 2017 7:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3137 took 222306 ms. Total solver calls (SAT/UNSAT): 54081(28693/25388)
Jun 01, 2017 7:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :977/3137 took 223442 ms. Total solver calls (SAT/UNSAT): 54356(28848/25508)
Jun 01, 2017 7:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :982/3137 took 224580 ms. Total solver calls (SAT/UNSAT): 54631(29003/25628)
Jun 01, 2017 7:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :987/3137 took 225721 ms. Total solver calls (SAT/UNSAT): 54906(29158/25748)
Jun 01, 2017 7:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/3137 took 226862 ms. Total solver calls (SAT/UNSAT): 55181(29313/25868)
Jun 01, 2017 7:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :997/3137 took 228004 ms. Total solver calls (SAT/UNSAT): 55456(29468/25988)
Jun 01, 2017 7:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1002/3137 took 229144 ms. Total solver calls (SAT/UNSAT): 55731(29623/26108)
Jun 01, 2017 7:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1007/3137 took 230281 ms. Total solver calls (SAT/UNSAT): 55994(29778/26216)
Jun 01, 2017 7:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3137 took 231418 ms. Total solver calls (SAT/UNSAT): 56257(29933/26324)
Jun 01, 2017 7:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1017/3137 took 232469 ms. Total solver calls (SAT/UNSAT): 56508(30076/26432)
Jun 01, 2017 7:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1025/3137 took 233603 ms. Total solver calls (SAT/UNSAT): 56834(30228/26606)
Jun 01, 2017 7:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1033/3137 took 234732 ms. Total solver calls (SAT/UNSAT): 57154(30380/26774)
Jun 01, 2017 7:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1039/3137 took 235836 ms. Total solver calls (SAT/UNSAT): 57436(30530/26906)
Jun 01, 2017 7:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3137 took 236965 ms. Total solver calls (SAT/UNSAT): 57683(30685/26998)
Jun 01, 2017 7:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1049/3137 took 238097 ms. Total solver calls (SAT/UNSAT): 57946(30840/27106)
Jun 01, 2017 7:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/3137 took 239227 ms. Total solver calls (SAT/UNSAT): 58199(30995/27204)
Jun 01, 2017 7:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1059/3137 took 240364 ms. Total solver calls (SAT/UNSAT): 58462(31150/27312)
Jun 01, 2017 7:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/3137 took 241498 ms. Total solver calls (SAT/UNSAT): 58731(31305/27426)
Jun 01, 2017 7:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1069/3137 took 242627 ms. Total solver calls (SAT/UNSAT): 58988(31460/27528)
Jun 01, 2017 7:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/3137 took 243760 ms. Total solver calls (SAT/UNSAT): 59257(31615/27642)
Jun 01, 2017 7:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1079/3137 took 244892 ms. Total solver calls (SAT/UNSAT): 59520(31770/27750)
Jun 01, 2017 7:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/3137 took 246023 ms. Total solver calls (SAT/UNSAT): 59777(31925/27852)
Jun 01, 2017 7:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1089/3137 took 247157 ms. Total solver calls (SAT/UNSAT): 60052(32080/27972)
Jun 01, 2017 7:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/3137 took 248297 ms. Total solver calls (SAT/UNSAT): 60309(32235/28074)
Jun 01, 2017 7:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1099/3137 took 249427 ms. Total solver calls (SAT/UNSAT): 60572(32390/28182)
Jun 01, 2017 7:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/3137 took 250553 ms. Total solver calls (SAT/UNSAT): 60841(32545/28296)
Jun 01, 2017 7:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1109/3137 took 251685 ms. Total solver calls (SAT/UNSAT): 61098(32700/28398)
Jun 01, 2017 7:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/3137 took 252819 ms. Total solver calls (SAT/UNSAT): 61367(32855/28512)
Jun 01, 2017 7:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1119/3137 took 253952 ms. Total solver calls (SAT/UNSAT): 61630(33010/28620)
Jun 01, 2017 7:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/3137 took 255092 ms. Total solver calls (SAT/UNSAT): 61887(33165/28722)
Jun 01, 2017 7:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1129/3137 took 256281 ms. Total solver calls (SAT/UNSAT): 62162(33320/28842)
Jun 01, 2017 7:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/3137 took 257438 ms. Total solver calls (SAT/UNSAT): 62419(33475/28944)
Jun 01, 2017 7:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/3137 took 258578 ms. Total solver calls (SAT/UNSAT): 62682(33630/29052)
Jun 01, 2017 7:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/3137 took 259719 ms. Total solver calls (SAT/UNSAT): 62951(33785/29166)
Jun 01, 2017 7:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1149/3137 took 260862 ms. Total solver calls (SAT/UNSAT): 63208(33940/29268)
Jun 01, 2017 7:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1154/3137 took 262004 ms. Total solver calls (SAT/UNSAT): 63465(34095/29370)
Jun 01, 2017 7:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1159/3137 took 263127 ms. Total solver calls (SAT/UNSAT): 63718(34250/29468)
Jun 01, 2017 7:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/3137 took 264260 ms. Total solver calls (SAT/UNSAT): 63965(34405/29560)
Jun 01, 2017 7:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/3137 took 265292 ms. Total solver calls (SAT/UNSAT): 64238(34538/29700)
Jun 01, 2017 7:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1178/3137 took 266322 ms. Total solver calls (SAT/UNSAT): 64511(34671/29840)
Jun 01, 2017 7:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1185/3137 took 267353 ms. Total solver calls (SAT/UNSAT): 64780(34804/29976)
Jun 01, 2017 7:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1192/3137 took 268385 ms. Total solver calls (SAT/UNSAT): 65053(34937/30116)
Jun 01, 2017 7:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1199/3137 took 269415 ms. Total solver calls (SAT/UNSAT): 65326(35070/30256)
Jun 01, 2017 7:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1206/3137 took 270451 ms. Total solver calls (SAT/UNSAT): 65615(35203/30412)
Jun 01, 2017 7:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1213/3137 took 271486 ms. Total solver calls (SAT/UNSAT): 65898(35336/30562)
Jun 01, 2017 7:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1220/3137 took 272518 ms. Total solver calls (SAT/UNSAT): 66181(35469/30712)
Jun 01, 2017 7:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/3137 took 273554 ms. Total solver calls (SAT/UNSAT): 66470(35602/30868)
Jun 01, 2017 7:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1234/3137 took 274585 ms. Total solver calls (SAT/UNSAT): 66747(35735/31012)
Jun 01, 2017 7:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1241/3137 took 275622 ms. Total solver calls (SAT/UNSAT): 67036(35868/31168)
Jun 01, 2017 7:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/3137 took 276658 ms. Total solver calls (SAT/UNSAT): 67319(36001/31318)
Jun 01, 2017 7:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/3137 took 277692 ms. Total solver calls (SAT/UNSAT): 67602(36134/31468)
Jun 01, 2017 7:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1262/3137 took 278724 ms. Total solver calls (SAT/UNSAT): 67875(36267/31608)
Jun 01, 2017 7:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/3137 took 279809 ms. Total solver calls (SAT/UNSAT): 68224(36404/31820)
Jun 01, 2017 7:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1281/3137 took 280811 ms. Total solver calls (SAT/UNSAT): 68510(36532/31978)
Jun 01, 2017 7:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/3137 took 281846 ms. Total solver calls (SAT/UNSAT): 68789(36665/32124)
Jun 01, 2017 7:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1295/3137 took 282880 ms. Total solver calls (SAT/UNSAT): 69072(36798/32274)
Jun 01, 2017 7:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1302/3137 took 283915 ms. Total solver calls (SAT/UNSAT): 69355(36931/32424)
Jun 01, 2017 7:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1309/3137 took 284937 ms. Total solver calls (SAT/UNSAT): 69644(37064/32580)
Jun 01, 2017 7:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/3137 took 286064 ms. Total solver calls (SAT/UNSAT): 69964(37216/32748)
Jun 01, 2017 7:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/3137 took 287068 ms. Total solver calls (SAT/UNSAT): 70253(37349/32904)
Jun 01, 2017 7:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1331/3137 took 288130 ms. Total solver calls (SAT/UNSAT): 70530(37482/33048)
Jun 01, 2017 7:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1338/3137 took 289204 ms. Total solver calls (SAT/UNSAT): 70819(37615/33204)
Jun 01, 2017 7:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/3137 took 290260 ms. Total solver calls (SAT/UNSAT): 71102(37748/33354)
Jun 01, 2017 7:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/3137 took 291307 ms. Total solver calls (SAT/UNSAT): 71375(37881/33494)
Jun 01, 2017 7:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/3137 took 292328 ms. Total solver calls (SAT/UNSAT): 71682(38012/33670)
Jun 01, 2017 7:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1370/3137 took 293387 ms. Total solver calls (SAT/UNSAT): 72001(38151/33850)
Jun 01, 2017 7:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1375/3137 took 294524 ms. Total solver calls (SAT/UNSAT): 72258(38306/33952)
Jun 01, 2017 7:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1380/3137 took 295663 ms. Total solver calls (SAT/UNSAT): 72517(38461/34056)
Jun 01, 2017 7:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1385/3137 took 296798 ms. Total solver calls (SAT/UNSAT): 72764(38616/34148)
Jun 01, 2017 7:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1390/3137 took 297938 ms. Total solver calls (SAT/UNSAT): 73033(38771/34262)
Jun 01, 2017 7:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1395/3137 took 299093 ms. Total solver calls (SAT/UNSAT): 73296(38926/34370)
Jun 01, 2017 7:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1400/3137 took 300232 ms. Total solver calls (SAT/UNSAT): 73553(39081/34472)
Jun 01, 2017 7:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/3137 took 301376 ms. Total solver calls (SAT/UNSAT): 73828(39236/34592)
Jun 01, 2017 7:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1410/3137 took 302516 ms. Total solver calls (SAT/UNSAT): 74085(39391/34694)
Jun 01, 2017 7:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1415/3137 took 303659 ms. Total solver calls (SAT/UNSAT): 74348(39546/34802)
Jun 01, 2017 7:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1420/3137 took 304804 ms. Total solver calls (SAT/UNSAT): 74617(39701/34916)
Jun 01, 2017 7:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1425/3137 took 305947 ms. Total solver calls (SAT/UNSAT): 74874(39856/35018)
Jun 01, 2017 7:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1430/3137 took 307122 ms. Total solver calls (SAT/UNSAT): 75143(40011/35132)
Jun 01, 2017 7:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1435/3137 took 308320 ms. Total solver calls (SAT/UNSAT): 75406(40166/35240)
Jun 01, 2017 7:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1440/3137 took 309460 ms. Total solver calls (SAT/UNSAT): 75663(40321/35342)
Jun 01, 2017 7:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/3137 took 310606 ms. Total solver calls (SAT/UNSAT): 75938(40476/35462)
Jun 01, 2017 7:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1450/3137 took 311810 ms. Total solver calls (SAT/UNSAT): 76195(40631/35564)
Jun 01, 2017 7:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1455/3137 took 313003 ms. Total solver calls (SAT/UNSAT): 76458(40786/35672)
Jun 01, 2017 7:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1460/3137 took 314189 ms. Total solver calls (SAT/UNSAT): 76727(40941/35786)
Jun 01, 2017 7:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1465/3137 took 315384 ms. Total solver calls (SAT/UNSAT): 76984(41096/35888)
Jun 01, 2017 7:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1470/3137 took 316587 ms. Total solver calls (SAT/UNSAT): 77253(41251/36002)
Jun 01, 2017 7:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1475/3137 took 317786 ms. Total solver calls (SAT/UNSAT): 77516(41406/36110)
Jun 01, 2017 7:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1480/3137 took 318992 ms. Total solver calls (SAT/UNSAT): 77773(41561/36212)
Jun 01, 2017 7:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1485/3137 took 320193 ms. Total solver calls (SAT/UNSAT): 78036(41716/36320)
Jun 01, 2017 7:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1490/3137 took 321392 ms. Total solver calls (SAT/UNSAT): 78283(41871/36412)
Jun 01, 2017 7:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1495/3137 took 322604 ms. Total solver calls (SAT/UNSAT): 78540(42026/36514)
Jun 01, 2017 7:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1502/3137 took 323751 ms. Total solver calls (SAT/UNSAT): 78821(42171/36650)
Jun 01, 2017 7:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1509/3137 took 324806 ms. Total solver calls (SAT/UNSAT): 79094(42304/36790)
Jun 01, 2017 7:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1516/3137 took 325855 ms. Total solver calls (SAT/UNSAT): 79357(42437/36920)
Jun 01, 2017 7:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1521/3137 took 327069 ms. Total solver calls (SAT/UNSAT): 79620(42592/37028)
Jun 01, 2017 7:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1526/3137 took 328277 ms. Total solver calls (SAT/UNSAT): 79889(42747/37142)
Jun 01, 2017 7:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1531/3137 took 329487 ms. Total solver calls (SAT/UNSAT): 80152(42902/37250)
Jun 01, 2017 7:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1536/3137 took 330706 ms. Total solver calls (SAT/UNSAT): 80421(43057/37364)
Jun 01, 2017 7:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1541/3137 took 331927 ms. Total solver calls (SAT/UNSAT): 80696(43212/37484)
Jun 01, 2017 7:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1546/3137 took 333152 ms. Total solver calls (SAT/UNSAT): 80971(43367/37604)
Jun 01, 2017 7:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1551/3137 took 334376 ms. Total solver calls (SAT/UNSAT): 81246(43522/37724)
Jun 01, 2017 7:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1556/3137 took 335600 ms. Total solver calls (SAT/UNSAT): 81521(43677/37844)
Jun 01, 2017 7:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1561/3137 took 336820 ms. Total solver calls (SAT/UNSAT): 81796(43832/37964)
Jun 01, 2017 7:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1566/3137 took 338040 ms. Total solver calls (SAT/UNSAT): 82071(43987/38084)
Jun 01, 2017 7:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1571/3137 took 339265 ms. Total solver calls (SAT/UNSAT): 82346(44142/38204)
Jun 01, 2017 7:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1576/3137 took 340491 ms. Total solver calls (SAT/UNSAT): 82621(44297/38324)
Jun 01, 2017 7:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1581/3137 took 341713 ms. Total solver calls (SAT/UNSAT): 82896(44452/38444)
Jun 01, 2017 7:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1586/3137 took 342936 ms. Total solver calls (SAT/UNSAT): 83171(44607/38564)
Jun 01, 2017 7:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1591/3137 took 344160 ms. Total solver calls (SAT/UNSAT): 83446(44762/38684)
Jun 01, 2017 7:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/3137 took 345384 ms. Total solver calls (SAT/UNSAT): 83721(44917/38804)
Jun 01, 2017 7:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1601/3137 took 346605 ms. Total solver calls (SAT/UNSAT): 83996(45072/38924)
Jun 01, 2017 7:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1606/3137 took 347832 ms. Total solver calls (SAT/UNSAT): 84271(45227/39044)
Jun 01, 2017 7:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1611/3137 took 349061 ms. Total solver calls (SAT/UNSAT): 84546(45382/39164)
Jun 01, 2017 7:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1616/3137 took 350275 ms. Total solver calls (SAT/UNSAT): 84821(45537/39284)
Jun 01, 2017 7:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1621/3137 took 351499 ms. Total solver calls (SAT/UNSAT): 85096(45692/39404)
Jun 01, 2017 7:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1626/3137 took 352738 ms. Total solver calls (SAT/UNSAT): 85371(45847/39524)
Jun 01, 2017 7:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1631/3137 took 353954 ms. Total solver calls (SAT/UNSAT): 85640(46002/39638)
Jun 01, 2017 7:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1636/3137 took 355165 ms. Total solver calls (SAT/UNSAT): 85903(46157/39746)
Jun 01, 2017 7:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1641/3137 took 356377 ms. Total solver calls (SAT/UNSAT): 86166(46312/39854)
Jun 01, 2017 7:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1646/3137 took 357405 ms. Total solver calls (SAT/UNSAT): 86405(46443/39962)
Jun 01, 2017 7:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1653/3137 took 358457 ms. Total solver calls (SAT/UNSAT): 86694(46576/40118)
Jun 01, 2017 7:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1660/3137 took 359503 ms. Total solver calls (SAT/UNSAT): 86977(46709/40268)
Jun 01, 2017 7:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1666/3137 took 360582 ms. Total solver calls (SAT/UNSAT): 87247(46847/40400)
Jun 01, 2017 7:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1671/3137 took 361783 ms. Total solver calls (SAT/UNSAT): 87510(47002/40508)
Jun 01, 2017 7:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1676/3137 took 362988 ms. Total solver calls (SAT/UNSAT): 87773(47157/40616)
Jun 01, 2017 7:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1681/3137 took 364191 ms. Total solver calls (SAT/UNSAT): 88036(47312/40724)
Jun 01, 2017 7:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1686/3137 took 365397 ms. Total solver calls (SAT/UNSAT): 88311(47467/40844)
Jun 01, 2017 7:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1691/3137 took 366603 ms. Total solver calls (SAT/UNSAT): 88586(47622/40964)
Jun 01, 2017 7:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1696/3137 took 367806 ms. Total solver calls (SAT/UNSAT): 88861(47777/41084)
Jun 01, 2017 7:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1701/3137 took 369013 ms. Total solver calls (SAT/UNSAT): 89136(47932/41204)
Jun 01, 2017 7:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1706/3137 took 370219 ms. Total solver calls (SAT/UNSAT): 89411(48087/41324)
Jun 01, 2017 7:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1711/3137 took 371420 ms. Total solver calls (SAT/UNSAT): 89686(48242/41444)
Jun 01, 2017 7:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1716/3137 took 372622 ms. Total solver calls (SAT/UNSAT): 89961(48397/41564)
Jun 01, 2017 7:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1721/3137 took 373825 ms. Total solver calls (SAT/UNSAT): 90236(48552/41684)
Jun 01, 2017 7:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1726/3137 took 375029 ms. Total solver calls (SAT/UNSAT): 90511(48707/41804)
Jun 01, 2017 7:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1731/3137 took 376231 ms. Total solver calls (SAT/UNSAT): 90786(48862/41924)
Jun 01, 2017 7:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1736/3137 took 377436 ms. Total solver calls (SAT/UNSAT): 91061(49017/42044)
Jun 01, 2017 7:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1741/3137 took 378641 ms. Total solver calls (SAT/UNSAT): 91336(49172/42164)
Jun 01, 2017 7:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1746/3137 took 379846 ms. Total solver calls (SAT/UNSAT): 91611(49327/42284)
Jun 01, 2017 7:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1751/3137 took 381051 ms. Total solver calls (SAT/UNSAT): 91886(49482/42404)
Jun 01, 2017 7:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1756/3137 took 382254 ms. Total solver calls (SAT/UNSAT): 92161(49637/42524)
Jun 01, 2017 7:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1761/3137 took 383459 ms. Total solver calls (SAT/UNSAT): 92436(49792/42644)
Jun 01, 2017 7:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1766/3137 took 384662 ms. Total solver calls (SAT/UNSAT): 92711(49947/42764)
Jun 01, 2017 7:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1771/3137 took 385863 ms. Total solver calls (SAT/UNSAT): 92986(50102/42884)
Jun 01, 2017 7:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1776/3137 took 387063 ms. Total solver calls (SAT/UNSAT): 93261(50257/43004)
Jun 01, 2017 7:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1781/3137 took 388259 ms. Total solver calls (SAT/UNSAT): 93524(50412/43112)
Jun 01, 2017 7:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1786/3137 took 389462 ms. Total solver calls (SAT/UNSAT): 93793(50567/43226)
Jun 01, 2017 7:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1791/3137 took 390664 ms. Total solver calls (SAT/UNSAT): 94056(50722/43334)
Jun 01, 2017 7:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1798/3137 took 391799 ms. Total solver calls (SAT/UNSAT): 94351(50867/43484)
Jun 01, 2017 7:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1805/3137 took 392845 ms. Total solver calls (SAT/UNSAT): 94634(51000/43634)
Jun 01, 2017 7:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1812/3137 took 393887 ms. Total solver calls (SAT/UNSAT): 94917(51133/43784)
Jun 01, 2017 7:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1817/3137 took 395086 ms. Total solver calls (SAT/UNSAT): 95180(51288/43892)
Jun 01, 2017 7:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1822/3137 took 396288 ms. Total solver calls (SAT/UNSAT): 95449(51443/44006)
Jun 01, 2017 7:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1827/3137 took 397488 ms. Total solver calls (SAT/UNSAT): 95712(51598/44114)
Jun 01, 2017 7:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1832/3137 took 398691 ms. Total solver calls (SAT/UNSAT): 95981(51753/44228)
Jun 01, 2017 7:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1837/3137 took 399895 ms. Total solver calls (SAT/UNSAT): 96256(51908/44348)
Jun 01, 2017 7:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1842/3137 took 401097 ms. Total solver calls (SAT/UNSAT): 96531(52063/44468)
Jun 01, 2017 7:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1847/3137 took 402296 ms. Total solver calls (SAT/UNSAT): 96806(52218/44588)
Jun 01, 2017 7:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1852/3137 took 403496 ms. Total solver calls (SAT/UNSAT): 97081(52373/44708)
Jun 01, 2017 7:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1857/3137 took 404701 ms. Total solver calls (SAT/UNSAT): 97356(52528/44828)
Jun 01, 2017 7:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1862/3137 took 405903 ms. Total solver calls (SAT/UNSAT): 97631(52683/44948)
Jun 01, 2017 7:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1867/3137 took 407102 ms. Total solver calls (SAT/UNSAT): 97906(52838/45068)
Jun 01, 2017 7:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1872/3137 took 408305 ms. Total solver calls (SAT/UNSAT): 98181(52993/45188)
Jun 01, 2017 7:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1877/3137 took 409510 ms. Total solver calls (SAT/UNSAT): 98456(53148/45308)
Jun 01, 2017 7:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1882/3137 took 410710 ms. Total solver calls (SAT/UNSAT): 98731(53303/45428)
Jun 01, 2017 7:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1887/3137 took 411910 ms. Total solver calls (SAT/UNSAT): 99006(53458/45548)
Jun 01, 2017 7:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1892/3137 took 413121 ms. Total solver calls (SAT/UNSAT): 99281(53613/45668)
Jun 01, 2017 7:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1897/3137 took 414348 ms. Total solver calls (SAT/UNSAT): 99556(53768/45788)
Jun 01, 2017 7:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1902/3137 took 415549 ms. Total solver calls (SAT/UNSAT): 99831(53923/45908)
Jun 01, 2017 7:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1907/3137 took 416753 ms. Total solver calls (SAT/UNSAT): 100106(54078/46028)
Jun 01, 2017 7:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1912/3137 took 417956 ms. Total solver calls (SAT/UNSAT): 100381(54233/46148)
Jun 01, 2017 7:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1917/3137 took 419161 ms. Total solver calls (SAT/UNSAT): 100656(54388/46268)
Jun 01, 2017 7:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1922/3137 took 420363 ms. Total solver calls (SAT/UNSAT): 100931(54543/46388)
Jun 01, 2017 7:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1927/3137 took 421565 ms. Total solver calls (SAT/UNSAT): 101200(54698/46502)
Jun 01, 2017 7:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1932/3137 took 422763 ms. Total solver calls (SAT/UNSAT): 101463(54853/46610)
Jun 01, 2017 7:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1937/3137 took 423961 ms. Total solver calls (SAT/UNSAT): 101726(55008/46718)
Jun 01, 2017 7:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1942/3137 took 424980 ms. Total solver calls (SAT/UNSAT): 101965(55139/46826)
Jun 01, 2017 7:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1949/3137 took 426028 ms. Total solver calls (SAT/UNSAT): 102254(55272/46982)
Jun 01, 2017 7:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1956/3137 took 427072 ms. Total solver calls (SAT/UNSAT): 102537(55405/47132)
Jun 01, 2017 7:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1962/3137 took 428147 ms. Total solver calls (SAT/UNSAT): 102807(55543/47264)
Jun 01, 2017 7:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1967/3137 took 429345 ms. Total solver calls (SAT/UNSAT): 103070(55698/47372)
Jun 01, 2017 7:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/3137 took 430545 ms. Total solver calls (SAT/UNSAT): 103333(55853/47480)
Jun 01, 2017 7:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1977/3137 took 431744 ms. Total solver calls (SAT/UNSAT): 103596(56008/47588)
Jun 01, 2017 7:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1982/3137 took 432946 ms. Total solver calls (SAT/UNSAT): 103871(56163/47708)
Jun 01, 2017 7:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1987/3137 took 434147 ms. Total solver calls (SAT/UNSAT): 104146(56318/47828)
Jun 01, 2017 7:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1992/3137 took 435349 ms. Total solver calls (SAT/UNSAT): 104421(56473/47948)
Jun 01, 2017 7:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1997/3137 took 436548 ms. Total solver calls (SAT/UNSAT): 104696(56628/48068)
Jun 01, 2017 7:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2002/3137 took 437748 ms. Total solver calls (SAT/UNSAT): 104971(56783/48188)
Jun 01, 2017 7:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2007/3137 took 438973 ms. Total solver calls (SAT/UNSAT): 105246(56938/48308)
Jun 01, 2017 7:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2011/3137 took 439997 ms. Total solver calls (SAT/UNSAT): 105466(57062/48404)
Jun 01, 2017 7:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2015/3137 took 441023 ms. Total solver calls (SAT/UNSAT): 105686(57186/48500)
Jun 01, 2017 7:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2019/3137 took 442051 ms. Total solver calls (SAT/UNSAT): 105906(57310/48596)
Jun 01, 2017 7:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2023/3137 took 443073 ms. Total solver calls (SAT/UNSAT): 106126(57434/48692)
Jun 01, 2017 7:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2027/3137 took 444100 ms. Total solver calls (SAT/UNSAT): 106346(57558/48788)
Jun 01, 2017 7:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2031/3137 took 445126 ms. Total solver calls (SAT/UNSAT): 106566(57682/48884)
Jun 01, 2017 7:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2035/3137 took 446147 ms. Total solver calls (SAT/UNSAT): 106786(57806/48980)
Jun 01, 2017 7:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2039/3137 took 447174 ms. Total solver calls (SAT/UNSAT): 107006(57930/49076)
Jun 01, 2017 7:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2043/3137 took 448209 ms. Total solver calls (SAT/UNSAT): 107226(58054/49172)
Jun 01, 2017 7:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2047/3137 took 449245 ms. Total solver calls (SAT/UNSAT): 107446(58178/49268)
Jun 01, 2017 7:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2051/3137 took 450281 ms. Total solver calls (SAT/UNSAT): 107666(58302/49364)
Jun 01, 2017 7:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2055/3137 took 451313 ms. Total solver calls (SAT/UNSAT): 107886(58426/49460)
Jun 01, 2017 7:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2059/3137 took 452350 ms. Total solver calls (SAT/UNSAT): 108106(58550/49556)
Jun 01, 2017 7:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2063/3137 took 453389 ms. Total solver calls (SAT/UNSAT): 108326(58674/49652)
Jun 01, 2017 7:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2067/3137 took 454427 ms. Total solver calls (SAT/UNSAT): 108546(58798/49748)
Jun 01, 2017 7:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2071/3137 took 455464 ms. Total solver calls (SAT/UNSAT): 108766(58922/49844)
Jun 01, 2017 7:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2075/3137 took 456497 ms. Total solver calls (SAT/UNSAT): 108980(59046/49934)
Jun 01, 2017 7:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2079/3137 took 457527 ms. Total solver calls (SAT/UNSAT): 109194(59170/50024)
Jun 01, 2017 7:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2083/3137 took 458561 ms. Total solver calls (SAT/UNSAT): 109402(59294/50108)
Jun 01, 2017 7:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2087/3137 took 459597 ms. Total solver calls (SAT/UNSAT): 109616(59418/50198)
Jun 01, 2017 7:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2093/3137 took 460660 ms. Total solver calls (SAT/UNSAT): 109868(59544/50324)
Jun 01, 2017 7:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2100/3137 took 461787 ms. Total solver calls (SAT/UNSAT): 110151(59677/50474)
Jun 01, 2017 7:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2107/3137 took 462832 ms. Total solver calls (SAT/UNSAT): 110440(59810/50630)
Jun 01, 2017 7:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2112/3137 took 463942 ms. Total solver calls (SAT/UNSAT): 110691(59953/50738)
Jun 01, 2017 7:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2117/3137 took 465142 ms. Total solver calls (SAT/UNSAT): 110954(60108/50846)
Jun 01, 2017 7:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2122/3137 took 466342 ms. Total solver calls (SAT/UNSAT): 111217(60263/50954)
Jun 01, 2017 7:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2127/3137 took 467546 ms. Total solver calls (SAT/UNSAT): 111486(60418/51068)
Jun 01, 2017 7:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2132/3137 took 468741 ms. Total solver calls (SAT/UNSAT): 111761(60573/51188)
Jun 01, 2017 7:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2137/3137 took 469959 ms. Total solver calls (SAT/UNSAT): 112036(60728/51308)
Jun 01, 2017 7:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3137 took 471183 ms. Total solver calls (SAT/UNSAT): 112311(60883/51428)
Jun 01, 2017 7:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3137 took 472208 ms. Total solver calls (SAT/UNSAT): 112531(61007/51524)
Jun 01, 2017 7:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2150/3137 took 473233 ms. Total solver calls (SAT/UNSAT): 112751(61131/51620)
Jun 01, 2017 7:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2154/3137 took 474259 ms. Total solver calls (SAT/UNSAT): 112971(61255/51716)
Jun 01, 2017 7:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2158/3137 took 475300 ms. Total solver calls (SAT/UNSAT): 113191(61379/51812)
Jun 01, 2017 7:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2162/3137 took 476341 ms. Total solver calls (SAT/UNSAT): 113411(61503/51908)
Jun 01, 2017 7:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2166/3137 took 477381 ms. Total solver calls (SAT/UNSAT): 113631(61627/52004)
Jun 01, 2017 7:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3137 took 478397 ms. Total solver calls (SAT/UNSAT): 113851(61751/52100)
Jun 01, 2017 7:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2175/3137 took 479634 ms. Total solver calls (SAT/UNSAT): 114126(61906/52220)
Jun 01, 2017 7:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2180/3137 took 480884 ms. Total solver calls (SAT/UNSAT): 114401(62061/52340)
Jun 01, 2017 7:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2184/3137 took 481910 ms. Total solver calls (SAT/UNSAT): 114621(62185/52436)
Jun 01, 2017 7:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2188/3137 took 482945 ms. Total solver calls (SAT/UNSAT): 114841(62309/52532)
Jun 01, 2017 7:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2192/3137 took 483980 ms. Total solver calls (SAT/UNSAT): 115061(62433/52628)
Jun 01, 2017 7:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2196/3137 took 485017 ms. Total solver calls (SAT/UNSAT): 115281(62557/52724)
Jun 01, 2017 7:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2200/3137 took 486057 ms. Total solver calls (SAT/UNSAT): 115501(62681/52820)
Jun 01, 2017 7:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2204/3137 took 487096 ms. Total solver calls (SAT/UNSAT): 115721(62805/52916)
Jun 01, 2017 7:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2208/3137 took 488135 ms. Total solver calls (SAT/UNSAT): 115941(62929/53012)
Jun 01, 2017 7:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2212/3137 took 489173 ms. Total solver calls (SAT/UNSAT): 116161(63053/53108)
Jun 01, 2017 7:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2216/3137 took 490211 ms. Total solver calls (SAT/UNSAT): 116381(63177/53204)
Jun 01, 2017 7:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2220/3137 took 491250 ms. Total solver calls (SAT/UNSAT): 116601(63301/53300)
Jun 01, 2017 7:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2224/3137 took 492286 ms. Total solver calls (SAT/UNSAT): 116815(63425/53390)
Jun 01, 2017 7:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2228/3137 took 493318 ms. Total solver calls (SAT/UNSAT): 117023(63549/53474)
Jun 01, 2017 7:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2232/3137 took 494352 ms. Total solver calls (SAT/UNSAT): 117237(63673/53564)
Jun 01, 2017 7:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2236/3137 took 495381 ms. Total solver calls (SAT/UNSAT): 117445(63797/53648)
Jun 01, 2017 7:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2243/3137 took 496504 ms. Total solver calls (SAT/UNSAT): 117728(63930/53798)
Jun 01, 2017 7:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2250/3137 took 497630 ms. Total solver calls (SAT/UNSAT): 118017(64063/53954)
Jun 01, 2017 7:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2257/3137 took 498851 ms. Total solver calls (SAT/UNSAT): 118312(64208/54104)
Jun 01, 2017 7:10:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2261/3137 took 499880 ms. Total solver calls (SAT/UNSAT): 118520(64332/54188)
Jun 01, 2017 7:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2265/3137 took 500911 ms. Total solver calls (SAT/UNSAT): 118734(64456/54278)
Jun 01, 2017 7:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2269/3137 took 501941 ms. Total solver calls (SAT/UNSAT): 118942(64580/54362)
Jun 01, 2017 7:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2273/3137 took 502974 ms. Total solver calls (SAT/UNSAT): 119156(64704/54452)
Jun 01, 2017 7:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2277/3137 took 504007 ms. Total solver calls (SAT/UNSAT): 119376(64828/54548)
Jun 01, 2017 7:10:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2281/3137 took 505041 ms. Total solver calls (SAT/UNSAT): 119596(64952/54644)
Jun 01, 2017 7:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2285/3137 took 506074 ms. Total solver calls (SAT/UNSAT): 119816(65076/54740)
Jun 01, 2017 7:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2289/3137 took 507109 ms. Total solver calls (SAT/UNSAT): 120036(65200/54836)
Jun 01, 2017 7:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2293/3137 took 508143 ms. Total solver calls (SAT/UNSAT): 120256(65324/54932)
Jun 01, 2017 7:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2297/3137 took 509177 ms. Total solver calls (SAT/UNSAT): 120476(65448/55028)
Jun 01, 2017 7:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2301/3137 took 510211 ms. Total solver calls (SAT/UNSAT): 120696(65572/55124)
Jun 01, 2017 7:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2305/3137 took 511248 ms. Total solver calls (SAT/UNSAT): 120916(65696/55220)
Jun 01, 2017 7:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2309/3137 took 512286 ms. Total solver calls (SAT/UNSAT): 121136(65820/55316)
Jun 01, 2017 7:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2313/3137 took 513325 ms. Total solver calls (SAT/UNSAT): 121356(65944/55412)
Jun 01, 2017 7:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2317/3137 took 514366 ms. Total solver calls (SAT/UNSAT): 121576(66068/55508)
Jun 01, 2017 7:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2321/3137 took 515405 ms. Total solver calls (SAT/UNSAT): 121796(66192/55604)
Jun 01, 2017 7:11:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2325/3137 took 516431 ms. Total solver calls (SAT/UNSAT): 122016(66316/55700)
Jun 01, 2017 7:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2329/3137 took 517451 ms. Total solver calls (SAT/UNSAT): 122236(66440/55796)
Jun 01, 2017 7:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2333/3137 took 518469 ms. Total solver calls (SAT/UNSAT): 122456(66564/55892)
Jun 01, 2017 7:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2337/3137 took 519489 ms. Total solver calls (SAT/UNSAT): 122676(66688/55988)
Jun 01, 2017 7:11:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2341/3137 took 520512 ms. Total solver calls (SAT/UNSAT): 122896(66812/56084)
Jun 01, 2017 7:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2345/3137 took 521535 ms. Total solver calls (SAT/UNSAT): 123116(66936/56180)
Jun 01, 2017 7:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2349/3137 took 522555 ms. Total solver calls (SAT/UNSAT): 123336(67060/56276)
Jun 01, 2017 7:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3137 took 523573 ms. Total solver calls (SAT/UNSAT): 123556(67184/56372)
Jun 01, 2017 7:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2357/3137 took 524594 ms. Total solver calls (SAT/UNSAT): 123776(67308/56468)
Jun 01, 2017 7:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2361/3137 took 525618 ms. Total solver calls (SAT/UNSAT): 123996(67432/56564)
Jun 01, 2017 7:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2365/3137 took 526639 ms. Total solver calls (SAT/UNSAT): 124216(67556/56660)
Jun 01, 2017 7:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2369/3137 took 527661 ms. Total solver calls (SAT/UNSAT): 124436(67680/56756)
Jun 01, 2017 7:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2373/3137 took 528679 ms. Total solver calls (SAT/UNSAT): 124644(67804/56840)
Jun 01, 2017 7:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2377/3137 took 529697 ms. Total solver calls (SAT/UNSAT): 124858(67928/56930)
Jun 01, 2017 7:11:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2381/3137 took 530725 ms. Total solver calls (SAT/UNSAT): 125066(68052/57014)
Jun 01, 2017 7:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2386/3137 took 531815 ms. Total solver calls (SAT/UNSAT): 125305(68183/57122)
Jun 01, 2017 7:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2393/3137 took 532939 ms. Total solver calls (SAT/UNSAT): 125594(68316/57278)
Jun 01, 2017 7:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2400/3137 took 534063 ms. Total solver calls (SAT/UNSAT): 125877(68449/57428)
Jun 01, 2017 7:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2406/3137 took 535221 ms. Total solver calls (SAT/UNSAT): 126147(68587/57560)
Jun 01, 2017 7:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2410/3137 took 536250 ms. Total solver calls (SAT/UNSAT): 126349(68711/57638)
Jun 01, 2017 7:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2414/3137 took 537279 ms. Total solver calls (SAT/UNSAT): 126553(68835/57718)
Jun 01, 2017 7:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2418/3137 took 538307 ms. Total solver calls (SAT/UNSAT): 126755(68959/57796)
Jun 01, 2017 7:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2422/3137 took 539334 ms. Total solver calls (SAT/UNSAT): 126959(69083/57876)
Jun 01, 2017 7:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2426/3137 took 540365 ms. Total solver calls (SAT/UNSAT): 127173(69207/57966)
Jun 01, 2017 7:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2430/3137 took 541398 ms. Total solver calls (SAT/UNSAT): 127381(69331/58050)
Jun 01, 2017 7:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2434/3137 took 542404 ms. Total solver calls (SAT/UNSAT): 127595(69455/58140)
Jun 01, 2017 7:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2439/3137 took 543657 ms. Total solver calls (SAT/UNSAT): 127858(69610/58248)
Jun 01, 2017 7:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2444/3137 took 544887 ms. Total solver calls (SAT/UNSAT): 128115(69765/58350)
Jun 01, 2017 7:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2448/3137 took 545914 ms. Total solver calls (SAT/UNSAT): 128335(69889/58446)
Jun 01, 2017 7:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2453/3137 took 547123 ms. Total solver calls (SAT/UNSAT): 128592(70044/58548)
Jun 01, 2017 7:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2458/3137 took 548332 ms. Total solver calls (SAT/UNSAT): 128861(70199/58662)
Jun 01, 2017 7:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2463/3137 took 549543 ms. Total solver calls (SAT/UNSAT): 129124(70354/58770)
Jun 01, 2017 7:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2468/3137 took 550748 ms. Total solver calls (SAT/UNSAT): 129381(70509/58872)
Jun 01, 2017 7:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2473/3137 took 551957 ms. Total solver calls (SAT/UNSAT): 129656(70664/58992)
Jun 01, 2017 7:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2478/3137 took 553166 ms. Total solver calls (SAT/UNSAT): 129913(70819/59094)
Jun 01, 2017 7:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2483/3137 took 554378 ms. Total solver calls (SAT/UNSAT): 130176(70974/59202)
Jun 01, 2017 7:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2488/3137 took 555587 ms. Total solver calls (SAT/UNSAT): 130445(71129/59316)
Jun 01, 2017 7:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2493/3137 took 556789 ms. Total solver calls (SAT/UNSAT): 130702(71284/59418)
Jun 01, 2017 7:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2498/3137 took 557996 ms. Total solver calls (SAT/UNSAT): 130971(71439/59532)
Jun 01, 2017 7:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2503/3137 took 559201 ms. Total solver calls (SAT/UNSAT): 131234(71594/59640)
Jun 01, 2017 7:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2508/3137 took 560404 ms. Total solver calls (SAT/UNSAT): 131491(71749/59742)
Jun 01, 2017 7:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2513/3137 took 561613 ms. Total solver calls (SAT/UNSAT): 131766(71904/59862)
Jun 01, 2017 7:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2518/3137 took 562815 ms. Total solver calls (SAT/UNSAT): 132023(72059/59964)
Jun 01, 2017 7:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3137 took 564015 ms. Total solver calls (SAT/UNSAT): 132274(72214/60060)
Jun 01, 2017 7:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2528/3137 took 565214 ms. Total solver calls (SAT/UNSAT): 132533(72369/60164)
Jun 01, 2017 7:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2533/3137 took 566324 ms. Total solver calls (SAT/UNSAT): 132768(72512/60256)
Jun 01, 2017 7:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2540/3137 took 567371 ms. Total solver calls (SAT/UNSAT): 133041(72645/60396)
Jun 01, 2017 7:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2547/3137 took 568414 ms. Total solver calls (SAT/UNSAT): 133304(72778/60526)
Jun 01, 2017 7:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2554/3137 took 569465 ms. Total solver calls (SAT/UNSAT): 133583(72911/60672)
Jun 01, 2017 7:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2561/3137 took 570511 ms. Total solver calls (SAT/UNSAT): 133850(73044/60806)
Jun 01, 2017 7:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2568/3137 took 571564 ms. Total solver calls (SAT/UNSAT): 134129(73177/60952)
Jun 01, 2017 7:12:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2575/3137 took 572615 ms. Total solver calls (SAT/UNSAT): 134418(73310/61108)
Jun 01, 2017 7:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2582/3137 took 573662 ms. Total solver calls (SAT/UNSAT): 134695(73443/61252)
Jun 01, 2017 7:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2589/3137 took 574713 ms. Total solver calls (SAT/UNSAT): 134984(73576/61408)
Jun 01, 2017 7:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2596/3137 took 575764 ms. Total solver calls (SAT/UNSAT): 135267(73709/61558)
Jun 01, 2017 7:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2603/3137 took 576821 ms. Total solver calls (SAT/UNSAT): 135550(73842/61708)
Jun 01, 2017 7:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2610/3137 took 577871 ms. Total solver calls (SAT/UNSAT): 135839(73975/61864)
Jun 01, 2017 7:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2617/3137 took 578919 ms. Total solver calls (SAT/UNSAT): 136116(74108/62008)
Jun 01, 2017 7:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2624/3137 took 579974 ms. Total solver calls (SAT/UNSAT): 136405(74241/62164)
Jun 01, 2017 7:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2631/3137 took 581020 ms. Total solver calls (SAT/UNSAT): 136672(74374/62298)
Jun 01, 2017 7:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2642/3137 took 582058 ms. Total solver calls (SAT/UNSAT): 137019(74503/62516)
Jun 01, 2017 7:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2650/3137 took 583131 ms. Total solver calls (SAT/UNSAT): 137313(74639/62674)
Jun 01, 2017 7:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2657/3137 took 584181 ms. Total solver calls (SAT/UNSAT): 137592(74772/62820)
Jun 01, 2017 7:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2664/3137 took 585227 ms. Total solver calls (SAT/UNSAT): 137869(74905/62964)
Jun 01, 2017 7:12:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2671/3137 took 586279 ms. Total solver calls (SAT/UNSAT): 138158(75038/63120)
Jun 01, 2017 7:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2678/3137 took 587330 ms. Total solver calls (SAT/UNSAT): 138441(75171/63270)
Jun 01, 2017 7:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2685/3137 took 588379 ms. Total solver calls (SAT/UNSAT): 138724(75304/63420)
Jun 01, 2017 7:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2692/3137 took 589432 ms. Total solver calls (SAT/UNSAT): 139013(75437/63576)
Jun 01, 2017 7:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2699/3137 took 590476 ms. Total solver calls (SAT/UNSAT): 139290(75570/63720)
Jun 01, 2017 7:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2706/3137 took 591525 ms. Total solver calls (SAT/UNSAT): 139579(75703/63876)
Jun 01, 2017 7:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2713/3137 took 592571 ms. Total solver calls (SAT/UNSAT): 139862(75836/64026)
Jun 01, 2017 7:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2720/3137 took 593619 ms. Total solver calls (SAT/UNSAT): 140135(75969/64166)
Jun 01, 2017 7:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2729/3137 took 594663 ms. Total solver calls (SAT/UNSAT): 140442(76100/64342)
Jun 01, 2017 7:12:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2772/3137 took 595671 ms. Total solver calls (SAT/UNSAT): 141941(76177/65764)
Jun 01, 2017 7:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2869/3137 took 596672 ms. Total solver calls (SAT/UNSAT): 145290(76177/69113)
Jun 01, 2017 7:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2977/3137 took 597675 ms. Total solver calls (SAT/UNSAT): 148550(76177/72373)
Jun 01, 2017 7:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3069/3137 took 598683 ms. Total solver calls (SAT/UNSAT): 151762(76177/75585)
Jun 01, 2017 7:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 599276 ms. Total solver calls (SAT/UNSAT): 153601(76177/77424)
Jun 01, 2017 7:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 3137 transitions.
Jun 01, 2017 7:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3137 took 21475 ms. Total solver calls (SAT/UNSAT): 3137(2736/401)

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PhaseVariation-PT-D10CS010"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/PhaseVariation-PT-D10CS010.tgz
mv PhaseVariation-PT-D10CS010 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is PhaseVariation-PT-D10CS010, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r050-smll-149440871700104"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;