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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15409.680 3600000.00 10076737.00 1686.80 FTFF?FFTTFF????? normal

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-155225080600555.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-V20P20N20, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r019-csrt-155225080600555
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 7.3K Feb 9 07:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 9 07:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 47K Feb 5 04:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 138K Feb 5 04:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 10 17:31 GenericPropertiesVerdict.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 5.2K Feb 4 22:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 4 22:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 59K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 170K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K Feb 2 01:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 2 01:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 47K Jan 29 12:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 139K Jan 29 12:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K 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.1M 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-V20P20N20-LTLCardinality-00
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-01
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-02
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-03
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-04
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-05
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-06
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-07
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-08
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-09
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-10
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-11
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-12
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-13
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-14
FORMULA_NAME BridgeAndVehicles-PT-V20P20N20-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1552460026374

Working with output stream class java.io.PrintStream
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-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903111103/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((G((X("((CONTROLEUR_1+CONTROLEUR_2)>=3)"))U("(SUR_PONT_A<=((((((((((((((((((((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))"))))
Formula 0 simplified : !G(X"((CONTROLEUR_1+CONTROLEUR_2)>=3)" U "(SUR_PONT_A<=((((((((((((((((((((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))")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 170
// Phase 1: matrix 170 rows 78 cols
invariant :CONTROLEUR_1 + CONTROLEUR_2 + CHOIX_1 + CHOIX_2 + VIDANGE_1 + VIDANGE_2 = 1
invariant :SUR_PONT_A + CAPACITE + -1'ATTENTE_B + -1'SORTI_B + -1'ROUTE_B = 0
invariant :COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 + COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20 = 1
invariant :ROUTE_A + ATTENTE_A + SORTI_A + -1'CAPACITE + ATTENTE_B + SORTI_B + ROUTE_B = 20
invariant :ATTENTE_B + SUR_PONT_B + SORTI_B + ROUTE_B = 20
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 = 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 = 1
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Compilation finished in 25687 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 133 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, []((X((LTLAP0==true)))U((LTLAP1==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 2648 ms.
FORMULA BridgeAndVehicles-PT-V20P20N20-LTLCardinality-00 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, ((LTLAP2==true))U(X((LTLAP3==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 1916 ms.
FORMULA BridgeAndVehicles-PT-V20P20N20-LTLCardinality-01 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, [](((LTLAP4==true))U((LTLAP5==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 9362 ms.
FORMULA BridgeAndVehicles-PT-V20P20N20-LTLCardinality-02 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (((LTLAP6==true))U((LTLAP7==true)))U((LTLAP8==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 11016 ms.
FORMULA BridgeAndVehicles-PT-V20P20N20-LTLCardinality-03 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](<>(<>(X((LTLAP9==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](<>(<>(X((LTLAP9==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(X(X((LTLAP10==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 4888 ms.
FORMULA BridgeAndVehicles-PT-V20P20N20-LTLCardinality-05 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, [](([]((LTLAP5==true)))U(<>((LTLAP11==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 11798 ms.
FORMULA BridgeAndVehicles-PT-V20P20N20-LTLCardinality-06 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (((LTLAP12==true))U((LTLAP9==true)))U(((LTLAP13==true))U((LTLAP14==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 8041 ms.
FORMULA BridgeAndVehicles-PT-V20P20N20-LTLCardinality-07 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (LTLAP15==true), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 7940 ms.
FORMULA BridgeAndVehicles-PT-V20P20N20-LTLCardinality-08 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](X([]([]((LTLAP16==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 2621 ms.
FORMULA BridgeAndVehicles-PT-V20P20N20-LTLCardinality-09 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((LTLAP17==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 10967 ms.
FORMULA BridgeAndVehicles-PT-V20P20N20-LTLCardinality-10 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>([]((LTLAP18==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ [[ -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 LTLCardinality -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 6:53:48 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -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 6:53:48 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 13, 2019 6:53:48 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 154 ms
Mar 13, 2019 6:53:48 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 78 places.
Mar 13, 2019 6:53:49 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 968 transitions.
Mar 13, 2019 6:53:49 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 418 ms
Mar 13, 2019 6:53:49 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 136 ms
Mar 13, 2019 6:53:49 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Mar 13, 2019 6:53:50 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 968 transitions.
Mar 13, 2019 6:53:50 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 37 ms
Mar 13, 2019 6:53:50 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 78 variables to be positive in 404 ms
Mar 13, 2019 6:53:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 968 transitions.
Mar 13, 2019 6:53:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/968 took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 13, 2019 6:53:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 106 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 13, 2019 6:53:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 968 transitions.
Mar 13, 2019 6:53:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 60 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Mar 13, 2019 6:54:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 968 transitions.
Mar 13, 2019 6:54:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(0/968) took 14303 ms. Total solver calls (SAT/UNSAT): 923(463/460)
Mar 13, 2019 6:54:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1/968) took 23126 ms. Total solver calls (SAT/UNSAT): 1845(528/1317)
Mar 13, 2019 6:55:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3/968) took 31440 ms. Total solver calls (SAT/UNSAT): 3686(658/3028)
Mar 13, 2019 6:55:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(5/968) took 35414 ms. Total solver calls (SAT/UNSAT): 5523(788/4735)
Mar 13, 2019 6:55:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(6/968) took 39875 ms. Total solver calls (SAT/UNSAT): 6440(853/5587)
Mar 13, 2019 6:55:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(7/968) took 48307 ms. Total solver calls (SAT/UNSAT): 7356(918/6438)
Mar 13, 2019 6:55:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(9/968) took 55376 ms. Total solver calls (SAT/UNSAT): 9185(1048/8137)
Mar 13, 2019 6:55:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(10/968) took 63396 ms. Total solver calls (SAT/UNSAT): 10098(1113/8985)
Mar 13, 2019 6:55:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(11/968) took 67040 ms. Total solver calls (SAT/UNSAT): 11010(1178/9832)
Mar 13, 2019 6:55:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(13/968) took 72201 ms. Total solver calls (SAT/UNSAT): 12831(1308/11523)
Mar 13, 2019 6:55:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(15/968) took 76783 ms. Total solver calls (SAT/UNSAT): 14648(1438/13210)
Mar 13, 2019 6:55:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(16/968) took 79805 ms. Total solver calls (SAT/UNSAT): 15555(1503/14052)
Mar 13, 2019 6:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(17/968) took 89330 ms. Total solver calls (SAT/UNSAT): 16461(1568/14893)
Mar 13, 2019 6:56:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(18/968) took 96269 ms. Total solver calls (SAT/UNSAT): 17366(1633/15733)
Mar 13, 2019 6:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(19/968) took 107527 ms. Total solver calls (SAT/UNSAT): 18270(1698/16572)
Mar 13, 2019 6:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(20/968) took 117651 ms. Total solver calls (SAT/UNSAT): 19173(1763/17410)
Mar 13, 2019 6:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(22/968) took 120886 ms. Total solver calls (SAT/UNSAT): 20181(1828/18353)
Mar 13, 2019 6:56:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(23/968) took 130358 ms. Total solver calls (SAT/UNSAT): 21125(1830/19295)
Mar 13, 2019 6:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(24/968) took 138160 ms. Total solver calls (SAT/UNSAT): 22068(1832/20236)
Mar 13, 2019 6:56:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(25/968) took 148193 ms. Total solver calls (SAT/UNSAT): 23010(1834/21176)
Mar 13, 2019 6:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(27/968) took 152672 ms. Total solver calls (SAT/UNSAT): 24891(1838/23053)
Mar 13, 2019 6:57:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(28/968) took 158329 ms. Total solver calls (SAT/UNSAT): 25830(1840/23990)
Mar 13, 2019 6:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(30/968) took 164094 ms. Total solver calls (SAT/UNSAT): 27705(1844/25861)
Mar 13, 2019 6:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(31/968) took 167774 ms. Total solver calls (SAT/UNSAT): 28641(1846/26795)
Mar 13, 2019 6:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(33/968) took 178849 ms. Total solver calls (SAT/UNSAT): 30510(1850/28660)
Mar 13, 2019 6:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(34/968) took 184333 ms. Total solver calls (SAT/UNSAT): 31443(1852/29591)
Mar 13, 2019 6:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(35/968) took 192468 ms. Total solver calls (SAT/UNSAT): 32375(1854/30521)
Mar 13, 2019 6:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(36/968) took 210983 ms. Total solver calls (SAT/UNSAT): 33306(1856/31450)
Mar 13, 2019 6:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(37/968) took 215706 ms. Total solver calls (SAT/UNSAT): 34236(1858/32378)
Mar 13, 2019 6:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(38/968) took 228165 ms. Total solver calls (SAT/UNSAT): 35165(1860/33305)
Mar 13, 2019 6:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(39/968) took 240489 ms. Total solver calls (SAT/UNSAT): 36093(1862/34231)
Mar 13, 2019 6:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(40/968) took 247374 ms. Total solver calls (SAT/UNSAT): 37020(1864/35156)
Mar 13, 2019 6:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(41/968) took 251882 ms. Total solver calls (SAT/UNSAT): 37946(1866/36080)
Mar 13, 2019 6:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(43/968) took 267777 ms. Total solver calls (SAT/UNSAT): 39793(1908/37885)
Mar 13, 2019 6:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(45/968) took 279626 ms. Total solver calls (SAT/UNSAT): 40694(2369/38325)
Mar 13, 2019 6:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(46/968) took 285586 ms. Total solver calls (SAT/UNSAT): 41573(2410/39163)
Mar 13, 2019 6:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(47/968) took 288630 ms. Total solver calls (SAT/UNSAT): 42451(2451/40000)
Mar 13, 2019 6:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(48/968) took 292184 ms. Total solver calls (SAT/UNSAT): 43328(2492/40836)
Mar 13, 2019 6:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(49/968) took 296899 ms. Total solver calls (SAT/UNSAT): 44204(2533/41671)
Mar 13, 2019 6:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(50/968) took 306999 ms. Total solver calls (SAT/UNSAT): 45079(2574/42505)
Mar 13, 2019 6:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(51/968) took 324732 ms. Total solver calls (SAT/UNSAT): 45953(2615/43338)
Mar 13, 2019 7:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(52/968) took 342476 ms. Total solver calls (SAT/UNSAT): 46826(2656/44170)
Mar 13, 2019 7:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(53/968) took 358373 ms. Total solver calls (SAT/UNSAT): 47698(2697/45001)
Mar 13, 2019 7:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(54/968) took 374867 ms. Total solver calls (SAT/UNSAT): 48569(2738/45831)
Mar 13, 2019 7:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(55/968) took 391983 ms. Total solver calls (SAT/UNSAT): 49439(2779/46660)
Mar 13, 2019 7:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(56/968) took 408981 ms. Total solver calls (SAT/UNSAT): 50308(2820/47488)
Mar 13, 2019 7:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(57/968) took 425960 ms. Total solver calls (SAT/UNSAT): 51176(2861/48315)
Mar 13, 2019 7:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(58/968) took 442904 ms. Total solver calls (SAT/UNSAT): 52043(2902/49141)
Mar 13, 2019 7:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(59/968) took 459415 ms. Total solver calls (SAT/UNSAT): 52909(2943/49966)
Mar 13, 2019 7:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(60/968) took 477545 ms. Total solver calls (SAT/UNSAT): 53774(2984/50790)
Mar 13, 2019 7:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(61/968) took 491137 ms. Total solver calls (SAT/UNSAT): 54638(3025/51613)
Mar 13, 2019 7:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(64/968) took 499938 ms. Total solver calls (SAT/UNSAT): 57224(3148/54076)
Mar 13, 2019 7:02:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(65/968) took 503173 ms. Total solver calls (SAT/UNSAT): 58084(3189/54895)
Mar 13, 2019 7:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(67/968) took 508984 ms. Total solver calls (SAT/UNSAT): 59885(3189/56696)
Mar 13, 2019 7:03:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(69/968) took 523036 ms. Total solver calls (SAT/UNSAT): 61682(3189/58493)
Mar 13, 2019 7:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(70/968) took 535607 ms. Total solver calls (SAT/UNSAT): 62579(3189/59390)
Mar 13, 2019 7:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(71/968) took 545167 ms. Total solver calls (SAT/UNSAT): 63475(3189/60286)
Mar 13, 2019 7:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(72/968) took 551994 ms. Total solver calls (SAT/UNSAT): 64370(3189/61181)
Mar 13, 2019 7:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(73/968) took 555685 ms. Total solver calls (SAT/UNSAT): 65264(3189/62075)
Mar 13, 2019 7:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(74/968) took 560408 ms. Total solver calls (SAT/UNSAT): 66157(3189/62968)
Mar 13, 2019 7:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(75/968) took 569241 ms. Total solver calls (SAT/UNSAT): 67049(3189/63860)
Mar 13, 2019 7:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(76/968) took 575855 ms. Total solver calls (SAT/UNSAT): 67940(3189/64751)
Mar 13, 2019 7:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(77/968) took 583677 ms. Total solver calls (SAT/UNSAT): 68830(3189/65641)
Mar 13, 2019 7:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(78/968) took 587547 ms. Total solver calls (SAT/UNSAT): 69719(3189/66530)
Mar 13, 2019 7:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(79/968) took 595945 ms. Total solver calls (SAT/UNSAT): 70607(3189/67418)
Mar 13, 2019 7:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(80/968) took 613428 ms. Total solver calls (SAT/UNSAT): 71494(3189/68305)
Mar 13, 2019 7:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(82/968) took 620407 ms. Total solver calls (SAT/UNSAT): 73265(3189/70076)
Mar 13, 2019 7:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(83/968) took 623869 ms. Total solver calls (SAT/UNSAT): 74149(3189/70960)
Mar 13, 2019 7:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(85/968) took 627610 ms. Total solver calls (SAT/UNSAT): 75914(3189/72725)
Mar 13, 2019 7:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(86/968) took 632892 ms. Total solver calls (SAT/UNSAT): 76795(3189/73606)
Mar 13, 2019 7:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(87/968) took 638814 ms. Total solver calls (SAT/UNSAT): 77675(3189/74486)
Mar 13, 2019 7:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(88/968) took 642314 ms. Total solver calls (SAT/UNSAT): 78554(3189/75365)
Mar 13, 2019 7:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(90/968) took 645610 ms. Total solver calls (SAT/UNSAT): 80309(3189/77120)
Mar 13, 2019 7:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(91/968) took 650077 ms. Total solver calls (SAT/UNSAT): 81185(3189/77996)
Mar 13, 2019 7:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(92/968) took 657151 ms. Total solver calls (SAT/UNSAT): 82060(3189/78871)
Mar 13, 2019 7:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(93/968) took 662637 ms. Total solver calls (SAT/UNSAT): 82934(3189/79745)
Mar 13, 2019 7:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(94/968) took 671156 ms. Total solver calls (SAT/UNSAT): 83807(3189/80618)
Mar 13, 2019 7:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(95/968) took 675246 ms. Total solver calls (SAT/UNSAT): 84679(3189/81490)
Mar 13, 2019 7:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(96/968) took 678867 ms. Total solver calls (SAT/UNSAT): 85550(3189/82361)
Mar 13, 2019 7:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(98/968) took 688725 ms. Total solver calls (SAT/UNSAT): 87289(3189/84100)
Mar 13, 2019 7:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(99/968) took 694823 ms. Total solver calls (SAT/UNSAT): 88157(3189/84968)
Mar 13, 2019 7:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(100/968) took 700297 ms. Total solver calls (SAT/UNSAT): 89024(3189/85835)
Mar 13, 2019 7:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(101/968) took 707357 ms. Total solver calls (SAT/UNSAT): 89890(3189/86701)
Mar 13, 2019 7:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(102/968) took 716279 ms. Total solver calls (SAT/UNSAT): 90755(3189/87566)
Mar 13, 2019 7:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(103/968) took 723286 ms. Total solver calls (SAT/UNSAT): 91619(3189/88430)
Mar 13, 2019 7:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(104/968) took 729609 ms. Total solver calls (SAT/UNSAT): 92482(3189/89293)
Mar 13, 2019 7:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(105/968) took 742685 ms. Total solver calls (SAT/UNSAT): 93344(3189/90155)
Mar 13, 2019 7:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(106/968) took 752620 ms. Total solver calls (SAT/UNSAT): 94205(3189/91016)
Mar 13, 2019 7:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(108/968) took 756456 ms. Total solver calls (SAT/UNSAT): 95924(3189/92735)
Mar 13, 2019 7:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(111/968) took 761591 ms. Total solver calls (SAT/UNSAT): 98495(3189/95306)
Mar 13, 2019 7:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(112/968) took 771301 ms. Total solver calls (SAT/UNSAT): 99350(3189/96161)
Mar 13, 2019 7:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(113/968) took 788745 ms. Total solver calls (SAT/UNSAT): 100204(3189/97015)
Mar 13, 2019 7:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(114/968) took 801998 ms. Total solver calls (SAT/UNSAT): 101057(3189/97868)
Mar 13, 2019 7:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(115/968) took 805625 ms. Total solver calls (SAT/UNSAT): 101909(3189/98720)
Mar 13, 2019 7:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(116/968) took 813159 ms. Total solver calls (SAT/UNSAT): 102760(3189/99571)
Mar 13, 2019 7:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(117/968) took 820443 ms. Total solver calls (SAT/UNSAT): 103610(3189/100421)
Mar 13, 2019 7:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(118/968) took 824079 ms. Total solver calls (SAT/UNSAT): 104459(3189/101270)
Mar 13, 2019 7:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(120/968) took 828641 ms. Total solver calls (SAT/UNSAT): 106154(3189/102965)
Mar 13, 2019 7:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(121/968) took 832758 ms. Total solver calls (SAT/UNSAT): 107000(3189/103811)
Mar 13, 2019 7:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(122/968) took 846461 ms. Total solver calls (SAT/UNSAT): 107845(3189/104656)
Mar 13, 2019 7:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(123/968) took 852796 ms. Total solver calls (SAT/UNSAT): 108689(3189/105500)
Mar 13, 2019 7:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(124/968) took 856075 ms. Total solver calls (SAT/UNSAT): 109532(3189/106343)
Mar 13, 2019 7:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(125/968) took 869634 ms. Total solver calls (SAT/UNSAT): 110374(3189/107185)
Mar 13, 2019 7:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(126/968) took 874871 ms. Total solver calls (SAT/UNSAT): 111215(3189/108026)
Mar 13, 2019 7:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(127/968) took 881968 ms. Total solver calls (SAT/UNSAT): 112055(3189/108866)
Mar 13, 2019 7:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(128/968) took 887434 ms. Total solver calls (SAT/UNSAT): 112894(3189/109705)
Mar 13, 2019 7:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(129/968) took 890585 ms. Total solver calls (SAT/UNSAT): 113732(3189/110543)
Mar 13, 2019 7:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(130/968) took 897172 ms. Total solver calls (SAT/UNSAT): 114569(3189/111380)
Mar 13, 2019 7:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(131/968) took 901829 ms. Total solver calls (SAT/UNSAT): 115405(3189/112216)
Mar 13, 2019 7:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(132/968) took 911720 ms. Total solver calls (SAT/UNSAT): 116240(3189/113051)
Mar 13, 2019 7:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(133/968) took 924231 ms. Total solver calls (SAT/UNSAT): 117074(3189/113885)
Mar 13, 2019 7:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(134/968) took 928859 ms. Total solver calls (SAT/UNSAT): 117907(3189/114718)
Mar 13, 2019 7:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(135/968) took 938631 ms. Total solver calls (SAT/UNSAT): 118739(3189/115550)
Mar 13, 2019 7:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(136/968) took 946812 ms. Total solver calls (SAT/UNSAT): 119570(3189/116381)
Mar 13, 2019 7:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(137/968) took 955200 ms. Total solver calls (SAT/UNSAT): 120400(3189/117211)
Mar 13, 2019 7:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(138/968) took 962168 ms. Total solver calls (SAT/UNSAT): 121229(3189/118040)
Mar 13, 2019 7:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(139/968) took 974088 ms. Total solver calls (SAT/UNSAT): 122057(3189/118868)
Mar 13, 2019 7:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(140/968) took 978098 ms. Total solver calls (SAT/UNSAT): 122884(3189/119695)
Mar 13, 2019 7:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(142/968) took 982305 ms. Total solver calls (SAT/UNSAT): 124535(3189/121346)
Mar 13, 2019 7:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(143/968) took 988556 ms. Total solver calls (SAT/UNSAT): 125359(3189/122170)
Mar 13, 2019 7:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(145/968) took 991584 ms. Total solver calls (SAT/UNSAT): 127004(3189/123815)
Mar 13, 2019 7:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(146/968) took 998785 ms. Total solver calls (SAT/UNSAT): 127825(3189/124636)
Mar 13, 2019 7:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(147/968) took 1002389 ms. Total solver calls (SAT/UNSAT): 128645(3189/125456)
Mar 13, 2019 7:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(149/968) took 1008492 ms. Total solver calls (SAT/UNSAT): 130282(3189/127093)
Mar 13, 2019 7:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(150/968) took 1015240 ms. Total solver calls (SAT/UNSAT): 131099(3189/127910)
Mar 13, 2019 7:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(151/968) took 1022668 ms. Total solver calls (SAT/UNSAT): 131915(3189/128726)
Mar 13, 2019 7:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(153/968) took 1027993 ms. Total solver calls (SAT/UNSAT): 133544(3189/130355)
Mar 13, 2019 7:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(155/968) took 1033552 ms. Total solver calls (SAT/UNSAT): 135169(3189/131980)
Mar 13, 2019 7:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(156/968) took 1043788 ms. Total solver calls (SAT/UNSAT): 135980(3189/132791)
Mar 13, 2019 7:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(157/968) took 1053562 ms. Total solver calls (SAT/UNSAT): 136790(3189/133601)
Mar 13, 2019 7:12:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(159/968) took 1057604 ms. Total solver calls (SAT/UNSAT): 138407(3189/135218)
Mar 13, 2019 7:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(160/968) took 1063292 ms. Total solver calls (SAT/UNSAT): 139214(3189/136025)
Mar 13, 2019 7:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(161/968) took 1068885 ms. Total solver calls (SAT/UNSAT): 140020(3189/136831)
Mar 13, 2019 7:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(163/968) took 1077892 ms. Total solver calls (SAT/UNSAT): 141629(3189/138440)
Mar 13, 2019 7:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(165/968) took 1083639 ms. Total solver calls (SAT/UNSAT): 143234(3189/140045)
Mar 13, 2019 7:12:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(166/968) took 1089187 ms. Total solver calls (SAT/UNSAT): 144035(3189/140846)
Mar 13, 2019 7:12:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(168/968) took 1093064 ms. Total solver calls (SAT/UNSAT): 145634(3189/142445)
Mar 13, 2019 7:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(170/968) took 1099168 ms. Total solver calls (SAT/UNSAT): 147229(3189/144040)
Mar 13, 2019 7:12:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(173/968) took 1102708 ms. Total solver calls (SAT/UNSAT): 149614(3189/146425)
Mar 13, 2019 7:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(174/968) took 1109370 ms. Total solver calls (SAT/UNSAT): 150407(3189/147218)
Mar 13, 2019 7:13:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(176/968) took 1114187 ms. Total solver calls (SAT/UNSAT): 151990(3189/148801)
Mar 13, 2019 7:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(177/968) took 1121612 ms. Total solver calls (SAT/UNSAT): 152780(3189/149591)
Mar 13, 2019 7:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(179/968) took 1126928 ms. Total solver calls (SAT/UNSAT): 154357(3189/151168)
Mar 13, 2019 7:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(181/968) took 1141112 ms. Total solver calls (SAT/UNSAT): 155930(3189/152741)
Mar 13, 2019 7:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(182/968) took 1150277 ms. Total solver calls (SAT/UNSAT): 156715(3189/153526)
Mar 13, 2019 7:13:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(184/968) took 1161079 ms. Total solver calls (SAT/UNSAT): 158282(3189/155093)
Mar 13, 2019 7:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(185/968) took 1165215 ms. Total solver calls (SAT/UNSAT): 159064(3189/155875)
Mar 13, 2019 7:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(187/968) took 1169399 ms. Total solver calls (SAT/UNSAT): 160625(3189/157436)
Mar 13, 2019 7:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(188/968) took 1175986 ms. Total solver calls (SAT/UNSAT): 161404(3189/158215)
Mar 13, 2019 7:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(192/968) took 1179699 ms. Total solver calls (SAT/UNSAT): 164510(3189/161321)
Mar 13, 2019 7:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(194/968) took 1185039 ms. Total solver calls (SAT/UNSAT): 166057(3189/162868)
Mar 13, 2019 7:14:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(195/968) took 1194394 ms. Total solver calls (SAT/UNSAT): 166829(3189/163640)
Mar 13, 2019 7:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(196/968) took 1202928 ms. Total solver calls (SAT/UNSAT): 167600(3189/164411)
Mar 13, 2019 7:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(197/968) took 1216462 ms. Total solver calls (SAT/UNSAT): 168370(3189/165181)
Mar 13, 2019 7:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(198/968) took 1232253 ms. Total solver calls (SAT/UNSAT): 169139(3189/165950)
Mar 13, 2019 7:15:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(199/968) took 1239789 ms. Total solver calls (SAT/UNSAT): 169907(3189/166718)
Mar 13, 2019 7:15:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(200/968) took 1251919 ms. Total solver calls (SAT/UNSAT): 170674(3189/167485)
Mar 13, 2019 7:15:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(201/968) took 1259569 ms. Total solver calls (SAT/UNSAT): 171440(3189/168251)
Mar 13, 2019 7:15:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(202/968) took 1263572 ms. Total solver calls (SAT/UNSAT): 172205(3189/169016)
Mar 13, 2019 7:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(205/968) took 1267095 ms. Total solver calls (SAT/UNSAT): 174494(3189/171305)
Mar 13, 2019 7:15:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(207/968) took 1277829 ms. Total solver calls (SAT/UNSAT): 176015(3189/172826)
Mar 13, 2019 7:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(208/968) took 1292690 ms. Total solver calls (SAT/UNSAT): 176774(3189/173585)
Mar 13, 2019 7:16:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(209/968) took 1302698 ms. Total solver calls (SAT/UNSAT): 177532(3189/174343)
Mar 13, 2019 7:16:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(210/968) took 1306861 ms. Total solver calls (SAT/UNSAT): 178289(3189/175100)
Mar 13, 2019 7:16:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(211/968) took 1315477 ms. Total solver calls (SAT/UNSAT): 179045(3189/175856)
Mar 13, 2019 7:16:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(212/968) took 1330449 ms. Total solver calls (SAT/UNSAT): 179800(3189/176611)
Mar 13, 2019 7:16:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(213/968) took 1345377 ms. Total solver calls (SAT/UNSAT): 180554(3189/177365)
Mar 13, 2019 7:16:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(214/968) took 1349369 ms. Total solver calls (SAT/UNSAT): 181307(3189/178118)
Mar 13, 2019 7:17:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(215/968) took 1352613 ms. Total solver calls (SAT/UNSAT): 182059(3189/178870)
Mar 13, 2019 7:17:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(217/968) took 1356343 ms. Total solver calls (SAT/UNSAT): 183560(3189/180371)
Mar 13, 2019 7:17:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(218/968) took 1361117 ms. Total solver calls (SAT/UNSAT): 184309(3189/181120)
Mar 13, 2019 7:17:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(221/968) took 1369572 ms. Total solver calls (SAT/UNSAT): 186550(3189/183361)
Mar 13, 2019 7:17:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(222/968) took 1374356 ms. Total solver calls (SAT/UNSAT): 187295(3189/184106)
Mar 13, 2019 7:17:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(223/968) took 1379074 ms. Total solver calls (SAT/UNSAT): 188039(3189/184850)
Mar 13, 2019 7:17:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(224/968) took 1384138 ms. Total solver calls (SAT/UNSAT): 188782(3189/185593)
Mar 13, 2019 7:17:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(226/968) took 1392582 ms. Total solver calls (SAT/UNSAT): 190265(3189/187076)
Mar 13, 2019 7:17:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(229/968) took 1397902 ms. Total solver calls (SAT/UNSAT): 192482(3189/189293)
Mar 13, 2019 7:17:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(230/968) took 1401032 ms. Total solver calls (SAT/UNSAT): 193219(3189/190030)
Mar 13, 2019 7:17:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(232/968) took 1408269 ms. Total solver calls (SAT/UNSAT): 194690(3189/191501)
Mar 13, 2019 7:18:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(233/968) took 1419622 ms. Total solver calls (SAT/UNSAT): 195424(3189/192235)
Mar 13, 2019 7:18:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(234/968) took 1423668 ms. Total solver calls (SAT/UNSAT): 196157(3189/192968)
Mar 13, 2019 7:18:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(235/968) took 1430733 ms. Total solver calls (SAT/UNSAT): 196889(3189/193700)
Mar 13, 2019 7:18:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(236/968) took 1436122 ms. Total solver calls (SAT/UNSAT): 197620(3189/194431)
Mar 13, 2019 7:18:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(238/968) took 1444118 ms. Total solver calls (SAT/UNSAT): 199079(3189/195890)
Mar 13, 2019 7:18:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(239/968) took 1450203 ms. Total solver calls (SAT/UNSAT): 199807(3189/196618)
Mar 13, 2019 7:18:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(240/968) took 1455101 ms. Total solver calls (SAT/UNSAT): 200534(3189/197345)
Mar 13, 2019 7:18:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(244/968) took 1459337 ms. Total solver calls (SAT/UNSAT): 203432(3189/200243)
Mar 13, 2019 7:18:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(247/968) took 1463680 ms. Total solver calls (SAT/UNSAT): 205595(3189/202406)
Mar 13, 2019 7:18:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(249/968) took 1470658 ms. Total solver calls (SAT/UNSAT): 207032(3189/203843)
Mar 13, 2019 7:19:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(250/968) took 1476791 ms. Total solver calls (SAT/UNSAT): 207749(3189/204560)
Mar 13, 2019 7:19:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(253/968) took 1491376 ms. Total solver calls (SAT/UNSAT): 209894(3189/206705)
Mar 13, 2019 7:19:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(255/968) took 1497253 ms. Total solver calls (SAT/UNSAT): 211319(3189/208130)
Mar 13, 2019 7:19:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(256/968) took 1500469 ms. Total solver calls (SAT/UNSAT): 212030(3189/208841)
Mar 13, 2019 7:19:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(258/968) took 1506726 ms. Total solver calls (SAT/UNSAT): 213449(3189/210260)
Mar 13, 2019 7:19:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(260/968) took 1512991 ms. Total solver calls (SAT/UNSAT): 214864(3189/211675)
Mar 13, 2019 7:19:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(262/968) took 1518709 ms. Total solver calls (SAT/UNSAT): 216275(3189/213086)
Mar 13, 2019 7:19:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(263/968) took 1524727 ms. Total solver calls (SAT/UNSAT): 216979(3189/213790)
Mar 13, 2019 7:19:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(264/968) took 1528758 ms. Total solver calls (SAT/UNSAT): 217682(3189/214493)
Mar 13, 2019 7:20:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(266/968) took 1533364 ms. Total solver calls (SAT/UNSAT): 219085(3189/215896)
Mar 13, 2019 7:20:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(267/968) took 1536721 ms. Total solver calls (SAT/UNSAT): 219785(3189/216596)
Mar 13, 2019 7:20:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(268/968) took 1544662 ms. Total solver calls (SAT/UNSAT): 220484(3189/217295)
Mar 13, 2019 7:20:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(269/968) took 1552337 ms. Total solver calls (SAT/UNSAT): 221182(3189/217993)
Mar 13, 2019 7:20:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(270/968) took 1561755 ms. Total solver calls (SAT/UNSAT): 221879(3189/218690)
Mar 13, 2019 7:20:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(271/968) took 1565613 ms. Total solver calls (SAT/UNSAT): 222575(3189/219386)
Mar 13, 2019 7:20:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(273/968) took 1569024 ms. Total solver calls (SAT/UNSAT): 223964(3189/220775)
Mar 13, 2019 7:20:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(275/968) took 1572168 ms. Total solver calls (SAT/UNSAT): 225349(3189/222160)
Mar 13, 2019 7:20:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(277/968) took 1577021 ms. Total solver calls (SAT/UNSAT): 226730(3189/223541)
Mar 13, 2019 7:20:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(278/968) took 1584770 ms. Total solver calls (SAT/UNSAT): 227419(3189/224230)
Mar 13, 2019 7:21:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(279/968) took 1591868 ms. Total solver calls (SAT/UNSAT): 228107(3189/224918)
Mar 13, 2019 7:21:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(281/968) took 1599151 ms. Total solver calls (SAT/UNSAT): 229480(3189/226291)
Mar 13, 2019 7:21:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(282/968) took 1608125 ms. Total solver calls (SAT/UNSAT): 230165(3189/226976)
Mar 13, 2019 7:21:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(283/968) took 1617517 ms. Total solver calls (SAT/UNSAT): 230849(3189/227660)
Mar 13, 2019 7:21:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(285/968) took 1627006 ms. Total solver calls (SAT/UNSAT): 232214(3189/229025)
Mar 13, 2019 7:21:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(288/968) took 1633989 ms. Total solver calls (SAT/UNSAT): 234254(3189/231065)
Mar 13, 2019 7:21:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(289/968) took 1638576 ms. Total solver calls (SAT/UNSAT): 234932(3189/231743)
Mar 13, 2019 7:21:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(290/968) took 1643032 ms. Total solver calls (SAT/UNSAT): 235609(3189/232420)
Mar 13, 2019 7:22:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(292/968) took 1654978 ms. Total solver calls (SAT/UNSAT): 236960(3189/233771)
Mar 13, 2019 7:22:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(293/968) took 1668073 ms. Total solver calls (SAT/UNSAT): 237634(3189/234445)
Mar 13, 2019 7:22:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(295/968) took 1675709 ms. Total solver calls (SAT/UNSAT): 238979(3189/235790)
Mar 13, 2019 7:22:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(297/968) took 1680899 ms. Total solver calls (SAT/UNSAT): 240320(3189/237131)
Mar 13, 2019 7:22:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(299/968) took 1684179 ms. Total solver calls (SAT/UNSAT): 241657(3189/238468)
Mar 13, 2019 7:22:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(300/968) took 1687750 ms. Total solver calls (SAT/UNSAT): 242324(3189/239135)
Mar 13, 2019 7:22:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(303/968) took 1691415 ms. Total solver calls (SAT/UNSAT): 244319(3189/241130)
Mar 13, 2019 7:22:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(304/968) took 1699991 ms. Total solver calls (SAT/UNSAT): 244982(3189/241793)
Mar 13, 2019 7:22:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(306/968) took 1703076 ms. Total solver calls (SAT/UNSAT): 246305(3189/243116)
Mar 13, 2019 7:22:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(307/968) took 1707076 ms. Total solver calls (SAT/UNSAT): 246965(3189/243776)
Mar 13, 2019 7:23:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(310/968) took 1712098 ms. Total solver calls (SAT/UNSAT): 248939(3189/245750)
Mar 13, 2019 7:23:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(312/968) took 1718282 ms. Total solver calls (SAT/UNSAT): 250250(3189/247061)
Mar 13, 2019 7:23:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(313/968) took 1721959 ms. Total solver calls (SAT/UNSAT): 250904(3189/247715)
Mar 13, 2019 7:23:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(314/968) took 1734865 ms. Total solver calls (SAT/UNSAT): 251557(3189/248368)
Mar 13, 2019 7:23:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(315/968) took 1741418 ms. Total solver calls (SAT/UNSAT): 252209(3189/249020)
Mar 13, 2019 7:23:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(316/968) took 1747807 ms. Total solver calls (SAT/UNSAT): 252860(3189/249671)
Mar 13, 2019 7:23:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(317/968) took 1752351 ms. Total solver calls (SAT/UNSAT): 253510(3189/250321)
Mar 13, 2019 7:23:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(318/968) took 1757793 ms. Total solver calls (SAT/UNSAT): 254159(3189/250970)
Mar 13, 2019 7:23:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(319/968) took 1770764 ms. Total solver calls (SAT/UNSAT): 254807(3189/251618)
Mar 13, 2019 7:24:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(320/968) took 1774740 ms. Total solver calls (SAT/UNSAT): 255454(3189/252265)
Mar 13, 2019 7:24:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(321/968) took 1779449 ms. Total solver calls (SAT/UNSAT): 256100(3189/252911)
Mar 13, 2019 7:24:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(322/968) took 1785156 ms. Total solver calls (SAT/UNSAT): 256745(3189/253556)
Mar 13, 2019 7:24:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(324/968) took 1798361 ms. Total solver calls (SAT/UNSAT): 258032(3189/254843)
Mar 13, 2019 7:24:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(327/968) took 1801477 ms. Total solver calls (SAT/UNSAT): 259955(3189/256766)
Mar 13, 2019 7:24:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(328/968) took 1806064 ms. Total solver calls (SAT/UNSAT): 260594(3189/257405)
Mar 13, 2019 7:24:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(329/968) took 1809797 ms. Total solver calls (SAT/UNSAT): 261232(3189/258043)
Mar 13, 2019 7:24:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(330/968) took 1815353 ms. Total solver calls (SAT/UNSAT): 261869(3189/258680)
Mar 13, 2019 7:24:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(331/968) took 1818481 ms. Total solver calls (SAT/UNSAT): 262505(3189/259316)
Mar 13, 2019 7:24:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(332/968) took 1825900 ms. Total solver calls (SAT/UNSAT): 263140(3189/259951)
Mar 13, 2019 7:25:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(333/968) took 1832303 ms. Total solver calls (SAT/UNSAT): 263774(3189/260585)
Mar 13, 2019 7:25:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(334/968) took 1838580 ms. Total solver calls (SAT/UNSAT): 264407(3189/261218)
Mar 13, 2019 7:25:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(335/968) took 1845718 ms. Total solver calls (SAT/UNSAT): 265039(3189/261850)
Mar 13, 2019 7:25:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(336/968) took 1855381 ms. Total solver calls (SAT/UNSAT): 265670(3189/262481)
Mar 13, 2019 7:25:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(337/968) took 1863685 ms. Total solver calls (SAT/UNSAT): 266300(3189/263111)
Mar 13, 2019 7:25:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(338/968) took 1867482 ms. Total solver calls (SAT/UNSAT): 266929(3189/263740)
Mar 13, 2019 7:25:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(339/968) took 1873164 ms. Total solver calls (SAT/UNSAT): 267557(3189/264368)
Mar 13, 2019 7:25:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(341/968) took 1877295 ms. Total solver calls (SAT/UNSAT): 268810(3189/265621)
Mar 13, 2019 7:25:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(343/968) took 1881852 ms. Total solver calls (SAT/UNSAT): 270059(3189/266870)
Mar 13, 2019 7:26:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(344/968) took 1893227 ms. Total solver calls (SAT/UNSAT): 270682(3189/267493)
Mar 13, 2019 7:26:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(345/968) took 1902226 ms. Total solver calls (SAT/UNSAT): 271304(3189/268115)
Mar 13, 2019 7:26:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(347/968) took 1906799 ms. Total solver calls (SAT/UNSAT): 272545(3189/269356)
Mar 13, 2019 7:26:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(351/968) took 1911603 ms. Total solver calls (SAT/UNSAT): 275015(3189/271826)
Mar 13, 2019 7:26:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(352/968) took 1914875 ms. Total solver calls (SAT/UNSAT): 275630(3189/272441)
Mar 13, 2019 7:26:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(353/968) took 1918475 ms. Total solver calls (SAT/UNSAT): 276244(3189/273055)
Mar 13, 2019 7:26:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(354/968) took 1926865 ms. Total solver calls (SAT/UNSAT): 276857(3189/273668)
Mar 13, 2019 7:26:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(355/968) took 1933695 ms. Total solver calls (SAT/UNSAT): 277469(3189/274280)
Mar 13, 2019 7:26:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(356/968) took 1941100 ms. Total solver calls (SAT/UNSAT): 278080(3189/274891)
Mar 13, 2019 7:26:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(357/968) took 1944413 ms. Total solver calls (SAT/UNSAT): 278690(3189/275501)
Mar 13, 2019 7:26:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(358/968) took 1949753 ms. Total solver calls (SAT/UNSAT): 279299(3189/276110)
Mar 13, 2019 7:27:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(359/968) took 1952895 ms. Total solver calls (SAT/UNSAT): 279907(3189/276718)
Mar 13, 2019 7:27:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(361/968) took 1956701 ms. Total solver calls (SAT/UNSAT): 281120(3189/277931)
Mar 13, 2019 7:27:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(365/968) took 1968197 ms. Total solver calls (SAT/UNSAT): 283534(3189/280345)
Mar 13, 2019 7:27:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(366/968) took 1975740 ms. Total solver calls (SAT/UNSAT): 284135(3189/280946)
Mar 13, 2019 7:27:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(367/968) took 1980347 ms. Total solver calls (SAT/UNSAT): 284735(3189/281546)
Mar 13, 2019 7:27:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(368/968) took 1988399 ms. Total solver calls (SAT/UNSAT): 285334(3189/282145)
Mar 13, 2019 7:27:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(369/968) took 1994761 ms. Total solver calls (SAT/UNSAT): 285932(3189/282743)
Mar 13, 2019 7:27:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(370/968) took 2003379 ms. Total solver calls (SAT/UNSAT): 286529(3189/283340)
Mar 13, 2019 7:28:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(372/968) took 2011833 ms. Total solver calls (SAT/UNSAT): 287720(3189/284531)
Mar 13, 2019 7:28:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(373/968) took 2015525 ms. Total solver calls (SAT/UNSAT): 288314(3189/285125)
Mar 13, 2019 7:28:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(375/968) took 2022546 ms. Total solver calls (SAT/UNSAT): 289499(3189/286310)
Mar 13, 2019 7:28:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(377/968) took 2025913 ms. Total solver calls (SAT/UNSAT): 290680(3189/287491)
Mar 13, 2019 7:28:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(379/968) took 2031547 ms. Total solver calls (SAT/UNSAT): 291857(3189/288668)
Mar 13, 2019 7:28:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(380/968) took 2035691 ms. Total solver calls (SAT/UNSAT): 292444(3189/289255)
Mar 13, 2019 7:28:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(381/968) took 2041082 ms. Total solver calls (SAT/UNSAT): 293030(3189/289841)
Mar 13, 2019 7:28:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(382/968) took 2044316 ms. Total solver calls (SAT/UNSAT): 293615(3189/290426)
Mar 13, 2019 7:28:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(383/968) took 2050328 ms. Total solver calls (SAT/UNSAT): 294199(3189/291010)
Mar 13, 2019 7:28:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(385/968) took 2053655 ms. Total solver calls (SAT/UNSAT): 295364(3189/292175)
Mar 13, 2019 7:28:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(388/968) took 2057056 ms. Total solver calls (SAT/UNSAT): 297104(3189/293915)
Mar 13, 2019 7:28:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(389/968) took 2063621 ms. Total solver calls (SAT/UNSAT): 297682(3189/294493)
Mar 13, 2019 7:28:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(393/968) took 2070977 ms. Total solver calls (SAT/UNSAT): 299984(3189/296795)
Mar 13, 2019 7:29:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(395/968) took 2076280 ms. Total solver calls (SAT/UNSAT): 301129(3189/297940)
Mar 13, 2019 7:29:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(398/968) took 2079407 ms. Total solver calls (SAT/UNSAT): 302839(3189/299650)
Mar 13, 2019 7:29:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(401/968) took 2083100 ms. Total solver calls (SAT/UNSAT): 304540(3189/301351)
Mar 13, 2019 7:29:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(404/968) took 2090350 ms. Total solver calls (SAT/UNSAT): 306232(3189/303043)
Mar 13, 2019 7:29:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(406/968) took 2094415 ms. Total solver calls (SAT/UNSAT): 307355(3189/304166)
Mar 13, 2019 7:29:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(407/968) took 2098889 ms. Total solver calls (SAT/UNSAT): 307915(3189/304726)
Mar 13, 2019 7:29:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(409/968) took 2103177 ms. Total solver calls (SAT/UNSAT): 309032(3189/305843)
Mar 13, 2019 7:29:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(411/968) took 2109387 ms. Total solver calls (SAT/UNSAT): 310145(3189/306956)
Mar 13, 2019 7:29:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(412/968) took 2113075 ms. Total solver calls (SAT/UNSAT): 310700(3189/307511)
Mar 13, 2019 7:29:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(413/968) took 2116550 ms. Total solver calls (SAT/UNSAT): 311254(3189/308065)
Mar 13, 2019 7:29:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(415/968) took 2120831 ms. Total solver calls (SAT/UNSAT): 312359(3189/309170)
Mar 13, 2019 7:29:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(416/968) took 2124198 ms. Total solver calls (SAT/UNSAT): 312910(3189/309721)
Mar 13, 2019 7:29:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(417/968) took 2128104 ms. Total solver calls (SAT/UNSAT): 313460(3189/310271)
Mar 13, 2019 7:30:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(419/968) took 2137896 ms. Total solver calls (SAT/UNSAT): 314557(3189/311368)
Mar 13, 2019 7:30:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(421/968) took 2146097 ms. Total solver calls (SAT/UNSAT): 315650(3189/312461)
Mar 13, 2019 7:30:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(422/968) took 2152260 ms. Total solver calls (SAT/UNSAT): 316195(3189/313006)
Mar 13, 2019 7:30:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(424/968) took 2155522 ms. Total solver calls (SAT/UNSAT): 317282(3189/314093)
Mar 13, 2019 7:30:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(427/968) took 2159229 ms. Total solver calls (SAT/UNSAT): 318905(3189/315716)
Mar 13, 2019 7:30:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(428/968) took 2165395 ms. Total solver calls (SAT/UNSAT): 319444(3189/316255)
Mar 13, 2019 7:30:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(429/968) took 2169452 ms. Total solver calls (SAT/UNSAT): 319982(3189/316793)
Mar 13, 2019 7:30:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(431/968) took 2176863 ms. Total solver calls (SAT/UNSAT): 321055(3189/317866)
Mar 13, 2019 7:30:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(432/968) took 2180109 ms. Total solver calls (SAT/UNSAT): 321590(3189/318401)
Mar 13, 2019 7:30:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(434/968) took 2183345 ms. Total solver calls (SAT/UNSAT): 322657(3189/319468)
Mar 13, 2019 7:31:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(436/968) took 2192358 ms. Total solver calls (SAT/UNSAT): 323720(3189/320531)
Mar 13, 2019 7:31:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(437/968) took 2197224 ms. Total solver calls (SAT/UNSAT): 324250(3189/321061)
Mar 13, 2019 7:31:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(438/968) took 2200867 ms. Total solver calls (SAT/UNSAT): 324779(3189/321590)
Mar 13, 2019 7:31:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(440/968) took 2204329 ms. Total solver calls (SAT/UNSAT): 325834(3189/322645)
Mar 13, 2019 7:31:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(441/968) took 2207619 ms. Total solver calls (SAT/UNSAT): 326360(3189/323171)
Mar 13, 2019 7:31:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(442/968) took 2212229 ms. Total solver calls (SAT/UNSAT): 326885(3189/323696)
Mar 13, 2019 7:31:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(444/968) took 2216430 ms. Total solver calls (SAT/UNSAT): 327932(3189/324743)
Mar 13, 2019 7:31:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(445/968) took 2220564 ms. Total solver calls (SAT/UNSAT): 328454(3189/325265)
Mar 13, 2019 7:31:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(446/968) took 2225097 ms. Total solver calls (SAT/UNSAT): 328975(3189/325786)
Mar 13, 2019 7:31:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(447/968) took 2229730 ms. Total solver calls (SAT/UNSAT): 329495(3189/326306)
Mar 13, 2019 7:31:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(448/968) took 2234895 ms. Total solver calls (SAT/UNSAT): 330014(3189/326825)
Mar 13, 2019 7:31:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(450/968) took 2238193 ms. Total solver calls (SAT/UNSAT): 331049(3189/327860)
Mar 13, 2019 7:31:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(452/968) took 2242110 ms. Total solver calls (SAT/UNSAT): 332080(3189/328891)
Mar 13, 2019 7:31:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(456/968) took 2245881 ms. Total solver calls (SAT/UNSAT): 334130(3189/330941)
Mar 13, 2019 7:31:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(458/968) took 2249890 ms. Total solver calls (SAT/UNSAT): 335149(3189/331960)
Mar 13, 2019 7:32:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(462/968) took 2253432 ms. Total solver calls (SAT/UNSAT): 337175(3189/333986)
Mar 13, 2019 7:32:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(464/968) took 2257266 ms. Total solver calls (SAT/UNSAT): 338182(3189/334993)
Mar 13, 2019 7:32:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(465/968) took 2262590 ms. Total solver calls (SAT/UNSAT): 338684(3189/335495)
Mar 13, 2019 7:32:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(469/968) took 2266469 ms. Total solver calls (SAT/UNSAT): 340682(3189/337493)
Mar 13, 2019 7:32:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(471/968) took 2277251 ms. Total solver calls (SAT/UNSAT): 341675(3189/338486)
Mar 13, 2019 7:32:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(472/968) took 2280466 ms. Total solver calls (SAT/UNSAT): 342170(3189/338981)
Mar 13, 2019 7:32:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(473/968) took 2285186 ms. Total solver calls (SAT/UNSAT): 342664(3189/339475)
Mar 13, 2019 7:32:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(474/968) took 2288584 ms. Total solver calls (SAT/UNSAT): 343157(3189/339968)
Mar 13, 2019 7:32:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(477/968) took 2293025 ms. Total solver calls (SAT/UNSAT): 344630(3189/341441)
Mar 13, 2019 7:32:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(478/968) took 2296384 ms. Total solver calls (SAT/UNSAT): 345119(3189/341930)
Mar 13, 2019 7:32:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(480/968) took 2300625 ms. Total solver calls (SAT/UNSAT): 346094(3189/342905)
Mar 13, 2019 7:32:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(482/968) took 2308750 ms. Total solver calls (SAT/UNSAT): 347065(3189/343876)
Mar 13, 2019 7:33:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(484/968) took 2312058 ms. Total solver calls (SAT/UNSAT): 348032(3189/344843)
Mar 13, 2019 7:33:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(487/968) took 2320559 ms. Total solver calls (SAT/UNSAT): 349475(3189/346286)
Mar 13, 2019 7:33:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(489/968) took 2325027 ms. Total solver calls (SAT/UNSAT): 350432(3189/347243)
Mar 13, 2019 7:33:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(490/968) took 2330283 ms. Total solver calls (SAT/UNSAT): 350909(3189/347720)
Mar 13, 2019 7:33:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(491/968) took 2336896 ms. Total solver calls (SAT/UNSAT): 351385(3189/348196)
Mar 13, 2019 7:33:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(492/968) took 2342184 ms. Total solver calls (SAT/UNSAT): 351860(3189/348671)
Mar 13, 2019 7:33:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(493/968) took 2347248 ms. Total solver calls (SAT/UNSAT): 352334(3189/349145)
Mar 13, 2019 7:33:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(494/968) took 2353711 ms. Total solver calls (SAT/UNSAT): 352807(3189/349618)
Mar 13, 2019 7:33:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(495/968) took 2359001 ms. Total solver calls (SAT/UNSAT): 353279(3189/350090)
Mar 13, 2019 7:33:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(497/968) took 2364397 ms. Total solver calls (SAT/UNSAT): 354220(3189/351031)
Mar 13, 2019 7:34:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(500/968) took 2374804 ms. Total solver calls (SAT/UNSAT): 355624(3189/352435)
Mar 13, 2019 7:34:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(502/968) took 2378715 ms. Total solver calls (SAT/UNSAT): 356555(3189/353366)
Mar 13, 2019 7:34:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(504/968) took 2383366 ms. Total solver calls (SAT/UNSAT): 357482(3189/354293)
Mar 13, 2019 7:34:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(506/968) took 2390298 ms. Total solver calls (SAT/UNSAT): 358405(3189/355216)
Mar 13, 2019 7:34:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(507/968) took 2393929 ms. Total solver calls (SAT/UNSAT): 358865(3189/355676)
Mar 13, 2019 7:34:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(508/968) took 2399950 ms. Total solver calls (SAT/UNSAT): 359324(3189/356135)
Mar 13, 2019 7:34:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(510/968) took 2405017 ms. Total solver calls (SAT/UNSAT): 360239(3189/357050)
Mar 13, 2019 7:34:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(511/968) took 2408729 ms. Total solver calls (SAT/UNSAT): 360695(3189/357506)
Mar 13, 2019 7:34:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(513/968) took 2412597 ms. Total solver calls (SAT/UNSAT): 361604(3189/358415)
Mar 13, 2019 7:34:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(515/968) took 2420016 ms. Total solver calls (SAT/UNSAT): 362509(3189/359320)
Mar 13, 2019 7:34:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(516/968) took 2423420 ms. Total solver calls (SAT/UNSAT): 362960(3189/359771)
Mar 13, 2019 7:34:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(517/968) took 2427476 ms. Total solver calls (SAT/UNSAT): 363410(3189/360221)
Mar 13, 2019 7:35:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(519/968) took 2432545 ms. Total solver calls (SAT/UNSAT): 364307(3189/361118)
Mar 13, 2019 7:35:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(520/968) took 2436531 ms. Total solver calls (SAT/UNSAT): 364754(3189/361565)
Mar 13, 2019 7:35:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(521/968) took 2442457 ms. Total solver calls (SAT/UNSAT): 365200(3189/362011)
Mar 13, 2019 7:35:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(525/968) took 2445614 ms. Total solver calls (SAT/UNSAT): 366974(3189/363785)
Mar 13, 2019 7:35:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(527/968) took 2450653 ms. Total solver calls (SAT/UNSAT): 367855(3189/364666)
Mar 13, 2019 7:35:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(528/968) took 2453875 ms. Total solver calls (SAT/UNSAT): 368294(3189/365105)
Mar 13, 2019 7:35:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(529/968) took 2457164 ms. Total solver calls (SAT/UNSAT): 368732(3189/365543)
Mar 13, 2019 7:35:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(530/968) took 2463259 ms. Total solver calls (SAT/UNSAT): 369169(3189/365980)
Mar 13, 2019 7:35:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(532/968) took 2472791 ms. Total solver calls (SAT/UNSAT): 370040(3189/366851)
Mar 13, 2019 7:35:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(533/968) took 2476621 ms. Total solver calls (SAT/UNSAT): 370474(3189/367285)
Mar 13, 2019 7:35:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(534/968) took 2481656 ms. Total solver calls (SAT/UNSAT): 370907(3189/367718)
Mar 13, 2019 7:35:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(535/968) took 2484883 ms. Total solver calls (SAT/UNSAT): 371339(3189/368150)
Mar 13, 2019 7:35:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(536/968) took 2488011 ms. Total solver calls (SAT/UNSAT): 371770(3189/368581)
Mar 13, 2019 7:36:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(537/968) took 2492244 ms. Total solver calls (SAT/UNSAT): 372200(3189/369011)
Mar 13, 2019 7:36:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(539/968) took 2496672 ms. Total solver calls (SAT/UNSAT): 373057(3189/369868)
Mar 13, 2019 7:36:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(541/968) took 2500290 ms. Total solver calls (SAT/UNSAT): 373910(3189/370721)
Mar 13, 2019 7:36:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(543/968) took 2504410 ms. Total solver calls (SAT/UNSAT): 374759(3189/371570)
Mar 13, 2019 7:36:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(545/968) took 2508918 ms. Total solver calls (SAT/UNSAT): 375604(3189/372415)
Mar 13, 2019 7:36:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(547/968) took 2514854 ms. Total solver calls (SAT/UNSAT): 376445(3189/373256)
Mar 13, 2019 7:36:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(549/968) took 2518706 ms. Total solver calls (SAT/UNSAT): 377282(3189/374093)
Mar 13, 2019 7:36:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(550/968) took 2525546 ms. Total solver calls (SAT/UNSAT): 377699(3189/374510)
Mar 13, 2019 7:36:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(552/968) took 2529713 ms. Total solver calls (SAT/UNSAT): 378530(3189/375341)
Mar 13, 2019 7:36:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(554/968) took 2533921 ms. Total solver calls (SAT/UNSAT): 379357(3189/376168)
Mar 13, 2019 7:36:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(555/968) took 2537733 ms. Total solver calls (SAT/UNSAT): 379769(3189/376580)
Mar 13, 2019 7:36:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(556/968) took 2541504 ms. Total solver calls (SAT/UNSAT): 380180(3189/376991)
Mar 13, 2019 7:36:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(557/968) took 2547574 ms. Total solver calls (SAT/UNSAT): 380590(3189/377401)
Mar 13, 2019 7:36:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(558/968) took 2550591 ms. Total solver calls (SAT/UNSAT): 380999(3189/377810)
Mar 13, 2019 7:37:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(560/968) took 2554063 ms. Total solver calls (SAT/UNSAT): 381814(3189/378625)
Mar 13, 2019 7:37:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(564/968) took 2559729 ms. Total solver calls (SAT/UNSAT): 383432(3189/380243)
Mar 13, 2019 7:37:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(566/968) took 2563519 ms. Total solver calls (SAT/UNSAT): 384235(3189/381046)
Mar 13, 2019 7:37:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(570/968) took 2566798 ms. Total solver calls (SAT/UNSAT): 385829(3189/382640)
Mar 13, 2019 7:37:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(574/968) took 2570701 ms. Total solver calls (SAT/UNSAT): 387407(3189/384218)
Mar 13, 2019 7:37:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(575/968) took 2575915 ms. Total solver calls (SAT/UNSAT): 387799(3189/384610)
Mar 13, 2019 7:37:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(576/968) took 2580516 ms. Total solver calls (SAT/UNSAT): 388190(3189/385001)
Mar 13, 2019 7:37:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(579/968) took 2584363 ms. Total solver calls (SAT/UNSAT): 389357(3189/386168)
Mar 13, 2019 7:37:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(582/968) took 2588924 ms. Total solver calls (SAT/UNSAT): 390515(3189/387326)
Mar 13, 2019 7:37:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(584/968) took 2594652 ms. Total solver calls (SAT/UNSAT): 391282(3189/388093)
Mar 13, 2019 7:37:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(586/968) took 2599077 ms. Total solver calls (SAT/UNSAT): 392045(3189/388856)
Mar 13, 2019 7:37:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(590/968) took 2609427 ms. Total solver calls (SAT/UNSAT): 393559(3189/390370)
Mar 13, 2019 7:38:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(591/968) took 2613126 ms. Total solver calls (SAT/UNSAT): 393935(3189/390746)
Mar 13, 2019 7:38:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(592/968) took 2617396 ms. Total solver calls (SAT/UNSAT): 394310(3189/391121)
Mar 13, 2019 7:38:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(594/968) took 2621209 ms. Total solver calls (SAT/UNSAT): 395057(3189/391868)
Mar 13, 2019 7:38:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(597/968) took 2624768 ms. Total solver calls (SAT/UNSAT): 396170(3189/392981)
Mar 13, 2019 7:38:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(598/968) took 2632057 ms. Total solver calls (SAT/UNSAT): 396539(3189/393350)
Mar 13, 2019 7:38:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(599/968) took 2638654 ms. Total solver calls (SAT/UNSAT): 396907(3189/393718)
Mar 13, 2019 7:38:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(602/968) took 2642525 ms. Total solver calls (SAT/UNSAT): 398005(3189/394816)
Mar 13, 2019 7:38:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(603/968) took 2646270 ms. Total solver calls (SAT/UNSAT): 398369(3189/395180)
Mar 13, 2019 7:38:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(605/968) took 2654532 ms. Total solver calls (SAT/UNSAT): 399094(3189/395905)
Mar 13, 2019 7:38:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(606/968) took 2658708 ms. Total solver calls (SAT/UNSAT): 399455(3189/396266)
Mar 13, 2019 7:38:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(607/968) took 2663825 ms. Total solver calls (SAT/UNSAT): 399815(3189/396626)
Mar 13, 2019 7:38:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(608/968) took 2670865 ms. Total solver calls (SAT/UNSAT): 400174(3189/396985)
Mar 13, 2019 7:39:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(609/968) took 2676628 ms. Total solver calls (SAT/UNSAT): 400532(3189/397343)
Mar 13, 2019 7:39:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(610/968) took 2680458 ms. Total solver calls (SAT/UNSAT): 400889(3189/397700)
Mar 13, 2019 7:39:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(611/968) took 2685660 ms. Total solver calls (SAT/UNSAT): 401245(3189/398056)
Mar 13, 2019 7:39:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(613/968) took 2693350 ms. Total solver calls (SAT/UNSAT): 401954(3189/398765)
Mar 13, 2019 7:39:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(616/968) took 2696878 ms. Total solver calls (SAT/UNSAT): 403010(3189/399821)
Mar 13, 2019 7:39:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(617/968) took 2701409 ms. Total solver calls (SAT/UNSAT): 403360(3189/400171)
Mar 13, 2019 7:39:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(618/968) took 2707755 ms. Total solver calls (SAT/UNSAT): 403709(3189/400520)
Mar 13, 2019 7:39:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(619/968) took 2711379 ms. Total solver calls (SAT/UNSAT): 404057(3189/400868)
Mar 13, 2019 7:39:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(621/968) took 2720261 ms. Total solver calls (SAT/UNSAT): 404750(3189/401561)
Mar 13, 2019 7:39:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(625/968) took 2723677 ms. Total solver calls (SAT/UNSAT): 406124(3189/402935)
Mar 13, 2019 7:39:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(627/968) took 2728419 ms. Total solver calls (SAT/UNSAT): 406805(3189/403616)
Mar 13, 2019 7:40:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(632/968) took 2733401 ms. Total solver calls (SAT/UNSAT): 408490(3189/405301)
Mar 13, 2019 7:40:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(633/968) took 2736489 ms. Total solver calls (SAT/UNSAT): 408824(3189/405635)
Mar 13, 2019 7:40:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(637/968) took 2740482 ms. Total solver calls (SAT/UNSAT): 410150(3189/406961)
Mar 13, 2019 7:40:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(638/968) took 2743559 ms. Total solver calls (SAT/UNSAT): 410479(3189/407290)
Mar 13, 2019 7:40:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(641/968) took 2747007 ms. Total solver calls (SAT/UNSAT): 411460(3189/408271)
Mar 13, 2019 7:40:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(644/968) took 2755768 ms. Total solver calls (SAT/UNSAT): 412432(3189/409243)
Mar 13, 2019 7:40:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(646/968) took 2760061 ms. Total solver calls (SAT/UNSAT): 413075(3189/409886)
Mar 13, 2019 7:40:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(649/968) took 2764204 ms. Total solver calls (SAT/UNSAT): 414032(3189/410843)
Mar 13, 2019 7:40:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(651/968) took 2767348 ms. Total solver calls (SAT/UNSAT): 414665(3189/411476)
Mar 13, 2019 7:40:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(652/968) took 2774774 ms. Total solver calls (SAT/UNSAT): 414980(3189/411791)
Mar 13, 2019 7:40:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(653/968) took 2781774 ms. Total solver calls (SAT/UNSAT): 415294(3189/412105)
Mar 13, 2019 7:40:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(655/968) took 2785682 ms. Total solver calls (SAT/UNSAT): 415919(3189/412730)
Mar 13, 2019 7:40:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(657/968) took 2788906 ms. Total solver calls (SAT/UNSAT): 416540(3189/413351)
Mar 13, 2019 7:41:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(659/968) took 2793568 ms. Total solver calls (SAT/UNSAT): 417157(3189/413968)
Mar 13, 2019 7:41:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(661/968) took 2798612 ms. Total solver calls (SAT/UNSAT): 417770(3189/414581)
Mar 13, 2019 7:41:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(663/968) took 2803937 ms. Total solver calls (SAT/UNSAT): 418379(3189/415190)
Mar 13, 2019 7:41:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(665/968) took 2809193 ms. Total solver calls (SAT/UNSAT): 418984(3189/415795)
Mar 13, 2019 7:41:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(666/968) took 2814879 ms. Total solver calls (SAT/UNSAT): 419285(3189/416096)
Mar 13, 2019 7:41:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(668/968) took 2818657 ms. Total solver calls (SAT/UNSAT): 419884(3189/416695)
Mar 13, 2019 7:41:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(672/968) took 2826076 ms. Total solver calls (SAT/UNSAT): 421070(3189/417881)
Mar 13, 2019 7:41:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(675/968) took 2832962 ms. Total solver calls (SAT/UNSAT): 421949(3189/418760)
Mar 13, 2019 7:41:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(677/968) took 2836412 ms. Total solver calls (SAT/UNSAT): 422530(3189/419341)
Mar 13, 2019 7:41:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(679/968) took 2840000 ms. Total solver calls (SAT/UNSAT): 423107(3189/419918)
Mar 13, 2019 7:41:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(681/968) took 2846497 ms. Total solver calls (SAT/UNSAT): 423680(3189/420491)
Mar 13, 2019 7:42:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(682/968) took 2852371 ms. Total solver calls (SAT/UNSAT): 423965(3189/420776)
Mar 13, 2019 7:42:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(685/968) took 2855918 ms. Total solver calls (SAT/UNSAT): 424814(3189/421625)
Mar 13, 2019 7:42:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(689/968) took 2860261 ms. Total solver calls (SAT/UNSAT): 425932(3189/422743)
Mar 13, 2019 7:42:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(691/968) took 2867661 ms. Total solver calls (SAT/UNSAT): 426485(3189/423296)
Mar 13, 2019 7:42:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(694/968) took 2873781 ms. Total solver calls (SAT/UNSAT): 427307(3189/424118)
Mar 13, 2019 7:42:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(697/968) took 2877432 ms. Total solver calls (SAT/UNSAT): 428120(3189/424931)
Mar 13, 2019 7:42:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(699/968) took 2880748 ms. Total solver calls (SAT/UNSAT): 428657(3189/425468)
Mar 13, 2019 7:42:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(700/968) took 2885929 ms. Total solver calls (SAT/UNSAT): 428924(3189/425735)
Mar 13, 2019 7:42:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(702/968) took 2890443 ms. Total solver calls (SAT/UNSAT): 429455(3189/426266)
Mar 13, 2019 7:42:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(704/968) took 2893591 ms. Total solver calls (SAT/UNSAT): 429982(3189/426793)
Mar 13, 2019 7:42:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(712/968) took 2896766 ms. Total solver calls (SAT/UNSAT): 432050(3189/428861)
Mar 13, 2019 7:42:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(717/968) took 2899893 ms. Total solver calls (SAT/UNSAT): 433310(3189/430121)
Mar 13, 2019 7:42:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(719/968) took 2907697 ms. Total solver calls (SAT/UNSAT): 433807(3189/430618)
Mar 13, 2019 7:43:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(722/968) took 2915712 ms. Total solver calls (SAT/UNSAT): 434545(3189/431356)
Mar 13, 2019 7:43:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(724/968) took 2920449 ms. Total solver calls (SAT/UNSAT): 435032(3189/431843)
Mar 13, 2019 7:43:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(725/968) took 2923608 ms. Total solver calls (SAT/UNSAT): 435274(3189/432085)
Mar 13, 2019 7:43:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(726/968) took 2926643 ms. Total solver calls (SAT/UNSAT): 435515(3189/432326)
Mar 13, 2019 7:43:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(728/968) took 2930715 ms. Total solver calls (SAT/UNSAT): 435994(3189/432805)
Mar 13, 2019 7:43:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(730/968) took 2935989 ms. Total solver calls (SAT/UNSAT): 436469(3189/433280)
Mar 13, 2019 7:43:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(732/968) took 2943804 ms. Total solver calls (SAT/UNSAT): 436940(3189/433751)
Mar 13, 2019 7:43:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(734/968) took 2948336 ms. Total solver calls (SAT/UNSAT): 437407(3189/434218)
Mar 13, 2019 7:43:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(736/968) took 2954204 ms. Total solver calls (SAT/UNSAT): 437870(3189/434681)
Mar 13, 2019 7:43:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(739/968) took 2958333 ms. Total solver calls (SAT/UNSAT): 438557(3189/435368)
Mar 13, 2019 7:43:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(741/968) took 2961938 ms. Total solver calls (SAT/UNSAT): 439010(3189/435821)
Mar 13, 2019 7:43:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(745/968) took 2966847 ms. Total solver calls (SAT/UNSAT): 439904(3189/436715)
Mar 13, 2019 7:43:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(746/968) took 2970981 ms. Total solver calls (SAT/UNSAT): 440125(3189/436936)
Mar 13, 2019 7:44:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(749/968) took 2974710 ms. Total solver calls (SAT/UNSAT): 440782(3189/437593)
Mar 13, 2019 7:44:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(754/968) took 2978999 ms. Total solver calls (SAT/UNSAT): 441857(3189/438668)
Mar 13, 2019 7:44:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(756/968) took 2983765 ms. Total solver calls (SAT/UNSAT): 442280(3189/439091)
Mar 13, 2019 7:44:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(761/968) took 2987289 ms. Total solver calls (SAT/UNSAT): 443320(3189/440131)
Mar 13, 2019 7:44:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(763/968) took 2994729 ms. Total solver calls (SAT/UNSAT): 443729(3189/440540)
Mar 13, 2019 7:44:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(766/968) took 2998188 ms. Total solver calls (SAT/UNSAT): 444335(3189/441146)
Mar 13, 2019 7:44:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(770/968) took 3002651 ms. Total solver calls (SAT/UNSAT): 445129(3189/441940)
Mar 13, 2019 7:44:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(775/968) took 3007724 ms. Total solver calls (SAT/UNSAT): 446099(3189/442910)
Mar 13, 2019 7:44:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(779/968) took 3010862 ms. Total solver calls (SAT/UNSAT): 446857(3189/443668)
Mar 13, 2019 7:44:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(781/968) took 3015411 ms. Total solver calls (SAT/UNSAT): 447230(3189/444041)
Mar 13, 2019 7:44:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(784/968) took 3019347 ms. Total solver calls (SAT/UNSAT): 447782(3189/444593)
Mar 13, 2019 7:44:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(789/968) took 3025383 ms. Total solver calls (SAT/UNSAT): 448682(3189/445493)
Mar 13, 2019 7:44:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(793/968) took 3028794 ms. Total solver calls (SAT/UNSAT): 449384(3189/446195)
Mar 13, 2019 7:45:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(795/968) took 3031801 ms. Total solver calls (SAT/UNSAT): 449729(3189/446540)
Mar 13, 2019 7:45:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(799/968) took 3036618 ms. Total solver calls (SAT/UNSAT): 450407(3189/447218)
Mar 13, 2019 7:45:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(802/968) took 3040701 ms. Total solver calls (SAT/UNSAT): 450905(3189/447716)
Mar 13, 2019 7:45:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(806/968) took 3044074 ms. Total solver calls (SAT/UNSAT): 451555(3189/448366)
Mar 13, 2019 7:45:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(811/968) took 3050131 ms. Total solver calls (SAT/UNSAT): 452345(3189/449156)
Mar 13, 2019 7:45:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(818/968) took 3053171 ms. Total solver calls (SAT/UNSAT): 453409(3189/450220)
Mar 13, 2019 7:45:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(819/968) took 3056298 ms. Total solver calls (SAT/UNSAT): 453557(3189/450368)
Mar 13, 2019 7:45:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(821/968) took 3061277 ms. Total solver calls (SAT/UNSAT): 453850(3189/450661)
Mar 13, 2019 7:45:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(825/968) took 3068210 ms. Total solver calls (SAT/UNSAT): 454424(3189/451235)
Mar 13, 2019 7:45:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(830/968) took 3071609 ms. Total solver calls (SAT/UNSAT): 455119(3189/451930)
Mar 13, 2019 7:45:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(835/968) took 3075921 ms. Total solver calls (SAT/UNSAT): 455789(3189/452600)
Mar 13, 2019 7:45:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(843/968) took 3079247 ms. Total solver calls (SAT/UNSAT): 456809(3189/453620)
Mar 13, 2019 7:45:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(849/968) took 3083012 ms. Total solver calls (SAT/UNSAT): 457532(3189/454343)
Mar 13, 2019 7:45:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(855/968) took 3086196 ms. Total solver calls (SAT/UNSAT): 458219(3189/455030)
Mar 13, 2019 7:45:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(859/968) took 3090164 ms. Total solver calls (SAT/UNSAT): 458657(3189/455468)
Mar 13, 2019 7:46:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(862/968) took 3093221 ms. Total solver calls (SAT/UNSAT): 458975(3189/455786)
Mar 13, 2019 7:46:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(864/968) took 3096311 ms. Total solver calls (SAT/UNSAT): 459182(3189/455993)
Mar 13, 2019 7:46:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(867/968) took 3100031 ms. Total solver calls (SAT/UNSAT): 459485(3189/456296)
Mar 13, 2019 7:46:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(869/968) took 3104460 ms. Total solver calls (SAT/UNSAT): 459682(3189/456493)
Mar 13, 2019 7:46:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(874/968) took 3107528 ms. Total solver calls (SAT/UNSAT): 460157(3189/456968)
Mar 13, 2019 7:46:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(881/968) took 3110611 ms. Total solver calls (SAT/UNSAT): 460780(3189/457591)
Mar 13, 2019 7:46:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(888/968) took 3114242 ms. Total solver calls (SAT/UNSAT): 461354(3189/458165)
Mar 13, 2019 7:46:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(891/968) took 3118234 ms. Total solver calls (SAT/UNSAT): 461585(3189/458396)
Mar 13, 2019 7:46:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(897/968) took 3122881 ms. Total solver calls (SAT/UNSAT): 462020(3189/458831)
Mar 13, 2019 7:46:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(902/968) took 3126224 ms. Total solver calls (SAT/UNSAT): 462355(3189/459166)
Mar 13, 2019 7:46:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(905/968) took 3129470 ms. Total solver calls (SAT/UNSAT): 462544(3189/459355)
Mar 13, 2019 7:46:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(926/968) took 3133529 ms. Total solver calls (SAT/UNSAT): 463615(3189/460426)
Mar 13, 2019 7:46:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(930/968) took 3136787 ms. Total solver calls (SAT/UNSAT): 463769(3189/460580)
Mar 13, 2019 7:46:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(934/968) took 3140171 ms. Total solver calls (SAT/UNSAT): 463907(3189/460718)
Mar 13, 2019 7:46:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(937/968) took 3143205 ms. Total solver calls (SAT/UNSAT): 464000(3189/460811)
Mar 13, 2019 7:46:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(946/968) took 3146527 ms. Total solver calls (SAT/UNSAT): 464225(3189/461036)
Mar 13, 2019 7:46:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(957/968) took 3149585 ms. Total solver calls (SAT/UNSAT): 464390(3189/461201)
Mar 13, 2019 7:46:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished co-enabling matrix. took 3150867 ms. Total solver calls (SAT/UNSAT): 464435(3189/461246)
Mar 13, 2019 7:46:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 968 transitions.
Mar 13, 2019 7:47:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 5227 ms. Total solver calls (SAT/UNSAT): 85(0/85)
Mar 13, 2019 7:47:05 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 3195722ms conformant to PINS in folder :/home/mcc/execution

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-V20P20N20"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# 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-V20P20N20, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r019-csrt-155225080600555"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V20P20N20.tgz
mv BridgeAndVehicles-PT-V20P20N20 execution
cd execution
if [ "LTLCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;