Execution Chart

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

Trace from the execution

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

--------------------
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 1496300209078


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 6:56:51 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 6:56:51 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 416 ms
Jun 01, 2017 6:56:51 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 302 places.
Jun 01, 2017 6:56:52 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3137 transitions.
Jun 01, 2017 6:56:52 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 691 ms
Jun 01, 2017 6:56:52 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 71 ms
Jun 01, 2017 6:56:52 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 0 ms
Jun 01, 2017 6:56:55 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 101 place invariants in 474 ms
Jun 01, 2017 6:57:04 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 302 variables to be positive in 9459 ms
Jun 01, 2017 6:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3137 transitions.
Jun 01, 2017 6:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3137 took 10041 ms. Total solver calls (SAT/UNSAT): 3137(1/3136)
Jun 01, 2017 6:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/3137 took 11155 ms. Total solver calls (SAT/UNSAT): 3400(156/3244)
Jun 01, 2017 6:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/3137 took 12264 ms. Total solver calls (SAT/UNSAT): 3647(311/3336)
Jun 01, 2017 6:57:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/3137 took 13374 ms. Total solver calls (SAT/UNSAT): 3904(466/3438)
Jun 01, 2017 6:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3137 took 14480 ms. Total solver calls (SAT/UNSAT): 4169(621/3548)
Jun 01, 2017 6:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/3137 took 15577 ms. Total solver calls (SAT/UNSAT): 4426(776/3650)
Jun 01, 2017 6:57:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/3137 took 16676 ms. Total solver calls (SAT/UNSAT): 4695(931/3764)
Jun 01, 2017 6:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/3137 took 17785 ms. Total solver calls (SAT/UNSAT): 4958(1086/3872)
Jun 01, 2017 6:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3137 took 18885 ms. Total solver calls (SAT/UNSAT): 5215(1241/3974)
Jun 01, 2017 6:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/3137 took 19985 ms. Total solver calls (SAT/UNSAT): 5490(1396/4094)
Jun 01, 2017 6:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/3137 took 21081 ms. Total solver calls (SAT/UNSAT): 5747(1551/4196)
Jun 01, 2017 6:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/3137 took 22183 ms. Total solver calls (SAT/UNSAT): 6010(1706/4304)
Jun 01, 2017 6:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3137 took 23285 ms. Total solver calls (SAT/UNSAT): 6279(1861/4418)
Jun 01, 2017 6:57:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/3137 took 24388 ms. Total solver calls (SAT/UNSAT): 6536(2016/4520)
Jun 01, 2017 6:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/3137 took 25554 ms. Total solver calls (SAT/UNSAT): 6805(2171/4634)
Jun 01, 2017 6:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/3137 took 26716 ms. Total solver calls (SAT/UNSAT): 7068(2326/4742)
Jun 01, 2017 6:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3137 took 27879 ms. Total solver calls (SAT/UNSAT): 7325(2481/4844)
Jun 01, 2017 6:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/3137 took 29045 ms. Total solver calls (SAT/UNSAT): 7600(2636/4964)
Jun 01, 2017 6:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/3137 took 30205 ms. Total solver calls (SAT/UNSAT): 7857(2791/5066)
Jun 01, 2017 6:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/3137 took 31322 ms. Total solver calls (SAT/UNSAT): 8120(2946/5174)
Jun 01, 2017 6:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3137 took 32434 ms. Total solver calls (SAT/UNSAT): 8389(3101/5288)
Jun 01, 2017 6:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/3137 took 33594 ms. Total solver calls (SAT/UNSAT): 8646(3256/5390)
Jun 01, 2017 6:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/3137 took 34739 ms. Total solver calls (SAT/UNSAT): 8915(3411/5504)
Jun 01, 2017 6:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/3137 took 35838 ms. Total solver calls (SAT/UNSAT): 9172(3566/5606)
Jun 01, 2017 6:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3137 took 36932 ms. Total solver calls (SAT/UNSAT): 9419(3721/5698)
Jun 01, 2017 6:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/3137 took 38031 ms. Total solver calls (SAT/UNSAT): 9682(3876/5806)
Jun 01, 2017 6:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3137 took 39100 ms. Total solver calls (SAT/UNSAT): 9948(4026/5922)
Jun 01, 2017 6:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/3137 took 40219 ms. Total solver calls (SAT/UNSAT): 10254(4178/6076)
Jun 01, 2017 6:57:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/3137 took 41223 ms. Total solver calls (SAT/UNSAT): 10527(4311/6216)
Jun 01, 2017 6:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/3137 took 42383 ms. Total solver calls (SAT/UNSAT): 10811(4473/6338)
Jun 01, 2017 6:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/3137 took 43496 ms. Total solver calls (SAT/UNSAT): 11074(4628/6446)
Jun 01, 2017 6:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/3137 took 44623 ms. Total solver calls (SAT/UNSAT): 11337(4783/6554)
Jun 01, 2017 6:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/3137 took 45804 ms. Total solver calls (SAT/UNSAT): 11606(4938/6668)
Jun 01, 2017 6:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/3137 took 46984 ms. Total solver calls (SAT/UNSAT): 11881(5093/6788)
Jun 01, 2017 6:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/3137 took 48165 ms. Total solver calls (SAT/UNSAT): 12156(5248/6908)
Jun 01, 2017 6:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/3137 took 49348 ms. Total solver calls (SAT/UNSAT): 12431(5403/7028)
Jun 01, 2017 6:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/3137 took 50535 ms. Total solver calls (SAT/UNSAT): 12706(5558/7148)
Jun 01, 2017 6:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/3137 took 51723 ms. Total solver calls (SAT/UNSAT): 12981(5713/7268)
Jun 01, 2017 6:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/3137 took 52908 ms. Total solver calls (SAT/UNSAT): 13256(5868/7388)
Jun 01, 2017 6:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/3137 took 54092 ms. Total solver calls (SAT/UNSAT): 13531(6023/7508)
Jun 01, 2017 6:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/3137 took 55277 ms. Total solver calls (SAT/UNSAT): 13806(6178/7628)
Jun 01, 2017 6:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/3137 took 56460 ms. Total solver calls (SAT/UNSAT): 14081(6333/7748)
Jun 01, 2017 6:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/3137 took 57630 ms. Total solver calls (SAT/UNSAT): 14356(6488/7868)
Jun 01, 2017 6:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/3137 took 58796 ms. Total solver calls (SAT/UNSAT): 14631(6643/7988)
Jun 01, 2017 6:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/3137 took 59961 ms. Total solver calls (SAT/UNSAT): 14906(6798/8108)
Jun 01, 2017 6:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/3137 took 61097 ms. Total solver calls (SAT/UNSAT): 15181(6953/8228)
Jun 01, 2017 6:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/3137 took 62205 ms. Total solver calls (SAT/UNSAT): 15456(7108/8348)
Jun 01, 2017 6:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/3137 took 63309 ms. Total solver calls (SAT/UNSAT): 15731(7263/8468)
Jun 01, 2017 6:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/3137 took 64406 ms. Total solver calls (SAT/UNSAT): 16006(7418/8588)
Jun 01, 2017 6:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/3137 took 65497 ms. Total solver calls (SAT/UNSAT): 16281(7573/8708)
Jun 01, 2017 6:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/3137 took 66589 ms. Total solver calls (SAT/UNSAT): 16556(7728/8828)
Jun 01, 2017 6:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/3137 took 67680 ms. Total solver calls (SAT/UNSAT): 16831(7883/8948)
Jun 01, 2017 6:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/3137 took 68769 ms. Total solver calls (SAT/UNSAT): 17094(8038/9056)
Jun 01, 2017 6:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/3137 took 69858 ms. Total solver calls (SAT/UNSAT): 17357(8193/9164)
Jun 01, 2017 6:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/3137 took 70919 ms. Total solver calls (SAT/UNSAT): 17608(8336/9272)
Jun 01, 2017 6:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/3137 took 72017 ms. Total solver calls (SAT/UNSAT): 17934(8488/9446)
Jun 01, 2017 6:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/3137 took 73106 ms. Total solver calls (SAT/UNSAT): 18254(8640/9614)
Jun 01, 2017 6:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/3137 took 74169 ms. Total solver calls (SAT/UNSAT): 18536(8790/9746)
Jun 01, 2017 6:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/3137 took 75259 ms. Total solver calls (SAT/UNSAT): 18799(8945/9854)
Jun 01, 2017 6:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/3137 took 76349 ms. Total solver calls (SAT/UNSAT): 19062(9100/9962)
Jun 01, 2017 6:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/3137 took 77447 ms. Total solver calls (SAT/UNSAT): 19331(9255/10076)
Jun 01, 2017 6:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/3137 took 78550 ms. Total solver calls (SAT/UNSAT): 19606(9410/10196)
Jun 01, 2017 6:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/3137 took 79653 ms. Total solver calls (SAT/UNSAT): 19881(9565/10316)
Jun 01, 2017 6:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/3137 took 80756 ms. Total solver calls (SAT/UNSAT): 20156(9720/10436)
Jun 01, 2017 6:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/3137 took 81859 ms. Total solver calls (SAT/UNSAT): 20431(9875/10556)
Jun 01, 2017 6:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/3137 took 82962 ms. Total solver calls (SAT/UNSAT): 20706(10030/10676)
Jun 01, 2017 6:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/3137 took 84064 ms. Total solver calls (SAT/UNSAT): 20981(10185/10796)
Jun 01, 2017 6:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/3137 took 85153 ms. Total solver calls (SAT/UNSAT): 21256(10340/10916)
Jun 01, 2017 6:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/3137 took 86241 ms. Total solver calls (SAT/UNSAT): 21531(10495/11036)
Jun 01, 2017 6:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/3137 took 87329 ms. Total solver calls (SAT/UNSAT): 21806(10650/11156)
Jun 01, 2017 6:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/3137 took 88427 ms. Total solver calls (SAT/UNSAT): 22081(10805/11276)
Jun 01, 2017 6:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/3137 took 89526 ms. Total solver calls (SAT/UNSAT): 22356(10960/11396)
Jun 01, 2017 6:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/3137 took 90625 ms. Total solver calls (SAT/UNSAT): 22631(11115/11516)
Jun 01, 2017 6:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/3137 took 91737 ms. Total solver calls (SAT/UNSAT): 22906(11270/11636)
Jun 01, 2017 6:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/3137 took 92838 ms. Total solver calls (SAT/UNSAT): 23181(11425/11756)
Jun 01, 2017 6:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/3137 took 93940 ms. Total solver calls (SAT/UNSAT): 23456(11580/11876)
Jun 01, 2017 6:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/3137 took 95045 ms. Total solver calls (SAT/UNSAT): 23731(11735/11996)
Jun 01, 2017 6:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/3137 took 96153 ms. Total solver calls (SAT/UNSAT): 24006(11890/12116)
Jun 01, 2017 6:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3137 took 97262 ms. Total solver calls (SAT/UNSAT): 24281(12045/12236)
Jun 01, 2017 6:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/3137 took 98372 ms. Total solver calls (SAT/UNSAT): 24556(12200/12356)
Jun 01, 2017 6:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/3137 took 99483 ms. Total solver calls (SAT/UNSAT): 24819(12355/12464)
Jun 01, 2017 6:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/3137 took 100599 ms. Total solver calls (SAT/UNSAT): 25082(12510/12572)
Jun 01, 2017 6:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/3137 took 101775 ms. Total solver calls (SAT/UNSAT): 25345(12665/12680)
Jun 01, 2017 6:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/3137 took 102799 ms. Total solver calls (SAT/UNSAT): 25628(12798/12830)
Jun 01, 2017 6:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/3137 took 103822 ms. Total solver calls (SAT/UNSAT): 25917(12931/12986)
Jun 01, 2017 6:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/3137 took 104905 ms. Total solver calls (SAT/UNSAT): 26212(13076/13136)
Jun 01, 2017 6:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/3137 took 106003 ms. Total solver calls (SAT/UNSAT): 26475(13231/13244)
Jun 01, 2017 6:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/3137 took 107103 ms. Total solver calls (SAT/UNSAT): 26738(13386/13352)
Jun 01, 2017 6:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/3137 took 108202 ms. Total solver calls (SAT/UNSAT): 27001(13541/13460)
Jun 01, 2017 6:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/3137 took 109304 ms. Total solver calls (SAT/UNSAT): 27276(13696/13580)
Jun 01, 2017 6:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/3137 took 110407 ms. Total solver calls (SAT/UNSAT): 27551(13851/13700)
Jun 01, 2017 6:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/3137 took 111510 ms. Total solver calls (SAT/UNSAT): 27826(14006/13820)
Jun 01, 2017 6:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/3137 took 112622 ms. Total solver calls (SAT/UNSAT): 28101(14161/13940)
Jun 01, 2017 6:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/3137 took 113732 ms. Total solver calls (SAT/UNSAT): 28376(14316/14060)
Jun 01, 2017 6:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/3137 took 114846 ms. Total solver calls (SAT/UNSAT): 28651(14471/14180)
Jun 01, 2017 6:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/3137 took 115958 ms. Total solver calls (SAT/UNSAT): 28926(14626/14300)
Jun 01, 2017 6:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/3137 took 117067 ms. Total solver calls (SAT/UNSAT): 29201(14781/14420)
Jun 01, 2017 6:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/3137 took 118174 ms. Total solver calls (SAT/UNSAT): 29476(14936/14540)
Jun 01, 2017 6:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/3137 took 119280 ms. Total solver calls (SAT/UNSAT): 29751(15091/14660)
Jun 01, 2017 6:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/3137 took 120383 ms. Total solver calls (SAT/UNSAT): 30026(15246/14780)
Jun 01, 2017 6:59:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/3137 took 121485 ms. Total solver calls (SAT/UNSAT): 30301(15401/14900)
Jun 01, 2017 6:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/3137 took 122589 ms. Total solver calls (SAT/UNSAT): 30576(15556/15020)
Jun 01, 2017 6:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/3137 took 123693 ms. Total solver calls (SAT/UNSAT): 30851(15711/15140)
Jun 01, 2017 6:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/3137 took 124793 ms. Total solver calls (SAT/UNSAT): 31126(15866/15260)
Jun 01, 2017 6:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/3137 took 125893 ms. Total solver calls (SAT/UNSAT): 31401(16021/15380)
Jun 01, 2017 6:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/3137 took 126991 ms. Total solver calls (SAT/UNSAT): 31676(16176/15500)
Jun 01, 2017 6:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/3137 took 128091 ms. Total solver calls (SAT/UNSAT): 31951(16331/15620)
Jun 01, 2017 6:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/3137 took 129188 ms. Total solver calls (SAT/UNSAT): 32226(16486/15740)
Jun 01, 2017 6:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/3137 took 130294 ms. Total solver calls (SAT/UNSAT): 32495(16641/15854)
Jun 01, 2017 6:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/3137 took 131399 ms. Total solver calls (SAT/UNSAT): 32758(16796/15962)
Jun 01, 2017 6:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/3137 took 132506 ms. Total solver calls (SAT/UNSAT): 33021(16951/16070)
Jun 01, 2017 6:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/3137 took 133633 ms. Total solver calls (SAT/UNSAT): 33328(17108/16220)
Jun 01, 2017 6:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/3137 took 134729 ms. Total solver calls (SAT/UNSAT): 33654(17260/16394)
Jun 01, 2017 6:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/3137 took 135910 ms. Total solver calls (SAT/UNSAT): 33992(17424/16568)
Jun 01, 2017 6:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/3137 took 137003 ms. Total solver calls (SAT/UNSAT): 34255(17579/16676)
Jun 01, 2017 6:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/3137 took 138098 ms. Total solver calls (SAT/UNSAT): 34518(17734/16784)
Jun 01, 2017 6:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/3137 took 139192 ms. Total solver calls (SAT/UNSAT): 34781(17889/16892)
Jun 01, 2017 6:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/3137 took 140302 ms. Total solver calls (SAT/UNSAT): 35056(18044/17012)
Jun 01, 2017 6:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/3137 took 141411 ms. Total solver calls (SAT/UNSAT): 35331(18199/17132)
Jun 01, 2017 6:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/3137 took 142523 ms. Total solver calls (SAT/UNSAT): 35606(18354/17252)
Jun 01, 2017 6:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/3137 took 143632 ms. Total solver calls (SAT/UNSAT): 35881(18509/17372)
Jun 01, 2017 6:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/3137 took 144742 ms. Total solver calls (SAT/UNSAT): 36156(18664/17492)
Jun 01, 2017 6:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/3137 took 145852 ms. Total solver calls (SAT/UNSAT): 36431(18819/17612)
Jun 01, 2017 6:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/3137 took 146959 ms. Total solver calls (SAT/UNSAT): 36706(18974/17732)
Jun 01, 2017 6:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/3137 took 148063 ms. Total solver calls (SAT/UNSAT): 36981(19129/17852)
Jun 01, 2017 6:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/3137 took 149165 ms. Total solver calls (SAT/UNSAT): 37256(19284/17972)
Jun 01, 2017 6:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/3137 took 150272 ms. Total solver calls (SAT/UNSAT): 37531(19439/18092)
Jun 01, 2017 6:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/3137 took 151381 ms. Total solver calls (SAT/UNSAT): 37806(19594/18212)
Jun 01, 2017 6:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/3137 took 152490 ms. Total solver calls (SAT/UNSAT): 38081(19749/18332)
Jun 01, 2017 6:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/3137 took 153597 ms. Total solver calls (SAT/UNSAT): 38356(19904/18452)
Jun 01, 2017 6:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/3137 took 154702 ms. Total solver calls (SAT/UNSAT): 38631(20059/18572)
Jun 01, 2017 6:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/3137 took 155806 ms. Total solver calls (SAT/UNSAT): 38906(20214/18692)
Jun 01, 2017 6:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3137 took 156909 ms. Total solver calls (SAT/UNSAT): 39181(20369/18812)
Jun 01, 2017 6:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/3137 took 158015 ms. Total solver calls (SAT/UNSAT): 39456(20524/18932)
Jun 01, 2017 6:59:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/3137 took 159119 ms. Total solver calls (SAT/UNSAT): 39731(20679/19052)
Jun 01, 2017 6:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/3137 took 160225 ms. Total solver calls (SAT/UNSAT): 40006(20834/19172)
Jun 01, 2017 6:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/3137 took 161329 ms. Total solver calls (SAT/UNSAT): 40275(20989/19286)
Jun 01, 2017 6:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/3137 took 162434 ms. Total solver calls (SAT/UNSAT): 40538(21144/19394)
Jun 01, 2017 6:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/3137 took 163540 ms. Total solver calls (SAT/UNSAT): 40801(21299/19502)
Jun 01, 2017 6:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/3137 took 164666 ms. Total solver calls (SAT/UNSAT): 41108(21456/19652)
Jun 01, 2017 6:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/3137 took 165770 ms. Total solver calls (SAT/UNSAT): 41434(21608/19826)
Jun 01, 2017 6:59:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/3137 took 166963 ms. Total solver calls (SAT/UNSAT): 41772(21772/20000)
Jun 01, 2017 6:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/3137 took 168070 ms. Total solver calls (SAT/UNSAT): 42035(21927/20108)
Jun 01, 2017 6:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/3137 took 169181 ms. Total solver calls (SAT/UNSAT): 42298(22082/20216)
Jun 01, 2017 6:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/3137 took 170292 ms. Total solver calls (SAT/UNSAT): 42561(22237/20324)
Jun 01, 2017 6:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/3137 took 171443 ms. Total solver calls (SAT/UNSAT): 42836(22392/20444)
Jun 01, 2017 6:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/3137 took 172613 ms. Total solver calls (SAT/UNSAT): 43111(22547/20564)
Jun 01, 2017 6:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/3137 took 173782 ms. Total solver calls (SAT/UNSAT): 43386(22702/20684)
Jun 01, 2017 6:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/3137 took 174951 ms. Total solver calls (SAT/UNSAT): 43661(22857/20804)
Jun 01, 2017 7:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/3137 took 176119 ms. Total solver calls (SAT/UNSAT): 43936(23012/20924)
Jun 01, 2017 7:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/3137 took 177256 ms. Total solver calls (SAT/UNSAT): 44211(23167/21044)
Jun 01, 2017 7:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/3137 took 178360 ms. Total solver calls (SAT/UNSAT): 44486(23322/21164)
Jun 01, 2017 7:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/3137 took 179459 ms. Total solver calls (SAT/UNSAT): 44761(23477/21284)
Jun 01, 2017 7:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/3137 took 180557 ms. Total solver calls (SAT/UNSAT): 45036(23632/21404)
Jun 01, 2017 7:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/3137 took 181661 ms. Total solver calls (SAT/UNSAT): 45311(23787/21524)
Jun 01, 2017 7:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/3137 took 182772 ms. Total solver calls (SAT/UNSAT): 45586(23942/21644)
Jun 01, 2017 7:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/3137 took 183881 ms. Total solver calls (SAT/UNSAT): 45861(24097/21764)
Jun 01, 2017 7:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/3137 took 184994 ms. Total solver calls (SAT/UNSAT): 46136(24252/21884)
Jun 01, 2017 7:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/3137 took 186098 ms. Total solver calls (SAT/UNSAT): 46411(24407/22004)
Jun 01, 2017 7:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/3137 took 187201 ms. Total solver calls (SAT/UNSAT): 46686(24562/22124)
Jun 01, 2017 7:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3137 took 188303 ms. Total solver calls (SAT/UNSAT): 46961(24717/22244)
Jun 01, 2017 7:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/3137 took 189406 ms. Total solver calls (SAT/UNSAT): 47236(24872/22364)
Jun 01, 2017 7:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/3137 took 190510 ms. Total solver calls (SAT/UNSAT): 47511(25027/22484)
Jun 01, 2017 7:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/3137 took 191613 ms. Total solver calls (SAT/UNSAT): 47786(25182/22604)
Jun 01, 2017 7:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3137 took 192725 ms. Total solver calls (SAT/UNSAT): 48055(25337/22718)
Jun 01, 2017 7:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/3137 took 193832 ms. Total solver calls (SAT/UNSAT): 48318(25492/22826)
Jun 01, 2017 7:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/3137 took 194944 ms. Total solver calls (SAT/UNSAT): 48581(25647/22934)
Jun 01, 2017 7:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :873/3137 took 196076 ms. Total solver calls (SAT/UNSAT): 48888(25804/23084)
Jun 01, 2017 7:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :881/3137 took 197177 ms. Total solver calls (SAT/UNSAT): 49214(25956/23258)
Jun 01, 2017 7:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :889/3137 took 198363 ms. Total solver calls (SAT/UNSAT): 49552(26120/23432)
Jun 01, 2017 7:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :894/3137 took 199463 ms. Total solver calls (SAT/UNSAT): 49815(26275/23540)
Jun 01, 2017 7:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :899/3137 took 200564 ms. Total solver calls (SAT/UNSAT): 50078(26430/23648)
Jun 01, 2017 7:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/3137 took 201664 ms. Total solver calls (SAT/UNSAT): 50341(26585/23756)
Jun 01, 2017 7:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/3137 took 202780 ms. Total solver calls (SAT/UNSAT): 50616(26740/23876)
Jun 01, 2017 7:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :914/3137 took 203892 ms. Total solver calls (SAT/UNSAT): 50891(26895/23996)
Jun 01, 2017 7:00:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/3137 took 205008 ms. Total solver calls (SAT/UNSAT): 51166(27050/24116)
Jun 01, 2017 7:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3137 took 206121 ms. Total solver calls (SAT/UNSAT): 51441(27205/24236)
Jun 01, 2017 7:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/3137 took 207224 ms. Total solver calls (SAT/UNSAT): 51716(27360/24356)
Jun 01, 2017 7:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :934/3137 took 208325 ms. Total solver calls (SAT/UNSAT): 51991(27515/24476)
Jun 01, 2017 7:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/3137 took 209435 ms. Total solver calls (SAT/UNSAT): 52266(27670/24596)
Jun 01, 2017 7:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/3137 took 210550 ms. Total solver calls (SAT/UNSAT): 52541(27825/24716)
Jun 01, 2017 7:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :949/3137 took 211664 ms. Total solver calls (SAT/UNSAT): 52816(27980/24836)
Jun 01, 2017 7:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :954/3137 took 212780 ms. Total solver calls (SAT/UNSAT): 53091(28135/24956)
Jun 01, 2017 7:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/3137 took 213895 ms. Total solver calls (SAT/UNSAT): 53366(28290/25076)
Jun 01, 2017 7:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/3137 took 215010 ms. Total solver calls (SAT/UNSAT): 53641(28445/25196)
Jun 01, 2017 7:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :969/3137 took 216124 ms. Total solver calls (SAT/UNSAT): 53916(28600/25316)
Jun 01, 2017 7:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :974/3137 took 217239 ms. Total solver calls (SAT/UNSAT): 54191(28755/25436)
Jun 01, 2017 7:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :979/3137 took 218354 ms. Total solver calls (SAT/UNSAT): 54466(28910/25556)
Jun 01, 2017 7:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3137 took 219468 ms. Total solver calls (SAT/UNSAT): 54741(29065/25676)
Jun 01, 2017 7:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :989/3137 took 220582 ms. Total solver calls (SAT/UNSAT): 55016(29220/25796)
Jun 01, 2017 7:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/3137 took 221696 ms. Total solver calls (SAT/UNSAT): 55291(29375/25916)
Jun 01, 2017 7:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/3137 took 222810 ms. Total solver calls (SAT/UNSAT): 55566(29530/26036)
Jun 01, 2017 7:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3137 took 223917 ms. Total solver calls (SAT/UNSAT): 55835(29685/26150)
Jun 01, 2017 7:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1009/3137 took 225022 ms. Total solver calls (SAT/UNSAT): 56098(29840/26258)
Jun 01, 2017 7:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/3137 took 226126 ms. Total solver calls (SAT/UNSAT): 56361(29995/26366)
Jun 01, 2017 7:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1021/3137 took 227257 ms. Total solver calls (SAT/UNSAT): 56668(30152/26516)
Jun 01, 2017 7:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1029/3137 took 228359 ms. Total solver calls (SAT/UNSAT): 56994(30304/26690)
Jun 01, 2017 7:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1037/3137 took 229544 ms. Total solver calls (SAT/UNSAT): 57332(30468/26864)
Jun 01, 2017 7:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/3137 took 230648 ms. Total solver calls (SAT/UNSAT): 57589(30623/26966)
Jun 01, 2017 7:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/3137 took 231749 ms. Total solver calls (SAT/UNSAT): 57842(30778/27064)
Jun 01, 2017 7:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3137 took 232848 ms. Total solver calls (SAT/UNSAT): 58089(30933/27156)
Jun 01, 2017 7:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1057/3137 took 233960 ms. Total solver calls (SAT/UNSAT): 58364(31088/27276)
Jun 01, 2017 7:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/3137 took 235069 ms. Total solver calls (SAT/UNSAT): 58621(31243/27378)
Jun 01, 2017 7:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1067/3137 took 236179 ms. Total solver calls (SAT/UNSAT): 58884(31398/27486)
Jun 01, 2017 7:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3137 took 237282 ms. Total solver calls (SAT/UNSAT): 59153(31553/27600)
Jun 01, 2017 7:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1077/3137 took 238380 ms. Total solver calls (SAT/UNSAT): 59410(31708/27702)
Jun 01, 2017 7:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3137 took 239481 ms. Total solver calls (SAT/UNSAT): 59679(31863/27816)
Jun 01, 2017 7:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/3137 took 240577 ms. Total solver calls (SAT/UNSAT): 59942(32018/27924)
Jun 01, 2017 7:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3137 took 241674 ms. Total solver calls (SAT/UNSAT): 60199(32173/28026)
Jun 01, 2017 7:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1097/3137 took 242777 ms. Total solver calls (SAT/UNSAT): 60474(32328/28146)
Jun 01, 2017 7:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/3137 took 243879 ms. Total solver calls (SAT/UNSAT): 60731(32483/28248)
Jun 01, 2017 7:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/3137 took 244989 ms. Total solver calls (SAT/UNSAT): 60994(32638/28356)
Jun 01, 2017 7:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3137 took 246102 ms. Total solver calls (SAT/UNSAT): 61263(32793/28470)
Jun 01, 2017 7:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1117/3137 took 247210 ms. Total solver calls (SAT/UNSAT): 61520(32948/28572)
Jun 01, 2017 7:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/3137 took 248317 ms. Total solver calls (SAT/UNSAT): 61789(33103/28686)
Jun 01, 2017 7:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/3137 took 249422 ms. Total solver calls (SAT/UNSAT): 62052(33258/28794)
Jun 01, 2017 7:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3137 took 250526 ms. Total solver calls (SAT/UNSAT): 62309(33413/28896)
Jun 01, 2017 7:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1137/3137 took 251634 ms. Total solver calls (SAT/UNSAT): 62584(33568/29016)
Jun 01, 2017 7:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/3137 took 252737 ms. Total solver calls (SAT/UNSAT): 62841(33723/29118)
Jun 01, 2017 7:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/3137 took 253841 ms. Total solver calls (SAT/UNSAT): 63104(33878/29226)
Jun 01, 2017 7:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/3137 took 254951 ms. Total solver calls (SAT/UNSAT): 63367(34033/29334)
Jun 01, 2017 7:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1157/3137 took 256058 ms. Total solver calls (SAT/UNSAT): 63614(34188/29426)
Jun 01, 2017 7:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1162/3137 took 257166 ms. Total solver calls (SAT/UNSAT): 63871(34343/29528)
Jun 01, 2017 7:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1169/3137 took 258299 ms. Total solver calls (SAT/UNSAT): 64158(34500/29658)
Jun 01, 2017 7:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1177/3137 took 259438 ms. Total solver calls (SAT/UNSAT): 64474(34652/29822)
Jun 01, 2017 7:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1184/3137 took 260456 ms. Total solver calls (SAT/UNSAT): 64737(34785/29952)
Jun 01, 2017 7:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/3137 took 261471 ms. Total solver calls (SAT/UNSAT): 65016(34918/30098)
Jun 01, 2017 7:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1198/3137 took 262488 ms. Total solver calls (SAT/UNSAT): 65289(35051/30238)
Jun 01, 2017 7:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1205/3137 took 263510 ms. Total solver calls (SAT/UNSAT): 65572(35184/30388)
Jun 01, 2017 7:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1212/3137 took 264535 ms. Total solver calls (SAT/UNSAT): 65861(35317/30544)
Jun 01, 2017 7:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/3137 took 265551 ms. Total solver calls (SAT/UNSAT): 66138(35450/30688)
Jun 01, 2017 7:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1226/3137 took 266574 ms. Total solver calls (SAT/UNSAT): 66427(35583/30844)
Jun 01, 2017 7:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/3137 took 267597 ms. Total solver calls (SAT/UNSAT): 66710(35716/30994)
Jun 01, 2017 7:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/3137 took 268619 ms. Total solver calls (SAT/UNSAT): 66993(35849/31144)
Jun 01, 2017 7:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/3137 took 269642 ms. Total solver calls (SAT/UNSAT): 67282(35982/31300)
Jun 01, 2017 7:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1254/3137 took 270658 ms. Total solver calls (SAT/UNSAT): 67559(36115/31444)
Jun 01, 2017 7:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/3137 took 271674 ms. Total solver calls (SAT/UNSAT): 67838(36248/31590)
Jun 01, 2017 7:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1271/3137 took 272715 ms. Total solver calls (SAT/UNSAT): 68166(36382/31784)
Jun 01, 2017 7:01:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1280/3137 took 273725 ms. Total solver calls (SAT/UNSAT): 68477(36513/31964)
Jun 01, 2017 7:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1287/3137 took 274734 ms. Total solver calls (SAT/UNSAT): 68746(36646/32100)
Jun 01, 2017 7:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1294/3137 took 275761 ms. Total solver calls (SAT/UNSAT): 69035(36779/32256)
Jun 01, 2017 7:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1301/3137 took 276776 ms. Total solver calls (SAT/UNSAT): 69312(36912/32400)
Jun 01, 2017 7:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1308/3137 took 277795 ms. Total solver calls (SAT/UNSAT): 69601(37045/32556)
Jun 01, 2017 7:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1315/3137 took 278819 ms. Total solver calls (SAT/UNSAT): 69884(37178/32706)
Jun 01, 2017 7:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1322/3137 took 279843 ms. Total solver calls (SAT/UNSAT): 70167(37311/32856)
Jun 01, 2017 7:01:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1329/3137 took 280867 ms. Total solver calls (SAT/UNSAT): 70456(37444/33012)
Jun 01, 2017 7:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1337/3137 took 281969 ms. Total solver calls (SAT/UNSAT): 70776(37596/33180)
Jun 01, 2017 7:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/3137 took 283080 ms. Total solver calls (SAT/UNSAT): 71102(37748/33354)
Jun 01, 2017 7:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1353/3137 took 284176 ms. Total solver calls (SAT/UNSAT): 71418(37900/33518)
Jun 01, 2017 7:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1364/3137 took 285236 ms. Total solver calls (SAT/UNSAT): 71775(38045/33730)
Jun 01, 2017 7:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/3137 took 286452 ms. Total solver calls (SAT/UNSAT): 72111(38213/33898)
Jun 01, 2017 7:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3137 took 287559 ms. Total solver calls (SAT/UNSAT): 72358(38368/33990)
Jun 01, 2017 7:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1382/3137 took 288667 ms. Total solver calls (SAT/UNSAT): 72615(38523/34092)
Jun 01, 2017 7:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1387/3137 took 289769 ms. Total solver calls (SAT/UNSAT): 72874(38678/34196)
Jun 01, 2017 7:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1392/3137 took 290866 ms. Total solver calls (SAT/UNSAT): 73131(38833/34298)
Jun 01, 2017 7:01:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/3137 took 291968 ms. Total solver calls (SAT/UNSAT): 73406(38988/34418)
Jun 01, 2017 7:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1402/3137 took 293066 ms. Total solver calls (SAT/UNSAT): 73663(39143/34520)
Jun 01, 2017 7:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1407/3137 took 294165 ms. Total solver calls (SAT/UNSAT): 73926(39298/34628)
Jun 01, 2017 7:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1412/3137 took 295266 ms. Total solver calls (SAT/UNSAT): 74195(39453/34742)
Jun 01, 2017 7:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/3137 took 296364 ms. Total solver calls (SAT/UNSAT): 74452(39608/34844)
Jun 01, 2017 7:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1422/3137 took 297471 ms. Total solver calls (SAT/UNSAT): 74721(39763/34958)
Jun 01, 2017 7:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1427/3137 took 298577 ms. Total solver calls (SAT/UNSAT): 74984(39918/35066)
Jun 01, 2017 7:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/3137 took 299681 ms. Total solver calls (SAT/UNSAT): 75241(40073/35168)
Jun 01, 2017 7:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1437/3137 took 300795 ms. Total solver calls (SAT/UNSAT): 75516(40228/35288)
Jun 01, 2017 7:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1442/3137 took 301904 ms. Total solver calls (SAT/UNSAT): 75773(40383/35390)
Jun 01, 2017 7:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1447/3137 took 303016 ms. Total solver calls (SAT/UNSAT): 76036(40538/35498)
Jun 01, 2017 7:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1452/3137 took 304128 ms. Total solver calls (SAT/UNSAT): 76305(40693/35612)
Jun 01, 2017 7:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/3137 took 305237 ms. Total solver calls (SAT/UNSAT): 76562(40848/35714)
Jun 01, 2017 7:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1462/3137 took 306351 ms. Total solver calls (SAT/UNSAT): 76831(41003/35828)
Jun 01, 2017 7:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1467/3137 took 307459 ms. Total solver calls (SAT/UNSAT): 77094(41158/35936)
Jun 01, 2017 7:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1472/3137 took 308563 ms. Total solver calls (SAT/UNSAT): 77351(41313/36038)
Jun 01, 2017 7:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/3137 took 309672 ms. Total solver calls (SAT/UNSAT): 77626(41468/36158)
Jun 01, 2017 7:02:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1482/3137 took 310772 ms. Total solver calls (SAT/UNSAT): 77877(41623/36254)
Jun 01, 2017 7:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1487/3137 took 311870 ms. Total solver calls (SAT/UNSAT): 78134(41778/36356)
Jun 01, 2017 7:02:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/3137 took 312969 ms. Total solver calls (SAT/UNSAT): 78393(41933/36460)
Jun 01, 2017 7:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/3137 took 313982 ms. Total solver calls (SAT/UNSAT): 78628(42076/36552)
Jun 01, 2017 7:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1505/3137 took 315076 ms. Total solver calls (SAT/UNSAT): 78938(42228/36710)
Jun 01, 2017 7:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/3137 took 316170 ms. Total solver calls (SAT/UNSAT): 79250(42380/36870)
Jun 01, 2017 7:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1519/3137 took 317244 ms. Total solver calls (SAT/UNSAT): 79516(42530/36986)
Jun 01, 2017 7:02:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1524/3137 took 318369 ms. Total solver calls (SAT/UNSAT): 79779(42685/37094)
Jun 01, 2017 7:02:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1529/3137 took 319482 ms. Total solver calls (SAT/UNSAT): 80042(42840/37202)
Jun 01, 2017 7:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1534/3137 took 320594 ms. Total solver calls (SAT/UNSAT): 80311(42995/37316)
Jun 01, 2017 7:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1539/3137 took 321704 ms. Total solver calls (SAT/UNSAT): 80586(43150/37436)
Jun 01, 2017 7:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/3137 took 322814 ms. Total solver calls (SAT/UNSAT): 80861(43305/37556)
Jun 01, 2017 7:02:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/3137 took 323925 ms. Total solver calls (SAT/UNSAT): 81136(43460/37676)
Jun 01, 2017 7:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1554/3137 took 325040 ms. Total solver calls (SAT/UNSAT): 81411(43615/37796)
Jun 01, 2017 7:02:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1559/3137 took 326156 ms. Total solver calls (SAT/UNSAT): 81686(43770/37916)
Jun 01, 2017 7:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1564/3137 took 327271 ms. Total solver calls (SAT/UNSAT): 81961(43925/38036)
Jun 01, 2017 7:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1569/3137 took 328387 ms. Total solver calls (SAT/UNSAT): 82236(44080/38156)
Jun 01, 2017 7:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1574/3137 took 329502 ms. Total solver calls (SAT/UNSAT): 82511(44235/38276)
Jun 01, 2017 7:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1579/3137 took 330618 ms. Total solver calls (SAT/UNSAT): 82786(44390/38396)
Jun 01, 2017 7:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3137 took 331724 ms. Total solver calls (SAT/UNSAT): 83061(44545/38516)
Jun 01, 2017 7:02:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1589/3137 took 332828 ms. Total solver calls (SAT/UNSAT): 83336(44700/38636)
Jun 01, 2017 7:02:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1594/3137 took 333932 ms. Total solver calls (SAT/UNSAT): 83611(44855/38756)
Jun 01, 2017 7:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1599/3137 took 335043 ms. Total solver calls (SAT/UNSAT): 83886(45010/38876)
Jun 01, 2017 7:02:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3137 took 336157 ms. Total solver calls (SAT/UNSAT): 84161(45165/38996)
Jun 01, 2017 7:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1609/3137 took 337272 ms. Total solver calls (SAT/UNSAT): 84436(45320/39116)
Jun 01, 2017 7:02:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1614/3137 took 338384 ms. Total solver calls (SAT/UNSAT): 84711(45475/39236)
Jun 01, 2017 7:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1619/3137 took 339486 ms. Total solver calls (SAT/UNSAT): 84986(45630/39356)
Jun 01, 2017 7:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3137 took 340589 ms. Total solver calls (SAT/UNSAT): 85261(45785/39476)
Jun 01, 2017 7:02:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1629/3137 took 341693 ms. Total solver calls (SAT/UNSAT): 85536(45940/39596)
Jun 01, 2017 7:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1634/3137 took 342796 ms. Total solver calls (SAT/UNSAT): 85799(46095/39704)
Jun 01, 2017 7:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1639/3137 took 343895 ms. Total solver calls (SAT/UNSAT): 86062(46250/39812)
Jun 01, 2017 7:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1644/3137 took 344995 ms. Total solver calls (SAT/UNSAT): 86325(46405/39920)
Jun 01, 2017 7:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1652/3137 took 346099 ms. Total solver calls (SAT/UNSAT): 86651(46557/40094)
Jun 01, 2017 7:02:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1660/3137 took 347203 ms. Total solver calls (SAT/UNSAT): 86977(46709/40268)
Jun 01, 2017 7:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1667/3137 took 348417 ms. Total solver calls (SAT/UNSAT): 87296(46878/40418)
Jun 01, 2017 7:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3137 took 349521 ms. Total solver calls (SAT/UNSAT): 87559(47033/40526)
Jun 01, 2017 7:02:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1677/3137 took 350626 ms. Total solver calls (SAT/UNSAT): 87822(47188/40634)
Jun 01, 2017 7:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1682/3137 took 351736 ms. Total solver calls (SAT/UNSAT): 88091(47343/40748)
Jun 01, 2017 7:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1687/3137 took 352854 ms. Total solver calls (SAT/UNSAT): 88366(47498/40868)
Jun 01, 2017 7:02:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1692/3137 took 353969 ms. Total solver calls (SAT/UNSAT): 88641(47653/40988)
Jun 01, 2017 7:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1697/3137 took 355084 ms. Total solver calls (SAT/UNSAT): 88916(47808/41108)
Jun 01, 2017 7:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1702/3137 took 356199 ms. Total solver calls (SAT/UNSAT): 89191(47963/41228)
Jun 01, 2017 7:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1707/3137 took 357312 ms. Total solver calls (SAT/UNSAT): 89466(48118/41348)
Jun 01, 2017 7:03:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1712/3137 took 358427 ms. Total solver calls (SAT/UNSAT): 89741(48273/41468)
Jun 01, 2017 7:03:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1717/3137 took 359530 ms. Total solver calls (SAT/UNSAT): 90016(48428/41588)
Jun 01, 2017 7:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1722/3137 took 360632 ms. Total solver calls (SAT/UNSAT): 90291(48583/41708)
Jun 01, 2017 7:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1727/3137 took 361735 ms. Total solver calls (SAT/UNSAT): 90566(48738/41828)
Jun 01, 2017 7:03:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1732/3137 took 362848 ms. Total solver calls (SAT/UNSAT): 90841(48893/41948)
Jun 01, 2017 7:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1737/3137 took 363963 ms. Total solver calls (SAT/UNSAT): 91116(49048/42068)
Jun 01, 2017 7:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1742/3137 took 365078 ms. Total solver calls (SAT/UNSAT): 91391(49203/42188)
Jun 01, 2017 7:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1747/3137 took 366186 ms. Total solver calls (SAT/UNSAT): 91666(49358/42308)
Jun 01, 2017 7:03:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1752/3137 took 367289 ms. Total solver calls (SAT/UNSAT): 91941(49513/42428)
Jun 01, 2017 7:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1757/3137 took 368393 ms. Total solver calls (SAT/UNSAT): 92216(49668/42548)
Jun 01, 2017 7:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1762/3137 took 369499 ms. Total solver calls (SAT/UNSAT): 92491(49823/42668)
Jun 01, 2017 7:03:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1767/3137 took 370609 ms. Total solver calls (SAT/UNSAT): 92766(49978/42788)
Jun 01, 2017 7:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1772/3137 took 371717 ms. Total solver calls (SAT/UNSAT): 93041(50133/42908)
Jun 01, 2017 7:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1777/3137 took 372828 ms. Total solver calls (SAT/UNSAT): 93316(50288/43028)
Jun 01, 2017 7:03:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1782/3137 took 373939 ms. Total solver calls (SAT/UNSAT): 93579(50443/43136)
Jun 01, 2017 7:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1787/3137 took 375050 ms. Total solver calls (SAT/UNSAT): 93842(50598/43244)
Jun 01, 2017 7:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1792/3137 took 376160 ms. Total solver calls (SAT/UNSAT): 94105(50753/43352)
Jun 01, 2017 7:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1800/3137 took 377270 ms. Total solver calls (SAT/UNSAT): 94431(50905/43526)
Jun 01, 2017 7:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1808/3137 took 378376 ms. Total solver calls (SAT/UNSAT): 94757(51057/43700)
Jun 01, 2017 7:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1815/3137 took 379587 ms. Total solver calls (SAT/UNSAT): 95076(51226/43850)
Jun 01, 2017 7:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1820/3137 took 380682 ms. Total solver calls (SAT/UNSAT): 95339(51381/43958)
Jun 01, 2017 7:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1825/3137 took 381781 ms. Total solver calls (SAT/UNSAT): 95602(51536/44066)
Jun 01, 2017 7:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1830/3137 took 382882 ms. Total solver calls (SAT/UNSAT): 95871(51691/44180)
Jun 01, 2017 7:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1835/3137 took 383982 ms. Total solver calls (SAT/UNSAT): 96146(51846/44300)
Jun 01, 2017 7:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1840/3137 took 385085 ms. Total solver calls (SAT/UNSAT): 96421(52001/44420)
Jun 01, 2017 7:03:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1845/3137 took 386191 ms. Total solver calls (SAT/UNSAT): 96696(52156/44540)
Jun 01, 2017 7:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1850/3137 took 387306 ms. Total solver calls (SAT/UNSAT): 96971(52311/44660)
Jun 01, 2017 7:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1855/3137 took 388418 ms. Total solver calls (SAT/UNSAT): 97246(52466/44780)
Jun 01, 2017 7:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1860/3137 took 389531 ms. Total solver calls (SAT/UNSAT): 97521(52621/44900)
Jun 01, 2017 7:03:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1865/3137 took 390639 ms. Total solver calls (SAT/UNSAT): 97796(52776/45020)
Jun 01, 2017 7:03:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1870/3137 took 391748 ms. Total solver calls (SAT/UNSAT): 98071(52931/45140)
Jun 01, 2017 7:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1875/3137 took 392857 ms. Total solver calls (SAT/UNSAT): 98346(53086/45260)
Jun 01, 2017 7:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1880/3137 took 393957 ms. Total solver calls (SAT/UNSAT): 98621(53241/45380)
Jun 01, 2017 7:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1885/3137 took 395058 ms. Total solver calls (SAT/UNSAT): 98896(53396/45500)
Jun 01, 2017 7:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1890/3137 took 396158 ms. Total solver calls (SAT/UNSAT): 99171(53551/45620)
Jun 01, 2017 7:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1895/3137 took 397261 ms. Total solver calls (SAT/UNSAT): 99446(53706/45740)
Jun 01, 2017 7:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3137 took 398363 ms. Total solver calls (SAT/UNSAT): 99721(53861/45860)
Jun 01, 2017 7:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1905/3137 took 399466 ms. Total solver calls (SAT/UNSAT): 99996(54016/45980)
Jun 01, 2017 7:03:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1910/3137 took 400565 ms. Total solver calls (SAT/UNSAT): 100271(54171/46100)
Jun 01, 2017 7:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1915/3137 took 401667 ms. Total solver calls (SAT/UNSAT): 100546(54326/46220)
Jun 01, 2017 7:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1920/3137 took 402769 ms. Total solver calls (SAT/UNSAT): 100821(54481/46340)
Jun 01, 2017 7:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1925/3137 took 403875 ms. Total solver calls (SAT/UNSAT): 101096(54636/46460)
Jun 01, 2017 7:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1930/3137 took 404987 ms. Total solver calls (SAT/UNSAT): 101359(54791/46568)
Jun 01, 2017 7:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1935/3137 took 406098 ms. Total solver calls (SAT/UNSAT): 101622(54946/46676)
Jun 01, 2017 7:03:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1940/3137 took 407208 ms. Total solver calls (SAT/UNSAT): 101885(55101/46784)
Jun 01, 2017 7:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3137 took 408304 ms. Total solver calls (SAT/UNSAT): 102211(55253/46958)
Jun 01, 2017 7:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1956/3137 took 409407 ms. Total solver calls (SAT/UNSAT): 102537(55405/47132)
Jun 01, 2017 7:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1963/3137 took 410619 ms. Total solver calls (SAT/UNSAT): 102856(55574/47282)
Jun 01, 2017 7:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1968/3137 took 411718 ms. Total solver calls (SAT/UNSAT): 103119(55729/47390)
Jun 01, 2017 7:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1973/3137 took 412815 ms. Total solver calls (SAT/UNSAT): 103382(55884/47498)
Jun 01, 2017 7:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1978/3137 took 413921 ms. Total solver calls (SAT/UNSAT): 103651(56039/47612)
Jun 01, 2017 7:03:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1983/3137 took 415036 ms. Total solver calls (SAT/UNSAT): 103926(56194/47732)
Jun 01, 2017 7:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1988/3137 took 416151 ms. Total solver calls (SAT/UNSAT): 104201(56349/47852)
Jun 01, 2017 7:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1993/3137 took 417265 ms. Total solver calls (SAT/UNSAT): 104476(56504/47972)
Jun 01, 2017 7:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1998/3137 took 418379 ms. Total solver calls (SAT/UNSAT): 104751(56659/48092)
Jun 01, 2017 7:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2003/3137 took 419494 ms. Total solver calls (SAT/UNSAT): 105026(56814/48212)
Jun 01, 2017 7:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2008/3137 took 420610 ms. Total solver calls (SAT/UNSAT): 105301(56969/48332)
Jun 01, 2017 7:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2013/3137 took 421718 ms. Total solver calls (SAT/UNSAT): 105576(57124/48452)
Jun 01, 2017 7:04:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2018/3137 took 422828 ms. Total solver calls (SAT/UNSAT): 105851(57279/48572)
Jun 01, 2017 7:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2023/3137 took 423938 ms. Total solver calls (SAT/UNSAT): 106126(57434/48692)
Jun 01, 2017 7:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2028/3137 took 425052 ms. Total solver calls (SAT/UNSAT): 106401(57589/48812)
Jun 01, 2017 7:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2033/3137 took 426168 ms. Total solver calls (SAT/UNSAT): 106676(57744/48932)
Jun 01, 2017 7:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2038/3137 took 427283 ms. Total solver calls (SAT/UNSAT): 106951(57899/49052)
Jun 01, 2017 7:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2043/3137 took 428391 ms. Total solver calls (SAT/UNSAT): 107226(58054/49172)
Jun 01, 2017 7:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2048/3137 took 429499 ms. Total solver calls (SAT/UNSAT): 107501(58209/49292)
Jun 01, 2017 7:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2053/3137 took 430617 ms. Total solver calls (SAT/UNSAT): 107776(58364/49412)
Jun 01, 2017 7:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2058/3137 took 431727 ms. Total solver calls (SAT/UNSAT): 108051(58519/49532)
Jun 01, 2017 7:04:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2063/3137 took 432838 ms. Total solver calls (SAT/UNSAT): 108326(58674/49652)
Jun 01, 2017 7:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2068/3137 took 433945 ms. Total solver calls (SAT/UNSAT): 108601(58829/49772)
Jun 01, 2017 7:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2073/3137 took 435052 ms. Total solver calls (SAT/UNSAT): 108876(58984/49892)
Jun 01, 2017 7:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2078/3137 took 436156 ms. Total solver calls (SAT/UNSAT): 109139(59139/50000)
Jun 01, 2017 7:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2083/3137 took 437258 ms. Total solver calls (SAT/UNSAT): 109402(59294/50108)
Jun 01, 2017 7:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2088/3137 took 438358 ms. Total solver calls (SAT/UNSAT): 109665(59449/50216)
Jun 01, 2017 7:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2096/3137 took 439459 ms. Total solver calls (SAT/UNSAT): 109991(59601/50390)
Jun 01, 2017 7:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2104/3137 took 440564 ms. Total solver calls (SAT/UNSAT): 110317(59753/50564)
Jun 01, 2017 7:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2111/3137 took 441781 ms. Total solver calls (SAT/UNSAT): 110636(59922/50714)
Jun 01, 2017 7:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2116/3137 took 442886 ms. Total solver calls (SAT/UNSAT): 110899(60077/50822)
Jun 01, 2017 7:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2121/3137 took 443995 ms. Total solver calls (SAT/UNSAT): 111162(60232/50930)
Jun 01, 2017 7:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2126/3137 took 445106 ms. Total solver calls (SAT/UNSAT): 111431(60387/51044)
Jun 01, 2017 7:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2131/3137 took 446218 ms. Total solver calls (SAT/UNSAT): 111706(60542/51164)
Jun 01, 2017 7:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2136/3137 took 447330 ms. Total solver calls (SAT/UNSAT): 111981(60697/51284)
Jun 01, 2017 7:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2141/3137 took 448441 ms. Total solver calls (SAT/UNSAT): 112256(60852/51404)
Jun 01, 2017 7:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3137 took 449549 ms. Total solver calls (SAT/UNSAT): 112531(61007/51524)
Jun 01, 2017 7:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2151/3137 took 450659 ms. Total solver calls (SAT/UNSAT): 112806(61162/51644)
Jun 01, 2017 7:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2156/3137 took 451771 ms. Total solver calls (SAT/UNSAT): 113081(61317/51764)
Jun 01, 2017 7:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2161/3137 took 452871 ms. Total solver calls (SAT/UNSAT): 113356(61472/51884)
Jun 01, 2017 7:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2166/3137 took 453984 ms. Total solver calls (SAT/UNSAT): 113631(61627/52004)
Jun 01, 2017 7:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2171/3137 took 455084 ms. Total solver calls (SAT/UNSAT): 113906(61782/52124)
Jun 01, 2017 7:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2176/3137 took 456193 ms. Total solver calls (SAT/UNSAT): 114181(61937/52244)
Jun 01, 2017 7:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2181/3137 took 457312 ms. Total solver calls (SAT/UNSAT): 114456(62092/52364)
Jun 01, 2017 7:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2186/3137 took 458424 ms. Total solver calls (SAT/UNSAT): 114731(62247/52484)
Jun 01, 2017 7:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2191/3137 took 459530 ms. Total solver calls (SAT/UNSAT): 115006(62402/52604)
Jun 01, 2017 7:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2196/3137 took 460631 ms. Total solver calls (SAT/UNSAT): 115281(62557/52724)
Jun 01, 2017 7:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2201/3137 took 461733 ms. Total solver calls (SAT/UNSAT): 115556(62712/52844)
Jun 01, 2017 7:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2206/3137 took 462833 ms. Total solver calls (SAT/UNSAT): 115831(62867/52964)
Jun 01, 2017 7:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2211/3137 took 463934 ms. Total solver calls (SAT/UNSAT): 116106(63022/53084)
Jun 01, 2017 7:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2216/3137 took 465034 ms. Total solver calls (SAT/UNSAT): 116381(63177/53204)
Jun 01, 2017 7:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2221/3137 took 466135 ms. Total solver calls (SAT/UNSAT): 116656(63332/53324)
Jun 01, 2017 7:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2226/3137 took 467242 ms. Total solver calls (SAT/UNSAT): 116919(63487/53432)
Jun 01, 2017 7:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2231/3137 took 468349 ms. Total solver calls (SAT/UNSAT): 117182(63642/53540)
Jun 01, 2017 7:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2236/3137 took 469458 ms. Total solver calls (SAT/UNSAT): 117445(63797/53648)
Jun 01, 2017 7:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2244/3137 took 470552 ms. Total solver calls (SAT/UNSAT): 117771(63949/53822)
Jun 01, 2017 7:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2252/3137 took 471651 ms. Total solver calls (SAT/UNSAT): 118097(64101/53996)
Jun 01, 2017 7:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2259/3137 took 472857 ms. Total solver calls (SAT/UNSAT): 118416(64270/54146)
Jun 01, 2017 7:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2264/3137 took 473953 ms. Total solver calls (SAT/UNSAT): 118679(64425/54254)
Jun 01, 2017 7:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2269/3137 took 475049 ms. Total solver calls (SAT/UNSAT): 118942(64580/54362)
Jun 01, 2017 7:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2274/3137 took 476153 ms. Total solver calls (SAT/UNSAT): 119211(64735/54476)
Jun 01, 2017 7:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2279/3137 took 477263 ms. Total solver calls (SAT/UNSAT): 119486(64890/54596)
Jun 01, 2017 7:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2284/3137 took 478378 ms. Total solver calls (SAT/UNSAT): 119761(65045/54716)
Jun 01, 2017 7:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2289/3137 took 479484 ms. Total solver calls (SAT/UNSAT): 120036(65200/54836)
Jun 01, 2017 7:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2294/3137 took 480582 ms. Total solver calls (SAT/UNSAT): 120311(65355/54956)
Jun 01, 2017 7:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2299/3137 took 481683 ms. Total solver calls (SAT/UNSAT): 120586(65510/55076)
Jun 01, 2017 7:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2304/3137 took 482781 ms. Total solver calls (SAT/UNSAT): 120861(65665/55196)
Jun 01, 2017 7:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2309/3137 took 483893 ms. Total solver calls (SAT/UNSAT): 121136(65820/55316)
Jun 01, 2017 7:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2314/3137 took 485005 ms. Total solver calls (SAT/UNSAT): 121411(65975/55436)
Jun 01, 2017 7:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2319/3137 took 486116 ms. Total solver calls (SAT/UNSAT): 121686(66130/55556)
Jun 01, 2017 7:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2324/3137 took 487226 ms. Total solver calls (SAT/UNSAT): 121961(66285/55676)
Jun 01, 2017 7:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2329/3137 took 488337 ms. Total solver calls (SAT/UNSAT): 122236(66440/55796)
Jun 01, 2017 7:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2334/3137 took 489449 ms. Total solver calls (SAT/UNSAT): 122511(66595/55916)
Jun 01, 2017 7:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2339/3137 took 490561 ms. Total solver calls (SAT/UNSAT): 122786(66750/56036)
Jun 01, 2017 7:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2344/3137 took 491673 ms. Total solver calls (SAT/UNSAT): 123061(66905/56156)
Jun 01, 2017 7:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2349/3137 took 492784 ms. Total solver calls (SAT/UNSAT): 123336(67060/56276)
Jun 01, 2017 7:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2354/3137 took 493893 ms. Total solver calls (SAT/UNSAT): 123611(67215/56396)
Jun 01, 2017 7:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2359/3137 took 495002 ms. Total solver calls (SAT/UNSAT): 123886(67370/56516)
Jun 01, 2017 7:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2364/3137 took 496114 ms. Total solver calls (SAT/UNSAT): 124161(67525/56636)
Jun 01, 2017 7:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2369/3137 took 497224 ms. Total solver calls (SAT/UNSAT): 124436(67680/56756)
Jun 01, 2017 7:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2374/3137 took 498327 ms. Total solver calls (SAT/UNSAT): 124699(67835/56864)
Jun 01, 2017 7:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2379/3137 took 499429 ms. Total solver calls (SAT/UNSAT): 124962(67990/56972)
Jun 01, 2017 7:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2384/3137 took 500531 ms. Total solver calls (SAT/UNSAT): 125225(68145/57080)
Jun 01, 2017 7:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2392/3137 took 501630 ms. Total solver calls (SAT/UNSAT): 125551(68297/57254)
Jun 01, 2017 7:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2400/3137 took 502731 ms. Total solver calls (SAT/UNSAT): 125877(68449/57428)
Jun 01, 2017 7:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2407/3137 took 503941 ms. Total solver calls (SAT/UNSAT): 126196(68618/57578)
Jun 01, 2017 7:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2412/3137 took 505036 ms. Total solver calls (SAT/UNSAT): 126443(68773/57670)
Jun 01, 2017 7:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2417/3137 took 506139 ms. Total solver calls (SAT/UNSAT): 126706(68928/57778)
Jun 01, 2017 7:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2422/3137 took 507240 ms. Total solver calls (SAT/UNSAT): 126959(69083/57876)
Jun 01, 2017 7:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2427/3137 took 508348 ms. Total solver calls (SAT/UNSAT): 127222(69238/57984)
Jun 01, 2017 7:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2432/3137 took 509459 ms. Total solver calls (SAT/UNSAT): 127491(69393/58098)
Jun 01, 2017 7:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2437/3137 took 510564 ms. Total solver calls (SAT/UNSAT): 127748(69548/58200)
Jun 01, 2017 7:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2442/3137 took 511868 ms. Total solver calls (SAT/UNSAT): 128017(69703/58314)
Jun 01, 2017 7:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2447/3137 took 513032 ms. Total solver calls (SAT/UNSAT): 128280(69858/58422)
Jun 01, 2017 7:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2451/3137 took 514121 ms. Total solver calls (SAT/UNSAT): 128488(69982/58506)
Jun 01, 2017 7:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2455/3137 took 515211 ms. Total solver calls (SAT/UNSAT): 128702(70106/58596)
Jun 01, 2017 7:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2460/3137 took 516365 ms. Total solver calls (SAT/UNSAT): 128959(70261/58698)
Jun 01, 2017 7:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2464/3137 took 517455 ms. Total solver calls (SAT/UNSAT): 129179(70385/58794)
Jun 01, 2017 7:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2469/3137 took 518572 ms. Total solver calls (SAT/UNSAT): 129436(70540/58896)
Jun 01, 2017 7:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2474/3137 took 519701 ms. Total solver calls (SAT/UNSAT): 129705(70695/59010)
Jun 01, 2017 7:05:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2479/3137 took 520823 ms. Total solver calls (SAT/UNSAT): 129968(70850/59118)
Jun 01, 2017 7:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2484/3137 took 521935 ms. Total solver calls (SAT/UNSAT): 130225(71005/59220)
Jun 01, 2017 7:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2489/3137 took 523054 ms. Total solver calls (SAT/UNSAT): 130500(71160/59340)
Jun 01, 2017 7:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2494/3137 took 524340 ms. Total solver calls (SAT/UNSAT): 130757(71315/59442)
Jun 01, 2017 7:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2498/3137 took 525441 ms. Total solver calls (SAT/UNSAT): 130971(71439/59532)
Jun 01, 2017 7:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2503/3137 took 526572 ms. Total solver calls (SAT/UNSAT): 131234(71594/59640)
Jun 01, 2017 7:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2508/3137 took 527869 ms. Total solver calls (SAT/UNSAT): 131491(71749/59742)
Jun 01, 2017 7:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2513/3137 took 528992 ms. Total solver calls (SAT/UNSAT): 131766(71904/59862)
Jun 01, 2017 7:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2518/3137 took 530100 ms. Total solver calls (SAT/UNSAT): 132023(72059/59964)
Jun 01, 2017 7:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3137 took 531213 ms. Total solver calls (SAT/UNSAT): 132274(72214/60060)
Jun 01, 2017 7:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2528/3137 took 532345 ms. Total solver calls (SAT/UNSAT): 132533(72369/60164)
Jun 01, 2017 7:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2532/3137 took 533426 ms. Total solver calls (SAT/UNSAT): 132725(72493/60232)
Jun 01, 2017 7:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2540/3137 took 534539 ms. Total solver calls (SAT/UNSAT): 133041(72645/60396)
Jun 01, 2017 7:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2548/3137 took 535648 ms. Total solver calls (SAT/UNSAT): 133347(72797/60550)
Jun 01, 2017 7:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2556/3137 took 536756 ms. Total solver calls (SAT/UNSAT): 133657(72949/60708)
Jun 01, 2017 7:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2564/3137 took 537863 ms. Total solver calls (SAT/UNSAT): 133969(73101/60868)
Jun 01, 2017 7:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2572/3137 took 538980 ms. Total solver calls (SAT/UNSAT): 134289(73253/61036)
Jun 01, 2017 7:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2580/3137 took 540090 ms. Total solver calls (SAT/UNSAT): 134621(73405/61216)
Jun 01, 2017 7:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2588/3137 took 541176 ms. Total solver calls (SAT/UNSAT): 134941(73557/61384)
Jun 01, 2017 7:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2596/3137 took 542270 ms. Total solver calls (SAT/UNSAT): 135267(73709/61558)
Jun 01, 2017 7:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2603/3137 took 543299 ms. Total solver calls (SAT/UNSAT): 135550(73842/61708)
Jun 01, 2017 7:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2610/3137 took 544359 ms. Total solver calls (SAT/UNSAT): 135839(73975/61864)
Jun 01, 2017 7:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2616/3137 took 545405 ms. Total solver calls (SAT/UNSAT): 136079(74089/61990)
Jun 01, 2017 7:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2622/3137 took 546446 ms. Total solver calls (SAT/UNSAT): 136319(74203/62116)
Jun 01, 2017 7:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2629/3137 took 547473 ms. Total solver calls (SAT/UNSAT): 136598(74336/62262)
Jun 01, 2017 7:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2639/3137 took 548481 ms. Total solver calls (SAT/UNSAT): 136926(74470/62456)
Jun 01, 2017 7:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2649/3137 took 549589 ms. Total solver calls (SAT/UNSAT): 137270(74620/62650)
Jun 01, 2017 7:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2657/3137 took 550699 ms. Total solver calls (SAT/UNSAT): 137592(74772/62820)
Jun 01, 2017 7:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2665/3137 took 551797 ms. Total solver calls (SAT/UNSAT): 137912(74924/62988)
Jun 01, 2017 7:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2673/3137 took 552888 ms. Total solver calls (SAT/UNSAT): 138238(75076/63162)
Jun 01, 2017 7:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2681/3137 took 553989 ms. Total solver calls (SAT/UNSAT): 138564(75228/63336)
Jun 01, 2017 7:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2689/3137 took 555097 ms. Total solver calls (SAT/UNSAT): 138884(75380/63504)
Jun 01, 2017 7:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2697/3137 took 556213 ms. Total solver calls (SAT/UNSAT): 139216(75532/63684)
Jun 01, 2017 7:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2705/3137 took 557355 ms. Total solver calls (SAT/UNSAT): 139536(75684/63852)
Jun 01, 2017 7:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2712/3137 took 558358 ms. Total solver calls (SAT/UNSAT): 139825(75817/64008)
Jun 01, 2017 7:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2719/3137 took 559370 ms. Total solver calls (SAT/UNSAT): 140092(75950/64142)
Jun 01, 2017 7:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2728/3137 took 560434 ms. Total solver calls (SAT/UNSAT): 140413(76089/64324)
Jun 01, 2017 7:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2765/3137 took 561434 ms. Total solver calls (SAT/UNSAT): 141682(76177/65505)
Jun 01, 2017 7:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2861/3137 took 562443 ms. Total solver calls (SAT/UNSAT): 144994(76177/68817)
Jun 01, 2017 7:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2968/3137 took 563448 ms. Total solver calls (SAT/UNSAT): 148265(76177/72088)
Jun 01, 2017 7:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3064/3137 took 564452 ms. Total solver calls (SAT/UNSAT): 151577(76177/75400)
Jun 01, 2017 7:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 565065 ms. Total solver calls (SAT/UNSAT): 153601(76177/77424)
Jun 01, 2017 7:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 3137 transitions.
Jun 01, 2017 7:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3137 took 20037 ms. Total solver calls (SAT/UNSAT): 3137(2736/401)

Sequence of Actions to be Executed by the VM

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

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

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PhaseVariation-PT-D10CS010, examination is 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 r130-smll-149441683100104"
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 ;