fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r019-csrt-155225080600597
Last Updated
Apr 15, 2019

About the Execution of ITS-Tools for BridgeAndVehicles-PT-V50P50N10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
14944.460 3600000.00 9631271.00 1631.70 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r019-csrt-155225080600597.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstools
Input is BridgeAndVehicles-PT-V50P50N10, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r019-csrt-155225080600597
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 6.8K Feb 9 08:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 9 08:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 37K Feb 5 05:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 109K Feb 5 05:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 117 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 355 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.0K Feb 4 22:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 43K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 121K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 2 01:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 2 01:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 145K Jan 29 12:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 421K Jan 29 12:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 10 17:31 model.pnml

--------------------
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-PT-V50P50N10-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552464512605

Working with output stream class java.io.PrintStream
Flatten gal took : 515 ms
Constant places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 126 transition count 1328
Symmetric choice reduction at 1 with 1 rule applications. Total rules 3 place count 126 transition count 1328
Constant places removed 1 places and 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 4 place count 125 transition count 1327
Performed 1 Post agglomeration using F-continuation condition.
Constant places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 6 place count 123 transition count 1326
Performed 2 Post agglomeration using F-continuation condition.
Constant places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 8 place count 121 transition count 1324
Applied a total of 8 rules in 99 ms. Remains 121 /128 variables (removed 7) and now considering 1324/1328 (removed 4) transitions.
Normalized transition count is 246
// Phase 1: matrix 246 rows 121 cols
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903111103/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/GlobalProperties.pnml.gal, -t, CGAL, -ctl, DEADLOCK], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903111103/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/GlobalProperties.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.
Normalized transition count is 246
// Phase 1: matrix 246 rows 121 cols
invariant :COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 + COMPTEUR_10 = 1
invariant :CONTROLEUR_1 + CONTROLEUR_2 + CHOIX_1 + CHOIX_2 = 1
invariant :NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9 + NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 = 1
invariant :NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 = 1

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
+ [[ GlobalProperties = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution GlobalProperties -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination GlobalProperties -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 13, 2019 8:08:34 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, GlobalProperties, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -smt]
Mar 13, 2019 8:08:34 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 13, 2019 8:08:35 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 258 ms
Mar 13, 2019 8:08:35 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 128 places.
Mar 13, 2019 8:08:35 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1328 transitions.
Mar 13, 2019 8:08:36 AM fr.lip6.move.gal.instantiate.PropertySimplifier evalInInitialState
WARNING: Unexpected boolean logic operator in evalInInitialState fr.lip6.move.gal.impl.EXImpl
Mar 13, 2019 8:08:36 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-PT-V50P50N10-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 13, 2019 8:08:36 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 511 ms
Mar 13, 2019 8:08:36 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 71 ms
Mar 13, 2019 8:08:36 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 1328 transitions.
Mar 13, 2019 8:08:37 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-PT-V50P50N10-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 13, 2019 8:08:37 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 477 ms
Mar 13, 2019 8:08:37 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 17 ms
Mar 13, 2019 8:08:37 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 1324 transitions.
Mar 13, 2019 8:08:38 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 4 place invariants in 20 ms
Mar 13, 2019 8:08:40 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 121 variables to be positive in 1513 ms
Mar 13, 2019 8:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1324 transitions.
Mar 13, 2019 8:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/1324 took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 13, 2019 8:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 205 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 13, 2019 8:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1324 transitions.
Mar 13, 2019 8:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 104 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 13, 2019 8:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1324 transitions.
Mar 13, 2019 8:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1/1324) took 3078 ms. Total solver calls (SAT/UNSAT): 2399(562/1837)
Mar 13, 2019 8:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(5/1324) took 8611 ms. Total solver calls (SAT/UNSAT): 7185(610/6575)
Mar 13, 2019 8:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(7/1324) took 12155 ms. Total solver calls (SAT/UNSAT): 9572(634/8938)
Mar 13, 2019 8:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(9/1324) took 15661 ms. Total solver calls (SAT/UNSAT): 11955(658/11297)
Mar 13, 2019 8:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(10/1324) took 19223 ms. Total solver calls (SAT/UNSAT): 13145(670/12475)
Mar 13, 2019 8:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(11/1324) took 29908 ms. Total solver calls (SAT/UNSAT): 14334(682/13652)
Mar 13, 2019 8:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(12/1324) took 44111 ms. Total solver calls (SAT/UNSAT): 15522(694/14828)
Mar 13, 2019 8:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(15/1324) took 59774 ms. Total solver calls (SAT/UNSAT): 19080(730/18350)
Mar 13, 2019 8:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(16/1324) took 72324 ms. Total solver calls (SAT/UNSAT): 20264(742/19522)
Mar 13, 2019 8:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(17/1324) took 91451 ms. Total solver calls (SAT/UNSAT): 21447(754/20693)
Mar 13, 2019 8:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(18/1324) took 98671 ms. Total solver calls (SAT/UNSAT): 22629(766/21863)
Mar 13, 2019 8:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(20/1324) took 104215 ms. Total solver calls (SAT/UNSAT): 24990(790/24200)
Mar 13, 2019 8:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(21/1324) took 111008 ms. Total solver calls (SAT/UNSAT): 26169(802/25367)
Mar 13, 2019 8:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(22/1324) took 118362 ms. Total solver calls (SAT/UNSAT): 27347(814/26533)
Mar 13, 2019 8:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(23/1324) took 128758 ms. Total solver calls (SAT/UNSAT): 28524(826/27698)
Mar 13, 2019 8:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(25/1324) took 133890 ms. Total solver calls (SAT/UNSAT): 30875(850/30025)
Mar 13, 2019 8:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(26/1324) took 138281 ms. Total solver calls (SAT/UNSAT): 32049(862/31187)
Mar 13, 2019 8:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(27/1324) took 144752 ms. Total solver calls (SAT/UNSAT): 33222(874/32348)
Mar 13, 2019 8:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(28/1324) took 164797 ms. Total solver calls (SAT/UNSAT): 34394(886/33508)
Mar 13, 2019 8:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(29/1324) took 170297 ms. Total solver calls (SAT/UNSAT): 35565(898/34667)
Mar 13, 2019 8:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(31/1324) took 179699 ms. Total solver calls (SAT/UNSAT): 37904(922/36982)
Mar 13, 2019 8:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(32/1324) took 190044 ms. Total solver calls (SAT/UNSAT): 39072(934/38138)
Mar 13, 2019 8:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(33/1324) took 195046 ms. Total solver calls (SAT/UNSAT): 40239(946/39293)
Mar 13, 2019 8:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(35/1324) took 202502 ms. Total solver calls (SAT/UNSAT): 42570(970/41600)
Mar 13, 2019 8:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(36/1324) took 211364 ms. Total solver calls (SAT/UNSAT): 43734(982/42752)
Mar 13, 2019 8:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(38/1324) took 214974 ms. Total solver calls (SAT/UNSAT): 46059(1006/45053)
Mar 13, 2019 8:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(39/1324) took 224057 ms. Total solver calls (SAT/UNSAT): 47220(1018/46202)
Mar 13, 2019 8:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(40/1324) took 231954 ms. Total solver calls (SAT/UNSAT): 48380(1030/47350)
Mar 13, 2019 8:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(41/1324) took 239907 ms. Total solver calls (SAT/UNSAT): 49539(1042/48497)
Mar 13, 2019 8:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(42/1324) took 243996 ms. Total solver calls (SAT/UNSAT): 50697(1054/49643)
Mar 13, 2019 8:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(43/1324) took 250054 ms. Total solver calls (SAT/UNSAT): 51854(1066/50788)
Mar 13, 2019 8:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(46/1324) took 253212 ms. Total solver calls (SAT/UNSAT): 55319(1102/54217)
Mar 13, 2019 8:13:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(47/1324) took 260904 ms. Total solver calls (SAT/UNSAT): 56472(1114/55358)
Mar 13, 2019 8:13:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(49/1324) took 265342 ms. Total solver calls (SAT/UNSAT): 58775(1138/57637)
Mar 13, 2019 8:13:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(50/1324) took 272007 ms. Total solver calls (SAT/UNSAT): 59925(1150/58775)
Mar 13, 2019 8:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(51/1324) took 288876 ms. Total solver calls (SAT/UNSAT): 61125(1700/59425)
Mar 13, 2019 8:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(53/1324) took 293572 ms. Total solver calls (SAT/UNSAT): 63522(1724/61798)
Mar 13, 2019 8:13:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(55/1324) took 303533 ms. Total solver calls (SAT/UNSAT): 65915(1748/64167)
Mar 13, 2019 8:13:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(57/1324) took 306670 ms. Total solver calls (SAT/UNSAT): 68304(1772/66532)
Mar 13, 2019 8:13:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(61/1324) took 314202 ms. Total solver calls (SAT/UNSAT): 73070(1820/71250)
Mar 13, 2019 8:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(63/1324) took 317896 ms. Total solver calls (SAT/UNSAT): 75447(1844/73603)
Mar 13, 2019 8:14:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(64/1324) took 328624 ms. Total solver calls (SAT/UNSAT): 76634(1856/74778)
Mar 13, 2019 8:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(65/1324) took 339608 ms. Total solver calls (SAT/UNSAT): 77820(1868/75952)
Mar 13, 2019 8:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(66/1324) took 344267 ms. Total solver calls (SAT/UNSAT): 79005(1880/77125)
Mar 13, 2019 8:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(67/1324) took 347340 ms. Total solver calls (SAT/UNSAT): 80189(1892/78297)
Mar 13, 2019 8:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(68/1324) took 351129 ms. Total solver calls (SAT/UNSAT): 81372(1904/79468)
Mar 13, 2019 8:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(69/1324) took 355028 ms. Total solver calls (SAT/UNSAT): 82554(1916/80638)
Mar 13, 2019 8:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(73/1324) took 358903 ms. Total solver calls (SAT/UNSAT): 87272(1964/85308)
Mar 13, 2019 8:14:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(75/1324) took 363655 ms. Total solver calls (SAT/UNSAT): 89625(1988/87637)
Mar 13, 2019 8:14:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(76/1324) took 371289 ms. Total solver calls (SAT/UNSAT): 90800(2000/88800)
Mar 13, 2019 8:14:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(77/1324) took 378944 ms. Total solver calls (SAT/UNSAT): 91974(2012/89962)
Mar 13, 2019 8:15:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(78/1324) took 385164 ms. Total solver calls (SAT/UNSAT): 93147(2024/91123)
Mar 13, 2019 8:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(80/1324) took 394810 ms. Total solver calls (SAT/UNSAT): 95490(2048/93442)
Mar 13, 2019 8:15:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(81/1324) took 399577 ms. Total solver calls (SAT/UNSAT): 96660(2060/94600)
Mar 13, 2019 8:15:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(84/1324) took 405649 ms. Total solver calls (SAT/UNSAT): 100164(2096/98068)
Mar 13, 2019 8:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(85/1324) took 410499 ms. Total solver calls (SAT/UNSAT): 101330(2108/99222)
Mar 13, 2019 8:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(86/1324) took 414738 ms. Total solver calls (SAT/UNSAT): 102495(2120/100375)
Mar 13, 2019 8:15:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(87/1324) took 426628 ms. Total solver calls (SAT/UNSAT): 103659(2132/101527)
Mar 13, 2019 8:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(88/1324) took 431614 ms. Total solver calls (SAT/UNSAT): 104822(2144/102678)
Mar 13, 2019 8:16:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(89/1324) took 445964 ms. Total solver calls (SAT/UNSAT): 105984(2156/103828)
Mar 13, 2019 8:16:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(90/1324) took 451048 ms. Total solver calls (SAT/UNSAT): 107145(2168/104977)
Mar 13, 2019 8:16:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(92/1324) took 461535 ms. Total solver calls (SAT/UNSAT): 109464(2192/107272)
Mar 13, 2019 8:16:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(93/1324) took 471685 ms. Total solver calls (SAT/UNSAT): 110622(2204/108418)
Mar 13, 2019 8:16:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(94/1324) took 486095 ms. Total solver calls (SAT/UNSAT): 111779(2216/109563)
Mar 13, 2019 8:16:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(95/1324) took 489614 ms. Total solver calls (SAT/UNSAT): 112935(2228/110707)
Mar 13, 2019 8:16:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(96/1324) took 494778 ms. Total solver calls (SAT/UNSAT): 114090(2240/111850)
Mar 13, 2019 8:16:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(97/1324) took 498242 ms. Total solver calls (SAT/UNSAT): 115244(2252/112992)
Mar 13, 2019 8:17:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(98/1324) took 503654 ms. Total solver calls (SAT/UNSAT): 116397(2264/114133)
Mar 13, 2019 8:17:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(100/1324) took 508031 ms. Total solver calls (SAT/UNSAT): 118700(2288/116412)
Mar 13, 2019 8:17:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(101/1324) took 512579 ms. Total solver calls (SAT/UNSAT): 119850(2300/117550)
Mar 13, 2019 8:17:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(102/1324) took 517521 ms. Total solver calls (SAT/UNSAT): 121071(2300/118771)
Mar 13, 2019 8:17:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(103/1324) took 524060 ms. Total solver calls (SAT/UNSAT): 122291(2300/119991)
Mar 13, 2019 8:17:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(104/1324) took 527692 ms. Total solver calls (SAT/UNSAT): 123510(2300/121210)
Mar 13, 2019 8:17:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(105/1324) took 532591 ms. Total solver calls (SAT/UNSAT): 124728(2300/122428)
Mar 13, 2019 8:17:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(106/1324) took 537477 ms. Total solver calls (SAT/UNSAT): 125945(2300/123645)
Mar 13, 2019 8:17:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(108/1324) took 543076 ms. Total solver calls (SAT/UNSAT): 128376(2300/126076)
Mar 13, 2019 8:17:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(110/1324) took 548429 ms. Total solver calls (SAT/UNSAT): 130803(2300/128503)
Mar 13, 2019 8:17:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(112/1324) took 554840 ms. Total solver calls (SAT/UNSAT): 133226(2300/130926)
Mar 13, 2019 8:17:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(115/1324) took 558684 ms. Total solver calls (SAT/UNSAT): 136853(2300/134553)
Mar 13, 2019 8:18:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(117/1324) took 564013 ms. Total solver calls (SAT/UNSAT): 139266(2300/136966)
Mar 13, 2019 8:18:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(119/1324) took 567399 ms. Total solver calls (SAT/UNSAT): 141675(2300/139375)
Mar 13, 2019 8:18:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(120/1324) took 571569 ms. Total solver calls (SAT/UNSAT): 142878(2300/140578)
Mar 13, 2019 8:18:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(122/1324) took 576781 ms. Total solver calls (SAT/UNSAT): 145281(2300/142981)
Mar 13, 2019 8:18:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(124/1324) took 580304 ms. Total solver calls (SAT/UNSAT): 147680(2300/145380)
Mar 13, 2019 8:18:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(125/1324) took 583872 ms. Total solver calls (SAT/UNSAT): 148878(2300/146578)
Mar 13, 2019 8:18:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(127/1324) took 589376 ms. Total solver calls (SAT/UNSAT): 151271(2300/148971)
Mar 13, 2019 8:18:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(128/1324) took 593611 ms. Total solver calls (SAT/UNSAT): 152466(2300/150166)
Mar 13, 2019 8:18:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(130/1324) took 598764 ms. Total solver calls (SAT/UNSAT): 154853(2300/152553)
Mar 13, 2019 8:18:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(132/1324) took 602483 ms. Total solver calls (SAT/UNSAT): 157236(2300/154936)
Mar 13, 2019 8:18:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(134/1324) took 607095 ms. Total solver calls (SAT/UNSAT): 159615(2300/157315)
Mar 13, 2019 8:18:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(136/1324) took 618484 ms. Total solver calls (SAT/UNSAT): 161990(2300/159690)
Mar 13, 2019 8:19:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(140/1324) took 625091 ms. Total solver calls (SAT/UNSAT): 166728(2300/164428)
Mar 13, 2019 8:19:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(142/1324) took 628615 ms. Total solver calls (SAT/UNSAT): 169091(2300/166791)
Mar 13, 2019 8:19:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(143/1324) took 634087 ms. Total solver calls (SAT/UNSAT): 170271(2300/167971)
Mar 13, 2019 8:19:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(146/1324) took 647454 ms. Total solver calls (SAT/UNSAT): 173805(2300/171505)
Mar 13, 2019 8:19:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(147/1324) took 656560 ms. Total solver calls (SAT/UNSAT): 174981(2300/172681)
Mar 13, 2019 8:19:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(148/1324) took 663686 ms. Total solver calls (SAT/UNSAT): 176156(2300/173856)
Mar 13, 2019 8:19:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(151/1324) took 668012 ms. Total solver calls (SAT/UNSAT): 179675(2300/177375)
Mar 13, 2019 8:19:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(152/1324) took 671672 ms. Total solver calls (SAT/UNSAT): 180846(2300/178546)
Mar 13, 2019 8:19:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(154/1324) took 678244 ms. Total solver calls (SAT/UNSAT): 183185(2300/180885)
Mar 13, 2019 8:20:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(156/1324) took 682664 ms. Total solver calls (SAT/UNSAT): 185520(2300/183220)
Mar 13, 2019 8:20:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(158/1324) took 686783 ms. Total solver calls (SAT/UNSAT): 187851(2300/185551)
Mar 13, 2019 8:20:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(159/1324) took 690965 ms. Total solver calls (SAT/UNSAT): 189015(2300/186715)
Mar 13, 2019 8:20:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(161/1324) took 701505 ms. Total solver calls (SAT/UNSAT): 191340(2300/189040)
Mar 13, 2019 8:20:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(162/1324) took 709387 ms. Total solver calls (SAT/UNSAT): 192501(2300/190201)
Mar 13, 2019 8:20:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(163/1324) took 713421 ms. Total solver calls (SAT/UNSAT): 193661(2300/191361)
Mar 13, 2019 8:20:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(164/1324) took 718590 ms. Total solver calls (SAT/UNSAT): 194820(2300/192520)
Mar 13, 2019 8:20:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(165/1324) took 721805 ms. Total solver calls (SAT/UNSAT): 195978(2300/193678)
Mar 13, 2019 8:20:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(167/1324) took 726779 ms. Total solver calls (SAT/UNSAT): 198291(2300/195991)
Mar 13, 2019 8:20:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(170/1324) took 730507 ms. Total solver calls (SAT/UNSAT): 201753(2300/199453)
Mar 13, 2019 8:20:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(171/1324) took 736612 ms. Total solver calls (SAT/UNSAT): 202905(2300/200605)
Mar 13, 2019 8:21:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(172/1324) took 742682 ms. Total solver calls (SAT/UNSAT): 204056(2300/201756)
Mar 13, 2019 8:21:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(174/1324) took 750748 ms. Total solver calls (SAT/UNSAT): 206355(2300/204055)
Mar 13, 2019 8:21:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(175/1324) took 755507 ms. Total solver calls (SAT/UNSAT): 207503(2300/205203)
Mar 13, 2019 8:21:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(176/1324) took 759131 ms. Total solver calls (SAT/UNSAT): 208650(2300/206350)
Mar 13, 2019 8:21:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(177/1324) took 767220 ms. Total solver calls (SAT/UNSAT): 209796(2300/207496)
Mar 13, 2019 8:21:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(179/1324) took 771095 ms. Total solver calls (SAT/UNSAT): 212085(2300/209785)
Mar 13, 2019 8:21:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(182/1324) took 774687 ms. Total solver calls (SAT/UNSAT): 215511(2300/213211)
Mar 13, 2019 8:21:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(183/1324) took 778983 ms. Total solver calls (SAT/UNSAT): 216651(2300/214351)
Mar 13, 2019 8:21:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(186/1324) took 782002 ms. Total solver calls (SAT/UNSAT): 220065(2300/217765)
Mar 13, 2019 8:21:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(188/1324) took 790702 ms. Total solver calls (SAT/UNSAT): 222336(2300/220036)
Mar 13, 2019 8:21:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(190/1324) took 796717 ms. Total solver calls (SAT/UNSAT): 224603(2300/222303)
Mar 13, 2019 8:22:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(191/1324) took 809263 ms. Total solver calls (SAT/UNSAT): 225735(2300/223435)
Mar 13, 2019 8:22:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(192/1324) took 814114 ms. Total solver calls (SAT/UNSAT): 226866(2300/224566)
Mar 13, 2019 8:22:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(194/1324) took 817456 ms. Total solver calls (SAT/UNSAT): 229125(2300/226825)
Mar 13, 2019 8:22:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(196/1324) took 830463 ms. Total solver calls (SAT/UNSAT): 231380(2300/229080)
Mar 13, 2019 8:22:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(197/1324) took 836907 ms. Total solver calls (SAT/UNSAT): 232506(2300/230206)
Mar 13, 2019 8:22:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(198/1324) took 842688 ms. Total solver calls (SAT/UNSAT): 233631(2300/231331)
Mar 13, 2019 8:22:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(199/1324) took 848713 ms. Total solver calls (SAT/UNSAT): 234755(2300/232455)
Mar 13, 2019 8:22:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(200/1324) took 856975 ms. Total solver calls (SAT/UNSAT): 235878(2300/233578)
Mar 13, 2019 8:23:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(201/1324) took 866284 ms. Total solver calls (SAT/UNSAT): 237000(2300/234700)
Mar 13, 2019 8:23:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(202/1324) took 870781 ms. Total solver calls (SAT/UNSAT): 238121(2300/235821)
Mar 13, 2019 8:23:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(204/1324) took 875324 ms. Total solver calls (SAT/UNSAT): 240360(2300/238060)
Mar 13, 2019 8:23:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(206/1324) took 880853 ms. Total solver calls (SAT/UNSAT): 242595(2300/240295)
Mar 13, 2019 8:23:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(208/1324) took 886464 ms. Total solver calls (SAT/UNSAT): 244826(2300/242526)
Mar 13, 2019 8:23:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(209/1324) took 891584 ms. Total solver calls (SAT/UNSAT): 245940(2300/243640)
Mar 13, 2019 8:23:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(210/1324) took 895848 ms. Total solver calls (SAT/UNSAT): 247053(2300/244753)
Mar 13, 2019 8:23:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(213/1324) took 906018 ms. Total solver calls (SAT/UNSAT): 250386(2300/248086)
Mar 13, 2019 8:23:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(216/1324) took 910907 ms. Total solver calls (SAT/UNSAT): 253710(2300/251410)
Mar 13, 2019 8:24:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(218/1324) took 924572 ms. Total solver calls (SAT/UNSAT): 255921(2300/253621)
Mar 13, 2019 8:24:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(219/1324) took 934343 ms. Total solver calls (SAT/UNSAT): 257025(2300/254725)
Mar 13, 2019 8:24:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(220/1324) took 937735 ms. Total solver calls (SAT/UNSAT): 258128(2300/255828)
Mar 13, 2019 8:24:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(222/1324) took 945324 ms. Total solver calls (SAT/UNSAT): 260331(2300/258031)
Mar 13, 2019 8:24:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(223/1324) took 951517 ms. Total solver calls (SAT/UNSAT): 261431(2300/259131)
Mar 13, 2019 8:24:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(224/1324) took 958581 ms. Total solver calls (SAT/UNSAT): 262530(2300/260230)
Mar 13, 2019 8:24:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(225/1324) took 965135 ms. Total solver calls (SAT/UNSAT): 263628(2300/261328)
Mar 13, 2019 8:24:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(228/1324) took 969626 ms. Total solver calls (SAT/UNSAT): 266916(2300/264616)
Mar 13, 2019 8:24:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(230/1324) took 978588 ms. Total solver calls (SAT/UNSAT): 269103(2300/266803)
Mar 13, 2019 8:25:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(231/1324) took 983668 ms. Total solver calls (SAT/UNSAT): 270195(2300/267895)
Mar 13, 2019 8:25:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(232/1324) took 989368 ms. Total solver calls (SAT/UNSAT): 271286(2300/268986)
Mar 13, 2019 8:25:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(233/1324) took 995671 ms. Total solver calls (SAT/UNSAT): 272376(2300/270076)
Mar 13, 2019 8:25:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(235/1324) took 1001519 ms. Total solver calls (SAT/UNSAT): 274553(2300/272253)
Mar 13, 2019 8:25:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(237/1324) took 1013195 ms. Total solver calls (SAT/UNSAT): 276726(2300/274426)
Mar 13, 2019 8:25:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(240/1324) took 1016604 ms. Total solver calls (SAT/UNSAT): 279978(2300/277678)
Mar 13, 2019 8:25:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(241/1324) took 1025011 ms. Total solver calls (SAT/UNSAT): 281060(2300/278760)
Mar 13, 2019 8:25:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(243/1324) took 1033073 ms. Total solver calls (SAT/UNSAT): 283221(2300/280921)
Mar 13, 2019 8:26:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(245/1324) took 1054553 ms. Total solver calls (SAT/UNSAT): 285378(2300/283078)
Mar 13, 2019 8:26:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(247/1324) took 1061010 ms. Total solver calls (SAT/UNSAT): 287531(2300/285231)
Mar 13, 2019 8:26:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(248/1324) took 1064139 ms. Total solver calls (SAT/UNSAT): 288606(2300/286306)
Mar 13, 2019 8:26:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(249/1324) took 1067415 ms. Total solver calls (SAT/UNSAT): 289680(2300/287380)
Mar 13, 2019 8:26:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(251/1324) took 1070760 ms. Total solver calls (SAT/UNSAT): 291825(2300/289525)
Mar 13, 2019 8:26:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(253/1324) took 1076509 ms. Total solver calls (SAT/UNSAT): 293966(2300/291666)
Mar 13, 2019 8:26:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(254/1324) took 1080070 ms. Total solver calls (SAT/UNSAT): 295035(2300/292735)
Mar 13, 2019 8:26:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(255/1324) took 1085924 ms. Total solver calls (SAT/UNSAT): 296103(2300/293803)
Mar 13, 2019 8:26:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(258/1324) took 1094976 ms. Total solver calls (SAT/UNSAT): 299301(2300/297001)
Mar 13, 2019 8:27:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(259/1324) took 1099521 ms. Total solver calls (SAT/UNSAT): 300365(2300/298065)
Mar 13, 2019 8:27:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(261/1324) took 1104350 ms. Total solver calls (SAT/UNSAT): 302490(2300/300190)
Mar 13, 2019 8:27:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(263/1324) took 1108901 ms. Total solver calls (SAT/UNSAT): 304611(2300/302311)
Mar 13, 2019 8:27:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(265/1324) took 1112342 ms. Total solver calls (SAT/UNSAT): 306728(2300/304428)
Mar 13, 2019 8:27:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(266/1324) took 1119037 ms. Total solver calls (SAT/UNSAT): 307785(2300/305485)
Mar 13, 2019 8:27:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(267/1324) took 1125051 ms. Total solver calls (SAT/UNSAT): 308841(2300/306541)
Mar 13, 2019 8:27:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(268/1324) took 1131203 ms. Total solver calls (SAT/UNSAT): 309896(2300/307596)
Mar 13, 2019 8:27:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(269/1324) took 1137876 ms. Total solver calls (SAT/UNSAT): 310950(2300/308650)
Mar 13, 2019 8:27:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(271/1324) took 1143163 ms. Total solver calls (SAT/UNSAT): 313055(2300/310755)
Mar 13, 2019 8:27:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(273/1324) took 1147614 ms. Total solver calls (SAT/UNSAT): 315156(2300/312856)
Mar 13, 2019 8:27:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(276/1324) took 1153282 ms. Total solver calls (SAT/UNSAT): 318300(2300/316000)
Mar 13, 2019 8:27:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(278/1324) took 1158531 ms. Total solver calls (SAT/UNSAT): 320391(2300/318091)
Mar 13, 2019 8:28:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(281/1324) took 1166646 ms. Total solver calls (SAT/UNSAT): 323520(2300/321220)
Mar 13, 2019 8:28:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(282/1324) took 1172559 ms. Total solver calls (SAT/UNSAT): 324561(2300/322261)
Mar 13, 2019 8:28:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(284/1324) took 1176839 ms. Total solver calls (SAT/UNSAT): 326640(2300/324340)
Mar 13, 2019 8:28:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(287/1324) took 1180524 ms. Total solver calls (SAT/UNSAT): 329751(2300/327451)
Mar 13, 2019 8:28:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(289/1324) took 1184374 ms. Total solver calls (SAT/UNSAT): 331820(2300/329520)
Mar 13, 2019 8:28:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(291/1324) took 1194976 ms. Total solver calls (SAT/UNSAT): 333885(2300/331585)
Mar 13, 2019 8:28:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(292/1324) took 1208615 ms. Total solver calls (SAT/UNSAT): 334916(2300/332616)
Mar 13, 2019 8:28:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(293/1324) took 1211987 ms. Total solver calls (SAT/UNSAT): 335946(2300/333646)
Mar 13, 2019 8:29:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(294/1324) took 1224199 ms. Total solver calls (SAT/UNSAT): 336975(2300/334675)
Mar 13, 2019 8:29:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(295/1324) took 1232178 ms. Total solver calls (SAT/UNSAT): 338003(2300/335703)
Mar 13, 2019 8:29:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(298/1324) took 1235940 ms. Total solver calls (SAT/UNSAT): 341081(2300/338781)
Mar 13, 2019 8:29:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(299/1324) took 1241658 ms. Total solver calls (SAT/UNSAT): 342105(2300/339805)
Mar 13, 2019 8:29:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(300/1324) took 1245244 ms. Total solver calls (SAT/UNSAT): 343128(2300/340828)
Mar 13, 2019 8:29:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(304/1324) took 1248806 ms. Total solver calls (SAT/UNSAT): 347210(2300/344910)
Mar 13, 2019 8:29:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(307/1324) took 1252745 ms. Total solver calls (SAT/UNSAT): 350261(2300/347961)
Mar 13, 2019 8:29:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(309/1324) took 1256222 ms. Total solver calls (SAT/UNSAT): 352290(2300/349990)
Mar 13, 2019 8:29:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(312/1324) took 1265680 ms. Total solver calls (SAT/UNSAT): 355326(2300/353026)
Mar 13, 2019 8:29:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(314/1324) took 1269546 ms. Total solver calls (SAT/UNSAT): 357345(2300/355045)
Mar 13, 2019 8:29:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(316/1324) took 1275791 ms. Total solver calls (SAT/UNSAT): 359360(2300/357060)
Mar 13, 2019 8:30:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(317/1324) took 1288232 ms. Total solver calls (SAT/UNSAT): 360366(2300/358066)
Mar 13, 2019 8:30:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(318/1324) took 1302069 ms. Total solver calls (SAT/UNSAT): 361371(2300/359071)
Mar 13, 2019 8:30:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(319/1324) took 1312170 ms. Total solver calls (SAT/UNSAT): 362375(2300/360075)
Mar 13, 2019 8:30:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(320/1324) took 1320682 ms. Total solver calls (SAT/UNSAT): 363378(2300/361078)
Mar 13, 2019 8:30:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(321/1324) took 1328172 ms. Total solver calls (SAT/UNSAT): 364380(2300/362080)
Mar 13, 2019 8:30:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(322/1324) took 1336901 ms. Total solver calls (SAT/UNSAT): 365381(2300/363081)
Mar 13, 2019 8:31:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(324/1324) took 1345216 ms. Total solver calls (SAT/UNSAT): 367380(2300/365080)
Mar 13, 2019 8:31:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(326/1324) took 1348986 ms. Total solver calls (SAT/UNSAT): 369375(2300/367075)
Mar 13, 2019 8:31:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(327/1324) took 1366281 ms. Total solver calls (SAT/UNSAT): 370371(2300/368071)
Mar 13, 2019 8:31:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(328/1324) took 1376325 ms. Total solver calls (SAT/UNSAT): 371366(2300/369066)
Mar 13, 2019 8:31:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(329/1324) took 1386190 ms. Total solver calls (SAT/UNSAT): 372360(2300/370060)
Mar 13, 2019 8:32:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(332/1324) took 1400185 ms. Total solver calls (SAT/UNSAT): 375336(2300/373036)
Mar 13, 2019 8:32:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(333/1324) took 1403672 ms. Total solver calls (SAT/UNSAT): 376326(2300/374026)
Mar 13, 2019 8:32:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(334/1324) took 1409160 ms. Total solver calls (SAT/UNSAT): 377315(2300/375015)
Mar 13, 2019 8:32:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(337/1324) took 1412791 ms. Total solver calls (SAT/UNSAT): 380276(2300/377976)
Mar 13, 2019 8:32:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(338/1324) took 1416925 ms. Total solver calls (SAT/UNSAT): 381261(2300/378961)
Mar 13, 2019 8:32:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(339/1324) took 1429584 ms. Total solver calls (SAT/UNSAT): 382245(2300/379945)
Mar 13, 2019 8:32:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(341/1324) took 1439499 ms. Total solver calls (SAT/UNSAT): 384210(2300/381910)
Mar 13, 2019 8:32:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(342/1324) took 1443199 ms. Total solver calls (SAT/UNSAT): 385191(2300/382891)
Mar 13, 2019 8:32:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(343/1324) took 1448721 ms. Total solver calls (SAT/UNSAT): 386171(2300/383871)
Mar 13, 2019 8:32:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(344/1324) took 1458624 ms. Total solver calls (SAT/UNSAT): 387150(2300/384850)
Mar 13, 2019 8:33:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(345/1324) took 1465681 ms. Total solver calls (SAT/UNSAT): 388128(2300/385828)
Mar 13, 2019 8:33:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(346/1324) took 1477368 ms. Total solver calls (SAT/UNSAT): 389105(2300/386805)
Mar 13, 2019 8:33:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(349/1324) took 1483403 ms. Total solver calls (SAT/UNSAT): 392030(2300/389730)
Mar 13, 2019 8:33:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(351/1324) took 1495151 ms. Total solver calls (SAT/UNSAT): 393975(2300/391675)
Mar 13, 2019 8:33:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(352/1324) took 1499711 ms. Total solver calls (SAT/UNSAT): 394946(2300/392646)
Mar 13, 2019 8:33:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(353/1324) took 1511444 ms. Total solver calls (SAT/UNSAT): 395916(2300/393616)
Mar 13, 2019 8:33:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(354/1324) took 1515265 ms. Total solver calls (SAT/UNSAT): 396885(2300/394585)
Mar 13, 2019 8:34:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(355/1324) took 1525527 ms. Total solver calls (SAT/UNSAT): 397853(2300/395553)
Mar 13, 2019 8:34:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(357/1324) took 1536476 ms. Total solver calls (SAT/UNSAT): 399786(2300/397486)
Mar 13, 2019 8:34:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(358/1324) took 1540145 ms. Total solver calls (SAT/UNSAT): 400751(2300/398451)
Mar 13, 2019 8:34:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(359/1324) took 1543332 ms. Total solver calls (SAT/UNSAT): 401715(2300/399415)
Mar 13, 2019 8:34:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(362/1324) took 1546606 ms. Total solver calls (SAT/UNSAT): 404601(2300/402301)
Mar 13, 2019 8:34:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(363/1324) took 1550218 ms. Total solver calls (SAT/UNSAT): 405561(2300/403261)
Mar 13, 2019 8:34:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(365/1324) took 1555625 ms. Total solver calls (SAT/UNSAT): 407478(2300/405178)
Mar 13, 2019 8:34:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(367/1324) took 1560646 ms. Total solver calls (SAT/UNSAT): 409391(2300/407091)
Mar 13, 2019 8:34:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(369/1324) took 1564929 ms. Total solver calls (SAT/UNSAT): 411300(2300/409000)
Mar 13, 2019 8:34:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(370/1324) took 1571175 ms. Total solver calls (SAT/UNSAT): 412253(2300/409953)
Mar 13, 2019 8:34:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(371/1324) took 1575483 ms. Total solver calls (SAT/UNSAT): 413205(2300/410905)
Mar 13, 2019 8:35:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(373/1324) took 1580548 ms. Total solver calls (SAT/UNSAT): 415106(2300/412806)
Mar 13, 2019 8:35:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(374/1324) took 1585299 ms. Total solver calls (SAT/UNSAT): 416055(2300/413755)
Mar 13, 2019 8:35:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(375/1324) took 1596370 ms. Total solver calls (SAT/UNSAT): 417003(2300/414703)
Mar 13, 2019 8:35:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(376/1324) took 1605466 ms. Total solver calls (SAT/UNSAT): 417950(2300/415650)
Mar 13, 2019 8:35:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(377/1324) took 1608609 ms. Total solver calls (SAT/UNSAT): 418896(2300/416596)
Mar 13, 2019 8:35:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(379/1324) took 1613357 ms. Total solver calls (SAT/UNSAT): 420785(2300/418485)
Mar 13, 2019 8:35:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(380/1324) took 1622962 ms. Total solver calls (SAT/UNSAT): 421728(2300/419428)
Mar 13, 2019 8:35:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(382/1324) took 1633719 ms. Total solver calls (SAT/UNSAT): 423611(2300/421311)
Mar 13, 2019 8:35:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(383/1324) took 1637830 ms. Total solver calls (SAT/UNSAT): 424551(2300/422251)
Mar 13, 2019 8:36:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(384/1324) took 1645363 ms. Total solver calls (SAT/UNSAT): 425490(2300/423190)
Mar 13, 2019 8:36:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(385/1324) took 1653081 ms. Total solver calls (SAT/UNSAT): 426428(2300/424128)
Mar 13, 2019 8:36:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(386/1324) took 1661903 ms. Total solver calls (SAT/UNSAT): 427365(2300/425065)
Mar 13, 2019 8:36:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(387/1324) took 1664990 ms. Total solver calls (SAT/UNSAT): 428301(2300/426001)
Mar 13, 2019 8:36:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(388/1324) took 1669660 ms. Total solver calls (SAT/UNSAT): 429236(2300/426936)
Mar 13, 2019 8:36:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(389/1324) took 1675954 ms. Total solver calls (SAT/UNSAT): 430170(2300/427870)
Mar 13, 2019 8:36:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(391/1324) took 1683379 ms. Total solver calls (SAT/UNSAT): 432035(2300/429735)
Mar 13, 2019 8:36:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(392/1324) took 1691173 ms. Total solver calls (SAT/UNSAT): 432966(2300/430666)
Mar 13, 2019 8:36:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(393/1324) took 1697339 ms. Total solver calls (SAT/UNSAT): 433896(2300/431596)
Mar 13, 2019 8:37:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(394/1324) took 1701755 ms. Total solver calls (SAT/UNSAT): 434825(2300/432525)
Mar 13, 2019 8:37:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(397/1324) took 1710028 ms. Total solver calls (SAT/UNSAT): 437606(2300/435306)
Mar 13, 2019 8:37:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(398/1324) took 1714554 ms. Total solver calls (SAT/UNSAT): 438531(2300/436231)
Mar 13, 2019 8:37:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(400/1324) took 1718199 ms. Total solver calls (SAT/UNSAT): 440378(2300/438078)
Mar 13, 2019 8:37:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(401/1324) took 1723412 ms. Total solver calls (SAT/UNSAT): 441300(2300/439000)
Mar 13, 2019 8:37:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(402/1324) took 1733469 ms. Total solver calls (SAT/UNSAT): 442221(2300/439921)
Mar 13, 2019 8:37:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(403/1324) took 1739080 ms. Total solver calls (SAT/UNSAT): 443141(2300/440841)
Mar 13, 2019 8:37:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(404/1324) took 1744572 ms. Total solver calls (SAT/UNSAT): 444060(2300/441760)
Mar 13, 2019 8:37:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(405/1324) took 1752098 ms. Total solver calls (SAT/UNSAT): 444978(2300/442678)
Mar 13, 2019 8:37:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(406/1324) took 1755681 ms. Total solver calls (SAT/UNSAT): 445895(2300/443595)
Mar 13, 2019 8:38:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(409/1324) took 1762745 ms. Total solver calls (SAT/UNSAT): 448640(2300/446340)
Mar 13, 2019 8:38:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(410/1324) took 1772084 ms. Total solver calls (SAT/UNSAT): 449553(2300/447253)
Mar 13, 2019 8:38:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(412/1324) took 1781421 ms. Total solver calls (SAT/UNSAT): 451376(2300/449076)
Mar 13, 2019 8:38:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(415/1324) took 1784833 ms. Total solver calls (SAT/UNSAT): 454103(2300/451803)
Mar 13, 2019 8:38:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(419/1324) took 1788274 ms. Total solver calls (SAT/UNSAT): 457725(2300/455425)
Mar 13, 2019 8:38:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(421/1324) took 1791677 ms. Total solver calls (SAT/UNSAT): 459530(2300/457230)
Mar 13, 2019 8:38:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(422/1324) took 1797817 ms. Total solver calls (SAT/UNSAT): 460431(2300/458131)
Mar 13, 2019 8:38:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(424/1324) took 1804897 ms. Total solver calls (SAT/UNSAT): 462230(2300/459930)
Mar 13, 2019 8:38:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(425/1324) took 1808692 ms. Total solver calls (SAT/UNSAT): 463128(2300/460828)
Mar 13, 2019 8:38:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(426/1324) took 1814554 ms. Total solver calls (SAT/UNSAT): 464025(2300/461725)
Mar 13, 2019 8:39:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(430/1324) took 1819885 ms. Total solver calls (SAT/UNSAT): 467603(2300/465303)
Mar 13, 2019 8:39:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(432/1324) took 1829301 ms. Total solver calls (SAT/UNSAT): 469386(2300/467086)
Mar 13, 2019 8:39:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(434/1324) took 1833387 ms. Total solver calls (SAT/UNSAT): 471165(2300/468865)
Mar 13, 2019 8:39:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(436/1324) took 1839756 ms. Total solver calls (SAT/UNSAT): 472940(2300/470640)
Mar 13, 2019 8:39:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(437/1324) took 1848651 ms. Total solver calls (SAT/UNSAT): 473826(2300/471526)
Mar 13, 2019 8:39:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(438/1324) took 1853321 ms. Total solver calls (SAT/UNSAT): 474711(2300/472411)
Mar 13, 2019 8:39:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(439/1324) took 1857361 ms. Total solver calls (SAT/UNSAT): 475595(2300/473295)
Mar 13, 2019 8:39:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(440/1324) took 1862053 ms. Total solver calls (SAT/UNSAT): 476478(2300/474178)
Mar 13, 2019 8:39:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(441/1324) took 1868811 ms. Total solver calls (SAT/UNSAT): 477360(2300/475060)
Mar 13, 2019 8:39:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(442/1324) took 1874594 ms. Total solver calls (SAT/UNSAT): 478241(2300/475941)
Mar 13, 2019 8:40:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(444/1324) took 1881520 ms. Total solver calls (SAT/UNSAT): 480000(2300/477700)
Mar 13, 2019 8:40:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(445/1324) took 1884844 ms. Total solver calls (SAT/UNSAT): 480878(2300/478578)
Mar 13, 2019 8:40:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(446/1324) took 1892162 ms. Total solver calls (SAT/UNSAT): 481755(2300/479455)
Mar 13, 2019 8:40:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(447/1324) took 1899593 ms. Total solver calls (SAT/UNSAT): 482631(2300/480331)
Mar 13, 2019 8:40:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(448/1324) took 1909168 ms. Total solver calls (SAT/UNSAT): 483506(2300/481206)
Mar 13, 2019 8:40:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(452/1324) took 1913325 ms. Total solver calls (SAT/UNSAT): 486996(2300/484696)
Mar 13, 2019 8:40:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(453/1324) took 1916325 ms. Total solver calls (SAT/UNSAT): 487866(2300/485566)
Mar 13, 2019 8:40:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(454/1324) took 1922726 ms. Total solver calls (SAT/UNSAT): 488735(2300/486435)
Mar 13, 2019 8:40:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(455/1324) took 1931436 ms. Total solver calls (SAT/UNSAT): 489603(2300/487303)
Mar 13, 2019 8:41:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(456/1324) took 1940489 ms. Total solver calls (SAT/UNSAT): 490470(2300/488170)
Mar 13, 2019 8:41:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(457/1324) took 1945791 ms. Total solver calls (SAT/UNSAT): 491336(2300/489036)
Mar 13, 2019 8:41:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(459/1324) took 1950071 ms. Total solver calls (SAT/UNSAT): 493065(2300/490765)
Mar 13, 2019 8:41:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(460/1324) took 1963884 ms. Total solver calls (SAT/UNSAT): 493928(2300/491628)
Mar 13, 2019 8:41:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(461/1324) took 1978367 ms. Total solver calls (SAT/UNSAT): 494790(2300/492490)
Mar 13, 2019 8:41:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(462/1324) took 1991366 ms. Total solver calls (SAT/UNSAT): 495651(2300/493351)
Mar 13, 2019 8:42:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(463/1324) took 2000809 ms. Total solver calls (SAT/UNSAT): 496511(2300/494211)
Mar 13, 2019 8:42:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(465/1324) took 2011655 ms. Total solver calls (SAT/UNSAT): 498228(2300/495928)
Mar 13, 2019 8:42:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(467/1324) took 2021945 ms. Total solver calls (SAT/UNSAT): 499941(2300/497641)
Mar 13, 2019 8:42:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(468/1324) took 2027633 ms. Total solver calls (SAT/UNSAT): 500796(2300/498496)
Mar 13, 2019 8:42:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(471/1324) took 2031520 ms. Total solver calls (SAT/UNSAT): 503355(2300/501055)
Mar 13, 2019 8:42:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(472/1324) took 2037732 ms. Total solver calls (SAT/UNSAT): 504206(2300/501906)
Mar 13, 2019 8:42:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(473/1324) took 2044237 ms. Total solver calls (SAT/UNSAT): 505056(2300/502756)
Mar 13, 2019 8:42:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(475/1324) took 2047948 ms. Total solver calls (SAT/UNSAT): 506753(2300/504453)
Mar 13, 2019 8:42:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(477/1324) took 2058104 ms. Total solver calls (SAT/UNSAT): 508446(2300/506146)
Mar 13, 2019 8:43:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(479/1324) took 2066166 ms. Total solver calls (SAT/UNSAT): 510135(2300/507835)
Mar 13, 2019 8:43:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(480/1324) took 2083214 ms. Total solver calls (SAT/UNSAT): 510978(2300/508678)
Mar 13, 2019 8:43:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(483/1324) took 2096104 ms. Total solver calls (SAT/UNSAT): 513501(2300/511201)
Mar 13, 2019 8:43:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(484/1324) took 2106274 ms. Total solver calls (SAT/UNSAT): 514340(2300/512040)
Mar 13, 2019 8:43:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(485/1324) took 2109653 ms. Total solver calls (SAT/UNSAT): 515178(2300/512878)
Mar 13, 2019 8:43:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(487/1324) took 2112776 ms. Total solver calls (SAT/UNSAT): 516851(2300/514551)
Mar 13, 2019 8:43:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(489/1324) took 2117534 ms. Total solver calls (SAT/UNSAT): 518520(2300/516220)
Mar 13, 2019 8:44:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(492/1324) took 2129861 ms. Total solver calls (SAT/UNSAT): 521016(2300/518716)
Mar 13, 2019 8:44:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(493/1324) took 2137900 ms. Total solver calls (SAT/UNSAT): 521846(2300/519546)
Mar 13, 2019 8:44:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(495/1324) took 2141430 ms. Total solver calls (SAT/UNSAT): 523503(2300/521203)
Mar 13, 2019 8:44:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(496/1324) took 2151613 ms. Total solver calls (SAT/UNSAT): 524330(2300/522030)
Mar 13, 2019 8:44:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(498/1324) took 2164217 ms. Total solver calls (SAT/UNSAT): 525981(2300/523681)
Mar 13, 2019 8:44:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(499/1324) took 2169392 ms. Total solver calls (SAT/UNSAT): 526805(2300/524505)
Mar 13, 2019 8:44:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(500/1324) took 2173225 ms. Total solver calls (SAT/UNSAT): 527628(2300/525328)
Mar 13, 2019 8:44:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(501/1324) took 2176389 ms. Total solver calls (SAT/UNSAT): 528450(2300/526150)
Mar 13, 2019 8:45:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(502/1324) took 2179936 ms. Total solver calls (SAT/UNSAT): 529271(2300/526971)
Mar 13, 2019 8:45:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(503/1324) took 2183619 ms. Total solver calls (SAT/UNSAT): 530091(2300/527791)
Mar 13, 2019 8:45:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(506/1324) took 2192486 ms. Total solver calls (SAT/UNSAT): 532545(2300/530245)
Mar 13, 2019 8:45:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(508/1324) took 2198463 ms. Total solver calls (SAT/UNSAT): 534176(2300/531876)
Mar 13, 2019 8:45:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(509/1324) took 2201746 ms. Total solver calls (SAT/UNSAT): 534990(2300/532690)
Mar 13, 2019 8:45:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(512/1324) took 2205223 ms. Total solver calls (SAT/UNSAT): 537426(2300/535126)
Mar 13, 2019 8:45:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(515/1324) took 2208636 ms. Total solver calls (SAT/UNSAT): 539853(2300/537553)
Mar 13, 2019 8:45:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(519/1324) took 2213278 ms. Total solver calls (SAT/UNSAT): 543075(2300/540775)
Mar 13, 2019 8:45:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(522/1324) took 2219669 ms. Total solver calls (SAT/UNSAT): 545481(2300/543181)
Mar 13, 2019 8:45:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(524/1324) took 2223709 ms. Total solver calls (SAT/UNSAT): 547080(2300/544780)
Mar 13, 2019 8:45:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(527/1324) took 2227234 ms. Total solver calls (SAT/UNSAT): 549471(2300/547171)
Mar 13, 2019 8:45:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(528/1324) took 2230936 ms. Total solver calls (SAT/UNSAT): 550266(2300/547966)
Mar 13, 2019 8:45:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(530/1324) took 2237859 ms. Total solver calls (SAT/UNSAT): 551853(2300/549553)
Mar 13, 2019 8:46:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(532/1324) took 2240961 ms. Total solver calls (SAT/UNSAT): 553436(2300/551136)
Mar 13, 2019 8:46:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(534/1324) took 2244383 ms. Total solver calls (SAT/UNSAT): 555015(2300/552715)
Mar 13, 2019 8:46:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(535/1324) took 2247655 ms. Total solver calls (SAT/UNSAT): 555803(2300/553503)
Mar 13, 2019 8:46:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(536/1324) took 2254864 ms. Total solver calls (SAT/UNSAT): 556590(2300/554290)
Mar 13, 2019 8:46:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(539/1324) took 2258624 ms. Total solver calls (SAT/UNSAT): 558945(2300/556645)
Mar 13, 2019 8:46:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(540/1324) took 2263146 ms. Total solver calls (SAT/UNSAT): 559728(2300/557428)
Mar 13, 2019 8:46:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(541/1324) took 2267141 ms. Total solver calls (SAT/UNSAT): 560510(2300/558210)
Mar 13, 2019 8:46:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(543/1324) took 2273551 ms. Total solver calls (SAT/UNSAT): 562071(2300/559771)
Mar 13, 2019 8:46:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(545/1324) took 2281720 ms. Total solver calls (SAT/UNSAT): 563628(2300/561328)
Mar 13, 2019 8:46:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(548/1324) took 2288175 ms. Total solver calls (SAT/UNSAT): 565956(2300/563656)
Mar 13, 2019 8:46:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(549/1324) took 2295119 ms. Total solver calls (SAT/UNSAT): 566730(2300/564430)
Mar 13, 2019 8:47:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(550/1324) took 2308900 ms. Total solver calls (SAT/UNSAT): 567503(2300/565203)
Mar 13, 2019 8:47:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(551/1324) took 2312715 ms. Total solver calls (SAT/UNSAT): 568275(2300/565975)
Mar 13, 2019 8:47:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(553/1324) took 2318098 ms. Total solver calls (SAT/UNSAT): 569816(2300/567516)
Mar 13, 2019 8:47:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(555/1324) took 2327222 ms. Total solver calls (SAT/UNSAT): 571353(2300/569053)
Mar 13, 2019 8:47:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(557/1324) took 2330513 ms. Total solver calls (SAT/UNSAT): 572886(2300/570586)
Mar 13, 2019 8:47:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(559/1324) took 2334207 ms. Total solver calls (SAT/UNSAT): 574415(2300/572115)
Mar 13, 2019 8:47:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(561/1324) took 2338831 ms. Total solver calls (SAT/UNSAT): 575940(2300/573640)
Mar 13, 2019 8:47:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(562/1324) took 2344039 ms. Total solver calls (SAT/UNSAT): 576701(2300/574401)
Mar 13, 2019 8:47:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(563/1324) took 2348089 ms. Total solver calls (SAT/UNSAT): 577461(2300/575161)
Mar 13, 2019 8:47:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(564/1324) took 2351986 ms. Total solver calls (SAT/UNSAT): 578220(2300/575920)
Mar 13, 2019 8:47:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(567/1324) took 2356904 ms. Total solver calls (SAT/UNSAT): 580491(2300/578191)
Mar 13, 2019 8:48:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(569/1324) took 2360443 ms. Total solver calls (SAT/UNSAT): 582000(2300/579700)
Mar 13, 2019 8:48:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(573/1324) took 2363646 ms. Total solver calls (SAT/UNSAT): 585006(2300/582706)
Mar 13, 2019 8:48:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(577/1324) took 2366756 ms. Total solver calls (SAT/UNSAT): 587996(2300/585696)
Mar 13, 2019 8:48:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(579/1324) took 2369940 ms. Total solver calls (SAT/UNSAT): 589485(2300/587185)
Mar 13, 2019 8:48:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(583/1324) took 2373496 ms. Total solver calls (SAT/UNSAT): 592451(2300/590151)
Mar 13, 2019 8:48:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(585/1324) took 2385245 ms. Total solver calls (SAT/UNSAT): 593928(2300/591628)
Mar 13, 2019 8:48:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(589/1324) took 2388976 ms. Total solver calls (SAT/UNSAT): 596870(2300/594570)
Mar 13, 2019 8:48:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(592/1324) took 2398621 ms. Total solver calls (SAT/UNSAT): 599066(2300/596766)
Mar 13, 2019 8:48:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(594/1324) took 2403820 ms. Total solver calls (SAT/UNSAT): 600525(2300/598225)
Mar 13, 2019 8:48:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(596/1324) took 2411096 ms. Total solver calls (SAT/UNSAT): 601980(2300/599680)
Mar 13, 2019 8:48:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(598/1324) took 2415113 ms. Total solver calls (SAT/UNSAT): 603431(2300/601131)
Mar 13, 2019 8:48:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(599/1324) took 2419201 ms. Total solver calls (SAT/UNSAT): 604155(2300/601855)
Mar 13, 2019 8:49:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(600/1324) took 2423436 ms. Total solver calls (SAT/UNSAT): 604878(2300/602578)
Mar 13, 2019 8:49:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(601/1324) took 2430542 ms. Total solver calls (SAT/UNSAT): 605600(2300/603300)
Mar 13, 2019 8:49:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(603/1324) took 2435970 ms. Total solver calls (SAT/UNSAT): 607041(2300/604741)
Mar 13, 2019 8:49:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(604/1324) took 2440190 ms. Total solver calls (SAT/UNSAT): 607760(2300/605460)
Mar 13, 2019 8:49:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(605/1324) took 2446520 ms. Total solver calls (SAT/UNSAT): 608478(2300/606178)
Mar 13, 2019 8:49:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(606/1324) took 2455176 ms. Total solver calls (SAT/UNSAT): 609195(2300/606895)
Mar 13, 2019 8:49:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(608/1324) took 2460407 ms. Total solver calls (SAT/UNSAT): 610626(2300/608326)
Mar 13, 2019 8:49:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(610/1324) took 2470230 ms. Total solver calls (SAT/UNSAT): 612053(2300/609753)
Mar 13, 2019 8:49:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(611/1324) took 2475939 ms. Total solver calls (SAT/UNSAT): 612765(2300/610465)
Mar 13, 2019 8:50:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(613/1324) took 2482206 ms. Total solver calls (SAT/UNSAT): 614186(2300/611886)
Mar 13, 2019 8:50:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(615/1324) took 2490031 ms. Total solver calls (SAT/UNSAT): 615603(2300/613303)
Mar 13, 2019 8:50:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(616/1324) took 2495483 ms. Total solver calls (SAT/UNSAT): 616310(2300/614010)
Mar 13, 2019 8:50:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(620/1324) took 2499989 ms. Total solver calls (SAT/UNSAT): 619128(2300/616828)
Mar 13, 2019 8:50:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(622/1324) took 2506324 ms. Total solver calls (SAT/UNSAT): 620531(2300/618231)
Mar 13, 2019 8:50:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(627/1324) took 2511201 ms. Total solver calls (SAT/UNSAT): 624021(2300/621721)
Mar 13, 2019 8:50:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(631/1324) took 2516732 ms. Total solver calls (SAT/UNSAT): 626795(2300/624495)
Mar 13, 2019 8:50:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(635/1324) took 2534277 ms. Total solver calls (SAT/UNSAT): 629553(2300/627253)
Mar 13, 2019 8:50:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(636/1324) took 2538647 ms. Total solver calls (SAT/UNSAT): 630240(2300/627940)
Mar 13, 2019 8:51:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(638/1324) took 2542336 ms. Total solver calls (SAT/UNSAT): 631611(2300/629311)
Mar 13, 2019 8:51:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(640/1324) took 2546975 ms. Total solver calls (SAT/UNSAT): 632978(2300/630678)
Mar 13, 2019 8:51:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(642/1324) took 2554449 ms. Total solver calls (SAT/UNSAT): 634341(2300/632041)
Mar 13, 2019 8:51:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(643/1324) took 2558920 ms. Total solver calls (SAT/UNSAT): 635021(2300/632721)
Mar 13, 2019 8:51:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(644/1324) took 2562315 ms. Total solver calls (SAT/UNSAT): 635700(2300/633400)
Mar 13, 2019 8:51:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(645/1324) took 2575703 ms. Total solver calls (SAT/UNSAT): 636378(2300/634078)
Mar 13, 2019 8:51:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(647/1324) took 2580644 ms. Total solver calls (SAT/UNSAT): 637731(2300/635431)
Mar 13, 2019 8:51:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(650/1324) took 2596292 ms. Total solver calls (SAT/UNSAT): 639753(2300/637453)
Mar 13, 2019 8:52:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(651/1324) took 2599440 ms. Total solver calls (SAT/UNSAT): 640425(2300/638125)
Mar 13, 2019 8:52:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(652/1324) took 2607421 ms. Total solver calls (SAT/UNSAT): 641096(2300/638796)
Mar 13, 2019 8:52:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(656/1324) took 2612112 ms. Total solver calls (SAT/UNSAT): 643770(2300/641470)
Mar 13, 2019 8:52:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(660/1324) took 2615250 ms. Total solver calls (SAT/UNSAT): 646428(2300/644128)
Mar 13, 2019 8:52:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(662/1324) took 2621543 ms. Total solver calls (SAT/UNSAT): 647751(2300/645451)
Mar 13, 2019 8:52:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(666/1324) took 2628522 ms. Total solver calls (SAT/UNSAT): 650385(2300/648085)
Mar 13, 2019 8:52:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(667/1324) took 2631860 ms. Total solver calls (SAT/UNSAT): 651041(2300/648741)
Mar 13, 2019 8:52:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(668/1324) took 2638601 ms. Total solver calls (SAT/UNSAT): 651696(2300/649396)
Mar 13, 2019 8:52:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(669/1324) took 2647846 ms. Total solver calls (SAT/UNSAT): 652350(2300/650050)
Mar 13, 2019 8:52:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(670/1324) took 2653218 ms. Total solver calls (SAT/UNSAT): 653003(2300/650703)
Mar 13, 2019 8:52:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(672/1324) took 2658816 ms. Total solver calls (SAT/UNSAT): 654306(2300/652006)
Mar 13, 2019 8:53:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(673/1324) took 2665639 ms. Total solver calls (SAT/UNSAT): 654956(2300/652656)
Mar 13, 2019 8:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(674/1324) took 2669639 ms. Total solver calls (SAT/UNSAT): 655605(2300/653305)
Mar 13, 2019 8:53:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(676/1324) took 2677290 ms. Total solver calls (SAT/UNSAT): 656900(2300/654600)
Mar 13, 2019 8:53:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(677/1324) took 2683110 ms. Total solver calls (SAT/UNSAT): 657546(2300/655246)
Mar 13, 2019 8:53:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(679/1324) took 2686208 ms. Total solver calls (SAT/UNSAT): 658835(2300/656535)
Mar 13, 2019 8:53:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(681/1324) took 2695192 ms. Total solver calls (SAT/UNSAT): 660120(2300/657820)
Mar 13, 2019 8:53:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(685/1324) took 2698763 ms. Total solver calls (SAT/UNSAT): 662678(2300/660378)
Mar 13, 2019 8:53:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(687/1324) took 2706838 ms. Total solver calls (SAT/UNSAT): 663951(2300/661651)
Mar 13, 2019 8:53:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(690/1324) took 2716137 ms. Total solver calls (SAT/UNSAT): 665853(2300/663553)
Mar 13, 2019 8:54:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(691/1324) took 2724308 ms. Total solver calls (SAT/UNSAT): 666485(2300/664185)
Mar 13, 2019 8:54:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(693/1324) took 2727585 ms. Total solver calls (SAT/UNSAT): 667746(2300/665446)
Mar 13, 2019 8:54:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(694/1324) took 2731484 ms. Total solver calls (SAT/UNSAT): 668375(2300/666075)
Mar 13, 2019 8:54:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(697/1324) took 2738284 ms. Total solver calls (SAT/UNSAT): 670256(2300/667956)
Mar 13, 2019 8:54:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(700/1324) took 2744010 ms. Total solver calls (SAT/UNSAT): 672128(2300/669828)
Mar 13, 2019 8:54:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(701/1324) took 2760517 ms. Total solver calls (SAT/UNSAT): 672750(2300/670450)
Mar 13, 2019 8:54:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(702/1324) took 2771096 ms. Total solver calls (SAT/UNSAT): 673371(2300/671071)
Mar 13, 2019 8:54:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(704/1324) took 2776987 ms. Total solver calls (SAT/UNSAT): 674610(2300/672310)
Mar 13, 2019 8:55:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(706/1324) took 2785808 ms. Total solver calls (SAT/UNSAT): 675845(2300/673545)
Mar 13, 2019 8:55:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(707/1324) took 2790490 ms. Total solver calls (SAT/UNSAT): 676461(2300/674161)
Mar 13, 2019 8:55:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(708/1324) took 2797565 ms. Total solver calls (SAT/UNSAT): 677076(2300/674776)
Mar 13, 2019 8:55:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(709/1324) took 2803208 ms. Total solver calls (SAT/UNSAT): 677690(2300/675390)
Mar 13, 2019 8:55:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(712/1324) took 2808172 ms. Total solver calls (SAT/UNSAT): 679526(2300/677226)
Mar 13, 2019 8:55:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(716/1324) took 2811188 ms. Total solver calls (SAT/UNSAT): 681960(2300/679660)
Mar 13, 2019 8:55:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(719/1324) took 2814561 ms. Total solver calls (SAT/UNSAT): 683775(2300/681475)
Mar 13, 2019 8:55:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(720/1324) took 2820784 ms. Total solver calls (SAT/UNSAT): 684378(2300/682078)
Mar 13, 2019 8:55:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(721/1324) took 2827647 ms. Total solver calls (SAT/UNSAT): 684980(2300/682680)
Mar 13, 2019 8:55:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(723/1324) took 2835906 ms. Total solver calls (SAT/UNSAT): 686181(2300/683881)
Mar 13, 2019 8:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(724/1324) took 2843061 ms. Total solver calls (SAT/UNSAT): 686780(2300/684480)
Mar 13, 2019 8:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(727/1324) took 2846666 ms. Total solver calls (SAT/UNSAT): 688571(2300/686271)
Mar 13, 2019 8:56:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(730/1324) took 2856631 ms. Total solver calls (SAT/UNSAT): 690353(2300/688053)
Mar 13, 2019 8:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(731/1324) took 2868977 ms. Total solver calls (SAT/UNSAT): 690945(2300/688645)
Mar 13, 2019 8:56:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(732/1324) took 2872064 ms. Total solver calls (SAT/UNSAT): 691536(2300/689236)
Mar 13, 2019 8:56:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(733/1324) took 2879817 ms. Total solver calls (SAT/UNSAT): 692126(2300/689826)
Mar 13, 2019 8:56:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(734/1324) took 2887499 ms. Total solver calls (SAT/UNSAT): 692715(2300/690415)
Mar 13, 2019 8:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(738/1324) took 2897539 ms. Total solver calls (SAT/UNSAT): 695061(2300/692761)
Mar 13, 2019 8:57:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(739/1324) took 2904947 ms. Total solver calls (SAT/UNSAT): 695645(2300/693345)
Mar 13, 2019 8:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(740/1324) took 2908387 ms. Total solver calls (SAT/UNSAT): 696228(2300/693928)
Mar 13, 2019 8:57:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(741/1324) took 2920573 ms. Total solver calls (SAT/UNSAT): 696810(2300/694510)
Mar 13, 2019 8:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(746/1324) took 2925724 ms. Total solver calls (SAT/UNSAT): 699705(2300/697405)
Mar 13, 2019 8:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(747/1324) took 2930187 ms. Total solver calls (SAT/UNSAT): 700281(2300/697981)
Mar 13, 2019 8:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(748/1324) took 2934884 ms. Total solver calls (SAT/UNSAT): 700856(2300/698556)
Mar 13, 2019 8:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(749/1324) took 2940625 ms. Total solver calls (SAT/UNSAT): 701430(2300/699130)
Mar 13, 2019 8:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(751/1324) took 2943763 ms. Total solver calls (SAT/UNSAT): 702575(2300/700275)
Mar 13, 2019 8:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(755/1324) took 2947612 ms. Total solver calls (SAT/UNSAT): 704853(2300/702553)
Mar 13, 2019 8:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(760/1324) took 2956635 ms. Total solver calls (SAT/UNSAT): 707678(2300/705378)
Mar 13, 2019 8:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(761/1324) took 2960357 ms. Total solver calls (SAT/UNSAT): 708240(2300/705940)
Mar 13, 2019 8:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(762/1324) took 2970235 ms. Total solver calls (SAT/UNSAT): 708801(2300/706501)
Mar 13, 2019 8:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(764/1324) took 2978367 ms. Total solver calls (SAT/UNSAT): 709920(2300/707620)
Mar 13, 2019 8:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(766/1324) took 2983302 ms. Total solver calls (SAT/UNSAT): 711035(2300/708735)
Mar 13, 2019 8:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(767/1324) took 2986727 ms. Total solver calls (SAT/UNSAT): 711591(2300/709291)
Mar 13, 2019 8:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(769/1324) took 2996969 ms. Total solver calls (SAT/UNSAT): 712700(2300/710400)
Mar 13, 2019 8:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(770/1324) took 3004369 ms. Total solver calls (SAT/UNSAT): 713253(2300/710953)
Mar 13, 2019 8:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(772/1324) took 3008389 ms. Total solver calls (SAT/UNSAT): 714356(2300/712056)
Mar 13, 2019 8:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(773/1324) took 3017302 ms. Total solver calls (SAT/UNSAT): 714906(2300/712606)
Mar 13, 2019 8:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(774/1324) took 3023104 ms. Total solver calls (SAT/UNSAT): 715455(2300/713155)
Mar 13, 2019 8:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(775/1324) took 3031319 ms. Total solver calls (SAT/UNSAT): 716003(2300/713703)
Mar 13, 2019 8:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(776/1324) took 3039044 ms. Total solver calls (SAT/UNSAT): 716550(2300/714250)
Mar 13, 2019 8:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(778/1324) took 3043929 ms. Total solver calls (SAT/UNSAT): 717641(2300/715341)
Mar 13, 2019 8:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(779/1324) took 3054066 ms. Total solver calls (SAT/UNSAT): 718185(2300/715885)
Mar 13, 2019 8:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(780/1324) took 3063655 ms. Total solver calls (SAT/UNSAT): 718728(2300/716428)
Mar 13, 2019 8:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(781/1324) took 3067520 ms. Total solver calls (SAT/UNSAT): 719270(2300/716970)
Mar 13, 2019 8:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(783/1324) took 3075862 ms. Total solver calls (SAT/UNSAT): 720351(2300/718051)
Mar 13, 2019 9:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(785/1324) took 3079572 ms. Total solver calls (SAT/UNSAT): 721428(2300/719128)
Mar 13, 2019 9:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(787/1324) took 3089802 ms. Total solver calls (SAT/UNSAT): 722501(2300/720201)
Mar 13, 2019 9:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(790/1324) took 3097818 ms. Total solver calls (SAT/UNSAT): 724103(2300/721803)
Mar 13, 2019 9:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(792/1324) took 3104248 ms. Total solver calls (SAT/UNSAT): 725166(2300/722866)
Mar 13, 2019 9:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(795/1324) took 3107825 ms. Total solver calls (SAT/UNSAT): 726753(2300/724453)
Mar 13, 2019 9:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(799/1324) took 3112218 ms. Total solver calls (SAT/UNSAT): 728855(2300/726555)
Mar 13, 2019 9:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(800/1324) took 3118044 ms. Total solver calls (SAT/UNSAT): 729378(2300/727078)
Mar 13, 2019 9:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(803/1324) took 3121770 ms. Total solver calls (SAT/UNSAT): 730941(2300/728641)
Mar 13, 2019 9:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(807/1324) took 3134861 ms. Total solver calls (SAT/UNSAT): 733011(2300/730711)
Mar 13, 2019 9:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(809/1324) took 3139508 ms. Total solver calls (SAT/UNSAT): 734040(2300/731740)
Mar 13, 2019 9:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(811/1324) took 3144053 ms. Total solver calls (SAT/UNSAT): 735065(2300/732765)
Mar 13, 2019 9:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(813/1324) took 3147887 ms. Total solver calls (SAT/UNSAT): 736086(2300/733786)
Mar 13, 2019 9:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(815/1324) took 3159149 ms. Total solver calls (SAT/UNSAT): 737103(2300/734803)
Mar 13, 2019 9:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(817/1324) took 3163674 ms. Total solver calls (SAT/UNSAT): 738116(2300/735816)
Mar 13, 2019 9:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(818/1324) took 3167777 ms. Total solver calls (SAT/UNSAT): 738621(2300/736321)
Mar 13, 2019 9:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(820/1324) took 3176189 ms. Total solver calls (SAT/UNSAT): 739628(2300/737328)
Mar 13, 2019 9:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(821/1324) took 3183208 ms. Total solver calls (SAT/UNSAT): 740130(2300/737830)
Mar 13, 2019 9:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(822/1324) took 3191498 ms. Total solver calls (SAT/UNSAT): 740631(2300/738331)
Mar 13, 2019 9:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(823/1324) took 3196615 ms. Total solver calls (SAT/UNSAT): 741131(2300/738831)
Mar 13, 2019 9:02:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(825/1324) took 3201337 ms. Total solver calls (SAT/UNSAT): 742128(2300/739828)
Mar 13, 2019 9:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(826/1324) took 3209320 ms. Total solver calls (SAT/UNSAT): 742625(2300/740325)
Mar 13, 2019 9:02:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(827/1324) took 3214934 ms. Total solver calls (SAT/UNSAT): 743121(2300/740821)
Mar 13, 2019 9:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(829/1324) took 3218235 ms. Total solver calls (SAT/UNSAT): 744110(2300/741810)
Mar 13, 2019 9:02:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(830/1324) took 3223763 ms. Total solver calls (SAT/UNSAT): 744603(2300/742303)
Mar 13, 2019 9:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(831/1324) took 3228542 ms. Total solver calls (SAT/UNSAT): 745095(2300/742795)
Mar 13, 2019 9:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(832/1324) took 3233845 ms. Total solver calls (SAT/UNSAT): 745586(2300/743286)
Mar 13, 2019 9:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(833/1324) took 3246700 ms. Total solver calls (SAT/UNSAT): 746076(2300/743776)
Mar 13, 2019 9:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(834/1324) took 3259573 ms. Total solver calls (SAT/UNSAT): 746565(2300/744265)
Mar 13, 2019 9:03:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(835/1324) took 3263668 ms. Total solver calls (SAT/UNSAT): 747053(2300/744753)
Mar 13, 2019 9:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(836/1324) took 3269031 ms. Total solver calls (SAT/UNSAT): 747540(2300/745240)
Mar 13, 2019 9:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(837/1324) took 3276975 ms. Total solver calls (SAT/UNSAT): 748026(2300/745726)
Mar 13, 2019 9:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(839/1324) took 3281754 ms. Total solver calls (SAT/UNSAT): 748995(2300/746695)
Mar 13, 2019 9:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(840/1324) took 3285131 ms. Total solver calls (SAT/UNSAT): 749478(2300/747178)
Mar 13, 2019 9:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(841/1324) took 3291215 ms. Total solver calls (SAT/UNSAT): 749960(2300/747660)
Mar 13, 2019 9:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(842/1324) took 3294386 ms. Total solver calls (SAT/UNSAT): 750441(2300/748141)
Mar 13, 2019 9:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(844/1324) took 3298692 ms. Total solver calls (SAT/UNSAT): 751400(2300/749100)
Mar 13, 2019 9:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(845/1324) took 3302933 ms. Total solver calls (SAT/UNSAT): 751878(2300/749578)
Mar 13, 2019 9:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(847/1324) took 3306188 ms. Total solver calls (SAT/UNSAT): 752831(2300/750531)
Mar 13, 2019 9:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(849/1324) took 3311568 ms. Total solver calls (SAT/UNSAT): 753780(2300/751480)
Mar 13, 2019 9:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(851/1324) took 3321509 ms. Total solver calls (SAT/UNSAT): 754725(2300/752425)
Mar 13, 2019 9:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(852/1324) took 3330080 ms. Total solver calls (SAT/UNSAT): 755196(2300/752896)
Mar 13, 2019 9:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(853/1324) took 3333360 ms. Total solver calls (SAT/UNSAT): 755666(2300/753366)
Mar 13, 2019 9:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(856/1324) took 3342171 ms. Total solver calls (SAT/UNSAT): 757070(2300/754770)
Mar 13, 2019 9:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(859/1324) took 3345614 ms. Total solver calls (SAT/UNSAT): 758465(2300/756165)
Mar 13, 2019 9:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(862/1324) took 3349022 ms. Total solver calls (SAT/UNSAT): 759851(2300/757551)
Mar 13, 2019 9:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(865/1324) took 3352647 ms. Total solver calls (SAT/UNSAT): 761228(2300/758928)
Mar 13, 2019 9:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(866/1324) took 3362308 ms. Total solver calls (SAT/UNSAT): 761685(2300/759385)
Mar 13, 2019 9:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(867/1324) took 3368671 ms. Total solver calls (SAT/UNSAT): 762141(2300/759841)
Mar 13, 2019 9:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(868/1324) took 3375056 ms. Total solver calls (SAT/UNSAT): 762596(2300/760296)
Mar 13, 2019 9:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(869/1324) took 3379438 ms. Total solver calls (SAT/UNSAT): 763050(2300/760750)
Mar 13, 2019 9:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(870/1324) took 3383657 ms. Total solver calls (SAT/UNSAT): 763503(2300/761203)
Mar 13, 2019 9:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(871/1324) took 3388237 ms. Total solver calls (SAT/UNSAT): 763955(2300/761655)
Mar 13, 2019 9:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(872/1324) took 3391393 ms. Total solver calls (SAT/UNSAT): 764406(2300/762106)
Mar 13, 2019 9:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(874/1324) took 3394846 ms. Total solver calls (SAT/UNSAT): 765305(2300/763005)
Mar 13, 2019 9:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(875/1324) took 3401176 ms. Total solver calls (SAT/UNSAT): 765753(2300/763453)
Mar 13, 2019 9:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(876/1324) took 3405861 ms. Total solver calls (SAT/UNSAT): 766200(2300/763900)
Mar 13, 2019 9:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(878/1324) took 3410249 ms. Total solver calls (SAT/UNSAT): 767091(2300/764791)
Mar 13, 2019 9:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(880/1324) took 3422858 ms. Total solver calls (SAT/UNSAT): 767978(2300/765678)
Mar 13, 2019 9:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(882/1324) took 3433884 ms. Total solver calls (SAT/UNSAT): 768861(2300/766561)
Mar 13, 2019 9:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(884/1324) took 3437565 ms. Total solver calls (SAT/UNSAT): 769740(2300/767440)
Mar 13, 2019 9:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(885/1324) took 3442009 ms. Total solver calls (SAT/UNSAT): 770178(2300/767878)
Mar 13, 2019 9:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(890/1324) took 3449117 ms. Total solver calls (SAT/UNSAT): 772353(2300/770053)
Mar 13, 2019 9:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(891/1324) took 3452239 ms. Total solver calls (SAT/UNSAT): 772785(2300/770485)
Mar 13, 2019 9:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(892/1324) took 3455651 ms. Total solver calls (SAT/UNSAT): 773216(2300/770916)
Mar 13, 2019 9:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(896/1324) took 3458972 ms. Total solver calls (SAT/UNSAT): 774930(2300/772630)
Mar 13, 2019 9:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(897/1324) took 3465155 ms. Total solver calls (SAT/UNSAT): 775356(2300/773056)
Mar 13, 2019 9:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(898/1324) took 3474000 ms. Total solver calls (SAT/UNSAT): 775781(2300/773481)
Mar 13, 2019 9:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(899/1324) took 3479680 ms. Total solver calls (SAT/UNSAT): 776205(2300/773905)
Mar 13, 2019 9:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(900/1324) took 3486007 ms. Total solver calls (SAT/UNSAT): 776628(2300/774328)
Mar 13, 2019 9:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(905/1324) took 3490567 ms. Total solver calls (SAT/UNSAT): 778728(2300/776428)
Mar 13, 2019 9:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(908/1324) took 3495752 ms. Total solver calls (SAT/UNSAT): 779976(2300/777676)
Mar 13, 2019 9:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(910/1324) took 3504255 ms. Total solver calls (SAT/UNSAT): 780803(2300/778503)
Mar 13, 2019 9:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(911/1324) took 3510627 ms. Total solver calls (SAT/UNSAT): 781215(2300/778915)
Mar 13, 2019 9:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(912/1324) took 3515632 ms. Total solver calls (SAT/UNSAT): 781626(2300/779326)
Mar 13, 2019 9:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(914/1324) took 3518737 ms. Total solver calls (SAT/UNSAT): 782445(2300/780145)
Mar 13, 2019 9:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(916/1324) took 3523667 ms. Total solver calls (SAT/UNSAT): 783260(2300/780960)
Mar 13, 2019 9:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(919/1324) took 3527178 ms. Total solver calls (SAT/UNSAT): 784475(2300/782175)
Mar 13, 2019 9:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(920/1324) took 3531590 ms. Total solver calls (SAT/UNSAT): 784878(2300/782578)
Mar 13, 2019 9:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(923/1324) took 3534718 ms. Total solver calls (SAT/UNSAT): 786081(2300/783781)
Mar 13, 2019 9:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(924/1324) took 3538803 ms. Total solver calls (SAT/UNSAT): 786480(2300/784180)
Mar 13, 2019 9:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(926/1324) took 3544161 ms. Total solver calls (SAT/UNSAT): 787275(2300/784975)
Mar 13, 2019 9:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(929/1324) took 3548904 ms. Total solver calls (SAT/UNSAT): 788460(2300/786160)
Mar 13, 2019 9:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(932/1324) took 3552304 ms. Total solver calls (SAT/UNSAT): 789636(2300/787336)
Mar 13, 2019 9:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(936/1324) took 3555708 ms. Total solver calls (SAT/UNSAT): 791190(2300/788890)
Mar 13, 2019 9:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(940/1324) took 3558733 ms. Total solver calls (SAT/UNSAT): 792728(2300/790428)
Mar 13, 2019 9:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(943/1324) took 3563510 ms. Total solver calls (SAT/UNSAT): 793871(2300/791571)
Mar 13, 2019 9:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(945/1324) took 3566999 ms. Total solver calls (SAT/UNSAT): 794628(2300/792328)
Mar 13, 2019 9:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(948/1324) took 3572505 ms. Total solver calls (SAT/UNSAT): 795756(2300/793456)
Mar 13, 2019 9:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(954/1324) took 3576704 ms. Total solver calls (SAT/UNSAT): 797985(2300/795685)
Mar 13, 2019 9:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(955/1324) took 3580159 ms. Total solver calls (SAT/UNSAT): 798353(2300/796053)
Mar 13, 2019 9:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(959/1324) took 3583697 ms. Total solver calls (SAT/UNSAT): 799815(2300/797515)
Mar 13, 2019 9:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(966/1324) took 3587042 ms. Total solver calls (SAT/UNSAT): 802335(2300/800035)
Mar 13, 2019 9:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(971/1324) took 3590146 ms. Total solver calls (SAT/UNSAT): 804105(2300/801805)

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="BridgeAndVehicles-PT-V50P50N10"
export BK_EXAMINATION="GlobalProperties"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool itstools"
echo " Input is BridgeAndVehicles-PT-V50P50N10, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r019-csrt-155225080600597"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P50N10.tgz
mv BridgeAndVehicles-PT-V50P50N10 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 '' GlobalProperties.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 ;