Execution Chart

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

Trace from the execution

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

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

=== Now, execution of the tool begins

BK_START 1496522768791


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

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !(("pol6_1_3>=3"))
Formula 0 simplified : !"pol6_1_3>=3"
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 714 rows 421 cols
invariant : 1'po3_2_1 + 1'pol3_2_1= 1
invariant : 1'po1_3_1 + 1'pol1_3_1= 1
invariant : 1'pi4_5_1 + 1'pil4_5_1= 1
invariant : 1'pi6_2_1 + 1'pil6_2_1= 1
invariant : 1'po6_1_1 + 1'pol6_1_1= 1
invariant : 1'po1_5_2 + 1'pol1_5_2= 1
invariant : 1'po4_3_1 + 1'pol4_3_1= 1
invariant : 1'pi3_4_1 + 1'pil3_4_1= 1
invariant : 1'po3_3_3 + 1'pol3_3_3= 1
invariant : 1'pi1_3_1 + 1'pil1_3_1= 1
invariant : 1'po1_2_1 + 1'pol1_2_1= 1
invariant : 1'pi1_2_2 + 1'pil1_2_2= 1
invariant : 1'po3_5_2 + 1'pol3_5_2= 1
invariant : 1'pi3_3_2 + 1'pil3_3_2= 1
invariant : 1'po1_4_1 + 1'pol1_4_1= 1
invariant : 1'po2_5_1 + 1'pol2_5_1= 1
invariant : 1'pi2_4_2 + 1'pil2_4_2= 1
invariant : 1'po3_1_3 + 1'pol3_1_3= 1
invariant : 1'po2_1_3 + 1'pol2_1_3= 1
invariant : 1'pi2_2_4 + 1'pil2_2_4= 1
invariant : 1'po3_2_2 + 1'pol3_2_2= 1
invariant : 1'pi2_5_1 + 1'pil2_5_1= 1
invariant : 1'po1_1_3 + 1'pol1_1_3= 1
invariant : 1'pi3_3_4 + 1'pil3_3_4= 1
invariant : 1'pi2_1_3 + 1'pil2_1_3= 1
invariant : 1'pi3_3_5 + 1'pil3_3_5= 1
invariant : 1'po2_2_2 + 1'pol2_2_2= 1
invariant : 1'pi3_5_1 + 1'pil3_5_1= 1
invariant : 1'po2_2_3 + 1'pol2_2_3= 1
invariant : 1'pi3_4_4 + 1'pil3_4_4= 1
invariant : 1'po2_4_1 + 1'pol2_4_1= 1
invariant : 1'po5_5_1 + 1'pol5_5_1= 1
invariant : 1'pi3_1_3 + 1'pil3_1_3= 1
invariant : 1'po2_4_2 + 1'pol2_4_2= 1
invariant : 1'pi2_3_3 + 1'pil2_3_3= 1
invariant : 1'pi3_5_2 + 1'pil3_5_2= 1
invariant : 1'pi2_3_4 + 1'pil2_3_4= 1
invariant : 1'pi3_3_1 + 1'pil3_3_1= 1
invariant : 1'pb1_3_5 + 1'pb2_3_5 + 1'pb3_3_5 + 1'pb4_3_5 + 1'pb5_3_5 + 1'pb6_3_5 + 1'pbl_3_5= 12
invariant : 1'po3_3_5 + 1'pol3_3_5= 1
invariant : 1'pi2_3_5 + 1'pil2_3_5= 1
invariant : 1'pb1_1_1 + 1'pb2_1_1 + 1'pb3_1_1 + 1'pb4_1_1 + 1'pb5_1_1 + 1'pb6_1_1 + 1'pbl_1_1= 12
invariant : 1'pi2_1_2 + 1'pil2_1_2= 1
invariant : 1'pi6_3_1 + 1'pil6_3_1= 1
invariant : 1'pb1_4_1 + 1'pb2_4_1 + 1'pb3_4_1 + 1'pb4_4_1 + 1'pb5_4_1 + 1'pb6_4_1 + 1'pbl_4_1= 12
invariant : 1'pi2_3_1 + 1'pil2_3_1= 1
invariant : 1'pi2_3_2 + 1'pil2_3_2= 1
invariant : 1'pb1_1_3 + 1'pb2_1_3 + 1'pb3_1_3 + 1'pb4_1_3 + 1'pb5_1_3 + 1'pb6_1_3 + 1'pbl_1_3= 12
invariant : 1'po2_3_3 + 1'pol2_3_3= 1
invariant : 1'pi3_1_1 + 1'pil3_1_1= 1
invariant : 1'po1_4_4 + 1'pol1_4_4= 1
invariant : 1'pi4_3_1 + 1'pil4_3_1= 1
invariant : 1'po3_4_4 + 1'pol3_4_4= 1
invariant : -1'pb1_1_1 + -1'pb1_1_2 + -1'pb1_1_3 + -1'pb1_2_1 + -1'pb1_2_2 + -1'pb1_2_3 + -1'pb1_2_4 + -1'pb1_3_1 + -1'pb1_3_2 + -1'pb1_3_3 + -1'pb1_3_4 + -1'pb1_3_5 + -1'pb1_4_1 + -1'pb1_4_2 + -1'pb1_4_3 + -1'pb1_4_4 + -1'pb1_5_1 + -1'pb1_5_2 + -1'pb1_5_3 + -1'pb2_1_1 + -1'pb2_1_2 + -1'pb2_1_3 + -1'pb2_2_1 + -1'pb2_2_2 + -1'pb2_2_3 + -1'pb2_2_4 + -1'pb2_3_1 + -1'pb2_3_2 + -1'pb2_3_3 + -1'pb2_3_4 + -1'pb2_3_5 + -1'pb2_4_1 + -1'pb2_4_2 + -1'pb2_4_3 + -1'pb2_4_4 + -1'pb2_5_1 + -1'pb2_5_2 + -1'pb2_5_3 + -1'pb3_1_1 + -1'pb3_1_2 + -1'pb3_1_3 + -1'pb3_2_1 + -1'pb3_2_2 + -1'pb3_2_3 + -1'pb3_2_4 + -1'pb3_3_1 + -1'pb3_3_2 + -1'pb3_3_3 + -1'pb3_3_4 + -1'pb3_3_5 + -1'pb3_4_1 + -1'pb3_4_2 + -1'pb3_4_3 + -1'pb3_4_4 + -1'pb3_5_1 + -1'pb3_5_2 + -1'pb3_5_3 + -1'pb4_1_1 + -1'pb4_1_2 + -1'pb4_1_3 + -1'pb4_2_1 + -1'pb4_2_2 + -1'pb4_2_3 + -1'pb4_2_4 + -1'pb4_3_1 + -1'pb4_3_2 + -1'pb4_3_3 + -1'pb4_3_4 + -1'pb4_3_5 + -1'pb4_4_1 + -1'pb4_4_2 + -1'pb4_4_3 + -1'pb4_4_4 + -1'pb4_5_1 + -1'pb4_5_2 + -1'pb4_5_3 + -1'pb5_1_1 + -1'pb5_1_2 + -1'pb5_1_3 + -1'pb5_2_1 + -1'pb5_2_2 + -1'pb5_2_3 + -1'pb5_2_4 + -1'pb5_3_1 + -1'pb5_3_2 + -1'pb5_3_3 + -1'pb5_3_4 + -1'pb5_3_5 + -1'pb5_4_1 + -1'pb5_4_2 + -1'pb5_4_3 + -1'pb5_4_4 + -1'pb5_5_1 + -1'pb5_5_2 + -1'pb5_5_3 + -1'pb6_1_1 + -1'pb6_1_2 + -1'pb6_1_3 + -1'pb6_2_1 + -1'pb6_2_2 + -1'pb6_2_3 + -1'pb6_2_4 + -1'pb6_3_1 + -1'pb6_3_2 + -1'pb6_3_3 + -1'pb6_3_4 + -1'pb6_3_5 + -1'pb6_4_1 + -1'pb6_4_2 + -1'pb6_4_3 + -1'pb6_4_4 + -1'pb6_5_1 + -1'pb6_5_2 + -1'pb6_5_3 + -1'pi1_1_1 + -1'pi1_1_2 + -1'pi1_1_3 + -1'pi1_2_1 + -1'pi1_2_2 + -1'pi1_2_3 + -1'pi1_2_4 + -1'pi1_3_1 + -1'pi1_3_2 + -1'pi1_3_3 + -1'pi1_3_4 + -1'pi1_3_5 + -1'pi1_4_1 + -1'pi1_4_2 + -1'pi1_4_3 + -1'pi1_4_4 + -1'pi1_5_1 + -1'pi1_5_2 + -1'pi1_5_3 + -1'pi2_1_1 + -1'pi2_1_2 + -1'pi2_1_3 + -1'pi2_2_1 + -1'pi2_2_2 + -1'pi2_2_3 + -1'pi2_2_4 + -1'pi2_3_1 + -1'pi2_3_2 + -1'pi2_3_3 + -1'pi2_3_4 + -1'pi2_3_5 + -1'pi2_4_1 + -1'pi2_4_2 + -1'pi2_4_3 + -1'pi2_4_4 + -1'pi2_5_1 + -1'pi2_5_2 + -1'pi2_5_3 + -1'pi3_1_1 + -1'pi3_1_2 + -1'pi3_1_3 + -1'pi3_2_1 + -1'pi3_2_2 + -1'pi3_2_3 + -1'pi3_2_4 + -1'pi3_3_1 + -1'pi3_3_2 + -1'pi3_3_3 + -1'pi3_3_4 + -1'pi3_3_5 + -1'pi3_4_1 + -1'pi3_4_2 + -1'pi3_4_3 + -1'pi3_4_4 + -1'pi3_5_1 + -1'pi3_5_2 + -1'pi3_5_3 + -1'pi4_3_1 + -1'pi4_4_1 + -1'pi4_5_1 + -1'pi4_5_2 + -1'pi4_5_3 + -1'pi5_1_1 + -1'pi5_2_1 + -1'pi5_3_1 + -1'pi5_4_1 + -1'pi5_5_1 + -1'pi6_1_1 + -1'pi6_1_2 + -1'pi6_1_3 + -1'pi6_2_1 + -1'pi6_3_1 + -1'po1_1_1 + -1'po1_1_2 + -1'po1_1_3 + -1'po1_2_1 + -1'po1_2_2 + -1'po1_2_3 + -1'po1_2_4 + -1'po1_3_1 + -1'po1_3_2 + -1'po1_3_3 + -1'po1_3_4 + -1'po1_3_5 + -1'po1_4_1 + -1'po1_4_2 + -1'po1_4_3 + -1'po1_4_4 + -1'po1_5_1 + -1'po1_5_2 + -1'po1_5_3 + -1'po2_1_1 + -1'po2_1_2 + -1'po2_1_3 + -1'po2_2_1 + -1'po2_2_2 + -1'po2_2_3 + -1'po2_2_4 + -1'po2_3_1 + -1'po2_3_2 + -1'po2_3_3 + -1'po2_3_4 + -1'po2_3_5 + -1'po2_4_1 + -1'po2_4_2 + -1'po2_4_3 + -1'po2_4_4 + -1'po2_5_1 + -1'po2_5_2 + -1'po2_5_3 + -1'po3_1_1 + -1'po3_1_2 + -1'po3_1_3 + -1'po3_2_1 + -1'po3_2_2 + -1'po3_2_3 + -1'po3_2_4 + -1'po3_3_1 + -1'po3_3_2 + -1'po3_3_3 + -1'po3_3_4 + -1'po3_3_5 + -1'po3_4_1 + -1'po3_4_2 + -1'po3_4_3 + -1'po3_4_4 + -1'po3_5_1 + -1'po3_5_2 + -1'po3_5_3 + -1'po4_3_1 + -1'po4_4_1 + -1'po4_5_1 + -1'po4_5_2 + -1'po4_5_3 + -1'po5_1_1 + -1'po5_2_1 + -1'po5_3_1 + -1'po5_4_1 + -1'po5_5_1 + -1'po6_1_1 + -1'po6_1_2 + -1'po6_1_3 + -1'po6_2_1 + 1'pol6_3_1= -113
invariant : 1'pi1_5_1 + 1'pil1_5_1= 1
invariant : 1'po3_2_3 + 1'pol3_2_3= 1
invariant : 1'pi5_4_1 + 1'pil5_4_1= 1
invariant : 1'po3_1_2 + 1'pol3_1_2= 1
invariant : 1'po3_5_3 + 1'pol3_5_3= 1
invariant : 1'po2_1_1 + 1'pol2_1_1= 1
invariant : 1'pb1_3_1 + 1'pb2_3_1 + 1'pb3_3_1 + 1'pb4_3_1 + 1'pb5_3_1 + 1'pb6_3_1 + 1'pbl_3_1= 12
invariant : 1'po6_1_3 + 1'pol6_1_3= 1
invariant : 1'pb1_2_4 + 1'pb2_2_4 + 1'pb3_2_4 + 1'pb4_2_4 + 1'pb5_2_4 + 1'pb6_2_4 + 1'pbl_2_4= 12
invariant : 1'pi1_1_3 + 1'pil1_1_3= 1
invariant : 1'pi1_4_3 + 1'pil1_4_3= 1
invariant : 1'po2_3_1 + 1'pol2_3_1= 1
invariant : 1'pi3_2_4 + 1'pil3_2_4= 1
invariant : 1'po3_4_2 + 1'pol3_4_2= 1
invariant : 1'po3_4_1 + 1'pol3_4_1= 1
invariant : 1'po3_3_1 + 1'pol3_3_1= 1
invariant : 1'pb1_2_1 + 1'pb2_2_1 + 1'pb3_2_1 + 1'pb4_2_1 + 1'pb5_2_1 + 1'pb6_2_1 + 1'pbl_2_1= 12
invariant : 1'pi2_5_3 + 1'pil2_5_3= 1
invariant : 1'pi1_2_3 + 1'pil1_2_3= 1
invariant : 1'pi2_2_1 + 1'pil2_2_1= 1
invariant : 1'pi6_1_1 + 1'pil6_1_1= 1
invariant : 1'pi2_4_4 + 1'pil2_4_4= 1
invariant : 1'po1_2_2 + 1'pol1_2_2= 1
invariant : 1'po4_5_1 + 1'pol4_5_1= 1
invariant : 1'pi1_3_2 + 1'pil1_3_2= 1
invariant : 1'pb1_5_1 + 1'pb2_5_1 + 1'pb3_5_1 + 1'pb4_5_1 + 1'pb5_5_1 + 1'pb6_5_1 + 1'pbl_5_1= 12
invariant : 1'po5_3_1 + 1'pol5_3_1= 1
invariant : 1'pi3_5_3 + 1'pil3_5_3= 1
invariant : 1'pb1_4_4 + 1'pb2_4_4 + 1'pb3_4_4 + 1'pb4_4_4 + 1'pb5_4_4 + 1'pb6_4_4 + 1'pbl_4_4= 12
invariant : 1'pb1_3_4 + 1'pb2_3_4 + 1'pb3_3_4 + 1'pb4_3_4 + 1'pb5_3_4 + 1'pb6_3_4 + 1'pbl_3_4= 12
invariant : 1'pi4_4_1 + 1'pil4_4_1= 1
invariant : 1'po1_5_1 + 1'pol1_5_1= 1
invariant : 1'po3_4_3 + 1'pol3_4_3= 1
invariant : 1'pi1_5_2 + 1'pil1_5_2= 1
invariant : 1'pi2_1_1 + 1'pil2_1_1= 1
invariant : 1'po3_3_4 + 1'pol3_3_4= 1
invariant : 1'pi1_3_4 + 1'pil1_3_4= 1
invariant : 1'po5_1_1 + 1'pol5_1_1= 1
invariant : 1'pb1_1_1 + 1'pb1_1_2 + 1'pb1_1_3 + 1'pb1_2_1 + 1'pb1_2_2 + 1'pb1_2_3 + 1'pb1_2_4 + 1'pb1_3_1 + 1'pb1_3_2 + 1'pb1_3_3 + 1'pb1_3_4 + 1'pb1_3_5 + 1'pb1_4_1 + 1'pb1_4_2 + 1'pb1_4_3 + 1'pb1_4_4 + 1'pb1_5_1 + 1'pb1_5_2 + 1'pb1_5_3 + 1'pb2_1_1 + 1'pb2_1_2 + 1'pb2_1_3 + 1'pb2_2_1 + 1'pb2_2_2 + 1'pb2_2_3 + 1'pb2_2_4 + 1'pb2_3_1 + 1'pb2_3_2 + 1'pb2_3_3 + 1'pb2_3_4 + 1'pb2_3_5 + 1'pb2_4_1 + 1'pb2_4_2 + 1'pb2_4_3 + 1'pb2_4_4 + 1'pb2_5_1 + 1'pb2_5_2 + 1'pb2_5_3 + 1'pb3_1_1 + 1'pb3_1_2 + 1'pb3_1_3 + 1'pb3_2_1 + 1'pb3_2_2 + 1'pb3_2_3 + 1'pb3_2_4 + 1'pb3_3_1 + 1'pb3_3_2 + 1'pb3_3_3 + 1'pb3_3_4 + 1'pb3_3_5 + 1'pb3_4_1 + 1'pb3_4_2 + 1'pb3_4_3 + 1'pb3_4_4 + 1'pb3_5_1 + 1'pb3_5_2 + 1'pb3_5_3 + 1'pb4_1_1 + 1'pb4_1_2 + 1'pb4_1_3 + 1'pb4_2_1 + 1'pb4_2_2 + 1'pb4_2_3 + 1'pb4_2_4 + 1'pb4_3_1 + 1'pb4_3_2 + 1'pb4_3_3 + 1'pb4_3_4 + 1'pb4_3_5 + 1'pb4_4_1 + 1'pb4_4_2 + 1'pb4_4_3 + 1'pb4_4_4 + 1'pb4_5_1 + 1'pb4_5_2 + 1'pb4_5_3 + 1'pb5_1_1 + 1'pb5_1_2 + 1'pb5_1_3 + 1'pb5_2_1 + 1'pb5_2_2 + 1'pb5_2_3 + 1'pb5_2_4 + 1'pb5_3_1 + 1'pb5_3_2 + 1'pb5_3_3 + 1'pb5_3_4 + 1'pb5_3_5 + 1'pb5_4_1 + 1'pb5_4_2 + 1'pb5_4_3 + 1'pb5_4_4 + 1'pb5_5_1 + 1'pb5_5_2 + 1'pb5_5_3 + 1'pb6_1_1 + 1'pb6_1_2 + 1'pb6_1_3 + 1'pb6_2_1 + 1'pb6_2_2 + 1'pb6_2_3 + 1'pb6_2_4 + 1'pb6_3_1 + 1'pb6_3_2 + 1'pb6_3_3 + 1'pb6_3_4 + 1'pb6_3_5 + 1'pb6_4_1 + 1'pb6_4_2 + 1'pb6_4_3 + 1'pb6_4_4 + 1'pb6_5_1 + 1'pb6_5_2 + 1'pb6_5_3 + 1'pi1_1_1 + 1'pi1_1_2 + 1'pi1_1_3 + 1'pi1_2_1 + 1'pi1_2_2 + 1'pi1_2_3 + 1'pi1_2_4 + 1'pi1_3_1 + 1'pi1_3_2 + 1'pi1_3_3 + 1'pi1_3_4 + 1'pi1_3_5 + 1'pi1_4_1 + 1'pi1_4_2 + 1'pi1_4_3 + 1'pi1_4_4 + 1'pi1_5_1 + 1'pi1_5_2 + 1'pi1_5_3 + 1'pi2_1_1 + 1'pi2_1_2 + 1'pi2_1_3 + 1'pi2_2_1 + 1'pi2_2_2 + 1'pi2_2_3 + 1'pi2_2_4 + 1'pi2_3_1 + 1'pi2_3_2 + 1'pi2_3_3 + 1'pi2_3_4 + 1'pi2_3_5 + 1'pi2_4_1 + 1'pi2_4_2 + 1'pi2_4_3 + 1'pi2_4_4 + 1'pi2_5_1 + 1'pi2_5_2 + 1'pi2_5_3 + 1'pi3_1_1 + 1'pi3_1_2 + 1'pi3_1_3 + 1'pi3_2_1 + 1'pi3_2_2 + 1'pi3_2_3 + 1'pi3_2_4 + 1'pi3_3_1 + 1'pi3_3_2 + 1'pi3_3_3 + 1'pi3_3_4 + 1'pi3_3_5 + 1'pi3_4_1 + 1'pi3_4_2 + 1'pi3_4_3 + 1'pi3_4_4 + 1'pi3_5_1 + 1'pi3_5_2 + 1'pi3_5_3 + 1'pi4_3_1 + 1'pi4_4_1 + 1'pi4_5_1 + 1'pi4_5_2 + 1'pi4_5_3 + 1'pi5_1_1 + 1'pi5_2_1 + 1'pi5_3_1 + 1'pi5_4_1 + 1'pi5_5_1 + 1'pi6_1_1 + 1'pi6_1_2 + 1'pi6_1_3 + 1'pi6_2_1 + 1'pi6_3_1 + 1'po1_1_1 + 1'po1_1_2 + 1'po1_1_3 + 1'po1_2_1 + 1'po1_2_2 + 1'po1_2_3 + 1'po1_2_4 + 1'po1_3_1 + 1'po1_3_2 + 1'po1_3_3 + 1'po1_3_4 + 1'po1_3_5 + 1'po1_4_1 + 1'po1_4_2 + 1'po1_4_3 + 1'po1_4_4 + 1'po1_5_1 + 1'po1_5_2 + 1'po1_5_3 + 1'po2_1_1 + 1'po2_1_2 + 1'po2_1_3 + 1'po2_2_1 + 1'po2_2_2 + 1'po2_2_3 + 1'po2_2_4 + 1'po2_3_1 + 1'po2_3_2 + 1'po2_3_3 + 1'po2_3_4 + 1'po2_3_5 + 1'po2_4_1 + 1'po2_4_2 + 1'po2_4_3 + 1'po2_4_4 + 1'po2_5_1 + 1'po2_5_2 + 1'po2_5_3 + 1'po3_1_1 + 1'po3_1_2 + 1'po3_1_3 + 1'po3_2_1 + 1'po3_2_2 + 1'po3_2_3 + 1'po3_2_4 + 1'po3_3_1 + 1'po3_3_2 + 1'po3_3_3 + 1'po3_3_4 + 1'po3_3_5 + 1'po3_4_1 + 1'po3_4_2 + 1'po3_4_3 + 1'po3_4_4 + 1'po3_5_1 + 1'po3_5_2 + 1'po3_5_3 + 1'po4_3_1 + 1'po4_4_1 + 1'po4_5_1 + 1'po4_5_2 + 1'po4_5_3 + 1'po5_1_1 + 1'po5_2_1 + 1'po5_3_1 + 1'po5_4_1 + 1'po5_5_1 + 1'po6_1_1 + 1'po6_1_2 + 1'po6_1_3 + 1'po6_2_1 + 1'po6_3_1= 114
invariant : 1'po2_5_2 + 1'pol2_5_2= 1
invariant : 1'pi2_2_2 + 1'pil2_2_2= 1
invariant : 1'po4_5_3 + 1'pol4_5_3= 1
invariant : 1'pi3_1_2 + 1'pil3_1_2= 1
invariant : 1'pb1_3_3 + 1'pb2_3_3 + 1'pb3_3_3 + 1'pb4_3_3 + 1'pb5_3_3 + 1'pb6_3_3 + 1'pbl_3_3= 12
invariant : 1'pi6_1_3 + 1'pil6_1_3= 1
invariant : 1'pi4_5_2 + 1'pil4_5_2= 1
invariant : 1'pi3_4_3 + 1'pil3_4_3= 1
invariant : 1'po5_2_1 + 1'pol5_2_1= 1
invariant : 1'po1_3_3 + 1'pol1_3_3= 1
invariant : 1'po2_2_4 + 1'pol2_2_4= 1
invariant : 1'pi1_4_4 + 1'pil1_4_4= 1
invariant : 1'po2_3_5 + 1'pol2_3_5= 1
invariant : 1'po3_3_2 + 1'pol3_3_2= 1
invariant : 1'pi2_2_3 + 1'pil2_2_3= 1
invariant : 1'po1_4_3 + 1'pol1_4_3= 1
invariant : 1'pi2_4_3 + 1'pil2_4_3= 1
invariant : 1'pi3_3_3 + 1'pil3_3_3= 1
invariant : 1'po1_3_4 + 1'pol1_3_4= 1
invariant : 1'pi1_1_1 + 1'pil1_1_1= 1
invariant : 1'pi1_3_3 + 1'pil1_3_3= 1
invariant : 1'pi3_2_3 + 1'pil3_2_3= 1
invariant : 1'pb1_4_2 + 1'pb2_4_2 + 1'pb3_4_2 + 1'pb4_4_2 + 1'pb5_4_2 + 1'pb6_4_2 + 1'pbl_4_2= 12
invariant : 1'pb1_3_2 + 1'pb2_3_2 + 1'pb3_3_2 + 1'pb4_3_2 + 1'pb5_3_2 + 1'pb6_3_2 + 1'pbl_3_2= 12
invariant : 1'pb1_1_2 + 1'pb2_1_2 + 1'pb3_1_2 + 1'pb4_1_2 + 1'pb5_1_2 + 1'pb6_1_2 + 1'pbl_1_2= 12
invariant : 1'pb1_2_2 + 1'pb2_2_2 + 1'pb3_2_2 + 1'pb4_2_2 + 1'pb5_2_2 + 1'pb6_2_2 + 1'pbl_2_2= 12
invariant : 1'pi6_1_2 + 1'pil6_1_2= 1
invariant : 1'pi1_2_4 + 1'pil1_2_4= 1
invariant : 1'pi1_4_2 + 1'pil1_4_2= 1
invariant : 1'po3_2_4 + 1'pol3_2_4= 1
invariant : 1'po1_1_1 + 1'pol1_1_1= 1
invariant : 1'pb1_2_3 + 1'pb2_2_3 + 1'pb3_2_3 + 1'pb4_2_3 + 1'pb5_2_3 + 1'pb6_2_3 + 1'pbl_2_3= 12
invariant : 1'po1_2_3 + 1'pol1_2_3= 1
invariant : 1'po1_4_2 + 1'pol1_4_2= 1
invariant : 1'pb1_5_3 + 1'pb2_5_3 + 1'pb3_5_3 + 1'pb4_5_3 + 1'pb5_5_3 + 1'pb6_5_3 + 1'pbl_5_3= 12
invariant : 1'po2_4_4 + 1'pol2_4_4= 1
invariant : 1'pi4_5_3 + 1'pil4_5_3= 1
invariant : 1'po1_2_4 + 1'pol1_2_4= 1
invariant : 1'po1_3_5 + 1'pol1_3_5= 1
invariant : 1'pb1_4_3 + 1'pb2_4_3 + 1'pb3_4_3 + 1'pb4_4_3 + 1'pb5_4_3 + 1'pb6_4_3 + 1'pbl_4_3= 12
invariant : 1'po2_3_2 + 1'pol2_3_2= 1
invariant : 1'po3_5_1 + 1'pol3_5_1= 1
invariant : 1'pi3_4_2 + 1'pil3_4_2= 1
invariant : 1'pi1_1_2 + 1'pil1_1_2= 1
invariant : 1'po4_4_1 + 1'pol4_4_1= 1
invariant : 1'pi5_2_1 + 1'pil5_2_1= 1
invariant : 1'pi2_5_2 + 1'pil2_5_2= 1
invariant : 1'po6_2_1 + 1'pol6_2_1= 1
invariant : 1'po1_1_2 + 1'pol1_1_2= 1
invariant : 1'pi5_5_1 + 1'pil5_5_1= 1
invariant : 1'po6_1_2 + 1'pol6_1_2= 1
invariant : 1'po2_1_2 + 1'pol2_1_2= 1
invariant : 1'po2_3_4 + 1'pol2_3_4= 1
invariant : 1'pi2_4_1 + 1'pil2_4_1= 1
invariant : 1'pi3_2_2 + 1'pil3_2_2= 1
invariant : 1'po3_1_1 + 1'pol3_1_1= 1
invariant : 1'po2_2_1 + 1'pol2_2_1= 1
invariant : 1'pi3_2_1 + 1'pil3_2_1= 1
invariant : 1'pi1_3_5 + 1'pil1_3_5= 1
invariant : 1'pb1_5_2 + 1'pb2_5_2 + 1'pb3_5_2 + 1'pb4_5_2 + 1'pb5_5_2 + 1'pb6_5_2 + 1'pbl_5_2= 12
invariant : 1'po5_4_1 + 1'pol5_4_1= 1
invariant : 1'pi1_2_1 + 1'pil1_2_1= 1
invariant : 1'pi1_4_1 + 1'pil1_4_1= 1
invariant : 1'po4_5_2 + 1'pol4_5_2= 1
invariant : 1'po2_4_3 + 1'pol2_4_3= 1
invariant : 1'pi1_5_3 + 1'pil1_5_3= 1
invariant : 1'pi5_3_1 + 1'pil5_3_1= 1
invariant : 1'po1_3_2 + 1'pol1_3_2= 1
invariant : 1'pi5_1_1 + 1'pil5_1_1= 1
invariant : 1'po1_5_3 + 1'pol1_5_3= 1
invariant : 1'po2_5_3 + 1'pol2_5_3= 1
Exit code :137

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 8:46:10 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 8:46:10 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 132 ms
Jun 03, 2017 8:46:10 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 421 places.
Jun 03, 2017 8:46:10 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 714 transitions.
Jun 03, 2017 8:46:10 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 210 ms
Jun 03, 2017 8:46:10 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 30 ms
Jun 03, 2017 8:46:10 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 0 ms
Jun 03, 2017 8:46:11 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 164 place invariants in 229 ms
Jun 03, 2017 8:46:37 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 421 variables to be positive in 25632 ms
Jun 03, 2017 8:46:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 714 transitions.
Jun 03, 2017 8:46:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/714 took 53 ms. Total solver calls (SAT/UNSAT): 11(1/10)
Jun 03, 2017 8:46:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/714 took 1068 ms. Total solver calls (SAT/UNSAT): 189(19/170)
Jun 03, 2017 8:46:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/714 took 2093 ms. Total solver calls (SAT/UNSAT): 371(37/334)
Jun 03, 2017 8:46:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/714 took 3133 ms. Total solver calls (SAT/UNSAT): 545(55/490)
Jun 03, 2017 8:46:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/714 took 4169 ms. Total solver calls (SAT/UNSAT): 723(73/650)
Jun 03, 2017 8:46:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/714 took 5189 ms. Total solver calls (SAT/UNSAT): 905(91/814)
Jun 03, 2017 8:46:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/714 took 6243 ms. Total solver calls (SAT/UNSAT): 1102(110/992)
Jun 03, 2017 8:46:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/714 took 7474 ms. Total solver calls (SAT/UNSAT): 1208(174/1034)
Jun 03, 2017 8:46:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/714 took 8936 ms. Total solver calls (SAT/UNSAT): 1319(264/1055)
Jun 03, 2017 8:46:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/714 took 10412 ms. Total solver calls (SAT/UNSAT): 1430(354/1076)
Jun 03, 2017 8:46:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/714 took 11910 ms. Total solver calls (SAT/UNSAT): 1541(444/1097)
Jun 03, 2017 8:46:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/714 took 13423 ms. Total solver calls (SAT/UNSAT): 1652(534/1118)
Jun 03, 2017 8:46:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/714 took 14930 ms. Total solver calls (SAT/UNSAT): 1763(624/1139)
Jun 03, 2017 8:46:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/714 took 15945 ms. Total solver calls (SAT/UNSAT): 1837(684/1153)
Jun 03, 2017 8:46:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/714 took 16949 ms. Total solver calls (SAT/UNSAT): 1911(744/1167)
Jun 03, 2017 8:46:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/714 took 17958 ms. Total solver calls (SAT/UNSAT): 1985(804/1181)
Jun 03, 2017 8:46:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/714 took 18960 ms. Total solver calls (SAT/UNSAT): 2059(864/1195)
Jun 03, 2017 8:46:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/714 took 19968 ms. Total solver calls (SAT/UNSAT): 2133(924/1209)
Jun 03, 2017 8:46:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/714 took 20983 ms. Total solver calls (SAT/UNSAT): 2207(984/1223)
Jun 03, 2017 8:46:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/714 took 22440 ms. Total solver calls (SAT/UNSAT): 2318(1074/1244)
Jun 03, 2017 8:47:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/714 took 23921 ms. Total solver calls (SAT/UNSAT): 2429(1164/1265)
Jun 03, 2017 8:47:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/714 took 24949 ms. Total solver calls (SAT/UNSAT): 2503(1224/1279)
Jun 03, 2017 8:47:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/714 took 26439 ms. Total solver calls (SAT/UNSAT): 2614(1314/1300)
Jun 03, 2017 8:47:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/714 took 27446 ms. Total solver calls (SAT/UNSAT): 2688(1374/1314)
Jun 03, 2017 8:47:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/714 took 28451 ms. Total solver calls (SAT/UNSAT): 2762(1434/1328)
Jun 03, 2017 8:47:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/714 took 29965 ms. Total solver calls (SAT/UNSAT): 2873(1524/1349)
Jun 03, 2017 8:47:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/714 took 30974 ms. Total solver calls (SAT/UNSAT): 2947(1584/1363)
Jun 03, 2017 8:47:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/714 took 32451 ms. Total solver calls (SAT/UNSAT): 3058(1674/1384)
Jun 03, 2017 8:47:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/714 took 33939 ms. Total solver calls (SAT/UNSAT): 3169(1764/1405)
Jun 03, 2017 8:47:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/714 took 35384 ms. Total solver calls (SAT/UNSAT): 3280(1854/1426)
Jun 03, 2017 8:47:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/714 took 36837 ms. Total solver calls (SAT/UNSAT): 3391(1944/1447)
Jun 03, 2017 8:47:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/714 took 38306 ms. Total solver calls (SAT/UNSAT): 3502(2034/1468)
Jun 03, 2017 8:47:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/714 took 39754 ms. Total solver calls (SAT/UNSAT): 3613(2124/1489)
Jun 03, 2017 8:47:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/714 took 41202 ms. Total solver calls (SAT/UNSAT): 3724(2214/1510)
Jun 03, 2017 8:47:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/714 took 42672 ms. Total solver calls (SAT/UNSAT): 3835(2304/1531)
Jun 03, 2017 8:47:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/714 took 44140 ms. Total solver calls (SAT/UNSAT): 3946(2394/1552)
Jun 03, 2017 8:47:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/714 took 45601 ms. Total solver calls (SAT/UNSAT): 4057(2484/1573)
Jun 03, 2017 8:47:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/714 took 47092 ms. Total solver calls (SAT/UNSAT): 4168(2574/1594)
Jun 03, 2017 8:47:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/714 took 48107 ms. Total solver calls (SAT/UNSAT): 4242(2634/1608)
Jun 03, 2017 8:47:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/714 took 49586 ms. Total solver calls (SAT/UNSAT): 4353(2724/1629)
Jun 03, 2017 8:47:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/714 took 51067 ms. Total solver calls (SAT/UNSAT): 4464(2814/1650)
Jun 03, 2017 8:47:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/714 took 52575 ms. Total solver calls (SAT/UNSAT): 4575(2904/1671)
Jun 03, 2017 8:47:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/714 took 54072 ms. Total solver calls (SAT/UNSAT): 4686(2994/1692)
Jun 03, 2017 8:47:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/714 took 55094 ms. Total solver calls (SAT/UNSAT): 4760(3054/1706)
Jun 03, 2017 8:47:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/714 took 56548 ms. Total solver calls (SAT/UNSAT): 4871(3144/1727)
Jun 03, 2017 8:47:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/714 took 58025 ms. Total solver calls (SAT/UNSAT): 4982(3234/1748)
Jun 03, 2017 8:47:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/714 took 59028 ms. Total solver calls (SAT/UNSAT): 5056(3294/1762)
Jun 03, 2017 8:47:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/714 took 60532 ms. Total solver calls (SAT/UNSAT): 5167(3384/1783)
Jun 03, 2017 8:47:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/714 took 61982 ms. Total solver calls (SAT/UNSAT): 5278(3474/1804)
Jun 03, 2017 8:47:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/714 took 63449 ms. Total solver calls (SAT/UNSAT): 5389(3564/1825)
Jun 03, 2017 8:47:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/714 took 64905 ms. Total solver calls (SAT/UNSAT): 5500(3654/1846)
Jun 03, 2017 8:47:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/714 took 65920 ms. Total solver calls (SAT/UNSAT): 5574(3714/1860)
Jun 03, 2017 8:47:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/714 took 67503 ms. Total solver calls (SAT/UNSAT): 5685(3804/1881)
Jun 03, 2017 8:47:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/714 took 68975 ms. Total solver calls (SAT/UNSAT): 5759(3864/1895)
Jun 03, 2017 8:47:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/714 took 70475 ms. Total solver calls (SAT/UNSAT): 5870(3954/1916)
Jun 03, 2017 8:47:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/714 took 71953 ms. Total solver calls (SAT/UNSAT): 5981(4044/1937)
Jun 03, 2017 8:47:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/714 took 73433 ms. Total solver calls (SAT/UNSAT): 6092(4134/1958)
Jun 03, 2017 8:47:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/714 took 74902 ms. Total solver calls (SAT/UNSAT): 6203(4224/1979)
Jun 03, 2017 8:47:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/714 took 76373 ms. Total solver calls (SAT/UNSAT): 6314(4314/2000)
Jun 03, 2017 8:47:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/714 took 77888 ms. Total solver calls (SAT/UNSAT): 6425(4404/2021)
Jun 03, 2017 8:47:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/714 took 79351 ms. Total solver calls (SAT/UNSAT): 6536(4494/2042)
Jun 03, 2017 8:47:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/714 took 80812 ms. Total solver calls (SAT/UNSAT): 6647(4584/2063)
Jun 03, 2017 8:47:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/714 took 81817 ms. Total solver calls (SAT/UNSAT): 6721(4644/2077)
Jun 03, 2017 8:48:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/714 took 83310 ms. Total solver calls (SAT/UNSAT): 6832(4734/2098)
Jun 03, 2017 8:48:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/714 took 84784 ms. Total solver calls (SAT/UNSAT): 6943(4824/2119)
Jun 03, 2017 8:48:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/714 took 85789 ms. Total solver calls (SAT/UNSAT): 7017(4884/2133)
Jun 03, 2017 8:48:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/714 took 87247 ms. Total solver calls (SAT/UNSAT): 7128(4974/2154)
Jun 03, 2017 8:48:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/714 took 88738 ms. Total solver calls (SAT/UNSAT): 7239(5064/2175)
Jun 03, 2017 8:48:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/714 took 90206 ms. Total solver calls (SAT/UNSAT): 7350(5154/2196)
Jun 03, 2017 8:48:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/714 took 91689 ms. Total solver calls (SAT/UNSAT): 7461(5244/2217)
Jun 03, 2017 8:48:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/714 took 93133 ms. Total solver calls (SAT/UNSAT): 7572(5334/2238)
Jun 03, 2017 8:48:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/714 took 94583 ms. Total solver calls (SAT/UNSAT): 7683(5424/2259)
Jun 03, 2017 8:48:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/714 took 96070 ms. Total solver calls (SAT/UNSAT): 7794(5514/2280)
Jun 03, 2017 8:48:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/714 took 97554 ms. Total solver calls (SAT/UNSAT): 7905(5604/2301)
Jun 03, 2017 8:48:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/714 took 99044 ms. Total solver calls (SAT/UNSAT): 8016(5694/2322)
Jun 03, 2017 8:48:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/714 took 100057 ms. Total solver calls (SAT/UNSAT): 8090(5754/2336)
Jun 03, 2017 8:48:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/714 took 101540 ms. Total solver calls (SAT/UNSAT): 8201(5844/2357)
Jun 03, 2017 8:48:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/714 took 102554 ms. Total solver calls (SAT/UNSAT): 8275(5904/2371)
Jun 03, 2017 8:48:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/714 took 103596 ms. Total solver calls (SAT/UNSAT): 8349(5964/2385)
Jun 03, 2017 8:48:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/714 took 104606 ms. Total solver calls (SAT/UNSAT): 8423(6024/2399)
Jun 03, 2017 8:48:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/714 took 105613 ms. Total solver calls (SAT/UNSAT): 8497(6084/2413)
Jun 03, 2017 8:48:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/714 took 107071 ms. Total solver calls (SAT/UNSAT): 8608(6174/2434)
Jun 03, 2017 8:48:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/714 took 108085 ms. Total solver calls (SAT/UNSAT): 8682(6234/2448)
Jun 03, 2017 8:48:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/714 took 109578 ms. Total solver calls (SAT/UNSAT): 8793(6324/2469)
Jun 03, 2017 8:48:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/714 took 110588 ms. Total solver calls (SAT/UNSAT): 8867(6384/2483)
Jun 03, 2017 8:48:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/714 took 111593 ms. Total solver calls (SAT/UNSAT): 8941(6444/2497)
Jun 03, 2017 8:48:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/714 took 113085 ms. Total solver calls (SAT/UNSAT): 9052(6534/2518)
Jun 03, 2017 8:48:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/714 took 114560 ms. Total solver calls (SAT/UNSAT): 9163(6624/2539)
Jun 03, 2017 8:48:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/714 took 116003 ms. Total solver calls (SAT/UNSAT): 9274(6714/2560)
Jun 03, 2017 8:48:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/714 took 117013 ms. Total solver calls (SAT/UNSAT): 9348(6774/2574)
Jun 03, 2017 8:48:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/714 took 118458 ms. Total solver calls (SAT/UNSAT): 9459(6864/2595)
Jun 03, 2017 8:48:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/714 took 119952 ms. Total solver calls (SAT/UNSAT): 9570(6954/2616)
Jun 03, 2017 8:48:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/714 took 121403 ms. Total solver calls (SAT/UNSAT): 9681(7044/2637)
Jun 03, 2017 8:48:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/714 took 122849 ms. Total solver calls (SAT/UNSAT): 9792(7134/2658)
Jun 03, 2017 8:48:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/714 took 123849 ms. Total solver calls (SAT/UNSAT): 9866(7194/2672)
Jun 03, 2017 8:48:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/714 took 125308 ms. Total solver calls (SAT/UNSAT): 9977(7284/2693)
Jun 03, 2017 8:48:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/714 took 126787 ms. Total solver calls (SAT/UNSAT): 10088(7374/2714)
Jun 03, 2017 8:48:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/714 took 127810 ms. Total solver calls (SAT/UNSAT): 10162(7434/2728)
Jun 03, 2017 8:48:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/714 took 128822 ms. Total solver calls (SAT/UNSAT): 10236(7494/2742)
Jun 03, 2017 8:48:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/714 took 129848 ms. Total solver calls (SAT/UNSAT): 10310(7554/2756)
Jun 03, 2017 8:48:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/714 took 130859 ms. Total solver calls (SAT/UNSAT): 10384(7614/2770)
Jun 03, 2017 8:48:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/714 took 132333 ms. Total solver calls (SAT/UNSAT): 10495(7704/2791)
Jun 03, 2017 8:48:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/714 took 133800 ms. Total solver calls (SAT/UNSAT): 10606(7794/2812)
Jun 03, 2017 8:48:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/714 took 135243 ms. Total solver calls (SAT/UNSAT): 10717(7884/2833)
Jun 03, 2017 8:48:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/714 took 136732 ms. Total solver calls (SAT/UNSAT): 10828(7974/2854)
Jun 03, 2017 8:48:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/714 took 138220 ms. Total solver calls (SAT/UNSAT): 10939(8064/2875)
Jun 03, 2017 8:48:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/714 took 139697 ms. Total solver calls (SAT/UNSAT): 11050(8154/2896)
Jun 03, 2017 8:48:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/714 took 141181 ms. Total solver calls (SAT/UNSAT): 11161(8244/2917)
Jun 03, 2017 8:48:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/714 took 142656 ms. Total solver calls (SAT/UNSAT): 11272(8334/2938)
Jun 03, 2017 8:49:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/714 took 144111 ms. Total solver calls (SAT/UNSAT): 11383(8424/2959)
Jun 03, 2017 8:49:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/714 took 145555 ms. Total solver calls (SAT/UNSAT): 11494(8514/2980)
Jun 03, 2017 8:49:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/714 took 146565 ms. Total solver calls (SAT/UNSAT): 11568(8574/2994)
Jun 03, 2017 8:49:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/714 took 148044 ms. Total solver calls (SAT/UNSAT): 11679(8664/3015)
Jun 03, 2017 8:49:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/714 took 149048 ms. Total solver calls (SAT/UNSAT): 11753(8724/3029)
Jun 03, 2017 8:49:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/714 took 150533 ms. Total solver calls (SAT/UNSAT): 11864(8814/3050)
Jun 03, 2017 8:49:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/714 took 152011 ms. Total solver calls (SAT/UNSAT): 11975(8904/3071)
Jun 03, 2017 8:49:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/714 took 153036 ms. Total solver calls (SAT/UNSAT): 12049(8964/3085)
Jun 03, 2017 8:49:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/714 took 154043 ms. Total solver calls (SAT/UNSAT): 12123(9024/3099)
Jun 03, 2017 8:49:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/714 took 155510 ms. Total solver calls (SAT/UNSAT): 12234(9114/3120)
Jun 03, 2017 8:49:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/714 took 156537 ms. Total solver calls (SAT/UNSAT): 12308(9174/3134)
Jun 03, 2017 8:49:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/714 took 157552 ms. Total solver calls (SAT/UNSAT): 12382(9234/3148)
Jun 03, 2017 8:49:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/714 took 158583 ms. Total solver calls (SAT/UNSAT): 12456(9294/3162)
Jun 03, 2017 8:49:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/714 took 160055 ms. Total solver calls (SAT/UNSAT): 12567(9384/3183)
Jun 03, 2017 8:49:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/714 took 161559 ms. Total solver calls (SAT/UNSAT): 12678(9474/3204)
Jun 03, 2017 8:49:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/714 took 163030 ms. Total solver calls (SAT/UNSAT): 12789(9564/3225)
Jun 03, 2017 8:49:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/714 took 164513 ms. Total solver calls (SAT/UNSAT): 12900(9654/3246)
Jun 03, 2017 8:49:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/714 took 165975 ms. Total solver calls (SAT/UNSAT): 13011(9744/3267)
Jun 03, 2017 8:49:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/714 took 166993 ms. Total solver calls (SAT/UNSAT): 13085(9804/3281)
Jun 03, 2017 8:49:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/714 took 168438 ms. Total solver calls (SAT/UNSAT): 13196(9894/3302)
Jun 03, 2017 8:49:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/714 took 169918 ms. Total solver calls (SAT/UNSAT): 13307(9984/3323)
Jun 03, 2017 8:49:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/714 took 171395 ms. Total solver calls (SAT/UNSAT): 13418(10074/3344)
Jun 03, 2017 8:49:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/714 took 172855 ms. Total solver calls (SAT/UNSAT): 13529(10164/3365)
Jun 03, 2017 8:49:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/714 took 174336 ms. Total solver calls (SAT/UNSAT): 13640(10254/3386)
Jun 03, 2017 8:49:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/714 took 175817 ms. Total solver calls (SAT/UNSAT): 13751(10344/3407)
Jun 03, 2017 8:49:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/714 took 176852 ms. Total solver calls (SAT/UNSAT): 13825(10404/3421)
Jun 03, 2017 8:49:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/714 took 177852 ms. Total solver calls (SAT/UNSAT): 13899(10464/3435)
Jun 03, 2017 8:49:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/714 took 179337 ms. Total solver calls (SAT/UNSAT): 14010(10554/3456)
Jun 03, 2017 8:49:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/714 took 180341 ms. Total solver calls (SAT/UNSAT): 14084(10614/3470)
Jun 03, 2017 8:49:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/714 took 181815 ms. Total solver calls (SAT/UNSAT): 14195(10704/3491)
Jun 03, 2017 8:49:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/714 took 182832 ms. Total solver calls (SAT/UNSAT): 14269(10764/3505)
Jun 03, 2017 8:49:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/714 took 184315 ms. Total solver calls (SAT/UNSAT): 14380(10854/3526)
Jun 03, 2017 8:49:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/714 took 185785 ms. Total solver calls (SAT/UNSAT): 14491(10944/3547)
Jun 03, 2017 8:49:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/714 took 186793 ms. Total solver calls (SAT/UNSAT): 14565(11004/3561)
Jun 03, 2017 8:49:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/714 took 188037 ms. Total solver calls (SAT/UNSAT): 14639(11064/3575)
Jun 03, 2017 8:49:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/714 took 189303 ms. Total solver calls (SAT/UNSAT): 14713(11124/3589)
Jun 03, 2017 8:49:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/714 took 190780 ms. Total solver calls (SAT/UNSAT): 14824(11214/3610)
Jun 03, 2017 8:49:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/714 took 192226 ms. Total solver calls (SAT/UNSAT): 14935(11304/3631)
Jun 03, 2017 8:49:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/714 took 193687 ms. Total solver calls (SAT/UNSAT): 15046(11394/3652)
Jun 03, 2017 8:49:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/714 took 195172 ms. Total solver calls (SAT/UNSAT): 15157(11484/3673)
Jun 03, 2017 8:49:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/714 took 196674 ms. Total solver calls (SAT/UNSAT): 15268(11574/3694)
Jun 03, 2017 8:49:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/714 took 198123 ms. Total solver calls (SAT/UNSAT): 15379(11664/3715)
Jun 03, 2017 8:49:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/714 took 199612 ms. Total solver calls (SAT/UNSAT): 15490(11754/3736)
Jun 03, 2017 8:49:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/714 took 201094 ms. Total solver calls (SAT/UNSAT): 15601(11844/3757)
Jun 03, 2017 8:49:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/714 took 202573 ms. Total solver calls (SAT/UNSAT): 15712(11934/3778)
Jun 03, 2017 8:50:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/714 took 204079 ms. Total solver calls (SAT/UNSAT): 15823(12024/3799)
Jun 03, 2017 8:50:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/714 took 205567 ms. Total solver calls (SAT/UNSAT): 15934(12114/3820)
Jun 03, 2017 8:50:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/714 took 206577 ms. Total solver calls (SAT/UNSAT): 16008(12174/3834)
Jun 03, 2017 8:50:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/714 took 208041 ms. Total solver calls (SAT/UNSAT): 16119(12264/3855)
Jun 03, 2017 8:50:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/714 took 209549 ms. Total solver calls (SAT/UNSAT): 16230(12354/3876)
Jun 03, 2017 8:50:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/714 took 211028 ms. Total solver calls (SAT/UNSAT): 16341(12444/3897)
Jun 03, 2017 8:50:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/714 took 212513 ms. Total solver calls (SAT/UNSAT): 16452(12534/3918)
Jun 03, 2017 8:50:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/714 took 213992 ms. Total solver calls (SAT/UNSAT): 16563(12624/3939)
Jun 03, 2017 8:50:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/714 took 215486 ms. Total solver calls (SAT/UNSAT): 16674(12714/3960)
Jun 03, 2017 8:50:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/714 took 216488 ms. Total solver calls (SAT/UNSAT): 16748(12774/3974)
Jun 03, 2017 8:50:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/714 took 217941 ms. Total solver calls (SAT/UNSAT): 16859(12864/3995)
Jun 03, 2017 8:50:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/714 took 218963 ms. Total solver calls (SAT/UNSAT): 16933(12924/4009)
Jun 03, 2017 8:50:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/714 took 220437 ms. Total solver calls (SAT/UNSAT): 17044(13014/4030)
Jun 03, 2017 8:50:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/714 took 221909 ms. Total solver calls (SAT/UNSAT): 17155(13104/4051)
Jun 03, 2017 8:50:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/714 took 223366 ms. Total solver calls (SAT/UNSAT): 17266(13194/4072)
Jun 03, 2017 8:50:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/714 took 224873 ms. Total solver calls (SAT/UNSAT): 17377(13284/4093)
Jun 03, 2017 8:50:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/714 took 226360 ms. Total solver calls (SAT/UNSAT): 17488(13374/4114)
Jun 03, 2017 8:50:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/714 took 227867 ms. Total solver calls (SAT/UNSAT): 17599(13464/4135)
Jun 03, 2017 8:50:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/714 took 229296 ms. Total solver calls (SAT/UNSAT): 17710(13554/4156)
Jun 03, 2017 8:50:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/714 took 230719 ms. Total solver calls (SAT/UNSAT): 17821(13644/4177)
Jun 03, 2017 8:50:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/714 took 232203 ms. Total solver calls (SAT/UNSAT): 17932(13734/4198)
Jun 03, 2017 8:50:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/714 took 233696 ms. Total solver calls (SAT/UNSAT): 18043(13824/4219)
Jun 03, 2017 8:50:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/714 took 235165 ms. Total solver calls (SAT/UNSAT): 18154(13914/4240)
Jun 03, 2017 8:50:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/714 took 236192 ms. Total solver calls (SAT/UNSAT): 18228(13974/4254)
Jun 03, 2017 8:50:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/714 took 237205 ms. Total solver calls (SAT/UNSAT): 18302(14034/4268)
Jun 03, 2017 8:50:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/714 took 238682 ms. Total solver calls (SAT/UNSAT): 18413(14124/4289)
Jun 03, 2017 8:50:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/714 took 239691 ms. Total solver calls (SAT/UNSAT): 18487(14184/4303)
Jun 03, 2017 8:50:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/714 took 241165 ms. Total solver calls (SAT/UNSAT): 18598(14274/4324)
Jun 03, 2017 8:50:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/714 took 242188 ms. Total solver calls (SAT/UNSAT): 18672(14334/4338)
Jun 03, 2017 8:50:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/714 took 243664 ms. Total solver calls (SAT/UNSAT): 18783(14424/4359)
Jun 03, 2017 8:50:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/714 took 245123 ms. Total solver calls (SAT/UNSAT): 18894(14514/4380)
Jun 03, 2017 8:50:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/714 took 246616 ms. Total solver calls (SAT/UNSAT): 19005(14604/4401)
Jun 03, 2017 8:50:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/714 took 247764 ms. Total solver calls (SAT/UNSAT): 19079(14664/4415)
Jun 03, 2017 8:50:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/714 took 249117 ms. Total solver calls (SAT/UNSAT): 19153(14724/4429)
Jun 03, 2017 8:50:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/714 took 250609 ms. Total solver calls (SAT/UNSAT): 19264(14814/4450)
Jun 03, 2017 8:50:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/714 took 252030 ms. Total solver calls (SAT/UNSAT): 19375(14904/4471)
Jun 03, 2017 8:50:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/714 took 253032 ms. Total solver calls (SAT/UNSAT): 19449(14964/4485)
Jun 03, 2017 8:50:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/714 took 254489 ms. Total solver calls (SAT/UNSAT): 19560(15054/4506)
Jun 03, 2017 8:50:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/714 took 255503 ms. Total solver calls (SAT/UNSAT): 19634(15114/4520)
Jun 03, 2017 8:50:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/714 took 257011 ms. Total solver calls (SAT/UNSAT): 19745(15204/4541)
Jun 03, 2017 8:50:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/714 took 258485 ms. Total solver calls (SAT/UNSAT): 19856(15294/4562)
Jun 03, 2017 8:50:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/714 took 259992 ms. Total solver calls (SAT/UNSAT): 19967(15384/4583)
Jun 03, 2017 8:50:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/714 took 261493 ms. Total solver calls (SAT/UNSAT): 20078(15474/4604)
Jun 03, 2017 8:51:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/714 took 262980 ms. Total solver calls (SAT/UNSAT): 20189(15564/4625)
Jun 03, 2017 8:51:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/714 took 264423 ms. Total solver calls (SAT/UNSAT): 20300(15654/4646)
Jun 03, 2017 8:51:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/714 took 265434 ms. Total solver calls (SAT/UNSAT): 20374(15714/4660)
Jun 03, 2017 8:51:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/714 took 266437 ms. Total solver calls (SAT/UNSAT): 20448(15774/4674)
Jun 03, 2017 8:51:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/714 took 267461 ms. Total solver calls (SAT/UNSAT): 20522(15834/4688)
Jun 03, 2017 8:51:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/714 took 268472 ms. Total solver calls (SAT/UNSAT): 20596(15894/4702)
Jun 03, 2017 8:51:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/714 took 269971 ms. Total solver calls (SAT/UNSAT): 20707(15984/4723)
Jun 03, 2017 8:51:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/714 took 270985 ms. Total solver calls (SAT/UNSAT): 20781(16044/4737)
Jun 03, 2017 8:51:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/714 took 272456 ms. Total solver calls (SAT/UNSAT): 20892(16134/4758)
Jun 03, 2017 8:51:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/714 took 273947 ms. Total solver calls (SAT/UNSAT): 21003(16224/4779)
Jun 03, 2017 8:51:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/714 took 275443 ms. Total solver calls (SAT/UNSAT): 21114(16314/4800)
Jun 03, 2017 8:51:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/714 took 276466 ms. Total solver calls (SAT/UNSAT): 21188(16374/4814)
Jun 03, 2017 8:51:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/714 took 277949 ms. Total solver calls (SAT/UNSAT): 21299(16464/4835)
Jun 03, 2017 8:51:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/714 took 279399 ms. Total solver calls (SAT/UNSAT): 21410(16554/4856)
Jun 03, 2017 8:51:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/714 took 280880 ms. Total solver calls (SAT/UNSAT): 21521(16644/4877)
Jun 03, 2017 8:51:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/714 took 282372 ms. Total solver calls (SAT/UNSAT): 21632(16734/4898)
Jun 03, 2017 8:51:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/714 took 283853 ms. Total solver calls (SAT/UNSAT): 21743(16824/4919)
Jun 03, 2017 8:51:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/714 took 284867 ms. Total solver calls (SAT/UNSAT): 21817(16884/4933)
Jun 03, 2017 8:51:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/714 took 286373 ms. Total solver calls (SAT/UNSAT): 21928(16974/4954)
Jun 03, 2017 8:51:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/714 took 287381 ms. Total solver calls (SAT/UNSAT): 22002(17034/4968)
Jun 03, 2017 8:51:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/714 took 288390 ms. Total solver calls (SAT/UNSAT): 22076(17094/4982)
Jun 03, 2017 8:51:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/714 took 289392 ms. Total solver calls (SAT/UNSAT): 22150(17154/4996)
Jun 03, 2017 8:51:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/714 took 290397 ms. Total solver calls (SAT/UNSAT): 22238(17216/5022)
Jun 03, 2017 8:51:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 290857 ms. Total solver calls (SAT/UNSAT): 22434(17244/5190)
Jun 03, 2017 8:51:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 714 transitions.
Jun 03, 2017 8:51:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/714 took 1042 ms. Total solver calls (SAT/UNSAT): 77(70/7)
Jun 03, 2017 8:51:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/714 took 2161 ms. Total solver calls (SAT/UNSAT): 161(146/15)
Jun 03, 2017 8:51:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/714 took 3195 ms. Total solver calls (SAT/UNSAT): 240(216/24)
Jun 03, 2017 8:51:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/714 took 4261 ms. Total solver calls (SAT/UNSAT): 320(288/32)
Jun 03, 2017 8:51:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/714 took 5283 ms. Total solver calls (SAT/UNSAT): 399(358/41)
Jun 03, 2017 8:51:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/714 took 6395 ms. Total solver calls (SAT/UNSAT): 483(434/49)
Jun 03, 2017 8:51:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/714 took 7532 ms. Total solver calls (SAT/UNSAT): 567(510/57)
Jun 03, 2017 8:51:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/714 took 8564 ms. Total solver calls (SAT/UNSAT): 646(580/66)
Jun 03, 2017 8:51:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/714 took 9586 ms. Total solver calls (SAT/UNSAT): 723(650/73)
Jun 03, 2017 8:51:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/714 took 10668 ms. Total solver calls (SAT/UNSAT): 803(722/81)
Jun 03, 2017 8:51:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/714 took 11700 ms. Total solver calls (SAT/UNSAT): 883(794/89)
Jun 03, 2017 8:51:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/714 took 12711 ms. Total solver calls (SAT/UNSAT): 956(860/96)
Jun 03, 2017 8:51:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/714 took 13832 ms. Total solver calls (SAT/UNSAT): 1040(936/104)
Jun 03, 2017 8:51:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/714 took 14874 ms. Total solver calls (SAT/UNSAT): 1120(1008/112)
Jun 03, 2017 8:51:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/714 took 15973 ms. Total solver calls (SAT/UNSAT): 1245(1041/204)
Jun 03, 2017 8:51:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/714 took 17156 ms. Total solver calls (SAT/UNSAT): 1393(1069/324)
Jun 03, 2017 8:51:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/714 took 18300 ms. Total solver calls (SAT/UNSAT): 1541(1097/444)
Jun 03, 2017 8:51:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/714 took 19505 ms. Total solver calls (SAT/UNSAT): 1689(1125/564)
Jun 03, 2017 8:51:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/714 took 20720 ms. Total solver calls (SAT/UNSAT): 1837(1153/684)
Jun 03, 2017 8:51:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/714 took 21932 ms. Total solver calls (SAT/UNSAT): 1985(1181/804)
Jun 03, 2017 8:51:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/714 took 23111 ms. Total solver calls (SAT/UNSAT): 2133(1209/924)
Jun 03, 2017 8:51:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/714 took 24345 ms. Total solver calls (SAT/UNSAT): 2281(1237/1044)
Jun 03, 2017 8:51:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/714 took 25519 ms. Total solver calls (SAT/UNSAT): 2429(1265/1164)
Jun 03, 2017 8:51:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/714 took 26706 ms. Total solver calls (SAT/UNSAT): 2577(1293/1284)
Jun 03, 2017 8:51:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/714 took 27931 ms. Total solver calls (SAT/UNSAT): 2725(1321/1404)
Jun 03, 2017 8:51:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/714 took 29143 ms. Total solver calls (SAT/UNSAT): 2873(1349/1524)
Jun 03, 2017 8:51:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/714 took 30376 ms. Total solver calls (SAT/UNSAT): 3021(1377/1644)
Jun 03, 2017 8:51:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/714 took 31561 ms. Total solver calls (SAT/UNSAT): 3169(1405/1764)
Jun 03, 2017 8:52:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/714 took 32765 ms. Total solver calls (SAT/UNSAT): 3317(1433/1884)
Jun 03, 2017 8:52:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/714 took 33939 ms. Total solver calls (SAT/UNSAT): 3465(1461/2004)
Jun 03, 2017 8:52:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/714 took 35074 ms. Total solver calls (SAT/UNSAT): 3613(1489/2124)
Jun 03, 2017 8:52:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/714 took 36291 ms. Total solver calls (SAT/UNSAT): 3761(1517/2244)
Jun 03, 2017 8:52:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/714 took 37523 ms. Total solver calls (SAT/UNSAT): 3909(1545/2364)
Jun 03, 2017 8:52:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/714 took 38700 ms. Total solver calls (SAT/UNSAT): 4057(1573/2484)
Jun 03, 2017 8:52:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/714 took 39922 ms. Total solver calls (SAT/UNSAT): 4205(1601/2604)
Jun 03, 2017 8:52:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/714 took 41131 ms. Total solver calls (SAT/UNSAT): 4353(1629/2724)
Jun 03, 2017 8:52:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/714 took 42338 ms. Total solver calls (SAT/UNSAT): 4501(1657/2844)
Jun 03, 2017 8:52:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/714 took 43570 ms. Total solver calls (SAT/UNSAT): 4649(1685/2964)
Jun 03, 2017 8:52:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/714 took 44766 ms. Total solver calls (SAT/UNSAT): 4797(1713/3084)
Jun 03, 2017 8:52:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/714 took 45958 ms. Total solver calls (SAT/UNSAT): 4945(1741/3204)
Jun 03, 2017 8:52:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/714 took 47166 ms. Total solver calls (SAT/UNSAT): 5093(1769/3324)
Jun 03, 2017 8:52:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/714 took 48370 ms. Total solver calls (SAT/UNSAT): 5241(1797/3444)
Jun 03, 2017 8:52:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/714 took 49584 ms. Total solver calls (SAT/UNSAT): 5389(1825/3564)
Jun 03, 2017 8:52:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/714 took 50781 ms. Total solver calls (SAT/UNSAT): 5537(1853/3684)
Jun 03, 2017 8:52:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/714 took 51995 ms. Total solver calls (SAT/UNSAT): 5685(1881/3804)
Jun 03, 2017 8:52:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/714 took 53203 ms. Total solver calls (SAT/UNSAT): 5833(1909/3924)
Jun 03, 2017 8:52:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/714 took 54422 ms. Total solver calls (SAT/UNSAT): 5981(1937/4044)
Jun 03, 2017 8:52:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/714 took 55620 ms. Total solver calls (SAT/UNSAT): 6129(1965/4164)
Jun 03, 2017 8:52:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/714 took 56852 ms. Total solver calls (SAT/UNSAT): 6277(1993/4284)
Jun 03, 2017 8:52:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/714 took 58050 ms. Total solver calls (SAT/UNSAT): 6425(2021/4404)
Jun 03, 2017 8:52:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/714 took 59256 ms. Total solver calls (SAT/UNSAT): 6573(2049/4524)
Jun 03, 2017 8:52:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/714 took 60456 ms. Total solver calls (SAT/UNSAT): 6721(2077/4644)
Jun 03, 2017 8:52:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/714 took 61667 ms. Total solver calls (SAT/UNSAT): 6869(2105/4764)
Jun 03, 2017 8:52:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/714 took 62887 ms. Total solver calls (SAT/UNSAT): 7017(2133/4884)
Jun 03, 2017 8:52:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/714 took 64122 ms. Total solver calls (SAT/UNSAT): 7165(2161/5004)
Jun 03, 2017 8:52:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/714 took 65343 ms. Total solver calls (SAT/UNSAT): 7313(2189/5124)
Jun 03, 2017 8:52:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/714 took 66493 ms. Total solver calls (SAT/UNSAT): 7461(2217/5244)
Jun 03, 2017 8:52:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/714 took 67678 ms. Total solver calls (SAT/UNSAT): 7609(2245/5364)
Jun 03, 2017 8:52:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/714 took 68890 ms. Total solver calls (SAT/UNSAT): 7757(2273/5484)
Jun 03, 2017 8:52:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/714 took 70101 ms. Total solver calls (SAT/UNSAT): 7905(2301/5604)
Jun 03, 2017 8:52:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/714 took 71297 ms. Total solver calls (SAT/UNSAT): 8053(2329/5724)
Jun 03, 2017 8:52:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/714 took 72528 ms. Total solver calls (SAT/UNSAT): 8201(2357/5844)
Jun 03, 2017 8:52:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/714 took 73707 ms. Total solver calls (SAT/UNSAT): 8349(2385/5964)
Jun 03, 2017 8:52:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/714 took 74930 ms. Total solver calls (SAT/UNSAT): 8497(2413/6084)
Jun 03, 2017 8:52:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/714 took 76135 ms. Total solver calls (SAT/UNSAT): 8645(2441/6204)
Jun 03, 2017 8:52:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/714 took 77341 ms. Total solver calls (SAT/UNSAT): 8793(2469/6324)
Jun 03, 2017 8:52:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/714 took 78543 ms. Total solver calls (SAT/UNSAT): 8941(2497/6444)
Jun 03, 2017 8:52:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/714 took 79740 ms. Total solver calls (SAT/UNSAT): 9089(2525/6564)
Jun 03, 2017 8:52:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/714 took 80937 ms. Total solver calls (SAT/UNSAT): 9237(2553/6684)
Jun 03, 2017 8:52:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/714 took 82132 ms. Total solver calls (SAT/UNSAT): 9385(2581/6804)
Jun 03, 2017 8:52:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/714 took 83336 ms. Total solver calls (SAT/UNSAT): 9533(2609/6924)
Jun 03, 2017 8:52:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/714 took 84559 ms. Total solver calls (SAT/UNSAT): 9681(2637/7044)
Jun 03, 2017 8:52:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/714 took 85783 ms. Total solver calls (SAT/UNSAT): 9829(2665/7164)
Jun 03, 2017 8:52:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/714 took 86977 ms. Total solver calls (SAT/UNSAT): 9977(2693/7284)
Jun 03, 2017 8:52:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/714 took 88152 ms. Total solver calls (SAT/UNSAT): 10125(2721/7404)
Jun 03, 2017 8:52:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/714 took 89341 ms. Total solver calls (SAT/UNSAT): 10273(2749/7524)
Jun 03, 2017 8:52:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/714 took 90509 ms. Total solver calls (SAT/UNSAT): 10421(2777/7644)
Jun 03, 2017 8:52:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/714 took 91689 ms. Total solver calls (SAT/UNSAT): 10569(2805/7764)
Jun 03, 2017 8:53:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/714 took 92874 ms. Total solver calls (SAT/UNSAT): 10717(2833/7884)
Jun 03, 2017 8:53:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/714 took 94057 ms. Total solver calls (SAT/UNSAT): 10865(2861/8004)
Jun 03, 2017 8:53:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/714 took 95234 ms. Total solver calls (SAT/UNSAT): 11013(2889/8124)
Jun 03, 2017 8:53:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/714 took 96412 ms. Total solver calls (SAT/UNSAT): 11161(2917/8244)
Jun 03, 2017 8:53:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/714 took 97606 ms. Total solver calls (SAT/UNSAT): 11309(2945/8364)
Jun 03, 2017 8:53:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/714 took 98830 ms. Total solver calls (SAT/UNSAT): 11457(2973/8484)
Jun 03, 2017 8:53:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/714 took 100055 ms. Total solver calls (SAT/UNSAT): 11605(3001/8604)
Jun 03, 2017 8:53:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/714 took 101237 ms. Total solver calls (SAT/UNSAT): 11753(3029/8724)
Jun 03, 2017 8:53:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/714 took 102430 ms. Total solver calls (SAT/UNSAT): 11901(3057/8844)
Jun 03, 2017 8:53:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/714 took 103589 ms. Total solver calls (SAT/UNSAT): 12049(3085/8964)
Jun 03, 2017 8:53:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/714 took 104776 ms. Total solver calls (SAT/UNSAT): 12197(3113/9084)
Jun 03, 2017 8:53:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/714 took 106008 ms. Total solver calls (SAT/UNSAT): 12345(3141/9204)
Jun 03, 2017 8:53:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/714 took 107180 ms. Total solver calls (SAT/UNSAT): 12493(3169/9324)
Jun 03, 2017 8:53:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/714 took 108414 ms. Total solver calls (SAT/UNSAT): 12641(3197/9444)
Jun 03, 2017 8:53:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/714 took 109603 ms. Total solver calls (SAT/UNSAT): 12789(3225/9564)
Jun 03, 2017 8:53:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/714 took 110818 ms. Total solver calls (SAT/UNSAT): 12937(3253/9684)
Jun 03, 2017 8:53:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/714 took 112038 ms. Total solver calls (SAT/UNSAT): 13085(3281/9804)
Jun 03, 2017 8:53:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/714 took 113258 ms. Total solver calls (SAT/UNSAT): 13233(3309/9924)
Jun 03, 2017 8:53:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/714 took 114477 ms. Total solver calls (SAT/UNSAT): 13381(3337/10044)
Jun 03, 2017 8:53:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/714 took 115672 ms. Total solver calls (SAT/UNSAT): 13529(3365/10164)
Jun 03, 2017 8:53:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/714 took 116883 ms. Total solver calls (SAT/UNSAT): 13677(3393/10284)
Jun 03, 2017 8:53:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/714 took 118088 ms. Total solver calls (SAT/UNSAT): 13825(3421/10404)
Jun 03, 2017 8:53:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/714 took 119282 ms. Total solver calls (SAT/UNSAT): 13973(3449/10524)
Jun 03, 2017 8:53:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/714 took 120474 ms. Total solver calls (SAT/UNSAT): 14121(3477/10644)
Jun 03, 2017 8:53:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/714 took 121688 ms. Total solver calls (SAT/UNSAT): 14269(3505/10764)
Jun 03, 2017 8:53:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/714 took 122888 ms. Total solver calls (SAT/UNSAT): 14417(3533/10884)
Jun 03, 2017 8:53:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/714 took 124075 ms. Total solver calls (SAT/UNSAT): 14565(3561/11004)
Jun 03, 2017 8:53:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/714 took 125318 ms. Total solver calls (SAT/UNSAT): 14713(3589/11124)
Jun 03, 2017 8:53:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/714 took 126504 ms. Total solver calls (SAT/UNSAT): 14861(3617/11244)
Jun 03, 2017 8:53:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/714 took 127736 ms. Total solver calls (SAT/UNSAT): 15009(3645/11364)
Jun 03, 2017 8:53:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/714 took 128951 ms. Total solver calls (SAT/UNSAT): 15157(3673/11484)
Jun 03, 2017 8:53:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/714 took 130139 ms. Total solver calls (SAT/UNSAT): 15305(3701/11604)
Jun 03, 2017 8:53:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/714 took 131334 ms. Total solver calls (SAT/UNSAT): 15453(3729/11724)
Jun 03, 2017 8:53:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/714 took 132537 ms. Total solver calls (SAT/UNSAT): 15601(3757/11844)
Jun 03, 2017 8:53:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/714 took 133754 ms. Total solver calls (SAT/UNSAT): 15749(3785/11964)
Jun 03, 2017 8:53:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/714 took 134945 ms. Total solver calls (SAT/UNSAT): 15897(3813/12084)
Jun 03, 2017 8:53:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/714 took 136152 ms. Total solver calls (SAT/UNSAT): 16045(3841/12204)
Jun 03, 2017 8:53:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/714 took 137374 ms. Total solver calls (SAT/UNSAT): 16193(3869/12324)
Jun 03, 2017 8:53:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/714 took 138578 ms. Total solver calls (SAT/UNSAT): 16341(3897/12444)
Jun 03, 2017 8:53:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/714 took 139758 ms. Total solver calls (SAT/UNSAT): 16489(3925/12564)
Jun 03, 2017 8:53:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/714 took 140980 ms. Total solver calls (SAT/UNSAT): 16637(3953/12684)
Jun 03, 2017 8:53:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/714 took 142187 ms. Total solver calls (SAT/UNSAT): 16785(3981/12804)
Jun 03, 2017 8:53:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/714 took 143380 ms. Total solver calls (SAT/UNSAT): 16933(4009/12924)
Jun 03, 2017 8:53:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/714 took 144613 ms. Total solver calls (SAT/UNSAT): 17081(4037/13044)
Jun 03, 2017 8:53:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/714 took 145816 ms. Total solver calls (SAT/UNSAT): 17229(4065/13164)
Jun 03, 2017 8:53:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/714 took 147001 ms. Total solver calls (SAT/UNSAT): 17377(4093/13284)
Jun 03, 2017 8:53:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/714 took 148185 ms. Total solver calls (SAT/UNSAT): 17525(4121/13404)
Jun 03, 2017 8:53:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/714 took 149388 ms. Total solver calls (SAT/UNSAT): 17673(4149/13524)
Jun 03, 2017 8:53:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/714 took 150596 ms. Total solver calls (SAT/UNSAT): 17821(4177/13644)
Jun 03, 2017 8:53:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/714 took 151806 ms. Total solver calls (SAT/UNSAT): 17969(4205/13764)
Jun 03, 2017 8:54:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/714 took 152972 ms. Total solver calls (SAT/UNSAT): 18117(4233/13884)
Jun 03, 2017 8:54:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/714 took 154179 ms. Total solver calls (SAT/UNSAT): 18265(4261/14004)
Jun 03, 2017 8:54:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/714 took 155377 ms. Total solver calls (SAT/UNSAT): 18413(4289/14124)
Jun 03, 2017 8:54:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/714 took 156583 ms. Total solver calls (SAT/UNSAT): 18561(4317/14244)
Jun 03, 2017 8:54:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/714 took 157784 ms. Total solver calls (SAT/UNSAT): 18709(4345/14364)
Jun 03, 2017 8:54:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/714 took 159007 ms. Total solver calls (SAT/UNSAT): 18857(4373/14484)
Jun 03, 2017 8:54:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/714 took 160182 ms. Total solver calls (SAT/UNSAT): 19005(4401/14604)
Jun 03, 2017 8:54:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/714 took 161423 ms. Total solver calls (SAT/UNSAT): 19153(4429/14724)
Jun 03, 2017 8:54:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/714 took 162625 ms. Total solver calls (SAT/UNSAT): 19301(4457/14844)
Jun 03, 2017 8:54:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/714 took 163807 ms. Total solver calls (SAT/UNSAT): 19449(4485/14964)
Jun 03, 2017 8:54:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/714 took 165028 ms. Total solver calls (SAT/UNSAT): 19597(4513/15084)
Jun 03, 2017 8:54:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/714 took 166189 ms. Total solver calls (SAT/UNSAT): 19745(4541/15204)
Jun 03, 2017 8:54:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/714 took 167425 ms. Total solver calls (SAT/UNSAT): 19893(4569/15324)
Jun 03, 2017 8:54:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/714 took 168619 ms. Total solver calls (SAT/UNSAT): 20041(4597/15444)
Jun 03, 2017 8:54:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/714 took 169792 ms. Total solver calls (SAT/UNSAT): 20189(4625/15564)
Jun 03, 2017 8:54:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/714 took 171018 ms. Total solver calls (SAT/UNSAT): 20337(4653/15684)
Jun 03, 2017 8:54:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/714 took 172228 ms. Total solver calls (SAT/UNSAT): 20485(4681/15804)
Jun 03, 2017 8:54:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/714 took 173422 ms. Total solver calls (SAT/UNSAT): 20633(4709/15924)
Jun 03, 2017 8:54:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/714 took 174636 ms. Total solver calls (SAT/UNSAT): 20781(4737/16044)
Jun 03, 2017 8:54:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/714 took 175844 ms. Total solver calls (SAT/UNSAT): 20929(4765/16164)
Jun 03, 2017 8:54:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/714 took 177064 ms. Total solver calls (SAT/UNSAT): 21077(4793/16284)
Jun 03, 2017 8:54:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/714 took 178295 ms. Total solver calls (SAT/UNSAT): 21225(4821/16404)
Jun 03, 2017 8:54:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/714 took 179491 ms. Total solver calls (SAT/UNSAT): 21373(4849/16524)
Jun 03, 2017 8:54:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/714 took 180699 ms. Total solver calls (SAT/UNSAT): 21521(4877/16644)
Jun 03, 2017 8:54:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/714 took 181955 ms. Total solver calls (SAT/UNSAT): 21669(4905/16764)
Jun 03, 2017 8:54:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/714 took 183224 ms. Total solver calls (SAT/UNSAT): 21817(4933/16884)
Jun 03, 2017 8:54:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/714 took 184451 ms. Total solver calls (SAT/UNSAT): 21965(4961/17004)
Jun 03, 2017 8:54:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/714 took 185684 ms. Total solver calls (SAT/UNSAT): 22113(4989/17124)
Jun 03, 2017 8:54:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/714 took 186763 ms. Total solver calls (SAT/UNSAT): 22238(5022/17216)
Jun 03, 2017 8:54:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/714 took 187768 ms. Total solver calls (SAT/UNSAT): 22322(5094/17228)
Jun 03, 2017 8:54:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/714 took 188858 ms. Total solver calls (SAT/UNSAT): 22406(5166/17240)
Jun 03, 2017 8:54:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 189227 ms. Total solver calls (SAT/UNSAT): 22434(5190/17244)
Jun 03, 2017 8:54:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 714 transitions.
Jun 03, 2017 8:54:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/714) took 5498 ms. Total solver calls (SAT/UNSAT): 714(708/6)
Jun 03, 2017 8:54:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/714) took 10977 ms. Total solver calls (SAT/UNSAT): 1427(1415/12)
Jun 03, 2017 8:54:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/714) took 16503 ms. Total solver calls (SAT/UNSAT): 2139(2121/18)
Jun 03, 2017 8:54:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/714) took 21968 ms. Total solver calls (SAT/UNSAT): 2850(2826/24)
Jun 03, 2017 8:55:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/714) took 27407 ms. Total solver calls (SAT/UNSAT): 3560(3530/30)
Jun 03, 2017 8:55:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/714) took 32908 ms. Total solver calls (SAT/UNSAT): 4269(4233/36)
Jun 03, 2017 8:55:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/714) took 38284 ms. Total solver calls (SAT/UNSAT): 4977(4935/42)
Jun 03, 2017 8:55:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/714) took 43693 ms. Total solver calls (SAT/UNSAT): 5684(5636/48)
Jun 03, 2017 8:55:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/714) took 49101 ms. Total solver calls (SAT/UNSAT): 6390(6336/54)
Jun 03, 2017 8:55:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/714) took 54518 ms. Total solver calls (SAT/UNSAT): 7095(7035/60)
Jun 03, 2017 8:55:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/714) took 59948 ms. Total solver calls (SAT/UNSAT): 7799(7733/66)
Jun 03, 2017 8:55:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/714) took 65362 ms. Total solver calls (SAT/UNSAT): 8502(8434/68)
Jun 03, 2017 8:55:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/714) took 70713 ms. Total solver calls (SAT/UNSAT): 9204(9130/74)
Jun 03, 2017 8:55:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/714) took 76035 ms. Total solver calls (SAT/UNSAT): 9905(9825/80)
Jun 03, 2017 8:55:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/714) took 81319 ms. Total solver calls (SAT/UNSAT): 10605(10519/86)
Jun 03, 2017 8:56:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/714) took 86722 ms. Total solver calls (SAT/UNSAT): 11304(11216/88)
Jun 03, 2017 8:56:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/714) took 92155 ms. Total solver calls (SAT/UNSAT): 12002(11912/90)
Jun 03, 2017 8:56:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/714) took 97588 ms. Total solver calls (SAT/UNSAT): 12699(12607/92)
Jun 03, 2017 8:56:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/714) took 102931 ms. Total solver calls (SAT/UNSAT): 13395(13301/94)
Jun 03, 2017 8:56:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/714) took 108294 ms. Total solver calls (SAT/UNSAT): 14090(13990/100)
Jun 03, 2017 8:56:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/714) took 113611 ms. Total solver calls (SAT/UNSAT): 14784(14678/106)
Jun 03, 2017 8:56:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/714) took 118944 ms. Total solver calls (SAT/UNSAT): 15477(15369/108)
Jun 03, 2017 8:56:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/714) took 124273 ms. Total solver calls (SAT/UNSAT): 16169(16055/114)
Jun 03, 2017 8:56:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/714) took 129525 ms. Total solver calls (SAT/UNSAT): 16860(16740/120)
Jun 03, 2017 8:56:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/714) took 134823 ms. Total solver calls (SAT/UNSAT): 17550(17424/126)
Jun 03, 2017 8:56:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/714) took 140227 ms. Total solver calls (SAT/UNSAT): 18239(18111/128)
Jun 03, 2017 8:57:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/714) took 145504 ms. Total solver calls (SAT/UNSAT): 18927(18793/134)
Jun 03, 2017 8:57:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/714) took 150886 ms. Total solver calls (SAT/UNSAT): 19614(19474/140)
Jun 03, 2017 8:57:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/714) took 156425 ms. Total solver calls (SAT/UNSAT): 20300(20154/146)
Jun 03, 2017 8:57:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/714) took 161669 ms. Total solver calls (SAT/UNSAT): 20985(20833/152)
Jun 03, 2017 8:57:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/714) took 167101 ms. Total solver calls (SAT/UNSAT): 21669(21515/154)
Jun 03, 2017 8:57:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/714) took 172515 ms. Total solver calls (SAT/UNSAT): 22352(22192/160)
Jun 03, 2017 8:57:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/714) took 177804 ms. Total solver calls (SAT/UNSAT): 23034(22868/166)
Jun 03, 2017 8:57:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/714) took 183063 ms. Total solver calls (SAT/UNSAT): 23715(23543/172)
Jun 03, 2017 8:57:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/714) took 188539 ms. Total solver calls (SAT/UNSAT): 24395(24221/174)
Jun 03, 2017 8:57:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/714) took 193779 ms. Total solver calls (SAT/UNSAT): 25074(24894/180)
Jun 03, 2017 8:57:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/714) took 199008 ms. Total solver calls (SAT/UNSAT): 25752(25566/186)
Jun 03, 2017 8:58:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/714) took 204371 ms. Total solver calls (SAT/UNSAT): 26429(26241/188)
Jun 03, 2017 8:58:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/714) took 209642 ms. Total solver calls (SAT/UNSAT): 27105(26915/190)
Jun 03, 2017 8:58:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/714) took 214881 ms. Total solver calls (SAT/UNSAT): 27780(27588/192)
Jun 03, 2017 8:58:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/714) took 220142 ms. Total solver calls (SAT/UNSAT): 28454(28260/194)
Jun 03, 2017 8:58:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/714) took 225397 ms. Total solver calls (SAT/UNSAT): 29127(28927/200)
Jun 03, 2017 8:58:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/714) took 230595 ms. Total solver calls (SAT/UNSAT): 29799(29593/206)
Jun 03, 2017 8:58:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/714) took 235846 ms. Total solver calls (SAT/UNSAT): 30470(30258/212)
Jun 03, 2017 8:58:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/714) took 241015 ms. Total solver calls (SAT/UNSAT): 31140(30926/214)
Jun 03, 2017 8:58:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/714) took 246242 ms. Total solver calls (SAT/UNSAT): 31809(31589/220)
Jun 03, 2017 8:58:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/714) took 251424 ms. Total solver calls (SAT/UNSAT): 32477(32251/226)
Jun 03, 2017 8:58:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/714) took 256620 ms. Total solver calls (SAT/UNSAT): 33144(32912/232)
Jun 03, 2017 8:58:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/714) took 261994 ms. Total solver calls (SAT/UNSAT): 33810(33572/238)
Jun 03, 2017 8:59:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/714) took 267200 ms. Total solver calls (SAT/UNSAT): 34475(34235/240)
Jun 03, 2017 8:59:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/714) took 272305 ms. Total solver calls (SAT/UNSAT): 35139(34893/246)
Jun 03, 2017 8:59:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/714) took 277633 ms. Total solver calls (SAT/UNSAT): 35802(35550/252)
Jun 03, 2017 8:59:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/714) took 282878 ms. Total solver calls (SAT/UNSAT): 36464(36206/258)
Jun 03, 2017 8:59:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/714) took 288013 ms. Total solver calls (SAT/UNSAT): 37125(36861/264)
Jun 03, 2017 8:59:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/714) took 293178 ms. Total solver calls (SAT/UNSAT): 37785(37515/270)
Jun 03, 2017 8:59:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/714) took 298280 ms. Total solver calls (SAT/UNSAT): 38444(38168/276)
Jun 03, 2017 8:59:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/714) took 303432 ms. Total solver calls (SAT/UNSAT): 39102(38820/282)
Jun 03, 2017 9:00:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/714) took 357872 ms. Total solver calls (SAT/UNSAT): 39759(39475/284)
Jun 03, 2017 9:00:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/714) took 362963 ms. Total solver calls (SAT/UNSAT): 40415(40129/286)
Jun 03, 2017 9:00:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/714) took 368009 ms. Total solver calls (SAT/UNSAT): 41070(40782/288)
Jun 03, 2017 9:00:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/714) took 373088 ms. Total solver calls (SAT/UNSAT): 41724(41434/290)
Jun 03, 2017 9:00:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/714) took 378179 ms. Total solver calls (SAT/UNSAT): 42377(42081/296)
Jun 03, 2017 9:01:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/714) took 383202 ms. Total solver calls (SAT/UNSAT): 43029(42727/302)
Jun 03, 2017 9:01:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/714) took 388220 ms. Total solver calls (SAT/UNSAT): 43680(43372/308)
Jun 03, 2017 9:01:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/714) took 393296 ms. Total solver calls (SAT/UNSAT): 44330(44020/310)
Jun 03, 2017 9:01:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/714) took 398303 ms. Total solver calls (SAT/UNSAT): 44979(44663/316)
Jun 03, 2017 9:01:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/714) took 403280 ms. Total solver calls (SAT/UNSAT): 45627(45305/322)
Jun 03, 2017 9:01:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/714) took 408293 ms. Total solver calls (SAT/UNSAT): 46274(45946/328)
Jun 03, 2017 9:01:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/714) took 413306 ms. Total solver calls (SAT/UNSAT): 46920(46586/334)
Jun 03, 2017 9:01:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/714) took 418240 ms. Total solver calls (SAT/UNSAT): 47565(47225/340)
Jun 03, 2017 9:01:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/714) took 423206 ms. Total solver calls (SAT/UNSAT): 48209(47863/346)
Jun 03, 2017 9:01:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/714) took 428208 ms. Total solver calls (SAT/UNSAT): 48852(48500/352)
Jun 03, 2017 9:01:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/714) took 433143 ms. Total solver calls (SAT/UNSAT): 49494(49136/358)
Jun 03, 2017 9:01:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/714) took 438257 ms. Total solver calls (SAT/UNSAT): 50135(49771/364)
Jun 03, 2017 9:02:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/714) took 443145 ms. Total solver calls (SAT/UNSAT): 50775(50405/370)
Jun 03, 2017 9:02:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/714) took 448095 ms. Total solver calls (SAT/UNSAT): 51414(51038/376)
Jun 03, 2017 9:02:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/714) took 453094 ms. Total solver calls (SAT/UNSAT): 52052(51674/378)
Jun 03, 2017 9:02:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/714) took 458037 ms. Total solver calls (SAT/UNSAT): 52689(52305/384)
Jun 03, 2017 9:02:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/714) took 462979 ms. Total solver calls (SAT/UNSAT): 53325(52935/390)
Jun 03, 2017 9:02:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/714) took 468146 ms. Total solver calls (SAT/UNSAT): 53960(53568/392)
Jun 03, 2017 9:02:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/714) took 473054 ms. Total solver calls (SAT/UNSAT): 54594(54196/398)
Jun 03, 2017 9:02:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/714) took 477934 ms. Total solver calls (SAT/UNSAT): 55227(54823/404)
Jun 03, 2017 9:02:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/714) took 482830 ms. Total solver calls (SAT/UNSAT): 55859(55449/410)
Jun 03, 2017 9:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/714) took 487745 ms. Total solver calls (SAT/UNSAT): 56490(56078/412)
Jun 03, 2017 9:02:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/714) took 492628 ms. Total solver calls (SAT/UNSAT): 57120(56702/418)
Jun 03, 2017 9:02:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/714) took 497480 ms. Total solver calls (SAT/UNSAT): 57749(57325/424)
Jun 03, 2017 9:02:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/714) took 502328 ms. Total solver calls (SAT/UNSAT): 58377(57947/430)
Jun 03, 2017 9:03:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/714) took 507157 ms. Total solver calls (SAT/UNSAT): 59004(58568/436)
Jun 03, 2017 9:03:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/714) took 512028 ms. Total solver calls (SAT/UNSAT): 59630(59192/438)
Jun 03, 2017 9:03:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/714) took 516899 ms. Total solver calls (SAT/UNSAT): 60255(59811/444)
Jun 03, 2017 9:03:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/714) took 521760 ms. Total solver calls (SAT/UNSAT): 60879(60429/450)
Jun 03, 2017 9:03:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/714) took 526575 ms. Total solver calls (SAT/UNSAT): 61502(61046/456)
Jun 03, 2017 9:03:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/714) took 531564 ms. Total solver calls (SAT/UNSAT): 62124(61666/458)
Jun 03, 2017 9:03:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/714) took 536591 ms. Total solver calls (SAT/UNSAT): 62745(62281/464)
Jun 03, 2017 9:03:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/714) took 541472 ms. Total solver calls (SAT/UNSAT): 63365(62895/470)
Jun 03, 2017 9:03:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/714) took 546141 ms. Total solver calls (SAT/UNSAT): 63984(63508/476)
Jun 03, 2017 9:03:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/714) took 550994 ms. Total solver calls (SAT/UNSAT): 64602(64120/482)
Jun 03, 2017 9:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/714) took 555860 ms. Total solver calls (SAT/UNSAT): 65219(64731/488)
Jun 03, 2017 9:03:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/714) took 560650 ms. Total solver calls (SAT/UNSAT): 65835(65341/494)
Jun 03, 2017 9:04:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/714) took 565417 ms. Total solver calls (SAT/UNSAT): 66450(65950/500)
Jun 03, 2017 9:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/714) took 570170 ms. Total solver calls (SAT/UNSAT): 67064(66558/506)
Jun 03, 2017 9:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/714) took 574858 ms. Total solver calls (SAT/UNSAT): 67677(67165/512)
Jun 03, 2017 9:04:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/714) took 579549 ms. Total solver calls (SAT/UNSAT): 68289(67775/514)
Jun 03, 2017 9:04:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/714) took 584207 ms. Total solver calls (SAT/UNSAT): 68900(68380/520)
Jun 03, 2017 9:04:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/714) took 588866 ms. Total solver calls (SAT/UNSAT): 69510(68984/526)
Jun 03, 2017 9:04:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/714) took 593544 ms. Total solver calls (SAT/UNSAT): 70119(69587/532)
Jun 03, 2017 9:04:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/714) took 598243 ms. Total solver calls (SAT/UNSAT): 70727(70189/538)
Jun 03, 2017 9:04:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/714) took 602924 ms. Total solver calls (SAT/UNSAT): 71334(70794/540)
Jun 03, 2017 9:04:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/714) took 607621 ms. Total solver calls (SAT/UNSAT): 71940(71394/546)
Jun 03, 2017 9:04:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/714) took 612255 ms. Total solver calls (SAT/UNSAT): 72545(71993/552)
Jun 03, 2017 9:04:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/714) took 616921 ms. Total solver calls (SAT/UNSAT): 73149(72591/558)
Jun 03, 2017 9:04:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/714) took 621581 ms. Total solver calls (SAT/UNSAT): 73752(73192/560)
Jun 03, 2017 9:05:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/714) took 626199 ms. Total solver calls (SAT/UNSAT): 74354(73792/562)
Jun 03, 2017 9:05:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/714) took 630858 ms. Total solver calls (SAT/UNSAT): 74955(74391/564)
Jun 03, 2017 9:05:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/714) took 635484 ms. Total solver calls (SAT/UNSAT): 75555(74990/565)
Jun 03, 2017 9:05:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/714) took 640112 ms. Total solver calls (SAT/UNSAT): 76154(75588/566)
Jun 03, 2017 9:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/714) took 644710 ms. Total solver calls (SAT/UNSAT): 76752(76185/567)
Jun 03, 2017 9:05:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/714) took 649329 ms. Total solver calls (SAT/UNSAT): 77349(76781/568)
Jun 03, 2017 9:05:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/714) took 653913 ms. Total solver calls (SAT/UNSAT): 77945(77376/569)
Jun 03, 2017 9:05:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/714) took 658565 ms. Total solver calls (SAT/UNSAT): 78540(77970/570)
Jun 03, 2017 9:05:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/714) took 663141 ms. Total solver calls (SAT/UNSAT): 79134(78563/571)
Jun 03, 2017 9:05:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/714) took 667769 ms. Total solver calls (SAT/UNSAT): 79727(79155/572)
Jun 03, 2017 9:05:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/714) took 672355 ms. Total solver calls (SAT/UNSAT): 80319(79746/573)
Jun 03, 2017 9:05:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/714) took 676893 ms. Total solver calls (SAT/UNSAT): 80910(80336/574)
Jun 03, 2017 9:05:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/714) took 681422 ms. Total solver calls (SAT/UNSAT): 81500(80925/575)
Jun 03, 2017 9:06:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/714) took 685911 ms. Total solver calls (SAT/UNSAT): 82089(81512/577)
Jun 03, 2017 9:06:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/714) took 690410 ms. Total solver calls (SAT/UNSAT): 82677(82099/578)
Jun 03, 2017 9:06:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/714) took 694913 ms. Total solver calls (SAT/UNSAT): 83264(82685/579)
Jun 03, 2017 9:06:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/714) took 699401 ms. Total solver calls (SAT/UNSAT): 83850(83270/580)
Jun 03, 2017 9:06:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/714) took 703849 ms. Total solver calls (SAT/UNSAT): 84435(83853/582)
Jun 03, 2017 9:06:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/714) took 708383 ms. Total solver calls (SAT/UNSAT): 85019(84435/584)
Jun 03, 2017 9:06:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/714) took 712822 ms. Total solver calls (SAT/UNSAT): 85602(85016/586)
Jun 03, 2017 9:06:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/714) took 717297 ms. Total solver calls (SAT/UNSAT): 86184(85596/588)
Jun 03, 2017 9:06:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/714) took 721793 ms. Total solver calls (SAT/UNSAT): 86765(86176/589)
Jun 03, 2017 9:06:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/714) took 726277 ms. Total solver calls (SAT/UNSAT): 87345(86755/590)
Jun 03, 2017 9:06:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/714) took 730782 ms. Total solver calls (SAT/UNSAT): 87924(87333/591)
Jun 03, 2017 9:06:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/714) took 735208 ms. Total solver calls (SAT/UNSAT): 88502(87910/592)
Jun 03, 2017 9:06:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/714) took 739671 ms. Total solver calls (SAT/UNSAT): 89079(88486/593)
Jun 03, 2017 9:07:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/714) took 744123 ms. Total solver calls (SAT/UNSAT): 89655(89061/594)
Jun 03, 2017 9:07:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/714) took 748518 ms. Total solver calls (SAT/UNSAT): 90230(89635/595)
Jun 03, 2017 9:07:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/714) took 752945 ms. Total solver calls (SAT/UNSAT): 90804(90208/596)
Jun 03, 2017 9:07:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/714) took 757393 ms. Total solver calls (SAT/UNSAT): 91377(90780/597)
Jun 03, 2017 9:07:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/714) took 761837 ms. Total solver calls (SAT/UNSAT): 91949(91351/598)
Jun 03, 2017 9:07:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/714) took 766222 ms. Total solver calls (SAT/UNSAT): 92520(91921/599)
Jun 03, 2017 9:07:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/714) took 770589 ms. Total solver calls (SAT/UNSAT): 93090(92489/601)
Jun 03, 2017 9:07:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/714) took 775007 ms. Total solver calls (SAT/UNSAT): 93659(93057/602)
Jun 03, 2017 9:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/714) took 779405 ms. Total solver calls (SAT/UNSAT): 94227(93624/603)
Jun 03, 2017 9:07:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/714) took 783784 ms. Total solver calls (SAT/UNSAT): 94794(94190/604)
Jun 03, 2017 9:07:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/714) took 788151 ms. Total solver calls (SAT/UNSAT): 95360(94754/606)
Jun 03, 2017 9:07:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/714) took 792473 ms. Total solver calls (SAT/UNSAT): 95925(95317/608)
Jun 03, 2017 9:07:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/714) took 796791 ms. Total solver calls (SAT/UNSAT): 96489(95879/610)
Jun 03, 2017 9:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/714) took 801128 ms. Total solver calls (SAT/UNSAT): 97052(96440/612)
Jun 03, 2017 9:08:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/714) took 805540 ms. Total solver calls (SAT/UNSAT): 97614(97001/613)
Jun 03, 2017 9:08:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/714) took 809869 ms. Total solver calls (SAT/UNSAT): 98175(97561/614)
Jun 03, 2017 9:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(154/714) took 814183 ms. Total solver calls (SAT/UNSAT): 98735(98120/615)
Jun 03, 2017 9:08:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/714) took 818506 ms. Total solver calls (SAT/UNSAT): 99294(98678/616)
Jun 03, 2017 9:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/714) took 822759 ms. Total solver calls (SAT/UNSAT): 99852(99235/617)
Jun 03, 2017 9:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/714) took 827047 ms. Total solver calls (SAT/UNSAT): 100409(99791/618)
Jun 03, 2017 9:08:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/714) took 831359 ms. Total solver calls (SAT/UNSAT): 100965(100346/619)
Jun 03, 2017 9:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/714) took 835664 ms. Total solver calls (SAT/UNSAT): 101520(100900/620)
Jun 03, 2017 9:08:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(160/714) took 839940 ms. Total solver calls (SAT/UNSAT): 102074(101453/621)
Jun 03, 2017 9:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/714) took 844140 ms. Total solver calls (SAT/UNSAT): 102627(102005/622)
Jun 03, 2017 9:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(162/714) took 848409 ms. Total solver calls (SAT/UNSAT): 103179(102556/623)
Jun 03, 2017 9:08:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/714) took 852666 ms. Total solver calls (SAT/UNSAT): 103730(103105/625)
Jun 03, 2017 9:08:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/714) took 856962 ms. Total solver calls (SAT/UNSAT): 104280(103654/626)
Jun 03, 2017 9:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/714) took 861207 ms. Total solver calls (SAT/UNSAT): 104829(104202/627)
Jun 03, 2017 9:09:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/714) took 865412 ms. Total solver calls (SAT/UNSAT): 105377(104749/628)
Jun 03, 2017 9:09:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/714) took 869634 ms. Total solver calls (SAT/UNSAT): 105924(105294/630)
Jun 03, 2017 9:09:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/714) took 873867 ms. Total solver calls (SAT/UNSAT): 106470(105838/632)
Jun 03, 2017 9:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/714) took 878075 ms. Total solver calls (SAT/UNSAT): 107015(106381/634)
Jun 03, 2017 9:09:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/714) took 882236 ms. Total solver calls (SAT/UNSAT): 107559(106923/636)
Jun 03, 2017 9:09:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/714) took 886438 ms. Total solver calls (SAT/UNSAT): 108102(107465/637)
Jun 03, 2017 9:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/714) took 890672 ms. Total solver calls (SAT/UNSAT): 108644(108006/638)
Jun 03, 2017 9:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/714) took 894914 ms. Total solver calls (SAT/UNSAT): 109185(108546/639)
Jun 03, 2017 9:09:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/714) took 899074 ms. Total solver calls (SAT/UNSAT): 109725(109085/640)
Jun 03, 2017 9:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/714) took 903215 ms. Total solver calls (SAT/UNSAT): 110264(109623/641)
Jun 03, 2017 9:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/714) took 907363 ms. Total solver calls (SAT/UNSAT): 110802(110160/642)
Jun 03, 2017 9:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/714) took 911442 ms. Total solver calls (SAT/UNSAT): 111339(110696/643)
Jun 03, 2017 9:09:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/714) took 915540 ms. Total solver calls (SAT/UNSAT): 111875(111231/644)
Jun 03, 2017 9:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/714) took 919646 ms. Total solver calls (SAT/UNSAT): 112410(111765/645)
Jun 03, 2017 9:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/714) took 923779 ms. Total solver calls (SAT/UNSAT): 112944(112298/646)
Jun 03, 2017 9:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/714) took 927866 ms. Total solver calls (SAT/UNSAT): 113477(112830/647)
Jun 03, 2017 9:10:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/714) took 931898 ms. Total solver calls (SAT/UNSAT): 114009(113360/649)
Jun 03, 2017 9:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/714) took 935992 ms. Total solver calls (SAT/UNSAT): 114540(113890/650)
Jun 03, 2017 9:10:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/714) took 940047 ms. Total solver calls (SAT/UNSAT): 115070(114419/651)
Jun 03, 2017 9:10:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/714) took 944111 ms. Total solver calls (SAT/UNSAT): 115599(114947/652)
Jun 03, 2017 9:10:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/714) took 948144 ms. Total solver calls (SAT/UNSAT): 116127(115473/654)
Jun 03, 2017 9:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/714) took 952242 ms. Total solver calls (SAT/UNSAT): 116654(115998/656)
Jun 03, 2017 9:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/714) took 956265 ms. Total solver calls (SAT/UNSAT): 117180(116522/658)
Jun 03, 2017 9:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/714) took 960259 ms. Total solver calls (SAT/UNSAT): 117705(117045/660)
Jun 03, 2017 9:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/714) took 964313 ms. Total solver calls (SAT/UNSAT): 118229(117568/661)
Jun 03, 2017 9:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/714) took 968372 ms. Total solver calls (SAT/UNSAT): 118752(118090/662)
Jun 03, 2017 9:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/714) took 972350 ms. Total solver calls (SAT/UNSAT): 119274(118611/663)
Jun 03, 2017 9:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/714) took 976350 ms. Total solver calls (SAT/UNSAT): 119795(119131/664)
Jun 03, 2017 9:10:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/714) took 980294 ms. Total solver calls (SAT/UNSAT): 120315(119650/665)
Jun 03, 2017 9:11:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/714) took 984215 ms. Total solver calls (SAT/UNSAT): 120834(120168/666)
Jun 03, 2017 9:11:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/714) took 988200 ms. Total solver calls (SAT/UNSAT): 121352(120685/667)
Jun 03, 2017 9:11:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/714) took 992103 ms. Total solver calls (SAT/UNSAT): 121869(121201/668)
Jun 03, 2017 9:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/714) took 996032 ms. Total solver calls (SAT/UNSAT): 122385(121716/669)
Jun 03, 2017 9:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/714) took 999961 ms. Total solver calls (SAT/UNSAT): 122900(122230/670)
Jun 03, 2017 9:11:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/714) took 1003851 ms. Total solver calls (SAT/UNSAT): 123414(122743/671)
Jun 03, 2017 9:11:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/714) took 1007726 ms. Total solver calls (SAT/UNSAT): 123927(123254/673)
Jun 03, 2017 9:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/714) took 1011673 ms. Total solver calls (SAT/UNSAT): 124439(123765/674)
Jun 03, 2017 9:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/714) took 1015574 ms. Total solver calls (SAT/UNSAT): 124950(124275/675)
Jun 03, 2017 9:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/714) took 1019458 ms. Total solver calls (SAT/UNSAT): 125460(124784/676)
Jun 03, 2017 9:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/714) took 1023294 ms. Total solver calls (SAT/UNSAT): 125969(125291/678)
Jun 03, 2017 9:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/714) took 1027183 ms. Total solver calls (SAT/UNSAT): 126477(125797/680)
Jun 03, 2017 9:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/714) took 1031034 ms. Total solver calls (SAT/UNSAT): 126984(126302/682)
Jun 03, 2017 9:11:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/714) took 1034832 ms. Total solver calls (SAT/UNSAT): 127490(126806/684)
Jun 03, 2017 9:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/714) took 1038679 ms. Total solver calls (SAT/UNSAT): 127995(127310/685)
Jun 03, 2017 9:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/714) took 1042489 ms. Total solver calls (SAT/UNSAT): 128499(127813/686)
Jun 03, 2017 9:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/714) took 1046253 ms. Total solver calls (SAT/UNSAT): 129002(128314/688)
Jun 03, 2017 9:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/714) took 1050014 ms. Total solver calls (SAT/UNSAT): 129504(128815/689)
Jun 03, 2017 9:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/714) took 1053821 ms. Total solver calls (SAT/UNSAT): 130005(129315/690)
Jun 03, 2017 9:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/714) took 1057623 ms. Total solver calls (SAT/UNSAT): 130505(129814/691)
Jun 03, 2017 9:12:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/714) took 1061401 ms. Total solver calls (SAT/UNSAT): 131004(130311/693)
Jun 03, 2017 9:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/714) took 1065217 ms. Total solver calls (SAT/UNSAT): 131502(130808/694)
Jun 03, 2017 9:12:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/714) took 1069023 ms. Total solver calls (SAT/UNSAT): 131999(131304/695)
Jun 03, 2017 9:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/714) took 1072778 ms. Total solver calls (SAT/UNSAT): 132495(131799/696)
Jun 03, 2017 9:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/714) took 1076569 ms. Total solver calls (SAT/UNSAT): 132990(132293/697)
Jun 03, 2017 9:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/714) took 1080336 ms. Total solver calls (SAT/UNSAT): 133484(132785/699)
Jun 03, 2017 9:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/714) took 1084149 ms. Total solver calls (SAT/UNSAT): 133977(133277/700)
Jun 03, 2017 9:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/714) took 1087952 ms. Total solver calls (SAT/UNSAT): 134469(133768/701)
Jun 03, 2017 9:12:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/714) took 1091729 ms. Total solver calls (SAT/UNSAT): 134960(134258/702)
Jun 03, 2017 9:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/714) took 1095484 ms. Total solver calls (SAT/UNSAT): 135450(134746/704)
Jun 03, 2017 9:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/714) took 1099209 ms. Total solver calls (SAT/UNSAT): 135939(135234/705)
Jun 03, 2017 9:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/714) took 1102911 ms. Total solver calls (SAT/UNSAT): 136427(135721/706)
Jun 03, 2017 9:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/714) took 1106608 ms. Total solver calls (SAT/UNSAT): 136914(136206/708)
Jun 03, 2017 9:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/714) took 1110304 ms. Total solver calls (SAT/UNSAT): 137400(136691/709)
Jun 03, 2017 9:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/714) took 1114028 ms. Total solver calls (SAT/UNSAT): 137885(137175/710)
Jun 03, 2017 9:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/714) took 1117711 ms. Total solver calls (SAT/UNSAT): 138369(137657/712)
Jun 03, 2017 9:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/714) took 1121469 ms. Total solver calls (SAT/UNSAT): 138852(138139/713)
Jun 03, 2017 9:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/714) took 1125147 ms. Total solver calls (SAT/UNSAT): 139334(138620/714)
Jun 03, 2017 9:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/714) took 1128827 ms. Total solver calls (SAT/UNSAT): 139815(139100/715)
Jun 03, 2017 9:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/714) took 1132460 ms. Total solver calls (SAT/UNSAT): 140295(139578/717)
Jun 03, 2017 9:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/714) took 1136093 ms. Total solver calls (SAT/UNSAT): 140774(140056/718)
Jun 03, 2017 9:13:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/714) took 1139750 ms. Total solver calls (SAT/UNSAT): 141252(140533/719)
Jun 03, 2017 9:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/714) took 1143393 ms. Total solver calls (SAT/UNSAT): 141729(141009/720)
Jun 03, 2017 9:13:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/714) took 1147006 ms. Total solver calls (SAT/UNSAT): 142205(141484/721)
Jun 03, 2017 9:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/714) took 1150597 ms. Total solver calls (SAT/UNSAT): 142680(141957/723)
Jun 03, 2017 9:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/714) took 1154216 ms. Total solver calls (SAT/UNSAT): 143154(142430/724)
Jun 03, 2017 9:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/714) took 1157847 ms. Total solver calls (SAT/UNSAT): 143627(142902/725)
Jun 03, 2017 9:13:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/714) took 1161538 ms. Total solver calls (SAT/UNSAT): 144099(143373/726)
Jun 03, 2017 9:14:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/714) took 1165194 ms. Total solver calls (SAT/UNSAT): 144570(143842/728)
Jun 03, 2017 9:14:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(244/714) took 1168854 ms. Total solver calls (SAT/UNSAT): 145040(144311/729)
Jun 03, 2017 9:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/714) took 1172463 ms. Total solver calls (SAT/UNSAT): 145509(144779/730)
Jun 03, 2017 9:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/714) took 1176151 ms. Total solver calls (SAT/UNSAT): 145977(145245/732)
Jun 03, 2017 9:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/714) took 1179646 ms. Total solver calls (SAT/UNSAT): 146444(145711/733)
Jun 03, 2017 9:14:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/714) took 1183249 ms. Total solver calls (SAT/UNSAT): 146910(146176/734)
Jun 03, 2017 9:14:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/714) took 1186798 ms. Total solver calls (SAT/UNSAT): 147375(146639/736)
Jun 03, 2017 9:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/714) took 1190351 ms. Total solver calls (SAT/UNSAT): 147839(147102/737)
Jun 03, 2017 9:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/714) took 1193985 ms. Total solver calls (SAT/UNSAT): 148302(147564/738)
Jun 03, 2017 9:14:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(252/714) took 1197521 ms. Total solver calls (SAT/UNSAT): 148764(148025/739)
Jun 03, 2017 9:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/714) took 1201214 ms. Total solver calls (SAT/UNSAT): 149225(148484/741)
Jun 03, 2017 9:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/714) took 1204838 ms. Total solver calls (SAT/UNSAT): 149685(148943/742)
Jun 03, 2017 9:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(255/714) took 1208445 ms. Total solver calls (SAT/UNSAT): 150144(149401/743)
Jun 03, 2017 9:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/714) took 1211991 ms. Total solver calls (SAT/UNSAT): 150602(149858/744)
Jun 03, 2017 9:14:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/714) took 1215566 ms. Total solver calls (SAT/UNSAT): 151059(150314/745)
Jun 03, 2017 9:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(258/714) took 1219151 ms. Total solver calls (SAT/UNSAT): 151515(150768/747)
Jun 03, 2017 9:15:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/714) took 1222943 ms. Total solver calls (SAT/UNSAT): 151970(151222/748)
Jun 03, 2017 9:15:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/714) took 1226460 ms. Total solver calls (SAT/UNSAT): 152424(151675/749)
Jun 03, 2017 9:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(261/714) took 1229979 ms. Total solver calls (SAT/UNSAT): 152877(152127/750)
Jun 03, 2017 9:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/714) took 1233510 ms. Total solver calls (SAT/UNSAT): 153329(152577/752)
Jun 03, 2017 9:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/714) took 1236966 ms. Total solver calls (SAT/UNSAT): 153780(153027/753)
Jun 03, 2017 9:15:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(264/714) took 1240413 ms. Total solver calls (SAT/UNSAT): 154230(153476/754)
Jun 03, 2017 9:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/714) took 1243877 ms. Total solver calls (SAT/UNSAT): 154679(153923/756)
Jun 03, 2017 9:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(266/714) took 1247299 ms. Total solver calls (SAT/UNSAT): 155127(154370/757)
Jun 03, 2017 9:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/714) took 1250798 ms. Total solver calls (SAT/UNSAT): 155574(154816/758)
Jun 03, 2017 9:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/714) took 1254203 ms. Total solver calls (SAT/UNSAT): 156020(155260/760)
Jun 03, 2017 9:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(269/714) took 1257703 ms. Total solver calls (SAT/UNSAT): 156465(155704/761)
Jun 03, 2017 9:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/714) took 1261145 ms. Total solver calls (SAT/UNSAT): 156909(156147/762)
Jun 03, 2017 9:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/714) took 1264529 ms. Total solver calls (SAT/UNSAT): 157352(156589/763)
Jun 03, 2017 9:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/714) took 1267919 ms. Total solver calls (SAT/UNSAT): 157794(157029/765)
Jun 03, 2017 9:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(273/714) took 1271305 ms. Total solver calls (SAT/UNSAT): 158235(157469/766)
Jun 03, 2017 9:15:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/714) took 1274705 ms. Total solver calls (SAT/UNSAT): 158675(157908/767)
Jun 03, 2017 9:15:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/714) took 1278089 ms. Total solver calls (SAT/UNSAT): 159114(158346/768)
Jun 03, 2017 9:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/714) took 1281450 ms. Total solver calls (SAT/UNSAT): 159552(158783/769)
Jun 03, 2017 9:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(277/714) took 1284786 ms. Total solver calls (SAT/UNSAT): 159989(159218/771)
Jun 03, 2017 9:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(278/714) took 1288115 ms. Total solver calls (SAT/UNSAT): 160425(159653/772)
Jun 03, 2017 9:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/714) took 1291435 ms. Total solver calls (SAT/UNSAT): 160860(160087/773)
Jun 03, 2017 9:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(280/714) took 1294735 ms. Total solver calls (SAT/UNSAT): 161294(160520/774)
Jun 03, 2017 9:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/714) took 1298047 ms. Total solver calls (SAT/UNSAT): 161727(160951/776)
Jun 03, 2017 9:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/714) took 1301395 ms. Total solver calls (SAT/UNSAT): 162159(161382/777)
Jun 03, 2017 9:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(283/714) took 1304710 ms. Total solver calls (SAT/UNSAT): 162590(161812/778)
Jun 03, 2017 9:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/714) took 1308032 ms. Total solver calls (SAT/UNSAT): 163020(162240/780)
Jun 03, 2017 9:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(285/714) took 1311324 ms. Total solver calls (SAT/UNSAT): 163449(162668/781)
Jun 03, 2017 9:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(286/714) took 1314627 ms. Total solver calls (SAT/UNSAT): 163877(163095/782)
Jun 03, 2017 9:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/714) took 1317892 ms. Total solver calls (SAT/UNSAT): 164304(163520/784)
Jun 03, 2017 9:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/714) took 1321170 ms. Total solver calls (SAT/UNSAT): 164730(163945/785)
Jun 03, 2017 9:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(289/714) took 1324431 ms. Total solver calls (SAT/UNSAT): 165155(164369/786)
Jun 03, 2017 9:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/714) took 1327715 ms. Total solver calls (SAT/UNSAT): 165579(164792/787)
Jun 03, 2017 9:16:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/714) took 1330963 ms. Total solver calls (SAT/UNSAT): 166002(165213/789)
Jun 03, 2017 9:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(292/714) took 1334243 ms. Total solver calls (SAT/UNSAT): 166424(165634/790)
Jun 03, 2017 9:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/714) took 1337483 ms. Total solver calls (SAT/UNSAT): 166845(166054/791)
Jun 03, 2017 9:16:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(294/714) took 1340653 ms. Total solver calls (SAT/UNSAT): 167265(166473/792)
Jun 03, 2017 9:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(295/714) took 1343829 ms. Total solver calls (SAT/UNSAT): 167684(166891/793)
Jun 03, 2017 9:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(296/714) took 1347035 ms. Total solver calls (SAT/UNSAT): 168102(167307/795)
Jun 03, 2017 9:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(297/714) took 1350271 ms. Total solver calls (SAT/UNSAT): 168519(167723/796)
Jun 03, 2017 9:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(298/714) took 1353466 ms. Total solver calls (SAT/UNSAT): 168935(168138/797)
Jun 03, 2017 9:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/714) took 1356665 ms. Total solver calls (SAT/UNSAT): 169350(168552/798)
Jun 03, 2017 9:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(300/714) took 1359870 ms. Total solver calls (SAT/UNSAT): 169764(168964/800)
Jun 03, 2017 9:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(301/714) took 1363066 ms. Total solver calls (SAT/UNSAT): 170177(169376/801)
Jun 03, 2017 9:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/714) took 1366242 ms. Total solver calls (SAT/UNSAT): 170589(169787/802)
Jun 03, 2017 9:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/714) took 1369408 ms. Total solver calls (SAT/UNSAT): 171000(170196/804)
Jun 03, 2017 9:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(304/714) took 1372563 ms. Total solver calls (SAT/UNSAT): 171410(170604/806)
Jun 03, 2017 9:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(305/714) took 1375666 ms. Total solver calls (SAT/UNSAT): 171819(171011/808)
Jun 03, 2017 9:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/714) took 1378817 ms. Total solver calls (SAT/UNSAT): 172227(171417/810)
Jun 03, 2017 9:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(307/714) took 1381937 ms. Total solver calls (SAT/UNSAT): 172634(171823/811)
Jun 03, 2017 9:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/714) took 1385030 ms. Total solver calls (SAT/UNSAT): 173040(172228/812)
Jun 03, 2017 9:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(309/714) took 1388100 ms. Total solver calls (SAT/UNSAT): 173445(172632/813)
Jun 03, 2017 9:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(310/714) took 1391195 ms. Total solver calls (SAT/UNSAT): 173849(173034/815)
Jun 03, 2017 9:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/714) took 1394217 ms. Total solver calls (SAT/UNSAT): 174252(173436/816)
Jun 03, 2017 9:17:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(312/714) took 1397227 ms. Total solver calls (SAT/UNSAT): 174654(173837/817)
Jun 03, 2017 9:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(313/714) took 1400277 ms. Total solver calls (SAT/UNSAT): 175055(174237/818)
Jun 03, 2017 9:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/714) took 1403255 ms. Total solver calls (SAT/UNSAT): 175455(174636/819)
Jun 03, 2017 9:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/714) took 1406216 ms. Total solver calls (SAT/UNSAT): 175854(175033/821)
Jun 03, 2017 9:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(316/714) took 1409243 ms. Total solver calls (SAT/UNSAT): 176252(175430/822)
Jun 03, 2017 9:18:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/714) took 1412274 ms. Total solver calls (SAT/UNSAT): 176649(175826/823)
Jun 03, 2017 9:18:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/714) took 1415271 ms. Total solver calls (SAT/UNSAT): 177045(176221/824)
Jun 03, 2017 9:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(319/714) took 1418228 ms. Total solver calls (SAT/UNSAT): 177440(176615/825)
Jun 03, 2017 9:18:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/714) took 1421274 ms. Total solver calls (SAT/UNSAT): 177834(177008/826)
Jun 03, 2017 9:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(321/714) took 1424271 ms. Total solver calls (SAT/UNSAT): 178227(177400/827)
Jun 03, 2017 9:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(322/714) took 1427279 ms. Total solver calls (SAT/UNSAT): 178619(177791/828)
Jun 03, 2017 9:18:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/714) took 1430293 ms. Total solver calls (SAT/UNSAT): 179010(178180/830)
Jun 03, 2017 9:18:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/714) took 1433303 ms. Total solver calls (SAT/UNSAT): 179400(178568/832)
Jun 03, 2017 9:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(325/714) took 1436291 ms. Total solver calls (SAT/UNSAT): 179789(178955/834)
Jun 03, 2017 9:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/714) took 1439328 ms. Total solver calls (SAT/UNSAT): 180177(179342/835)
Jun 03, 2017 9:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/714) took 1442325 ms. Total solver calls (SAT/UNSAT): 180564(179728/836)
Jun 03, 2017 9:18:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(328/714) took 1445287 ms. Total solver calls (SAT/UNSAT): 180950(180113/837)
Jun 03, 2017 9:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(329/714) took 1448226 ms. Total solver calls (SAT/UNSAT): 181335(180496/839)
Jun 03, 2017 9:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/714) took 1451204 ms. Total solver calls (SAT/UNSAT): 181719(180879/840)
Jun 03, 2017 9:18:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(331/714) took 1454149 ms. Total solver calls (SAT/UNSAT): 182102(181261/841)
Jun 03, 2017 9:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(332/714) took 1457088 ms. Total solver calls (SAT/UNSAT): 182484(181642/842)
Jun 03, 2017 9:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/714) took 1459999 ms. Total solver calls (SAT/UNSAT): 182865(182022/843)
Jun 03, 2017 9:19:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(334/714) took 1462873 ms. Total solver calls (SAT/UNSAT): 183245(182400/845)
Jun 03, 2017 9:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/714) took 1465750 ms. Total solver calls (SAT/UNSAT): 183624(182778/846)
Jun 03, 2017 9:19:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/714) took 1468637 ms. Total solver calls (SAT/UNSAT): 184002(183155/847)
Jun 03, 2017 9:19:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(337/714) took 1471559 ms. Total solver calls (SAT/UNSAT): 184379(183531/848)
Jun 03, 2017 9:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(338/714) took 1474452 ms. Total solver calls (SAT/UNSAT): 184755(183906/849)
Jun 03, 2017 9:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/714) took 1477345 ms. Total solver calls (SAT/UNSAT): 185130(184280/850)
Jun 03, 2017 9:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(340/714) took 1480249 ms. Total solver calls (SAT/UNSAT): 185504(184653/851)
Jun 03, 2017 9:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(341/714) took 1483090 ms. Total solver calls (SAT/UNSAT): 185877(185025/852)
Jun 03, 2017 9:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/714) took 1485967 ms. Total solver calls (SAT/UNSAT): 186249(185395/854)
Jun 03, 2017 9:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/714) took 1488811 ms. Total solver calls (SAT/UNSAT): 186620(185764/856)
Jun 03, 2017 9:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/714) took 1491649 ms. Total solver calls (SAT/UNSAT): 186990(186132/858)
Jun 03, 2017 9:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/714) took 1494500 ms. Total solver calls (SAT/UNSAT): 187359(186500/859)
Jun 03, 2017 9:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(346/714) took 1497349 ms. Total solver calls (SAT/UNSAT): 187727(186867/860)
Jun 03, 2017 9:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/714) took 1500100 ms. Total solver calls (SAT/UNSAT): 188094(187233/861)
Jun 03, 2017 9:19:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(348/714) took 1502855 ms. Total solver calls (SAT/UNSAT): 188460(187597/863)
Jun 03, 2017 9:19:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(349/714) took 1505625 ms. Total solver calls (SAT/UNSAT): 188825(187961/864)
Jun 03, 2017 9:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/714) took 1508373 ms. Total solver calls (SAT/UNSAT): 189189(188324/865)
Jun 03, 2017 9:19:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/714) took 1511137 ms. Total solver calls (SAT/UNSAT): 189552(188686/866)
Jun 03, 2017 9:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(352/714) took 1513885 ms. Total solver calls (SAT/UNSAT): 189914(189047/867)
Jun 03, 2017 9:19:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/714) took 1516593 ms. Total solver calls (SAT/UNSAT): 190275(189406/869)
Jun 03, 2017 9:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/714) took 1519320 ms. Total solver calls (SAT/UNSAT): 190635(189765/870)
Jun 03, 2017 9:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/714) took 1522032 ms. Total solver calls (SAT/UNSAT): 190994(190123/871)
Jun 03, 2017 9:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(356/714) took 1524699 ms. Total solver calls (SAT/UNSAT): 191352(190480/872)
Jun 03, 2017 9:20:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(357/714) took 1527360 ms. Total solver calls (SAT/UNSAT): 191709(190836/873)
Jun 03, 2017 9:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(358/714) took 1530030 ms. Total solver calls (SAT/UNSAT): 192065(191191/874)
Jun 03, 2017 9:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/714) took 1532673 ms. Total solver calls (SAT/UNSAT): 192420(191545/875)
Jun 03, 2017 9:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/714) took 1535371 ms. Total solver calls (SAT/UNSAT): 192774(191898/876)
Jun 03, 2017 9:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(361/714) took 1538026 ms. Total solver calls (SAT/UNSAT): 193127(192249/878)
Jun 03, 2017 9:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/714) took 1540714 ms. Total solver calls (SAT/UNSAT): 193479(192599/880)
Jun 03, 2017 9:20:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/714) took 1543379 ms. Total solver calls (SAT/UNSAT): 193830(192948/882)
Jun 03, 2017 9:20:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(364/714) took 1546029 ms. Total solver calls (SAT/UNSAT): 194180(193297/883)
Jun 03, 2017 9:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(365/714) took 1548663 ms. Total solver calls (SAT/UNSAT): 194529(193645/884)
Jun 03, 2017 9:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/714) took 1551233 ms. Total solver calls (SAT/UNSAT): 194877(193992/885)
Jun 03, 2017 9:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(367/714) took 1553783 ms. Total solver calls (SAT/UNSAT): 195224(194337/887)
Jun 03, 2017 9:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(368/714) took 1556412 ms. Total solver calls (SAT/UNSAT): 195570(194682/888)
Jun 03, 2017 9:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(369/714) took 1559009 ms. Total solver calls (SAT/UNSAT): 195915(195026/889)
Jun 03, 2017 9:20:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/714) took 1561595 ms. Total solver calls (SAT/UNSAT): 196259(195369/890)
Jun 03, 2017 9:20:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/714) took 1564207 ms. Total solver calls (SAT/UNSAT): 196602(195711/891)
Jun 03, 2017 9:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(372/714) took 1566773 ms. Total solver calls (SAT/UNSAT): 196944(196051/893)
Jun 03, 2017 9:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(373/714) took 1569394 ms. Total solver calls (SAT/UNSAT): 197285(196391/894)
Jun 03, 2017 9:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(374/714) took 1572009 ms. Total solver calls (SAT/UNSAT): 197625(196730/895)
Jun 03, 2017 9:20:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/714) took 1574605 ms. Total solver calls (SAT/UNSAT): 197964(197068/896)
Jun 03, 2017 9:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(376/714) took 1577182 ms. Total solver calls (SAT/UNSAT): 198302(197405/897)
Jun 03, 2017 9:20:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(377/714) took 1579761 ms. Total solver calls (SAT/UNSAT): 198639(197741/898)
Jun 03, 2017 9:20:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(378/714) took 1582424 ms. Total solver calls (SAT/UNSAT): 198975(198076/899)
Jun 03, 2017 9:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/714) took 1585004 ms. Total solver calls (SAT/UNSAT): 199310(198410/900)
Jun 03, 2017 9:21:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/714) took 1587544 ms. Total solver calls (SAT/UNSAT): 199644(198742/902)
Jun 03, 2017 9:21:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(381/714) took 1590080 ms. Total solver calls (SAT/UNSAT): 199977(199073/904)
Jun 03, 2017 9:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/714) took 1592667 ms. Total solver calls (SAT/UNSAT): 200309(199403/906)
Jun 03, 2017 9:21:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/714) took 1595228 ms. Total solver calls (SAT/UNSAT): 200640(199733/907)
Jun 03, 2017 9:21:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(384/714) took 1597747 ms. Total solver calls (SAT/UNSAT): 200970(200062/908)
Jun 03, 2017 9:21:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(385/714) took 1600272 ms. Total solver calls (SAT/UNSAT): 201299(200390/909)
Jun 03, 2017 9:21:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/714) took 1602787 ms. Total solver calls (SAT/UNSAT): 201627(200716/911)
Jun 03, 2017 9:21:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/714) took 1605318 ms. Total solver calls (SAT/UNSAT): 201954(201042/912)
Jun 03, 2017 9:21:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(388/714) took 1607835 ms. Total solver calls (SAT/UNSAT): 202280(201367/913)
Jun 03, 2017 9:21:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/714) took 1610337 ms. Total solver calls (SAT/UNSAT): 202605(201691/914)
Jun 03, 2017 9:21:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/714) took 1612837 ms. Total solver calls (SAT/UNSAT): 202929(202014/915)
Jun 03, 2017 9:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(391/714) took 1615310 ms. Total solver calls (SAT/UNSAT): 203252(202335/917)
Jun 03, 2017 9:21:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(392/714) took 1617781 ms. Total solver calls (SAT/UNSAT): 203574(202656/918)
Jun 03, 2017 9:21:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(393/714) took 1620262 ms. Total solver calls (SAT/UNSAT): 203895(202976/919)
Jun 03, 2017 9:21:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(394/714) took 1622755 ms. Total solver calls (SAT/UNSAT): 204215(203295/920)
Jun 03, 2017 9:21:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/714) took 1625222 ms. Total solver calls (SAT/UNSAT): 204534(203613/921)
Jun 03, 2017 9:21:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(396/714) took 1627665 ms. Total solver calls (SAT/UNSAT): 204852(203930/922)
Jun 03, 2017 9:21:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(397/714) took 1630123 ms. Total solver calls (SAT/UNSAT): 205169(204246/923)
Jun 03, 2017 9:21:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(398/714) took 1632679 ms. Total solver calls (SAT/UNSAT): 205485(204561/924)
Jun 03, 2017 9:21:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(399/714) took 1635122 ms. Total solver calls (SAT/UNSAT): 205800(204874/926)
Jun 03, 2017 9:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/714) took 1637511 ms. Total solver calls (SAT/UNSAT): 206114(205186/928)
Jun 03, 2017 9:21:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(401/714) took 1639884 ms. Total solver calls (SAT/UNSAT): 206427(205497/930)
Jun 03, 2017 9:21:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(402/714) took 1642300 ms. Total solver calls (SAT/UNSAT): 206739(205807/932)
Jun 03, 2017 9:22:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(403/714) took 1644698 ms. Total solver calls (SAT/UNSAT): 207050(206117/933)
Jun 03, 2017 9:22:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(404/714) took 1647122 ms. Total solver calls (SAT/UNSAT): 207360(206426/934)
Jun 03, 2017 9:22:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(405/714) took 1649512 ms. Total solver calls (SAT/UNSAT): 207669(206734/935)
Jun 03, 2017 9:22:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(406/714) took 1651841 ms. Total solver calls (SAT/UNSAT): 207977(207040/937)
Jun 03, 2017 9:22:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(407/714) took 1654210 ms. Total solver calls (SAT/UNSAT): 208284(207346/938)
Jun 03, 2017 9:22:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(408/714) took 1656561 ms. Total solver calls (SAT/UNSAT): 208590(207651/939)
Jun 03, 2017 9:22:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(409/714) took 1658891 ms. Total solver calls (SAT/UNSAT): 208895(207955/940)
Jun 03, 2017 9:22:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(410/714) took 1661198 ms. Total solver calls (SAT/UNSAT): 209199(208258/941)
Jun 03, 2017 9:22:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(411/714) took 1663523 ms. Total solver calls (SAT/UNSAT): 209502(208560/942)
Jun 03, 2017 9:22:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/714) took 1665843 ms. Total solver calls (SAT/UNSAT): 209804(208861/943)
Jun 03, 2017 9:22:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(413/714) took 1668188 ms. Total solver calls (SAT/UNSAT): 210105(209161/944)
Jun 03, 2017 9:22:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(414/714) took 1670541 ms. Total solver calls (SAT/UNSAT): 210405(209460/945)
Jun 03, 2017 9:22:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/714) took 1672835 ms. Total solver calls (SAT/UNSAT): 210704(209758/946)
Jun 03, 2017 9:22:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/714) took 1675094 ms. Total solver calls (SAT/UNSAT): 211002(210055/947)
Jun 03, 2017 9:22:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(417/714) took 1677401 ms. Total solver calls (SAT/UNSAT): 211299(210351/948)
Jun 03, 2017 9:22:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(418/714) took 1679655 ms. Total solver calls (SAT/UNSAT): 211595(210645/950)
Jun 03, 2017 9:22:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(419/714) took 1681871 ms. Total solver calls (SAT/UNSAT): 211890(210938/952)
Jun 03, 2017 9:22:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/714) took 1684149 ms. Total solver calls (SAT/UNSAT): 212184(211230/954)
Jun 03, 2017 9:22:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(421/714) took 1686374 ms. Total solver calls (SAT/UNSAT): 212477(211521/956)
Jun 03, 2017 9:22:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(422/714) took 1688629 ms. Total solver calls (SAT/UNSAT): 212769(211812/957)
Jun 03, 2017 9:22:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(423/714) took 1690861 ms. Total solver calls (SAT/UNSAT): 213060(212102/958)
Jun 03, 2017 9:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(424/714) took 1693069 ms. Total solver calls (SAT/UNSAT): 213350(212391/959)
Jun 03, 2017 9:22:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/714) took 1695263 ms. Total solver calls (SAT/UNSAT): 213639(212678/961)
Jun 03, 2017 9:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(426/714) took 1697466 ms. Total solver calls (SAT/UNSAT): 213927(212965/962)
Jun 03, 2017 9:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(427/714) took 1699693 ms. Total solver calls (SAT/UNSAT): 214214(213251/963)
Jun 03, 2017 9:22:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(428/714) took 1701893 ms. Total solver calls (SAT/UNSAT): 214500(213536/964)
Jun 03, 2017 9:23:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/714) took 1704085 ms. Total solver calls (SAT/UNSAT): 214785(213820/965)
Jun 03, 2017 9:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(430/714) took 1706300 ms. Total solver calls (SAT/UNSAT): 215069(214103/966)
Jun 03, 2017 9:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(431/714) took 1708449 ms. Total solver calls (SAT/UNSAT): 215352(214385/967)
Jun 03, 2017 9:23:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(432/714) took 1710628 ms. Total solver calls (SAT/UNSAT): 215634(214666/968)
Jun 03, 2017 9:23:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/714) took 1712770 ms. Total solver calls (SAT/UNSAT): 215915(214946/969)
Jun 03, 2017 9:23:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(434/714) took 1714902 ms. Total solver calls (SAT/UNSAT): 216195(215225/970)
Jun 03, 2017 9:23:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(435/714) took 1717020 ms. Total solver calls (SAT/UNSAT): 216474(215503/971)
Jun 03, 2017 9:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/714) took 1719128 ms. Total solver calls (SAT/UNSAT): 216752(215780/972)
Jun 03, 2017 9:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(437/714) took 1721224 ms. Total solver calls (SAT/UNSAT): 217029(216055/974)
Jun 03, 2017 9:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(438/714) took 1723313 ms. Total solver calls (SAT/UNSAT): 217305(216329/976)
Jun 03, 2017 9:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(439/714) took 1725421 ms. Total solver calls (SAT/UNSAT): 217580(216602/978)
Jun 03, 2017 9:23:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/714) took 1727521 ms. Total solver calls (SAT/UNSAT): 217854(216874/980)
Jun 03, 2017 9:23:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/714) took 1729647 ms. Total solver calls (SAT/UNSAT): 218127(217146/981)
Jun 03, 2017 9:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(442/714) took 1731716 ms. Total solver calls (SAT/UNSAT): 218399(217417/982)
Jun 03, 2017 9:23:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(443/714) took 1733791 ms. Total solver calls (SAT/UNSAT): 218670(217687/983)
Jun 03, 2017 9:23:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(444/714) took 1735874 ms. Total solver calls (SAT/UNSAT): 218940(217955/985)
Jun 03, 2017 9:23:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/714) took 1737930 ms. Total solver calls (SAT/UNSAT): 219209(218223/986)
Jun 03, 2017 9:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(446/714) took 1739986 ms. Total solver calls (SAT/UNSAT): 219477(218490/987)
Jun 03, 2017 9:23:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(447/714) took 1742013 ms. Total solver calls (SAT/UNSAT): 219744(218756/988)
Jun 03, 2017 9:23:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(448/714) took 1744036 ms. Total solver calls (SAT/UNSAT): 220010(219021/989)
Jun 03, 2017 9:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(449/714) took 1746083 ms. Total solver calls (SAT/UNSAT): 220275(219285/990)
Jun 03, 2017 9:23:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/714) took 1748148 ms. Total solver calls (SAT/UNSAT): 220539(219548/991)
Jun 03, 2017 9:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(451/714) took 1750188 ms. Total solver calls (SAT/UNSAT): 220802(219810/992)
Jun 03, 2017 9:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(452/714) took 1752215 ms. Total solver calls (SAT/UNSAT): 221064(220071/993)
Jun 03, 2017 9:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(453/714) took 1754224 ms. Total solver calls (SAT/UNSAT): 221325(220331/994)
Jun 03, 2017 9:23:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(454/714) took 1756252 ms. Total solver calls (SAT/UNSAT): 221585(220590/995)
Jun 03, 2017 9:23:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/714) took 1758254 ms. Total solver calls (SAT/UNSAT): 221844(220848/996)
Jun 03, 2017 9:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(456/714) took 1760257 ms. Total solver calls (SAT/UNSAT): 222102(221104/998)
Jun 03, 2017 9:23:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(457/714) took 1762230 ms. Total solver calls (SAT/UNSAT): 222359(221359/1000)
Jun 03, 2017 9:24:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(458/714) took 1764171 ms. Total solver calls (SAT/UNSAT): 222615(221613/1002)
Jun 03, 2017 9:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(459/714) took 1766155 ms. Total solver calls (SAT/UNSAT): 222870(221866/1004)
Jun 03, 2017 9:24:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/714) took 1768122 ms. Total solver calls (SAT/UNSAT): 223124(222119/1005)
Jun 03, 2017 9:24:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(461/714) took 1770067 ms. Total solver calls (SAT/UNSAT): 223377(222371/1006)
Jun 03, 2017 9:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(462/714) took 1772005 ms. Total solver calls (SAT/UNSAT): 223629(222622/1007)
Jun 03, 2017 9:24:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(463/714) took 1773945 ms. Total solver calls (SAT/UNSAT): 223880(222871/1009)
Jun 03, 2017 9:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(464/714) took 1775854 ms. Total solver calls (SAT/UNSAT): 224130(223120/1010)
Jun 03, 2017 9:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(465/714) took 1777760 ms. Total solver calls (SAT/UNSAT): 224379(223368/1011)
Jun 03, 2017 9:24:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(466/714) took 1779652 ms. Total solver calls (SAT/UNSAT): 224627(223615/1012)
Jun 03, 2017 9:24:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(467/714) took 1781575 ms. Total solver calls (SAT/UNSAT): 224874(223861/1013)
Jun 03, 2017 9:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(468/714) took 1783458 ms. Total solver calls (SAT/UNSAT): 225120(224106/1014)
Jun 03, 2017 9:24:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(469/714) took 1785372 ms. Total solver calls (SAT/UNSAT): 225365(224350/1015)
Jun 03, 2017 9:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(470/714) took 1787250 ms. Total solver calls (SAT/UNSAT): 225609(224593/1016)
Jun 03, 2017 9:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(471/714) took 1789162 ms. Total solver calls (SAT/UNSAT): 225852(224835/1017)
Jun 03, 2017 9:24:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(472/714) took 1790999 ms. Total solver calls (SAT/UNSAT): 226094(225076/1018)
Jun 03, 2017 9:24:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(473/714) took 1792826 ms. Total solver calls (SAT/UNSAT): 226335(225316/1019)
Jun 03, 2017 9:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(474/714) took 1794653 ms. Total solver calls (SAT/UNSAT): 226575(225555/1020)
Jun 03, 2017 9:24:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(475/714) took 1796496 ms. Total solver calls (SAT/UNSAT): 226814(225792/1022)
Jun 03, 2017 9:24:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(476/714) took 1798287 ms. Total solver calls (SAT/UNSAT): 227052(226028/1024)
Jun 03, 2017 9:24:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(477/714) took 1800134 ms. Total solver calls (SAT/UNSAT): 227289(226263/1026)
Jun 03, 2017 9:24:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(478/714) took 1801951 ms. Total solver calls (SAT/UNSAT): 227525(226497/1028)
Jun 03, 2017 9:24:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(479/714) took 1803786 ms. Total solver calls (SAT/UNSAT): 227760(226731/1029)
Jun 03, 2017 9:24:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(480/714) took 1805621 ms. Total solver calls (SAT/UNSAT): 227994(226964/1030)
Jun 03, 2017 9:24:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(481/714) took 1807404 ms. Total solver calls (SAT/UNSAT): 228227(227196/1031)
Jun 03, 2017 9:24:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(482/714) took 1809180 ms. Total solver calls (SAT/UNSAT): 228459(227426/1033)
Jun 03, 2017 9:24:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(483/714) took 1810952 ms. Total solver calls (SAT/UNSAT): 228690(227656/1034)
Jun 03, 2017 9:24:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(484/714) took 1812722 ms. Total solver calls (SAT/UNSAT): 228920(227885/1035)
Jun 03, 2017 9:24:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(485/714) took 1814482 ms. Total solver calls (SAT/UNSAT): 229149(228113/1036)
Jun 03, 2017 9:24:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(486/714) took 1816236 ms. Total solver calls (SAT/UNSAT): 229377(228340/1037)
Jun 03, 2017 9:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(487/714) took 1817980 ms. Total solver calls (SAT/UNSAT): 229604(228566/1038)
Jun 03, 2017 9:24:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(488/714) took 1819713 ms. Total solver calls (SAT/UNSAT): 229830(228791/1039)
Jun 03, 2017 9:24:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(489/714) took 1821435 ms. Total solver calls (SAT/UNSAT): 230055(229015/1040)
Jun 03, 2017 9:25:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(490/714) took 1823145 ms. Total solver calls (SAT/UNSAT): 230279(229238/1041)
Jun 03, 2017 9:25:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(491/714) took 1824844 ms. Total solver calls (SAT/UNSAT): 230502(229460/1042)
Jun 03, 2017 9:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(492/714) took 1826543 ms. Total solver calls (SAT/UNSAT): 230724(229681/1043)
Jun 03, 2017 9:25:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(493/714) took 1828232 ms. Total solver calls (SAT/UNSAT): 230945(229901/1044)
Jun 03, 2017 9:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(494/714) took 1829915 ms. Total solver calls (SAT/UNSAT): 231165(230119/1046)
Jun 03, 2017 9:25:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(495/714) took 1831613 ms. Total solver calls (SAT/UNSAT): 231384(230337/1047)
Jun 03, 2017 9:25:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(496/714) took 1833304 ms. Total solver calls (SAT/UNSAT): 231602(230554/1048)
Jun 03, 2017 9:25:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(497/714) took 1834969 ms. Total solver calls (SAT/UNSAT): 231819(230769/1050)
Jun 03, 2017 9:25:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(498/714) took 1836631 ms. Total solver calls (SAT/UNSAT): 232035(230984/1051)
Jun 03, 2017 9:25:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(499/714) took 1838279 ms. Total solver calls (SAT/UNSAT): 232250(231198/1052)
Jun 03, 2017 9:25:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(500/714) took 1839986 ms. Total solver calls (SAT/UNSAT): 232464(231411/1053)
Jun 03, 2017 9:25:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(501/714) took 1841622 ms. Total solver calls (SAT/UNSAT): 232677(231622/1055)
Jun 03, 2017 9:25:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(502/714) took 1843265 ms. Total solver calls (SAT/UNSAT): 232889(231833/1056)
Jun 03, 2017 9:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(503/714) took 1844852 ms. Total solver calls (SAT/UNSAT): 233100(232043/1057)
Jun 03, 2017 9:25:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(504/714) took 1846470 ms. Total solver calls (SAT/UNSAT): 233310(232252/1058)
Jun 03, 2017 9:25:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/714) took 1848081 ms. Total solver calls (SAT/UNSAT): 233519(232460/1059)
Jun 03, 2017 9:25:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(506/714) took 1849671 ms. Total solver calls (SAT/UNSAT): 233727(232666/1061)
Jun 03, 2017 9:25:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(507/714) took 1851254 ms. Total solver calls (SAT/UNSAT): 233934(232872/1062)
Jun 03, 2017 9:25:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(508/714) took 1852827 ms. Total solver calls (SAT/UNSAT): 234140(233077/1063)
Jun 03, 2017 9:25:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(509/714) took 1854398 ms. Total solver calls (SAT/UNSAT): 234345(233281/1064)
Jun 03, 2017 9:25:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(510/714) took 1855967 ms. Total solver calls (SAT/UNSAT): 234549(233483/1066)
Jun 03, 2017 9:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(511/714) took 1857520 ms. Total solver calls (SAT/UNSAT): 234752(233685/1067)
Jun 03, 2017 9:25:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(512/714) took 1859063 ms. Total solver calls (SAT/UNSAT): 234954(233886/1068)
Jun 03, 2017 9:25:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(513/714) took 1860611 ms. Total solver calls (SAT/UNSAT): 235155(234085/1070)
Jun 03, 2017 9:25:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(514/714) took 1862142 ms. Total solver calls (SAT/UNSAT): 235355(234284/1071)
Jun 03, 2017 9:25:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(515/714) took 1863669 ms. Total solver calls (SAT/UNSAT): 235554(234482/1072)
Jun 03, 2017 9:25:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(516/714) took 1865182 ms. Total solver calls (SAT/UNSAT): 235752(234678/1074)
Jun 03, 2017 9:25:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(517/714) took 1866687 ms. Total solver calls (SAT/UNSAT): 235949(234874/1075)
Jun 03, 2017 9:25:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(518/714) took 1868182 ms. Total solver calls (SAT/UNSAT): 236145(235069/1076)
Jun 03, 2017 9:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(519/714) took 1869671 ms. Total solver calls (SAT/UNSAT): 236340(235263/1077)
Jun 03, 2017 9:25:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(520/714) took 1871155 ms. Total solver calls (SAT/UNSAT): 236534(235455/1079)
Jun 03, 2017 9:25:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(521/714) took 1872652 ms. Total solver calls (SAT/UNSAT): 236727(235647/1080)
Jun 03, 2017 9:25:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(522/714) took 1874236 ms. Total solver calls (SAT/UNSAT): 236919(235838/1081)
Jun 03, 2017 9:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(523/714) took 1875719 ms. Total solver calls (SAT/UNSAT): 237110(236028/1082)
Jun 03, 2017 9:25:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(524/714) took 1877160 ms. Total solver calls (SAT/UNSAT): 237300(236217/1083)
Jun 03, 2017 9:25:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(525/714) took 1878613 ms. Total solver calls (SAT/UNSAT): 237489(236404/1085)
Jun 03, 2017 9:25:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(526/714) took 1880075 ms. Total solver calls (SAT/UNSAT): 237677(236591/1086)
Jun 03, 2017 9:25:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(527/714) took 1881519 ms. Total solver calls (SAT/UNSAT): 237864(236777/1087)
Jun 03, 2017 9:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(528/714) took 1883012 ms. Total solver calls (SAT/UNSAT): 238050(236962/1088)
Jun 03, 2017 9:26:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(529/714) took 1884418 ms. Total solver calls (SAT/UNSAT): 238235(237145/1090)
Jun 03, 2017 9:26:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(530/714) took 1885817 ms. Total solver calls (SAT/UNSAT): 238419(237328/1091)
Jun 03, 2017 9:26:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(531/714) took 1887212 ms. Total solver calls (SAT/UNSAT): 238602(237510/1092)
Jun 03, 2017 9:26:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(532/714) took 1888602 ms. Total solver calls (SAT/UNSAT): 238784(237690/1094)
Jun 03, 2017 9:26:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(533/714) took 1890052 ms. Total solver calls (SAT/UNSAT): 238965(237870/1095)
Jun 03, 2017 9:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(534/714) took 1891431 ms. Total solver calls (SAT/UNSAT): 239145(238049/1096)
Jun 03, 2017 9:26:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(535/714) took 1892793 ms. Total solver calls (SAT/UNSAT): 239324(238226/1098)
Jun 03, 2017 9:26:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(536/714) took 1894138 ms. Total solver calls (SAT/UNSAT): 239502(238403/1099)
Jun 03, 2017 9:26:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(537/714) took 1895481 ms. Total solver calls (SAT/UNSAT): 239679(238579/1100)
Jun 03, 2017 9:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(538/714) took 1896812 ms. Total solver calls (SAT/UNSAT): 239855(238754/1101)
Jun 03, 2017 9:26:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(539/714) took 1898121 ms. Total solver calls (SAT/UNSAT): 240030(238927/1103)
Jun 03, 2017 9:26:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(540/714) took 1899450 ms. Total solver calls (SAT/UNSAT): 240204(239100/1104)
Jun 03, 2017 9:26:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(541/714) took 1900791 ms. Total solver calls (SAT/UNSAT): 240377(239272/1105)
Jun 03, 2017 9:26:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(542/714) took 1902088 ms. Total solver calls (SAT/UNSAT): 240549(239443/1106)
Jun 03, 2017 9:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(543/714) took 1903391 ms. Total solver calls (SAT/UNSAT): 240720(239613/1107)
Jun 03, 2017 9:26:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(544/714) took 1904674 ms. Total solver calls (SAT/UNSAT): 240890(239781/1109)
Jun 03, 2017 9:26:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(545/714) took 1905940 ms. Total solver calls (SAT/UNSAT): 241059(239949/1110)
Jun 03, 2017 9:26:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(546/714) took 1907216 ms. Total solver calls (SAT/UNSAT): 241227(240116/1111)
Jun 03, 2017 9:26:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(547/714) took 1908470 ms. Total solver calls (SAT/UNSAT): 241394(240282/1112)
Jun 03, 2017 9:26:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(548/714) took 1909737 ms. Total solver calls (SAT/UNSAT): 241560(240446/1114)
Jun 03, 2017 9:26:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(549/714) took 1910978 ms. Total solver calls (SAT/UNSAT): 241725(240610/1115)
Jun 03, 2017 9:26:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(550/714) took 1912227 ms. Total solver calls (SAT/UNSAT): 241889(240773/1116)
Jun 03, 2017 9:26:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(551/714) took 1913457 ms. Total solver calls (SAT/UNSAT): 242052(240934/1118)
Jun 03, 2017 9:26:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(552/714) took 1914682 ms. Total solver calls (SAT/UNSAT): 242214(241095/1119)
Jun 03, 2017 9:26:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(553/714) took 1915927 ms. Total solver calls (SAT/UNSAT): 242375(241255/1120)
Jun 03, 2017 9:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(554/714) took 1917151 ms. Total solver calls (SAT/UNSAT): 242535(241413/1122)
Jun 03, 2017 9:26:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(555/714) took 1918375 ms. Total solver calls (SAT/UNSAT): 242694(241571/1123)
Jun 03, 2017 9:26:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(556/714) took 1919590 ms. Total solver calls (SAT/UNSAT): 242852(241728/1124)
Jun 03, 2017 9:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(557/714) took 1920780 ms. Total solver calls (SAT/UNSAT): 243009(241884/1125)
Jun 03, 2017 9:26:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(558/714) took 1921943 ms. Total solver calls (SAT/UNSAT): 243165(242038/1127)
Jun 03, 2017 9:26:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(559/714) took 1923125 ms. Total solver calls (SAT/UNSAT): 243320(242192/1128)
Jun 03, 2017 9:26:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(560/714) took 1924317 ms. Total solver calls (SAT/UNSAT): 243474(242345/1129)
Jun 03, 2017 9:26:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(561/714) took 1925502 ms. Total solver calls (SAT/UNSAT): 243627(242497/1130)
Jun 03, 2017 9:26:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(562/714) took 1926669 ms. Total solver calls (SAT/UNSAT): 243779(242648/1131)
Jun 03, 2017 9:26:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(563/714) took 1927816 ms. Total solver calls (SAT/UNSAT): 243930(242797/1133)
Jun 03, 2017 9:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(564/714) took 1928966 ms. Total solver calls (SAT/UNSAT): 244080(242946/1134)
Jun 03, 2017 9:26:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(565/714) took 1930090 ms. Total solver calls (SAT/UNSAT): 244229(243094/1135)
Jun 03, 2017 9:26:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(566/714) took 1931204 ms. Total solver calls (SAT/UNSAT): 244377(243241/1136)
Jun 03, 2017 9:26:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(567/714) took 1932314 ms. Total solver calls (SAT/UNSAT): 244524(243386/1138)
Jun 03, 2017 9:26:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(568/714) took 1933449 ms. Total solver calls (SAT/UNSAT): 244670(243531/1139)
Jun 03, 2017 9:26:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(569/714) took 1934578 ms. Total solver calls (SAT/UNSAT): 244815(243675/1140)
Jun 03, 2017 9:26:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(570/714) took 1935677 ms. Total solver calls (SAT/UNSAT): 244959(243817/1142)
Jun 03, 2017 9:26:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(571/714) took 1936753 ms. Total solver calls (SAT/UNSAT): 245102(243959/1143)
Jun 03, 2017 9:26:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(572/714) took 1937835 ms. Total solver calls (SAT/UNSAT): 245244(244100/1144)
Jun 03, 2017 9:26:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(573/714) took 1938920 ms. Total solver calls (SAT/UNSAT): 245385(244239/1146)
Jun 03, 2017 9:26:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(574/714) took 1940027 ms. Total solver calls (SAT/UNSAT): 245525(244378/1147)
Jun 03, 2017 9:26:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(575/714) took 1941120 ms. Total solver calls (SAT/UNSAT): 245664(244516/1148)
Jun 03, 2017 9:26:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(576/714) took 1942176 ms. Total solver calls (SAT/UNSAT): 245802(244653/1149)
Jun 03, 2017 9:27:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(577/714) took 1943203 ms. Total solver calls (SAT/UNSAT): 245939(244788/1151)
Jun 03, 2017 9:27:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(578/714) took 1944240 ms. Total solver calls (SAT/UNSAT): 246075(244923/1152)
Jun 03, 2017 9:27:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(579/714) took 1945282 ms. Total solver calls (SAT/UNSAT): 246210(245057/1153)
Jun 03, 2017 9:27:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(580/714) took 1946291 ms. Total solver calls (SAT/UNSAT): 246344(245190/1154)
Jun 03, 2017 9:27:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(581/714) took 1947320 ms. Total solver calls (SAT/UNSAT): 246477(245322/1155)
Jun 03, 2017 9:27:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(583/714) took 1949302 ms. Total solver calls (SAT/UNSAT): 246740(245582/1158)
Jun 03, 2017 9:27:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(585/714) took 1951239 ms. Total solver calls (SAT/UNSAT): 246999(245839/1160)
Jun 03, 2017 9:27:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(587/714) took 1953184 ms. Total solver calls (SAT/UNSAT): 247254(246091/1163)
Jun 03, 2017 9:27:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(589/714) took 1955102 ms. Total solver calls (SAT/UNSAT): 247505(246340/1165)
Jun 03, 2017 9:27:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(591/714) took 1956984 ms. Total solver calls (SAT/UNSAT): 247752(246585/1167)
Jun 03, 2017 9:27:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(593/714) took 1958807 ms. Total solver calls (SAT/UNSAT): 247995(246826/1169)
Jun 03, 2017 9:27:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(595/714) took 1960649 ms. Total solver calls (SAT/UNSAT): 248234(247063/1171)
Jun 03, 2017 9:27:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(597/714) took 1962417 ms. Total solver calls (SAT/UNSAT): 248469(247295/1174)
Jun 03, 2017 9:27:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(599/714) took 1964172 ms. Total solver calls (SAT/UNSAT): 248700(247524/1176)
Jun 03, 2017 9:27:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(601/714) took 1965881 ms. Total solver calls (SAT/UNSAT): 248927(247748/1179)
Jun 03, 2017 9:27:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(603/714) took 1967538 ms. Total solver calls (SAT/UNSAT): 249150(247969/1181)
Jun 03, 2017 9:27:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(605/714) took 1969192 ms. Total solver calls (SAT/UNSAT): 249369(248185/1184)
Jun 03, 2017 9:27:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(607/714) took 1970789 ms. Total solver calls (SAT/UNSAT): 249584(248396/1188)
Jun 03, 2017 9:27:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(609/714) took 1972393 ms. Total solver calls (SAT/UNSAT): 249795(248605/1190)
Jun 03, 2017 9:27:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(611/714) took 1973943 ms. Total solver calls (SAT/UNSAT): 250002(248810/1192)
Jun 03, 2017 9:27:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(613/714) took 1975435 ms. Total solver calls (SAT/UNSAT): 250205(249011/1194)
Jun 03, 2017 9:27:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(615/714) took 1976936 ms. Total solver calls (SAT/UNSAT): 250404(249207/1197)
Jun 03, 2017 9:27:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(617/714) took 1978414 ms. Total solver calls (SAT/UNSAT): 250599(249400/1199)
Jun 03, 2017 9:27:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(619/714) took 1979862 ms. Total solver calls (SAT/UNSAT): 250790(249589/1201)
Jun 03, 2017 9:27:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(621/714) took 1981256 ms. Total solver calls (SAT/UNSAT): 250977(249773/1204)
Jun 03, 2017 9:27:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(623/714) took 1982606 ms. Total solver calls (SAT/UNSAT): 251160(249954/1206)
Jun 03, 2017 9:27:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(625/714) took 1983914 ms. Total solver calls (SAT/UNSAT): 251339(250129/1210)
Jun 03, 2017 9:27:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(627/714) took 1985235 ms. Total solver calls (SAT/UNSAT): 251514(250301/1213)
Jun 03, 2017 9:27:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(629/714) took 1986525 ms. Total solver calls (SAT/UNSAT): 251685(250470/1215)
Jun 03, 2017 9:27:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(631/714) took 1987766 ms. Total solver calls (SAT/UNSAT): 251852(250635/1217)
Jun 03, 2017 9:27:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(633/714) took 1988982 ms. Total solver calls (SAT/UNSAT): 252015(250796/1219)
Jun 03, 2017 9:27:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(635/714) took 1990186 ms. Total solver calls (SAT/UNSAT): 252174(250952/1222)
Jun 03, 2017 9:27:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(637/714) took 1991346 ms. Total solver calls (SAT/UNSAT): 252329(251105/1224)
Jun 03, 2017 9:27:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(639/714) took 1992502 ms. Total solver calls (SAT/UNSAT): 252480(251253/1227)
Jun 03, 2017 9:27:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(641/714) took 1993608 ms. Total solver calls (SAT/UNSAT): 252627(251398/1229)
Jun 03, 2017 9:27:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(643/714) took 1994702 ms. Total solver calls (SAT/UNSAT): 252770(251538/1232)
Jun 03, 2017 9:27:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(645/714) took 1995731 ms. Total solver calls (SAT/UNSAT): 252909(251673/1236)
Jun 03, 2017 9:27:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(647/714) took 1996760 ms. Total solver calls (SAT/UNSAT): 253044(251806/1238)
Jun 03, 2017 9:27:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(649/714) took 1997770 ms. Total solver calls (SAT/UNSAT): 253175(251935/1240)
Jun 03, 2017 9:27:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(652/714) took 1999206 ms. Total solver calls (SAT/UNSAT): 253364(252121/1243)
Jun 03, 2017 9:27:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(655/714) took 2000592 ms. Total solver calls (SAT/UNSAT): 253544(252297/1247)
Jun 03, 2017 9:27:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(658/714) took 2001877 ms. Total solver calls (SAT/UNSAT): 253715(252464/1251)
Jun 03, 2017 9:28:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(661/714) took 2003100 ms. Total solver calls (SAT/UNSAT): 253877(252623/1254)
Jun 03, 2017 9:28:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(664/714) took 2004250 ms. Total solver calls (SAT/UNSAT): 254030(252770/1260)
Jun 03, 2017 9:28:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(667/714) took 2005369 ms. Total solver calls (SAT/UNSAT): 254174(252911/1263)
Jun 03, 2017 9:28:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(670/714) took 2006403 ms. Total solver calls (SAT/UNSAT): 254309(253043/1266)
Jun 03, 2017 9:28:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(674/714) took 2007662 ms. Total solver calls (SAT/UNSAT): 254475(253204/1271)
Jun 03, 2017 9:28:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(678/714) took 2008801 ms. Total solver calls (SAT/UNSAT): 254625(253349/1276)
Jun 03, 2017 9:28:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(682/714) took 2009826 ms. Total solver calls (SAT/UNSAT): 254759(253477/1282)
Jun 03, 2017 9:28:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(687/714) took 2010895 ms. Total solver calls (SAT/UNSAT): 254904(253616/1288)
Jun 03, 2017 9:28:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(693/714) took 2011918 ms. Total solver calls (SAT/UNSAT): 255045(253751/1294)
Jun 03, 2017 9:28:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(702/714) took 2012995 ms. Total solver calls (SAT/UNSAT): 255189(253886/1303)
Jun 03, 2017 9:28:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 2013446 ms. Total solver calls (SAT/UNSAT): 255255(253941/1314)
Jun 03, 2017 9:28:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 714 transitions.

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/HexagonalGrid-PT-316.tgz
mv HexagonalGrid-PT-316 execution

# this is for BenchKit: explicit launching of the test

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