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_BridgeAndVehicles-COL-V50P20N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076700341
=====================================================================

--------------------
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 BridgeAndVehicles-COL-V50P20N20-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496394542551


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

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 2348 rows 138 cols
invariant : 1'CAPACITE:CAPACITE[0] + -1'SORTI_A:SORTI_A[0] + -1'ROUTE_A:ROUTE_A[0] + -1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_B:SUR_PONT_B[0]= -30
invariant : 1'voitureB0:NB_ATTENTE_B_0 + 1'voitureB1:NB_ATTENTE_B_1 + 1'voitureB2:NB_ATTENTE_B_2 + 1'voitureB3:NB_ATTENTE_B_3 + 1'voitureB4:NB_ATTENTE_B_4 + 1'voitureB5:NB_ATTENTE_B_5 + 1'voitureB6:NB_ATTENTE_B_6 + 1'voitureB7:NB_ATTENTE_B_7 + 1'voitureB8:NB_ATTENTE_B_8 + 1'voitureB9:NB_ATTENTE_B_9 + 1'voitureB10:NB_ATTENTE_B_10 + 1'voitureB11:NB_ATTENTE_B_11 + 1'voitureB12:NB_ATTENTE_B_12 + 1'voitureB13:NB_ATTENTE_B_13 + 1'voitureB14:NB_ATTENTE_B_14 + 1'voitureB15:NB_ATTENTE_B_15 + 1'voitureB16:NB_ATTENTE_B_16 + 1'voitureB17:NB_ATTENTE_B_17 + 1'voitureB18:NB_ATTENTE_B_18 + 1'voitureB19:NB_ATTENTE_B_19 + 1'voitureB20:NB_ATTENTE_B_20 + 1'voitureB21:NB_ATTENTE_B_21 + 1'voitureB22:NB_ATTENTE_B_22 + 1'voitureB23:NB_ATTENTE_B_23 + 1'voitureB24:NB_ATTENTE_B_24 + 1'voitureB25:NB_ATTENTE_B_25 + 1'voitureB26:NB_ATTENTE_B_26 + 1'voitureB27:NB_ATTENTE_B_27 + 1'voitureB28:NB_ATTENTE_B_28 + 1'voitureB29:NB_ATTENTE_B_29 + 1'voitureB30:NB_ATTENTE_B_30 + 1'voitureB31:NB_ATTENTE_B_31 + 1'voitureB32:NB_ATTENTE_B_32 + 1'voitureB33:NB_ATTENTE_B_33 + 1'voitureB34:NB_ATTENTE_B_34 + 1'voitureB35:NB_ATTENTE_B_35 + 1'voitureB36:NB_ATTENTE_B_36 + 1'voitureB37:NB_ATTENTE_B_37 + 1'voitureB38:NB_ATTENTE_B_38 + 1'voitureB39:NB_ATTENTE_B_39 + 1'voitureB40:NB_ATTENTE_B_40 + 1'voitureB41:NB_ATTENTE_B_41 + 1'voitureB42:NB_ATTENTE_B_42 + 1'voitureB43:NB_ATTENTE_B_43 + 1'voitureB44:NB_ATTENTE_B_44 + 1'voitureB45:NB_ATTENTE_B_45 + 1'voitureB46:NB_ATTENTE_B_46 + 1'voitureB47:NB_ATTENTE_B_47 + 1'voitureB48:NB_ATTENTE_B_48 + 1'voitureB49:NB_ATTENTE_B_49 + 1'voitureB50:NB_ATTENTE_B_50= 1
invariant : 1'sens0:CONTROLEUR_0 + 1'sens0:CHOIX_0 + 1'sens0:VIDANGE_0 + 1'sens1:CONTROLEUR_1 + 1'sens1:CHOIX_1 + 1'sens1:VIDANGE_1= 1
invariant : 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_A:SUR_PONT_A[0]= 50
invariant : -1'CAPACITE:CAPACITE[0] + 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'ATTENTE_B:ATTENTE_B[0] + 1'ROUTE_B:ROUTE_B[0] + 1'SORTI_B:SORTI_B[0]= 80
invariant : 1'compteur0:COMPTEUR_0 + 1'compteur1:COMPTEUR_1 + 1'compteur2:COMPTEUR_2 + 1'compteur3:COMPTEUR_3 + 1'compteur4:COMPTEUR_4 + 1'compteur5:COMPTEUR_5 + 1'compteur6:COMPTEUR_6 + 1'compteur7:COMPTEUR_7 + 1'compteur8:COMPTEUR_8 + 1'compteur9:COMPTEUR_9 + 1'compteur10:COMPTEUR_10 + 1'compteur11:COMPTEUR_11 + 1'compteur12:COMPTEUR_12 + 1'compteur13:COMPTEUR_13 + 1'compteur14:COMPTEUR_14 + 1'compteur15:COMPTEUR_15 + 1'compteur16:COMPTEUR_16 + 1'compteur17:COMPTEUR_17 + 1'compteur18:COMPTEUR_18 + 1'compteur19:COMPTEUR_19 + 1'compteur20:COMPTEUR_20= 1
invariant : 1'voitureA0:NB_ATTENTE_A_0 + 1'voitureA1:NB_ATTENTE_A_1 + 1'voitureA2:NB_ATTENTE_A_2 + 1'voitureA3:NB_ATTENTE_A_3 + 1'voitureA4:NB_ATTENTE_A_4 + 1'voitureA5:NB_ATTENTE_A_5 + 1'voitureA6:NB_ATTENTE_A_6 + 1'voitureA7:NB_ATTENTE_A_7 + 1'voitureA8:NB_ATTENTE_A_8 + 1'voitureA9:NB_ATTENTE_A_9 + 1'voitureA10:NB_ATTENTE_A_10 + 1'voitureA11:NB_ATTENTE_A_11 + 1'voitureA12:NB_ATTENTE_A_12 + 1'voitureA13:NB_ATTENTE_A_13 + 1'voitureA14:NB_ATTENTE_A_14 + 1'voitureA15:NB_ATTENTE_A_15 + 1'voitureA16:NB_ATTENTE_A_16 + 1'voitureA17:NB_ATTENTE_A_17 + 1'voitureA18:NB_ATTENTE_A_18 + 1'voitureA19:NB_ATTENTE_A_19 + 1'voitureA20:NB_ATTENTE_A_20 + 1'voitureA21:NB_ATTENTE_A_21 + 1'voitureA22:NB_ATTENTE_A_22 + 1'voitureA23:NB_ATTENTE_A_23 + 1'voitureA24:NB_ATTENTE_A_24 + 1'voitureA25:NB_ATTENTE_A_25 + 1'voitureA26:NB_ATTENTE_A_26 + 1'voitureA27:NB_ATTENTE_A_27 + 1'voitureA28:NB_ATTENTE_A_28 + 1'voitureA29:NB_ATTENTE_A_29 + 1'voitureA30:NB_ATTENTE_A_30 + 1'voitureA31:NB_ATTENTE_A_31 + 1'voitureA32:NB_ATTENTE_A_32 + 1'voitureA33:NB_ATTENTE_A_33 + 1'voitureA34:NB_ATTENTE_A_34 + 1'voitureA35:NB_ATTENTE_A_35 + 1'voitureA36:NB_ATTENTE_A_36 + 1'voitureA37:NB_ATTENTE_A_37 + 1'voitureA38:NB_ATTENTE_A_38 + 1'voitureA39:NB_ATTENTE_A_39 + 1'voitureA40:NB_ATTENTE_A_40 + 1'voitureA41:NB_ATTENTE_A_41 + 1'voitureA42:NB_ATTENTE_A_42 + 1'voitureA43:NB_ATTENTE_A_43 + 1'voitureA44:NB_ATTENTE_A_44 + 1'voitureA45:NB_ATTENTE_A_45 + 1'voitureA46:NB_ATTENTE_A_46 + 1'voitureA47:NB_ATTENTE_A_47 + 1'voitureA48:NB_ATTENTE_A_48 + 1'voitureA49:NB_ATTENTE_A_49 + 1'voitureA50:NB_ATTENTE_A_50= 1
Exit code :134

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 9:09:04 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 9:09:04 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1364 ms
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :sens->CONTROLEUR,CHOIX,VIDANGE,
compteur->COMPTEUR,
Dot->CAPACITE,SORTI_A,ROUTE_A,ATTENTE_A,SUR_PONT_A,SUR_PONT_B,ATTENTE_B,ROUTE_B,SORTI_B,
voitureA->NB_ATTENTE_A,
voitureB->NB_ATTENTE_B,

Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 129 instantiations of transitions. Total transitions/syncs built is 388
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V50P20N20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 103 ms
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays NB_ATTENTE_A, NB_ATTENTE_B, CONTROLEUR, CHOIX, COMPTEUR, VIDANGE to variables to allow decomposition.
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 285 redundant transitions.
Jun 02, 2017 9:09:05 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V50P20N20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 02, 2017 9:09:05 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 18 ms
Jun 02, 2017 9:09:07 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 217 ms
Jun 02, 2017 9:09:12 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 138 variables to be positive in 5331 ms
Jun 02, 2017 9:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 2348 transitions.
Jun 02, 2017 9:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/2348 took 185 ms. Total solver calls (SAT/UNSAT): 1223(2/1221)
Jun 02, 2017 9:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/2348 took 1305 ms. Total solver calls (SAT/UNSAT): 8561(14/8547)
Jun 02, 2017 9:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/2348 took 2344 ms. Total solver calls (SAT/UNSAT): 15899(26/15873)
Jun 02, 2017 9:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/2348 took 3492 ms. Total solver calls (SAT/UNSAT): 24460(40/24420)
Jun 02, 2017 9:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/2348 took 4650 ms. Total solver calls (SAT/UNSAT): 33021(54/32967)
Jun 02, 2017 9:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/2348 took 5688 ms. Total solver calls (SAT/UNSAT): 40359(66/40293)
Jun 02, 2017 9:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/2348 took 6821 ms. Total solver calls (SAT/UNSAT): 48920(80/48840)
Jun 02, 2017 9:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/2348 took 7828 ms. Total solver calls (SAT/UNSAT): 56258(92/56166)
Jun 02, 2017 9:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/2348 took 8858 ms. Total solver calls (SAT/UNSAT): 64682(109/64573)
Jun 02, 2017 9:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/2348 took 9941 ms. Total solver calls (SAT/UNSAT): 72921(130/72791)
Jun 02, 2017 9:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/2348 took 10951 ms. Total solver calls (SAT/UNSAT): 81160(151/81009)
Jun 02, 2017 9:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/2348 took 12054 ms. Total solver calls (SAT/UNSAT): 90354(172/90182)
Jun 02, 2017 9:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/2348 took 13191 ms. Total solver calls (SAT/UNSAT): 99778(196/99582)
Jun 02, 2017 9:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/2348 took 14326 ms. Total solver calls (SAT/UNSAT): 109202(220/108982)
Jun 02, 2017 9:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/2348 took 15432 ms. Total solver calls (SAT/UNSAT): 118400(241/118159)
Jun 02, 2017 9:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/2348 took 16572 ms. Total solver calls (SAT/UNSAT): 127824(265/127559)
Jun 02, 2017 9:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/2348 took 17820 ms. Total solver calls (SAT/UNSAT): 138199(289/137910)
Jun 02, 2017 9:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/2348 took 18912 ms. Total solver calls (SAT/UNSAT): 146446(310/146136)
Jun 02, 2017 9:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/2348 took 19959 ms. Total solver calls (SAT/UNSAT): 154692(331/154361)
Jun 02, 2017 9:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/2348 took 21055 ms. Total solver calls (SAT/UNSAT): 163889(352/163537)
Jun 02, 2017 9:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/2348 took 22157 ms. Total solver calls (SAT/UNSAT): 172136(373/171763)
Jun 02, 2017 9:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/2348 took 23244 ms. Total solver calls (SAT/UNSAT): 180382(394/179988)
Jun 02, 2017 9:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/2348 took 24404 ms. Total solver calls (SAT/UNSAT): 189579(415/189164)
Jun 02, 2017 9:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/2348 took 25406 ms. Total solver calls (SAT/UNSAT): 197826(436/197390)
Jun 02, 2017 9:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/2348 took 26446 ms. Total solver calls (SAT/UNSAT): 206072(457/205615)
Jun 02, 2017 9:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/2348 took 27612 ms. Total solver calls (SAT/UNSAT): 215269(478/214791)
Jun 02, 2017 9:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/2348 took 28691 ms. Total solver calls (SAT/UNSAT): 223516(499/223017)
Jun 02, 2017 9:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/2348 took 29691 ms. Total solver calls (SAT/UNSAT): 231762(520/231242)
Jun 02, 2017 9:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/2348 took 30859 ms. Total solver calls (SAT/UNSAT): 240959(541/240418)
Jun 02, 2017 9:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/2348 took 31975 ms. Total solver calls (SAT/UNSAT): 249206(562/248644)
Jun 02, 2017 9:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/2348 took 33025 ms. Total solver calls (SAT/UNSAT): 257452(583/256869)
Jun 02, 2017 9:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/2348 took 34141 ms. Total solver calls (SAT/UNSAT): 266649(604/266045)
Jun 02, 2017 9:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/2348 took 35164 ms. Total solver calls (SAT/UNSAT): 274896(625/274271)
Jun 02, 2017 9:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/2348 took 36180 ms. Total solver calls (SAT/UNSAT): 283142(646/282496)
Jun 02, 2017 9:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/2348 took 37432 ms. Total solver calls (SAT/UNSAT): 292339(667/291672)
Jun 02, 2017 9:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/2348 took 38485 ms. Total solver calls (SAT/UNSAT): 300586(688/299898)
Jun 02, 2017 9:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/2348 took 39615 ms. Total solver calls (SAT/UNSAT): 308832(709/308123)
Jun 02, 2017 9:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/2348 took 40720 ms. Total solver calls (SAT/UNSAT): 318029(730/317299)
Jun 02, 2017 9:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/2348 took 41720 ms. Total solver calls (SAT/UNSAT): 326276(751/325525)
Jun 02, 2017 9:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/2348 took 42859 ms. Total solver calls (SAT/UNSAT): 335700(775/334925)
Jun 02, 2017 9:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/2348 took 43976 ms. Total solver calls (SAT/UNSAT): 344898(796/344102)
Jun 02, 2017 9:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/2348 took 44977 ms. Total solver calls (SAT/UNSAT): 353144(817/352327)
Jun 02, 2017 9:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/2348 took 46119 ms. Total solver calls (SAT/UNSAT): 362568(841/361727)
Jun 02, 2017 9:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/2348 took 47225 ms. Total solver calls (SAT/UNSAT): 371766(862/370904)
Jun 02, 2017 9:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/2348 took 48371 ms. Total solver calls (SAT/UNSAT): 381190(886/380304)
Jun 02, 2017 9:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/2348 took 49421 ms. Total solver calls (SAT/UNSAT): 389436(907/388529)
Jun 02, 2017 9:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/2348 took 50541 ms. Total solver calls (SAT/UNSAT): 398634(928/397706)
Jun 02, 2017 9:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/2348 took 51545 ms. Total solver calls (SAT/UNSAT): 406880(949/405931)
Jun 02, 2017 9:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/2348 took 52550 ms. Total solver calls (SAT/UNSAT): 415126(970/414156)
Jun 02, 2017 9:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/2348 took 53668 ms. Total solver calls (SAT/UNSAT): 424324(991/423333)
Jun 02, 2017 9:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/2348 took 54671 ms. Total solver calls (SAT/UNSAT): 432570(1012/431558)
Jun 02, 2017 9:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/2348 took 55674 ms. Total solver calls (SAT/UNSAT): 440816(1033/439783)
Jun 02, 2017 9:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/2348 took 56801 ms. Total solver calls (SAT/UNSAT): 450014(1054/448960)
Jun 02, 2017 9:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/2348 took 57812 ms. Total solver calls (SAT/UNSAT): 458260(1075/457185)
Jun 02, 2017 9:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/2348 took 58824 ms. Total solver calls (SAT/UNSAT): 466506(1096/465410)
Jun 02, 2017 9:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/2348 took 59876 ms. Total solver calls (SAT/UNSAT): 474526(1114/473412)
Jun 02, 2017 9:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/2348 took 61010 ms. Total solver calls (SAT/UNSAT): 482772(1135/481637)
Jun 02, 2017 9:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/2348 took 62034 ms. Total solver calls (SAT/UNSAT): 491018(1156/489862)
Jun 02, 2017 9:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/2348 took 63163 ms. Total solver calls (SAT/UNSAT): 500216(1177/499039)
Jun 02, 2017 9:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/2348 took 64218 ms. Total solver calls (SAT/UNSAT): 508462(1198/507264)
Jun 02, 2017 9:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/2348 took 65228 ms. Total solver calls (SAT/UNSAT): 516708(1219/515489)
Jun 02, 2017 9:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/2348 took 66350 ms. Total solver calls (SAT/UNSAT): 525906(1240/524666)
Jun 02, 2017 9:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/2348 took 67356 ms. Total solver calls (SAT/UNSAT): 534152(1261/532891)
Jun 02, 2017 9:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/2348 took 68367 ms. Total solver calls (SAT/UNSAT): 542398(1282/541116)
Jun 02, 2017 9:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/2348 took 69498 ms. Total solver calls (SAT/UNSAT): 551596(1303/550293)
Jun 02, 2017 9:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/2348 took 70502 ms. Total solver calls (SAT/UNSAT): 559842(1324/558518)
Jun 02, 2017 9:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/2348 took 71503 ms. Total solver calls (SAT/UNSAT): 568088(1345/566743)
Jun 02, 2017 9:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/2348 took 72620 ms. Total solver calls (SAT/UNSAT): 577286(1366/575920)
Jun 02, 2017 9:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/2348 took 73624 ms. Total solver calls (SAT/UNSAT): 585532(1387/584145)
Jun 02, 2017 9:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/2348 took 74638 ms. Total solver calls (SAT/UNSAT): 593778(1408/592370)
Jun 02, 2017 9:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/2348 took 75763 ms. Total solver calls (SAT/UNSAT): 602976(1429/601547)
Jun 02, 2017 9:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/2348 took 76772 ms. Total solver calls (SAT/UNSAT): 611222(1450/609772)
Jun 02, 2017 9:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/2348 took 77782 ms. Total solver calls (SAT/UNSAT): 619468(1471/617997)
Jun 02, 2017 9:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/2348 took 78896 ms. Total solver calls (SAT/UNSAT): 628666(1492/627174)
Jun 02, 2017 9:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/2348 took 79908 ms. Total solver calls (SAT/UNSAT): 636912(1513/635399)
Jun 02, 2017 9:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/2348 took 80916 ms. Total solver calls (SAT/UNSAT): 645158(1534/643624)
Jun 02, 2017 9:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/2348 took 82038 ms. Total solver calls (SAT/UNSAT): 654356(1555/652801)
Jun 02, 2017 9:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/2348 took 83041 ms. Total solver calls (SAT/UNSAT): 662602(1576/661026)
Jun 02, 2017 9:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/2348 took 84043 ms. Total solver calls (SAT/UNSAT): 670848(1597/669251)
Jun 02, 2017 9:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/2348 took 85172 ms. Total solver calls (SAT/UNSAT): 680046(1618/678428)
Jun 02, 2017 9:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/2348 took 86179 ms. Total solver calls (SAT/UNSAT): 688292(1639/686653)
Jun 02, 2017 9:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/2348 took 87228 ms. Total solver calls (SAT/UNSAT): 696538(1660/694878)
Jun 02, 2017 9:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/2348 took 88339 ms. Total solver calls (SAT/UNSAT): 705736(1681/704055)
Jun 02, 2017 9:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/2348 took 89340 ms. Total solver calls (SAT/UNSAT): 713982(1702/712280)
Jun 02, 2017 9:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/2348 took 90342 ms. Total solver calls (SAT/UNSAT): 722228(1723/720505)
Jun 02, 2017 9:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/2348 took 91450 ms. Total solver calls (SAT/UNSAT): 731426(1744/729682)
Jun 02, 2017 9:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/2348 took 92587 ms. Total solver calls (SAT/UNSAT): 740850(1768/739082)
Jun 02, 2017 9:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/2348 took 93723 ms. Total solver calls (SAT/UNSAT): 750274(1792/748482)
Jun 02, 2017 9:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/2348 took 94830 ms. Total solver calls (SAT/UNSAT): 759472(1813/757659)
Jun 02, 2017 9:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/2348 took 95837 ms. Total solver calls (SAT/UNSAT): 767718(1834/765884)
Jun 02, 2017 9:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/2348 took 96839 ms. Total solver calls (SAT/UNSAT): 775964(1855/774109)
Jun 02, 2017 9:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/2348 took 97956 ms. Total solver calls (SAT/UNSAT): 785162(1876/783286)
Jun 02, 2017 9:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/2348 took 99093 ms. Total solver calls (SAT/UNSAT): 794586(1900/792686)
Jun 02, 2017 9:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/2348 took 100239 ms. Total solver calls (SAT/UNSAT): 804010(1924/802086)
Jun 02, 2017 9:10:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/2348 took 101357 ms. Total solver calls (SAT/UNSAT): 813208(1945/811263)
Jun 02, 2017 9:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/2348 took 102359 ms. Total solver calls (SAT/UNSAT): 821454(1966/819488)
Jun 02, 2017 9:10:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/2348 took 103610 ms. Total solver calls (SAT/UNSAT): 831829(1990/829839)
Jun 02, 2017 9:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/2348 took 104656 ms. Total solver calls (SAT/UNSAT): 840076(2011/838065)
Jun 02, 2017 9:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/2348 took 105671 ms. Total solver calls (SAT/UNSAT): 848322(2032/846290)
Jun 02, 2017 9:10:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/2348 took 106795 ms. Total solver calls (SAT/UNSAT): 857519(2053/855466)
Jun 02, 2017 9:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/2348 took 107806 ms. Total solver calls (SAT/UNSAT): 865766(2074/863692)
Jun 02, 2017 9:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/2348 took 108816 ms. Total solver calls (SAT/UNSAT): 874012(2095/871917)
Jun 02, 2017 9:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/2348 took 109941 ms. Total solver calls (SAT/UNSAT): 883209(2116/881093)
Jun 02, 2017 9:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/2348 took 110954 ms. Total solver calls (SAT/UNSAT): 891456(2137/889319)
Jun 02, 2017 9:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/2348 took 111966 ms. Total solver calls (SAT/UNSAT): 899702(2158/897544)
Jun 02, 2017 9:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/2348 took 113089 ms. Total solver calls (SAT/UNSAT): 908899(2179/906720)
Jun 02, 2017 9:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/2348 took 114102 ms. Total solver calls (SAT/UNSAT): 917146(2200/914946)
Jun 02, 2017 9:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/2348 took 115117 ms. Total solver calls (SAT/UNSAT): 925392(2221/923171)
Jun 02, 2017 9:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/2348 took 116247 ms. Total solver calls (SAT/UNSAT): 934589(2242/932347)
Jun 02, 2017 9:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/2348 took 117255 ms. Total solver calls (SAT/UNSAT): 942836(2263/940573)
Jun 02, 2017 9:11:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/2348 took 118263 ms. Total solver calls (SAT/UNSAT): 951082(2284/948798)
Jun 02, 2017 9:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/2348 took 119386 ms. Total solver calls (SAT/UNSAT): 960279(2305/957974)
Jun 02, 2017 9:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/2348 took 120396 ms. Total solver calls (SAT/UNSAT): 968526(2326/966200)
Jun 02, 2017 9:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/2348 took 121407 ms. Total solver calls (SAT/UNSAT): 976772(2347/974425)
Jun 02, 2017 9:11:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/2348 took 122538 ms. Total solver calls (SAT/UNSAT): 985969(2368/983601)
Jun 02, 2017 9:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/2348 took 123551 ms. Total solver calls (SAT/UNSAT): 994216(2389/991827)
Jun 02, 2017 9:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/2348 took 124564 ms. Total solver calls (SAT/UNSAT): 1002462(2410/1000052)
Jun 02, 2017 9:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/2348 took 125690 ms. Total solver calls (SAT/UNSAT): 1011659(2431/1009228)
Jun 02, 2017 9:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/2348 took 126704 ms. Total solver calls (SAT/UNSAT): 1019906(2452/1017454)
Jun 02, 2017 9:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/2348 took 127721 ms. Total solver calls (SAT/UNSAT): 1028152(2473/1025679)
Jun 02, 2017 9:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/2348 took 128850 ms. Total solver calls (SAT/UNSAT): 1037349(2494/1034855)
Jun 02, 2017 9:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/2348 took 129867 ms. Total solver calls (SAT/UNSAT): 1045596(2515/1043081)
Jun 02, 2017 9:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/2348 took 130883 ms. Total solver calls (SAT/UNSAT): 1053842(2536/1051306)
Jun 02, 2017 9:11:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/2348 took 132012 ms. Total solver calls (SAT/UNSAT): 1063039(2557/1060482)
Jun 02, 2017 9:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/2348 took 133032 ms. Total solver calls (SAT/UNSAT): 1071286(2578/1068708)
Jun 02, 2017 9:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :882/2348 took 134043 ms. Total solver calls (SAT/UNSAT): 1079532(2599/1076933)
Jun 02, 2017 9:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :889/2348 took 135172 ms. Total solver calls (SAT/UNSAT): 1088729(2620/1086109)
Jun 02, 2017 9:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/2348 took 136187 ms. Total solver calls (SAT/UNSAT): 1096976(2641/1094335)
Jun 02, 2017 9:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :903/2348 took 137202 ms. Total solver calls (SAT/UNSAT): 1105222(2662/1102560)
Jun 02, 2017 9:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :910/2348 took 138335 ms. Total solver calls (SAT/UNSAT): 1114419(2683/1111736)
Jun 02, 2017 9:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/2348 took 139348 ms. Total solver calls (SAT/UNSAT): 1122666(2704/1119962)
Jun 02, 2017 9:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/2348 took 140362 ms. Total solver calls (SAT/UNSAT): 1130912(2725/1128187)
Jun 02, 2017 9:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/2348 took 141486 ms. Total solver calls (SAT/UNSAT): 1140109(2746/1137363)
Jun 02, 2017 9:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/2348 took 142524 ms. Total solver calls (SAT/UNSAT): 1148356(2767/1145589)
Jun 02, 2017 9:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/2348 took 143556 ms. Total solver calls (SAT/UNSAT): 1156602(2788/1153814)
Jun 02, 2017 9:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/2348 took 144686 ms. Total solver calls (SAT/UNSAT): 1165799(2809/1162990)
Jun 02, 2017 9:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/2348 took 145703 ms. Total solver calls (SAT/UNSAT): 1174046(2830/1171216)
Jun 02, 2017 9:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/2348 took 146717 ms. Total solver calls (SAT/UNSAT): 1182292(2851/1179441)
Jun 02, 2017 9:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :973/2348 took 147846 ms. Total solver calls (SAT/UNSAT): 1191489(2872/1188617)
Jun 02, 2017 9:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/2348 took 148866 ms. Total solver calls (SAT/UNSAT): 1199736(2893/1196843)
Jun 02, 2017 9:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :987/2348 took 149880 ms. Total solver calls (SAT/UNSAT): 1207982(2914/1205068)
Jun 02, 2017 9:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/2348 took 151004 ms. Total solver calls (SAT/UNSAT): 1217179(2935/1214244)
Jun 02, 2017 9:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1001/2348 took 152014 ms. Total solver calls (SAT/UNSAT): 1225426(2956/1222470)
Jun 02, 2017 9:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/2348 took 153030 ms. Total solver calls (SAT/UNSAT): 1233672(2977/1230695)
Jun 02, 2017 9:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1015/2348 took 154174 ms. Total solver calls (SAT/UNSAT): 1242869(2998/1239871)
Jun 02, 2017 9:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/2348 took 155185 ms. Total solver calls (SAT/UNSAT): 1251116(3019/1248097)
Jun 02, 2017 9:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1029/2348 took 156198 ms. Total solver calls (SAT/UNSAT): 1259362(3040/1256322)
Jun 02, 2017 9:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/2348 took 157323 ms. Total solver calls (SAT/UNSAT): 1268559(3061/1265498)
Jun 02, 2017 9:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1043/2348 took 158357 ms. Total solver calls (SAT/UNSAT): 1276806(3082/1273724)
Jun 02, 2017 9:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/2348 took 159374 ms. Total solver calls (SAT/UNSAT): 1285052(3103/1281949)
Jun 02, 2017 9:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1057/2348 took 160504 ms. Total solver calls (SAT/UNSAT): 1294249(3124/1291125)
Jun 02, 2017 9:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/2348 took 161523 ms. Total solver calls (SAT/UNSAT): 1302496(3145/1299351)
Jun 02, 2017 9:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1071/2348 took 162543 ms. Total solver calls (SAT/UNSAT): 1310742(3166/1307576)
Jun 02, 2017 9:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/2348 took 163732 ms. Total solver calls (SAT/UNSAT): 1319939(3187/1316752)
Jun 02, 2017 9:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1085/2348 took 164747 ms. Total solver calls (SAT/UNSAT): 1328186(3208/1324978)
Jun 02, 2017 9:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/2348 took 165763 ms. Total solver calls (SAT/UNSAT): 1336432(3229/1333203)
Jun 02, 2017 9:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1099/2348 took 166887 ms. Total solver calls (SAT/UNSAT): 1345629(3250/1342379)
Jun 02, 2017 9:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/2348 took 168028 ms. Total solver calls (SAT/UNSAT): 1355046(3274/1351772)
Jun 02, 2017 9:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/2348 took 169059 ms. Total solver calls (SAT/UNSAT): 1363285(3295/1359990)
Jun 02, 2017 9:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1121/2348 took 170181 ms. Total solver calls (SAT/UNSAT): 1372477(3316/1369161)
Jun 02, 2017 9:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/2348 took 171182 ms. Total solver calls (SAT/UNSAT): 1380723(3337/1377386)
Jun 02, 2017 9:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/2348 took 172183 ms. Total solver calls (SAT/UNSAT): 1388969(3358/1385611)
Jun 02, 2017 9:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/2348 took 173325 ms. Total solver calls (SAT/UNSAT): 1398167(3379/1394788)
Jun 02, 2017 9:12:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1149/2348 took 174330 ms. Total solver calls (SAT/UNSAT): 1406413(3400/1403013)
Jun 02, 2017 9:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/2348 took 175330 ms. Total solver calls (SAT/UNSAT): 1414659(3421/1411238)
Jun 02, 2017 9:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1163/2348 took 176443 ms. Total solver calls (SAT/UNSAT): 1423857(3442/1420415)
Jun 02, 2017 9:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/2348 took 177443 ms. Total solver calls (SAT/UNSAT): 1432103(3463/1428640)
Jun 02, 2017 9:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1177/2348 took 178469 ms. Total solver calls (SAT/UNSAT): 1440349(3484/1436865)
Jun 02, 2017 9:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1184/2348 took 179593 ms. Total solver calls (SAT/UNSAT): 1449547(3505/1446042)
Jun 02, 2017 9:12:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/2348 took 180603 ms. Total solver calls (SAT/UNSAT): 1457793(3526/1454267)
Jun 02, 2017 9:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1198/2348 took 181612 ms. Total solver calls (SAT/UNSAT): 1466039(3547/1462492)
Jun 02, 2017 9:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1205/2348 took 182730 ms. Total solver calls (SAT/UNSAT): 1475237(3568/1471669)
Jun 02, 2017 9:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1212/2348 took 183759 ms. Total solver calls (SAT/UNSAT): 1483483(3589/1479894)
Jun 02, 2017 9:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/2348 took 184770 ms. Total solver calls (SAT/UNSAT): 1491729(3610/1488119)
Jun 02, 2017 9:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1226/2348 took 185897 ms. Total solver calls (SAT/UNSAT): 1500927(3631/1497296)
Jun 02, 2017 9:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/2348 took 186897 ms. Total solver calls (SAT/UNSAT): 1509173(3652/1505521)
Jun 02, 2017 9:12:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/2348 took 187897 ms. Total solver calls (SAT/UNSAT): 1517419(3673/1513746)
Jun 02, 2017 9:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/2348 took 189028 ms. Total solver calls (SAT/UNSAT): 1526617(3694/1522923)
Jun 02, 2017 9:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1254/2348 took 190036 ms. Total solver calls (SAT/UNSAT): 1534863(3715/1531148)
Jun 02, 2017 9:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/2348 took 191036 ms. Total solver calls (SAT/UNSAT): 1543109(3736/1539373)
Jun 02, 2017 9:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1268/2348 took 192148 ms. Total solver calls (SAT/UNSAT): 1552307(3757/1548550)
Jun 02, 2017 9:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/2348 took 193157 ms. Total solver calls (SAT/UNSAT): 1560553(3778/1556775)
Jun 02, 2017 9:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1282/2348 took 194165 ms. Total solver calls (SAT/UNSAT): 1568799(3799/1565000)
Jun 02, 2017 9:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/2348 took 195282 ms. Total solver calls (SAT/UNSAT): 1577997(3820/1574177)
Jun 02, 2017 9:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1296/2348 took 196284 ms. Total solver calls (SAT/UNSAT): 1586243(3841/1582402)
Jun 02, 2017 9:12:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1303/2348 took 197285 ms. Total solver calls (SAT/UNSAT): 1594489(3862/1590627)
Jun 02, 2017 9:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1310/2348 took 198410 ms. Total solver calls (SAT/UNSAT): 1603687(3883/1599804)
Jun 02, 2017 9:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/2348 took 199411 ms. Total solver calls (SAT/UNSAT): 1611933(3904/1608029)
Jun 02, 2017 9:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/2348 took 200413 ms. Total solver calls (SAT/UNSAT): 1620179(3925/1616254)
Jun 02, 2017 9:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1331/2348 took 201528 ms. Total solver calls (SAT/UNSAT): 1629377(3946/1625431)
Jun 02, 2017 9:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1338/2348 took 202569 ms. Total solver calls (SAT/UNSAT): 1637623(3967/1633656)
Jun 02, 2017 9:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1346/2348 took 203699 ms. Total solver calls (SAT/UNSAT): 1647047(3991/1643056)
Jun 02, 2017 9:12:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1353/2348 took 204799 ms. Total solver calls (SAT/UNSAT): 1656245(4012/1652233)
Jun 02, 2017 9:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/2348 took 205925 ms. Total solver calls (SAT/UNSAT): 1665669(4036/1661633)
Jun 02, 2017 9:12:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/2348 took 207054 ms. Total solver calls (SAT/UNSAT): 1675093(4060/1671033)
Jun 02, 2017 9:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1376/2348 took 208152 ms. Total solver calls (SAT/UNSAT): 1684291(4081/1680210)
Jun 02, 2017 9:12:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/2348 took 209277 ms. Total solver calls (SAT/UNSAT): 1693715(4105/1689610)
Jun 02, 2017 9:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1392/2348 took 210401 ms. Total solver calls (SAT/UNSAT): 1703139(4129/1699010)
Jun 02, 2017 9:12:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1399/2348 took 211502 ms. Total solver calls (SAT/UNSAT): 1712337(4150/1708187)
Jun 02, 2017 9:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1407/2348 took 212627 ms. Total solver calls (SAT/UNSAT): 1721761(4174/1717587)
Jun 02, 2017 9:12:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1414/2348 took 213725 ms. Total solver calls (SAT/UNSAT): 1730958(4195/1726763)
Jun 02, 2017 9:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1422/2348 took 214851 ms. Total solver calls (SAT/UNSAT): 1740383(4219/1736164)
Jun 02, 2017 9:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1430/2348 took 215981 ms. Total solver calls (SAT/UNSAT): 1749807(4243/1745564)
Jun 02, 2017 9:12:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1437/2348 took 217078 ms. Total solver calls (SAT/UNSAT): 1759005(4264/1754741)
Jun 02, 2017 9:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/2348 took 218203 ms. Total solver calls (SAT/UNSAT): 1768429(4288/1764141)
Jun 02, 2017 9:12:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/2348 took 219333 ms. Total solver calls (SAT/UNSAT): 1777853(4312/1773541)
Jun 02, 2017 9:12:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1460/2348 took 220430 ms. Total solver calls (SAT/UNSAT): 1787051(4333/1782718)
Jun 02, 2017 9:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/2348 took 221554 ms. Total solver calls (SAT/UNSAT): 1796475(4357/1792118)
Jun 02, 2017 9:12:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1476/2348 took 222679 ms. Total solver calls (SAT/UNSAT): 1805899(4381/1801518)
Jun 02, 2017 9:12:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1483/2348 took 223788 ms. Total solver calls (SAT/UNSAT): 1815097(4402/1810695)
Jun 02, 2017 9:12:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1491/2348 took 224922 ms. Total solver calls (SAT/UNSAT): 1824521(4426/1820095)
Jun 02, 2017 9:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1498/2348 took 226017 ms. Total solver calls (SAT/UNSAT): 1833718(4447/1829271)
Jun 02, 2017 9:12:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1506/2348 took 227149 ms. Total solver calls (SAT/UNSAT): 1843143(4471/1838672)
Jun 02, 2017 9:13:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1514/2348 took 228275 ms. Total solver calls (SAT/UNSAT): 1852567(4495/1848072)
Jun 02, 2017 9:13:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1521/2348 took 229373 ms. Total solver calls (SAT/UNSAT): 1861765(4516/1857249)
Jun 02, 2017 9:13:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/2348 took 230416 ms. Total solver calls (SAT/UNSAT): 1870011(4537/1865474)
Jun 02, 2017 9:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1535/2348 took 231470 ms. Total solver calls (SAT/UNSAT): 1878257(4558/1873699)
Jun 02, 2017 9:13:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1542/2348 took 232584 ms. Total solver calls (SAT/UNSAT): 1887455(4579/1882876)
Jun 02, 2017 9:13:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/2348 took 233584 ms. Total solver calls (SAT/UNSAT): 1895701(4600/1891101)
Jun 02, 2017 9:13:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1556/2348 took 234591 ms. Total solver calls (SAT/UNSAT): 1903947(4621/1899326)
Jun 02, 2017 9:13:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1563/2348 took 235707 ms. Total solver calls (SAT/UNSAT): 1913145(4642/1908503)
Jun 02, 2017 9:13:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1570/2348 took 236759 ms. Total solver calls (SAT/UNSAT): 1921391(4663/1916728)
Jun 02, 2017 9:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1577/2348 took 237815 ms. Total solver calls (SAT/UNSAT): 1929637(4684/1924953)
Jun 02, 2017 9:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1583/2348 took 238843 ms. Total solver calls (SAT/UNSAT): 1937657(4702/1932955)
Jun 02, 2017 9:13:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1590/2348 took 239881 ms. Total solver calls (SAT/UNSAT): 1945903(4723/1941180)
Jun 02, 2017 9:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1597/2348 took 240893 ms. Total solver calls (SAT/UNSAT): 1954149(4744/1949405)
Jun 02, 2017 9:13:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1603/2348 took 241897 ms. Total solver calls (SAT/UNSAT): 1962168(4762/1957406)
Jun 02, 2017 9:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1610/2348 took 243017 ms. Total solver calls (SAT/UNSAT): 1970415(4783/1965632)
Jun 02, 2017 9:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1617/2348 took 244033 ms. Total solver calls (SAT/UNSAT): 1978661(4804/1973857)
Jun 02, 2017 9:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/2348 took 245161 ms. Total solver calls (SAT/UNSAT): 1987858(4825/1983033)
Jun 02, 2017 9:13:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1631/2348 took 246171 ms. Total solver calls (SAT/UNSAT): 1996105(4846/1991259)
Jun 02, 2017 9:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1638/2348 took 247228 ms. Total solver calls (SAT/UNSAT): 2004351(4867/1999484)
Jun 02, 2017 9:13:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1645/2348 took 248395 ms. Total solver calls (SAT/UNSAT): 2013548(4888/2008660)
Jun 02, 2017 9:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1652/2348 took 249399 ms. Total solver calls (SAT/UNSAT): 2021795(4909/2016886)
Jun 02, 2017 9:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1659/2348 took 250408 ms. Total solver calls (SAT/UNSAT): 2030041(4930/2025111)
Jun 02, 2017 9:13:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1666/2348 took 251524 ms. Total solver calls (SAT/UNSAT): 2039238(4951/2034287)
Jun 02, 2017 9:13:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1673/2348 took 252564 ms. Total solver calls (SAT/UNSAT): 2047485(4972/2042513)
Jun 02, 2017 9:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/2348 took 253662 ms. Total solver calls (SAT/UNSAT): 2055731(4993/2050738)
Jun 02, 2017 9:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1687/2348 took 254760 ms. Total solver calls (SAT/UNSAT): 2064928(5014/2059914)
Jun 02, 2017 9:13:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1694/2348 took 255799 ms. Total solver calls (SAT/UNSAT): 2073175(5035/2068140)
Jun 02, 2017 9:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1701/2348 took 256805 ms. Total solver calls (SAT/UNSAT): 2081421(5056/2076365)
Jun 02, 2017 9:13:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1708/2348 took 257923 ms. Total solver calls (SAT/UNSAT): 2090618(5077/2085541)
Jun 02, 2017 9:13:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1715/2348 took 259032 ms. Total solver calls (SAT/UNSAT): 2098865(5098/2093767)
Jun 02, 2017 9:13:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1722/2348 took 260040 ms. Total solver calls (SAT/UNSAT): 2107111(5119/2101992)
Jun 02, 2017 9:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1729/2348 took 261172 ms. Total solver calls (SAT/UNSAT): 2116308(5140/2111168)
Jun 02, 2017 9:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1736/2348 took 262177 ms. Total solver calls (SAT/UNSAT): 2124555(5161/2119394)
Jun 02, 2017 9:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1743/2348 took 263220 ms. Total solver calls (SAT/UNSAT): 2132801(5182/2127619)
Jun 02, 2017 9:13:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/2348 took 264347 ms. Total solver calls (SAT/UNSAT): 2141998(5203/2136795)
Jun 02, 2017 9:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1757/2348 took 265350 ms. Total solver calls (SAT/UNSAT): 2150245(5224/2145021)
Jun 02, 2017 9:13:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1764/2348 took 266352 ms. Total solver calls (SAT/UNSAT): 2158491(5245/2153246)
Jun 02, 2017 9:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1771/2348 took 267548 ms. Total solver calls (SAT/UNSAT): 2167688(5266/2162422)
Jun 02, 2017 9:13:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1778/2348 took 268613 ms. Total solver calls (SAT/UNSAT): 2175935(5287/2170648)
Jun 02, 2017 9:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1785/2348 took 269663 ms. Total solver calls (SAT/UNSAT): 2184181(5308/2178873)
Jun 02, 2017 9:13:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1792/2348 took 270776 ms. Total solver calls (SAT/UNSAT): 2193378(5329/2188049)
Jun 02, 2017 9:13:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1799/2348 took 271784 ms. Total solver calls (SAT/UNSAT): 2201625(5350/2196275)
Jun 02, 2017 9:13:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1807/2348 took 272925 ms. Total solver calls (SAT/UNSAT): 2211049(5374/2205675)
Jun 02, 2017 9:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1814/2348 took 274051 ms. Total solver calls (SAT/UNSAT): 2220247(5395/2214852)
Jun 02, 2017 9:13:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1821/2348 took 275053 ms. Total solver calls (SAT/UNSAT): 2228493(5416/2223077)
Jun 02, 2017 9:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1828/2348 took 276063 ms. Total solver calls (SAT/UNSAT): 2236739(5437/2231302)
Jun 02, 2017 9:13:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1835/2348 took 277177 ms. Total solver calls (SAT/UNSAT): 2245937(5458/2240479)
Jun 02, 2017 9:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1842/2348 took 278181 ms. Total solver calls (SAT/UNSAT): 2254183(5479/2248704)
Jun 02, 2017 9:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1849/2348 took 279182 ms. Total solver calls (SAT/UNSAT): 2262429(5500/2256929)
Jun 02, 2017 9:13:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1856/2348 took 280304 ms. Total solver calls (SAT/UNSAT): 2271627(5521/2266106)
Jun 02, 2017 9:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1864/2348 took 281449 ms. Total solver calls (SAT/UNSAT): 2281051(5545/2275506)
Jun 02, 2017 9:13:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1871/2348 took 282453 ms. Total solver calls (SAT/UNSAT): 2289297(5566/2283731)
Jun 02, 2017 9:13:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1878/2348 took 283572 ms. Total solver calls (SAT/UNSAT): 2298495(5587/2292908)
Jun 02, 2017 9:13:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1885/2348 took 284577 ms. Total solver calls (SAT/UNSAT): 2306741(5608/2301133)
Jun 02, 2017 9:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1892/2348 took 285623 ms. Total solver calls (SAT/UNSAT): 2314987(5629/2309358)
Jun 02, 2017 9:13:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1899/2348 took 286735 ms. Total solver calls (SAT/UNSAT): 2324185(5650/2318535)
Jun 02, 2017 9:14:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1906/2348 took 287778 ms. Total solver calls (SAT/UNSAT): 2332431(5671/2326760)
Jun 02, 2017 9:14:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1913/2348 took 288823 ms. Total solver calls (SAT/UNSAT): 2340677(5692/2334985)
Jun 02, 2017 9:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1920/2348 took 289947 ms. Total solver calls (SAT/UNSAT): 2349875(5713/2344162)
Jun 02, 2017 9:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1927/2348 took 290955 ms. Total solver calls (SAT/UNSAT): 2358121(5734/2352387)
Jun 02, 2017 9:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1934/2348 took 292084 ms. Total solver calls (SAT/UNSAT): 2366367(5755/2360612)
Jun 02, 2017 9:14:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1941/2348 took 293190 ms. Total solver calls (SAT/UNSAT): 2375565(5776/2369789)
Jun 02, 2017 9:14:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1949/2348 took 294322 ms. Total solver calls (SAT/UNSAT): 2384989(5800/2379189)
Jun 02, 2017 9:14:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1957/2348 took 295454 ms. Total solver calls (SAT/UNSAT): 2394413(5824/2388589)
Jun 02, 2017 9:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1964/2348 took 296561 ms. Total solver calls (SAT/UNSAT): 2403611(5845/2397766)
Jun 02, 2017 9:14:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/2348 took 297696 ms. Total solver calls (SAT/UNSAT): 2413035(5869/2407166)
Jun 02, 2017 9:14:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1980/2348 took 298822 ms. Total solver calls (SAT/UNSAT): 2422459(5893/2416566)
Jun 02, 2017 9:14:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1986/2348 took 299836 ms. Total solver calls (SAT/UNSAT): 2430479(5911/2424568)
Jun 02, 2017 9:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1993/2348 took 300874 ms. Total solver calls (SAT/UNSAT): 2438725(5932/2432793)
Jun 02, 2017 9:14:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2001/2348 took 302001 ms. Total solver calls (SAT/UNSAT): 2448149(5956/2442193)
Jun 02, 2017 9:14:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2008/2348 took 303091 ms. Total solver calls (SAT/UNSAT): 2457347(5977/2451370)
Jun 02, 2017 9:14:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2016/2348 took 304218 ms. Total solver calls (SAT/UNSAT): 2466771(6001/2460770)
Jun 02, 2017 9:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2023/2348 took 305320 ms. Total solver calls (SAT/UNSAT): 2475968(6022/2469946)
Jun 02, 2017 9:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2031/2348 took 306447 ms. Total solver calls (SAT/UNSAT): 2485393(6046/2479347)
Jun 02, 2017 9:14:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2039/2348 took 307565 ms. Total solver calls (SAT/UNSAT): 2494817(6070/2488747)
Jun 02, 2017 9:14:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2046/2348 took 308661 ms. Total solver calls (SAT/UNSAT): 2504015(6091/2497924)
Jun 02, 2017 9:14:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2054/2348 took 309784 ms. Total solver calls (SAT/UNSAT): 2513439(6115/2507324)
Jun 02, 2017 9:14:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2062/2348 took 310909 ms. Total solver calls (SAT/UNSAT): 2522863(6139/2516724)
Jun 02, 2017 9:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2069/2348 took 312002 ms. Total solver calls (SAT/UNSAT): 2532061(6160/2525901)
Jun 02, 2017 9:14:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2077/2348 took 313135 ms. Total solver calls (SAT/UNSAT): 2541485(6184/2535301)
Jun 02, 2017 9:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2085/2348 took 314260 ms. Total solver calls (SAT/UNSAT): 2550909(6208/2544701)
Jun 02, 2017 9:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2092/2348 took 315355 ms. Total solver calls (SAT/UNSAT): 2560107(6229/2553878)
Jun 02, 2017 9:14:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2100/2348 took 316483 ms. Total solver calls (SAT/UNSAT): 2569531(6253/2563278)
Jun 02, 2017 9:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2107/2348 took 317710 ms. Total solver calls (SAT/UNSAT): 2578728(6274/2572454)
Jun 02, 2017 9:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2114/2348 took 318795 ms. Total solver calls (SAT/UNSAT): 2586975(6295/2580680)
Jun 02, 2017 9:14:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2121/2348 took 319899 ms. Total solver calls (SAT/UNSAT): 2595221(6316/2588905)
Jun 02, 2017 9:14:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2128/2348 took 321028 ms. Total solver calls (SAT/UNSAT): 2604418(6337/2598081)
Jun 02, 2017 9:14:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2135/2348 took 322041 ms. Total solver calls (SAT/UNSAT): 2612665(6358/2606307)
Jun 02, 2017 9:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/2348 took 323050 ms. Total solver calls (SAT/UNSAT): 2620911(6379/2614532)
Jun 02, 2017 9:14:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2149/2348 took 324333 ms. Total solver calls (SAT/UNSAT): 2630108(6400/2623708)
Jun 02, 2017 9:14:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2183/2348 took 325349 ms. Total solver calls (SAT/UNSAT): 2637924(6434/2631490)
Jun 02, 2017 10:01:19 AM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/ReachabilityDeadlock.pnml.gal, -t, CGAL, -ctl, DEADLOCK], workingDir=/home/mcc/execution]
built 359 ordering constraints for composite.
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc

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_BridgeAndVehicles-COL-V50P20N20"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_BridgeAndVehicles-COL-V50P20N20.tgz
mv S_BridgeAndVehicles-COL-V50P20N20 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_BridgeAndVehicles-COL-V50P20N20, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r090-csrt-149441076700341"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.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 ;