Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r530-tall-171683779300403.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-5568
Executing tool ltsminxred
Input is ShieldPPPt-PT-030A, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r530-tall-171683779300403
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 680K
-rw-r--r-- 1 mcc users 6.9K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K May 19 07:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 19 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 23 07:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 23 07:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 11 15:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 170K Apr 11 15:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Apr 11 15:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Apr 11 15:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 23 07:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 5 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 201K May 18 16:43 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1717225796204

Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ShieldPPPt-PT-030A
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 07:09:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-06-01 07:09:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 07:09:57] [INFO ] Load time of PNML (sax parser for PT used): 104 ms
[2024-06-01 07:09:57] [INFO ] Transformed 753 places.
[2024-06-01 07:09:57] [INFO ] Transformed 543 transitions.
[2024-06-01 07:09:57] [INFO ] Found NUPN structural information;
[2024-06-01 07:09:57] [INFO ] Parsed PT model containing 753 places and 543 transitions and 2166 arcs in 225 ms.
Structural test allowed to assert that 244 places are NOT stable. Took 8 ms.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
RANDOM walk for 40000 steps (8 resets) in 2784 ms. (14 steps per ms) remains 304/509 properties
BEST_FIRST walk for 403 steps (8 resets) in 13 ms. (28 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 22 ms. (17 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 401 steps (8 resets) in 13 ms. (28 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 13 ms. (28 steps per ms) remains 304/304 properties
BEST_FIRST walk for 401 steps (8 resets) in 11 ms. (33 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 304/304 properties
BEST_FIRST walk for 402 steps (8 resets) in 12 ms. (30 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 13 ms. (28 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 16 ms. (23 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 401 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 402 steps (8 resets) in 12 ms. (30 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 402 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 402 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 304/304 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 304/304 properties
BEST_FIRST walk for 403 steps (8 resets) in 16 ms. (23 steps per ms) remains 304/304 properties
// Phase 1: matrix 542 rows 753 cols
[2024-06-01 07:09:58] [INFO ] Computed 331 invariants in 21 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/304 variables, 304/304 constraints. Problems are: Problem set: 0 solved, 304 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 304/1295 variables, and 304 constraints, problems are : Problem set: 0 solved, 304 unsolved in 5221 ms.
Refiners :[Domain max(s): 304/753 constraints, Positive P Invariants (semi-flows): 0/331 constraints, State Equation: 0/753 constraints, PredecessorRefiner: 304/304 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 304 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/304 variables, 304/304 constraints. Problems are: Problem set: 0 solved, 304 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/304 variables, 0/304 constraints. Problems are: Problem set: 0 solved, 304 unsolved
At refinement iteration 2 (OVERLAPS) 140/444 variables, 194/498 constraints. Problems are: Problem set: 0 solved, 304 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/444 variables, 140/638 constraints. Problems are: Problem set: 0 solved, 304 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/444 variables, 0/638 constraints. Problems are: Problem set: 0 solved, 304 unsolved
At refinement iteration 5 (OVERLAPS) 309/753 variables, 137/775 constraints. Problems are: Problem set: 0 solved, 304 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/753 variables, 309/1084 constraints. Problems are: Problem set: 0 solved, 304 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 753/1295 variables, and 1084 constraints, problems are : Problem set: 0 solved, 304 unsolved in 5013 ms.
Refiners :[Domain max(s): 753/753 constraints, Positive P Invariants (semi-flows): 331/331 constraints, State Equation: 0/753 constraints, PredecessorRefiner: 0/304 constraints, Known Traps: 0/0 constraints]
After SMT, in 10350ms problems are : Problem set: 0 solved, 304 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 304 out of 753 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 753/753 places, 542/542 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 751 transition count 540
Partial Free-agglomeration rule applied 48 times.
Drop transitions (Partial Free agglomeration) removed 48 transitions
Iterating global reduction 0 with 48 rules applied. Total rules applied 52 place count 751 transition count 540
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 0 with 1 rules applied. Total rules applied 53 place count 750 transition count 539
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 54 place count 749 transition count 539
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 2 Pre rules applied. Total rules applied 54 place count 749 transition count 537
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 1 with 4 rules applied. Total rules applied 58 place count 747 transition count 537
Applied a total of 58 rules in 160 ms. Remains 747 /753 variables (removed 6) and now considering 537/542 (removed 5) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 175 ms. Remains : 747/753 places, 537/542 transitions.
RANDOM walk for 4000000 steps (8 resets) in 50478 ms. (79 steps per ms) remains 10/304 properties
BEST_FIRST walk for 4000003 steps (8 resets) in 14298 ms. (279 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 14417 ms. (277 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 14040 ms. (284 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 14016 ms. (285 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4000002 steps (8 resets) in 13965 ms. (286 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 14862 ms. (269 steps per ms) remains 4/10 properties
// Phase 1: matrix 537 rows 747 cols
[2024-06-01 07:10:46] [INFO ] Computed 330 invariants in 4 ms
[2024-06-01 07:10:46] [INFO ] State equation strengthened by 16 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/4 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (OVERLAPS) 1/5 variables, 2/6 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (OVERLAPS) 4/9 variables, 5/12 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/9 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 7 (OVERLAPS) 14/23 variables, 6/18 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/23 variables, 6/24 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/23 variables, 3/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/23 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 11 (OVERLAPS) 23/46 variables, 12/39 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/46 variables, 12/51 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/46 variables, 1/52 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/46 variables, 0/52 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 15 (OVERLAPS) 6/52 variables, 6/58 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/52 variables, 6/64 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/52 variables, 6/70 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/52 variables, 0/70 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 19 (OVERLAPS) 4/56 variables, 2/72 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/56 variables, 4/76 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/56 variables, 0/76 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 22 (OVERLAPS) 35/91 variables, 18/94 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/91 variables, 14/108 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/91 variables, 7/115 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/91 variables, 0/115 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 26 (OVERLAPS) 42/133 variables, 26/141 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/133 variables, 26/167 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/133 variables, 2/169 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/133 variables, 0/169 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 30 (OVERLAPS) 8/141 variables, 12/181 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/141 variables, 8/189 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/141 variables, 8/197 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/141 variables, 0/197 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 34 (OVERLAPS) 36/177 variables, 16/213 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/177 variables, 16/229 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/177 variables, 8/237 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/177 variables, 0/237 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 38 (OVERLAPS) 38/215 variables, 25/262 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/215 variables, 25/287 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/215 variables, 3/290 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/215 variables, 0/290 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 42 (OVERLAPS) 6/221 variables, 10/300 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/221 variables, 6/306 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/221 variables, 6/312 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/221 variables, 0/312 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 46 (OVERLAPS) 21/242 variables, 10/322 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/242 variables, 10/332 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/242 variables, 5/337 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/242 variables, 0/337 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 50 (OVERLAPS) 21/263 variables, 13/350 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/263 variables, 13/363 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/263 variables, 1/364 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/263 variables, 0/364 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 54 (OVERLAPS) 4/267 variables, 6/370 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/267 variables, 4/374 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/267 variables, 4/378 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/267 variables, 0/378 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 58 (OVERLAPS) 18/285 variables, 8/386 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/285 variables, 8/394 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/285 variables, 4/398 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/285 variables, 0/398 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 62 (OVERLAPS) 21/306 variables, 13/411 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/306 variables, 13/424 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/306 variables, 1/425 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/306 variables, 0/425 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 66 (OVERLAPS) 4/310 variables, 6/431 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 67 (INCLUDED_ONLY) 0/310 variables, 4/435 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/310 variables, 4/439 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/310 variables, 0/439 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 70 (OVERLAPS) 18/328 variables, 8/447 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/328 variables, 8/455 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/328 variables, 4/459 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/328 variables, 0/459 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 74 (OVERLAPS) 21/349 variables, 13/472 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/349 variables, 13/485 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/349 variables, 1/486 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/349 variables, 0/486 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 78 (OVERLAPS) 4/353 variables, 6/492 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/353 variables, 4/496 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/353 variables, 4/500 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/353 variables, 0/500 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 82 (OVERLAPS) 18/371 variables, 8/508 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/371 variables, 8/516 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/371 variables, 4/520 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/371 variables, 0/520 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 86 (OVERLAPS) 21/392 variables, 13/533 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/392 variables, 13/546 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/392 variables, 1/547 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/392 variables, 0/547 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 90 (OVERLAPS) 4/396 variables, 6/553 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/396 variables, 4/557 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/396 variables, 4/561 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/396 variables, 0/561 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 94 (OVERLAPS) 18/414 variables, 8/569 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/414 variables, 8/577 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/414 variables, 4/581 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/414 variables, 0/581 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 98 (OVERLAPS) 21/435 variables, 13/594 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/435 variables, 13/607 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/435 variables, 1/608 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/435 variables, 0/608 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 102 (OVERLAPS) 4/439 variables, 6/614 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/439 variables, 4/618 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/439 variables, 4/622 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/439 variables, 0/622 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 106 (OVERLAPS) 18/457 variables, 8/630 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 107 (INCLUDED_ONLY) 0/457 variables, 8/638 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/457 variables, 4/642 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/457 variables, 0/642 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 110 (OVERLAPS) 21/478 variables, 13/655 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/478 variables, 13/668 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/478 variables, 1/669 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 113 (INCLUDED_ONLY) 0/478 variables, 0/669 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 114 (OVERLAPS) 4/482 variables, 6/675 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 115 (INCLUDED_ONLY) 0/482 variables, 4/679 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/482 variables, 4/683 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/482 variables, 0/683 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 118 (OVERLAPS) 18/500 variables, 8/691 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 119 (INCLUDED_ONLY) 0/500 variables, 8/699 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/500 variables, 4/703 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/500 variables, 0/703 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 122 (OVERLAPS) 21/521 variables, 13/716 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/521 variables, 13/729 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/521 variables, 1/730 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/521 variables, 0/730 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 126 (OVERLAPS) 4/525 variables, 6/736 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/525 variables, 4/740 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/525 variables, 4/744 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/525 variables, 0/744 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 130 (OVERLAPS) 18/543 variables, 8/752 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/543 variables, 8/760 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/543 variables, 4/764 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/543 variables, 0/764 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 134 (OVERLAPS) 21/564 variables, 13/777 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 135 (INCLUDED_ONLY) 0/564 variables, 13/790 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/564 variables, 1/791 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/564 variables, 0/791 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 138 (OVERLAPS) 4/568 variables, 6/797 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 139 (INCLUDED_ONLY) 0/568 variables, 4/801 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/568 variables, 4/805 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/568 variables, 0/805 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 142 (OVERLAPS) 18/586 variables, 8/813 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 143 (INCLUDED_ONLY) 0/586 variables, 8/821 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/586 variables, 4/825 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/586 variables, 0/825 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 146 (OVERLAPS) 21/607 variables, 13/838 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/607 variables, 13/851 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/607 variables, 1/852 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/607 variables, 0/852 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 150 (OVERLAPS) 4/611 variables, 6/858 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 151 (INCLUDED_ONLY) 0/611 variables, 4/862 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/611 variables, 4/866 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/611 variables, 0/866 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 154 (OVERLAPS) 18/629 variables, 8/874 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 155 (INCLUDED_ONLY) 0/629 variables, 8/882 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/629 variables, 4/886 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 157 (INCLUDED_ONLY) 0/629 variables, 0/886 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 158 (OVERLAPS) 21/650 variables, 13/899 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 159 (INCLUDED_ONLY) 0/650 variables, 13/912 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/650 variables, 1/913 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/650 variables, 0/913 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 162 (OVERLAPS) 4/654 variables, 6/919 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/654 variables, 4/923 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/654 variables, 4/927 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/654 variables, 0/927 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 166 (OVERLAPS) 18/672 variables, 8/935 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/672 variables, 8/943 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/672 variables, 4/947 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/672 variables, 0/947 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 170 (OVERLAPS) 21/693 variables, 13/960 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/693 variables, 13/973 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/693 variables, 1/974 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/693 variables, 0/974 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 174 (OVERLAPS) 4/697 variables, 6/980 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/697 variables, 4/984 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/697 variables, 4/988 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 177 (INCLUDED_ONLY) 0/697 variables, 0/988 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 178 (OVERLAPS) 18/715 variables, 8/996 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/715 variables, 8/1004 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/715 variables, 4/1008 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 181 (INCLUDED_ONLY) 0/715 variables, 0/1008 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 182 (OVERLAPS) 22/737 variables, 13/1021 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/737 variables, 13/1034 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/737 variables, 1/1035 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 185 (INCLUDED_ONLY) 0/737 variables, 1/1036 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/737 variables, 0/1036 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 187 (OVERLAPS) 4/741 variables, 6/1042 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/741 variables, 4/1046 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/741 variables, 4/1050 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 190 (INCLUDED_ONLY) 0/741 variables, 0/1050 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 191 (OVERLAPS) 17/758 variables, 8/1058 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 192 (INCLUDED_ONLY) 0/758 variables, 8/1066 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/758 variables, 4/1070 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/758 variables, 0/1070 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 195 (OVERLAPS) 22/780 variables, 13/1083 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/780 variables, 13/1096 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/780 variables, 1/1097 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 198 (INCLUDED_ONLY) 0/780 variables, 1/1098 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/780 variables, 0/1098 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 200 (OVERLAPS) 4/784 variables, 6/1104 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/784 variables, 4/1108 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/784 variables, 4/1112 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 203 (INCLUDED_ONLY) 0/784 variables, 0/1112 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 204 (OVERLAPS) 17/801 variables, 8/1120 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/801 variables, 8/1128 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/801 variables, 4/1132 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 207 (INCLUDED_ONLY) 0/801 variables, 0/1132 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 208 (OVERLAPS) 22/823 variables, 13/1145 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/823 variables, 13/1158 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/823 variables, 1/1159 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 211 (INCLUDED_ONLY) 0/823 variables, 1/1160 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/823 variables, 0/1160 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 213 (OVERLAPS) 4/827 variables, 6/1166 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/827 variables, 4/1170 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/827 variables, 4/1174 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 216 (INCLUDED_ONLY) 0/827 variables, 0/1174 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 217 (OVERLAPS) 18/845 variables, 8/1182 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 218 (INCLUDED_ONLY) 0/845 variables, 8/1190 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/845 variables, 4/1194 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 220 (INCLUDED_ONLY) 0/845 variables, 0/1194 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 221 (OVERLAPS) 23/868 variables, 15/1209 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 222 (INCLUDED_ONLY) 0/868 variables, 15/1224 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/868 variables, 3/1227 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 224 (INCLUDED_ONLY) 0/868 variables, 1/1228 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/868 variables, 0/1228 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 226 (OVERLAPS) 2/870 variables, 4/1232 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/870 variables, 2/1234 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/870 variables, 2/1236 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 229 (INCLUDED_ONLY) 0/870 variables, 0/1236 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 230 (OVERLAPS) 18/888 variables, 8/1244 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/888 variables, 8/1252 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 232 (INCLUDED_ONLY) 0/888 variables, 4/1256 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 233 (INCLUDED_ONLY) 0/888 variables, 0/1256 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 234 (OVERLAPS) 23/911 variables, 15/1271 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 235 (INCLUDED_ONLY) 0/911 variables, 15/1286 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/911 variables, 3/1289 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 237 (INCLUDED_ONLY) 0/911 variables, 1/1290 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/911 variables, 0/1290 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 239 (OVERLAPS) 2/913 variables, 4/1294 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 240 (INCLUDED_ONLY) 0/913 variables, 2/1296 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/913 variables, 2/1298 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/913 variables, 0/1298 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 243 (OVERLAPS) 18/931 variables, 8/1306 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 244 (INCLUDED_ONLY) 0/931 variables, 8/1314 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/931 variables, 4/1318 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 246 (INCLUDED_ONLY) 0/931 variables, 0/1318 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 247 (OVERLAPS) 23/954 variables, 15/1333 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 248 (INCLUDED_ONLY) 0/954 variables, 15/1348 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 249 (INCLUDED_ONLY) 0/954 variables, 3/1351 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/954 variables, 1/1352 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/954 variables, 0/1352 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 252 (OVERLAPS) 2/956 variables, 4/1356 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/956 variables, 2/1358 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 254 (INCLUDED_ONLY) 0/956 variables, 2/1360 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 255 (INCLUDED_ONLY) 0/956 variables, 0/1360 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 256 (OVERLAPS) 18/974 variables, 8/1368 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 257 (INCLUDED_ONLY) 0/974 variables, 8/1376 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/974 variables, 4/1380 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 259 (INCLUDED_ONLY) 0/974 variables, 0/1380 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 260 (OVERLAPS) 23/997 variables, 15/1395 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/997 variables, 15/1410 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/997 variables, 3/1413 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 263 (INCLUDED_ONLY) 0/997 variables, 1/1414 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/997 variables, 0/1414 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 265 (OVERLAPS) 2/999 variables, 4/1418 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 266 (INCLUDED_ONLY) 0/999 variables, 2/1420 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/999 variables, 2/1422 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 268 (INCLUDED_ONLY) 0/999 variables, 0/1422 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 269 (OVERLAPS) 18/1017 variables, 8/1430 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 270 (INCLUDED_ONLY) 0/1017 variables, 8/1438 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 271 (INCLUDED_ONLY) 0/1017 variables, 4/1442 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 272 (INCLUDED_ONLY) 0/1017 variables, 0/1442 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 273 (OVERLAPS) 23/1040 variables, 15/1457 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 274 (INCLUDED_ONLY) 0/1040 variables, 15/1472 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/1040 variables, 3/1475 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 276 (INCLUDED_ONLY) 0/1040 variables, 1/1476 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/1040 variables, 0/1476 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 278 (OVERLAPS) 2/1042 variables, 4/1480 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 279 (INCLUDED_ONLY) 0/1042 variables, 2/1482 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/1042 variables, 2/1484 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 281 (INCLUDED_ONLY) 0/1042 variables, 0/1484 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 282 (OVERLAPS) 18/1060 variables, 8/1492 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 283 (INCLUDED_ONLY) 0/1060 variables, 8/1500 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 284 (INCLUDED_ONLY) 0/1060 variables, 4/1504 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 285 (INCLUDED_ONLY) 0/1060 variables, 0/1504 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 286 (OVERLAPS) 23/1083 variables, 15/1519 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 287 (INCLUDED_ONLY) 0/1083 variables, 15/1534 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 288 (INCLUDED_ONLY) 0/1083 variables, 3/1537 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 289 (INCLUDED_ONLY) 0/1083 variables, 1/1538 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 290 (INCLUDED_ONLY) 0/1083 variables, 0/1538 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 291 (OVERLAPS) 2/1085 variables, 4/1542 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 292 (INCLUDED_ONLY) 0/1085 variables, 2/1544 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 293 (INCLUDED_ONLY) 0/1085 variables, 2/1546 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 294 (INCLUDED_ONLY) 0/1085 variables, 0/1546 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 295 (OVERLAPS) 18/1103 variables, 8/1554 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 296 (INCLUDED_ONLY) 0/1103 variables, 8/1562 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/1103 variables, 4/1566 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 298 (INCLUDED_ONLY) 0/1103 variables, 0/1566 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 299 (OVERLAPS) 23/1126 variables, 15/1581 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 300 (INCLUDED_ONLY) 0/1126 variables, 15/1596 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 301 (INCLUDED_ONLY) 0/1126 variables, 3/1599 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 302 (INCLUDED_ONLY) 0/1126 variables, 1/1600 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 303 (INCLUDED_ONLY) 0/1126 variables, 0/1600 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 304 (OVERLAPS) 2/1128 variables, 4/1604 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/1128 variables, 2/1606 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 306 (INCLUDED_ONLY) 0/1128 variables, 2/1608 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 307 (INCLUDED_ONLY) 0/1128 variables, 0/1608 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 308 (OVERLAPS) 18/1146 variables, 8/1616 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 309 (INCLUDED_ONLY) 0/1146 variables, 8/1624 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 310 (INCLUDED_ONLY) 0/1146 variables, 4/1628 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 311 (INCLUDED_ONLY) 0/1146 variables, 0/1628 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 312 (OVERLAPS) 23/1169 variables, 15/1643 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 313 (INCLUDED_ONLY) 0/1169 variables, 15/1658 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 314 (INCLUDED_ONLY) 0/1169 variables, 3/1661 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 315 (INCLUDED_ONLY) 0/1169 variables, 1/1662 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 316 (INCLUDED_ONLY) 0/1169 variables, 0/1662 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 317 (OVERLAPS) 2/1171 variables, 4/1666 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 318 (INCLUDED_ONLY) 0/1171 variables, 2/1668 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 319 (INCLUDED_ONLY) 0/1171 variables, 2/1670 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 320 (INCLUDED_ONLY) 0/1171 variables, 0/1670 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 321 (OVERLAPS) 18/1189 variables, 8/1678 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 322 (INCLUDED_ONLY) 0/1189 variables, 8/1686 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 323 (INCLUDED_ONLY) 0/1189 variables, 4/1690 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 324 (INCLUDED_ONLY) 0/1189 variables, 0/1690 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 325 (OVERLAPS) 23/1212 variables, 15/1705 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 326 (INCLUDED_ONLY) 0/1212 variables, 15/1720 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 327 (INCLUDED_ONLY) 0/1212 variables, 3/1723 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 328 (INCLUDED_ONLY) 0/1212 variables, 1/1724 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 329 (INCLUDED_ONLY) 0/1212 variables, 0/1724 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 330 (OVERLAPS) 2/1214 variables, 4/1728 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 331 (INCLUDED_ONLY) 0/1214 variables, 2/1730 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 332 (INCLUDED_ONLY) 0/1214 variables, 2/1732 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 333 (INCLUDED_ONLY) 0/1214 variables, 0/1732 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 334 (OVERLAPS) 18/1232 variables, 8/1740 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 335 (INCLUDED_ONLY) 0/1232 variables, 8/1748 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 336 (INCLUDED_ONLY) 0/1232 variables, 4/1752 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 337 (INCLUDED_ONLY) 0/1232 variables, 1/1753 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 338 (INCLUDED_ONLY) 0/1232 variables, 0/1753 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 339 (OVERLAPS) 21/1253 variables, 14/1767 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 340 (INCLUDED_ONLY) 0/1253 variables, 14/1781 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 341 (INCLUDED_ONLY) 0/1253 variables, 3/1784 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 342 (INCLUDED_ONLY) 0/1253 variables, 1/1785 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 343 (INCLUDED_ONLY) 0/1253 variables, 0/1785 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 344 (OVERLAPS) 2/1255 variables, 4/1789 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 345 (INCLUDED_ONLY) 0/1255 variables, 2/1791 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 346 (INCLUDED_ONLY) 0/1255 variables, 2/1793 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 347 (INCLUDED_ONLY) 0/1255 variables, 0/1793 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 348 (OVERLAPS) 12/1267 variables, 6/1799 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 349 (INCLUDED_ONLY) 0/1267 variables, 6/1805 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 350 (INCLUDED_ONLY) 0/1267 variables, 3/1808 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 351 (INCLUDED_ONLY) 0/1267 variables, 0/1808 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 352 (OVERLAPS) 13/1280 variables, 8/1816 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 353 (INCLUDED_ONLY) 0/1280 variables, 8/1824 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 354 (INCLUDED_ONLY) 0/1280 variables, 3/1827 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 355 (INCLUDED_ONLY) 0/1280 variables, 2/1829 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 356 (INCLUDED_ONLY) 0/1280 variables, 0/1829 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 357 (OVERLAPS) 1/1281 variables, 1/1830 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 358 (INCLUDED_ONLY) 0/1281 variables, 1/1831 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 359 (INCLUDED_ONLY) 0/1281 variables, 1/1832 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 360 (INCLUDED_ONLY) 0/1281 variables, 0/1832 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 361 (OVERLAPS) 1/1282 variables, 1/1833 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 362 (INCLUDED_ONLY) 0/1282 variables, 1/1834 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 363 (INCLUDED_ONLY) 0/1282 variables, 1/1835 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 364 (INCLUDED_ONLY) 0/1282 variables, 0/1835 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 365 (OVERLAPS) 2/1284 variables, 2/1837 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 366 (INCLUDED_ONLY) 0/1284 variables, 2/1839 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 367 (INCLUDED_ONLY) 0/1284 variables, 1/1840 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 368 (INCLUDED_ONLY) 0/1284 variables, 0/1840 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 369 (OVERLAPS) 0/1284 variables, 0/1840 constraints. Problems are: Problem set: 0 solved, 4 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1284/1284 variables, and 1840 constraints, problems are : Problem set: 0 solved, 4 unsolved in 3835 ms.
Refiners :[Domain max(s): 747/747 constraints, Positive P Invariants (semi-flows): 330/330 constraints, State Equation: 747/747 constraints, ReadFeed: 16/16 constraints, PredecessorRefiner: 4/4 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/4 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (OVERLAPS) 1/5 variables, 2/6 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (OVERLAPS) 4/9 variables, 5/12 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/9 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 7 (OVERLAPS) 14/23 variables, 6/18 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/23 variables, 6/24 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/23 variables, 3/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/23 variables, 4/31 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/23 variables, 0/31 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 12 (OVERLAPS) 23/46 variables, 12/43 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/46 variables, 12/55 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/46 variables, 1/56 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/46 variables, 0/56 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 16 (OVERLAPS) 6/52 variables, 6/62 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/52 variables, 6/68 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/52 variables, 6/74 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/52 variables, 0/74 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 20 (OVERLAPS) 4/56 variables, 2/76 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/56 variables, 4/80 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/56 variables, 0/80 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 23 (OVERLAPS) 35/91 variables, 18/98 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/91 variables, 14/112 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/91 variables, 7/119 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/91 variables, 0/119 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 27 (OVERLAPS) 42/133 variables, 26/145 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/133 variables, 26/171 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/133 variables, 2/173 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/133 variables, 0/173 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 31 (OVERLAPS) 8/141 variables, 12/185 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/141 variables, 8/193 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/141 variables, 8/201 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/141 variables, 0/201 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 35 (OVERLAPS) 36/177 variables, 16/217 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/177 variables, 16/233 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/177 variables, 8/241 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/177 variables, 0/241 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 39 (OVERLAPS) 38/215 variables, 25/266 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/215 variables, 25/291 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/215 variables, 3/294 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/215 variables, 0/294 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 43 (OVERLAPS) 6/221 variables, 10/304 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/221 variables, 6/310 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/221 variables, 6/316 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/221 variables, 0/316 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 47 (OVERLAPS) 21/242 variables, 10/326 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/242 variables, 10/336 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/242 variables, 5/341 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/242 variables, 0/341 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 51 (OVERLAPS) 21/263 variables, 13/354 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/263 variables, 13/367 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/263 variables, 1/368 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/263 variables, 0/368 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 55 (OVERLAPS) 4/267 variables, 6/374 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/267 variables, 4/378 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/267 variables, 4/382 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/267 variables, 0/382 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 59 (OVERLAPS) 18/285 variables, 8/390 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/285 variables, 8/398 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/285 variables, 4/402 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/285 variables, 0/402 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 63 (OVERLAPS) 21/306 variables, 13/415 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/306 variables, 13/428 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/306 variables, 1/429 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/306 variables, 0/429 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 67 (OVERLAPS) 4/310 variables, 6/435 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/310 variables, 4/439 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/310 variables, 4/443 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/310 variables, 0/443 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 71 (OVERLAPS) 18/328 variables, 8/451 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/328 variables, 8/459 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/328 variables, 4/463 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/328 variables, 0/463 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 75 (OVERLAPS) 21/349 variables, 13/476 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/349 variables, 13/489 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/349 variables, 1/490 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/349 variables, 0/490 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 79 (OVERLAPS) 4/353 variables, 6/496 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/353 variables, 4/500 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/353 variables, 4/504 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/353 variables, 0/504 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 83 (OVERLAPS) 18/371 variables, 8/512 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/371 variables, 8/520 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/371 variables, 4/524 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/371 variables, 0/524 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 87 (OVERLAPS) 21/392 variables, 13/537 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/392 variables, 13/550 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/392 variables, 1/551 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/392 variables, 0/551 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 91 (OVERLAPS) 4/396 variables, 6/557 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/396 variables, 4/561 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/396 variables, 4/565 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/396 variables, 0/565 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 95 (OVERLAPS) 18/414 variables, 8/573 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/414 variables, 8/581 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/414 variables, 4/585 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/414 variables, 0/585 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 99 (OVERLAPS) 21/435 variables, 13/598 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/435 variables, 13/611 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/435 variables, 1/612 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/435 variables, 0/612 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 103 (OVERLAPS) 4/439 variables, 6/618 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/439 variables, 4/622 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/439 variables, 4/626 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/439 variables, 0/626 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 107 (OVERLAPS) 18/457 variables, 8/634 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/457 variables, 8/642 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/457 variables, 4/646 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/457 variables, 0/646 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 111 (OVERLAPS) 21/478 variables, 13/659 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/478 variables, 13/672 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 113 (INCLUDED_ONLY) 0/478 variables, 1/673 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/478 variables, 0/673 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 115 (OVERLAPS) 4/482 variables, 6/679 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/482 variables, 4/683 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/482 variables, 4/687 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/482 variables, 0/687 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 119 (OVERLAPS) 18/500 variables, 8/695 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/500 variables, 8/703 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/500 variables, 4/707 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/500 variables, 0/707 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 123 (OVERLAPS) 21/521 variables, 13/720 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/521 variables, 13/733 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/521 variables, 1/734 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/521 variables, 0/734 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 127 (OVERLAPS) 4/525 variables, 6/740 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/525 variables, 4/744 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/525 variables, 4/748 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/525 variables, 0/748 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 131 (OVERLAPS) 18/543 variables, 8/756 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/543 variables, 8/764 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/543 variables, 4/768 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/543 variables, 0/768 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 135 (OVERLAPS) 21/564 variables, 13/781 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/564 variables, 13/794 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/564 variables, 1/795 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/564 variables, 0/795 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 139 (OVERLAPS) 4/568 variables, 6/801 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/568 variables, 4/805 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/568 variables, 4/809 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/568 variables, 0/809 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 143 (OVERLAPS) 18/586 variables, 8/817 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/586 variables, 8/825 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/586 variables, 4/829 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/586 variables, 0/829 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 147 (OVERLAPS) 21/607 variables, 13/842 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/607 variables, 13/855 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/607 variables, 1/856 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/607 variables, 0/856 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 151 (OVERLAPS) 4/611 variables, 6/862 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/611 variables, 4/866 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/611 variables, 4/870 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/611 variables, 0/870 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 155 (OVERLAPS) 18/629 variables, 8/878 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/629 variables, 8/886 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 157 (INCLUDED_ONLY) 0/629 variables, 4/890 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/629 variables, 0/890 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 159 (OVERLAPS) 21/650 variables, 13/903 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/650 variables, 13/916 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/650 variables, 1/917 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/650 variables, 0/917 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 163 (OVERLAPS) 4/654 variables, 6/923 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/654 variables, 4/927 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/654 variables, 4/931 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/654 variables, 0/931 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 167 (OVERLAPS) 18/672 variables, 8/939 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/672 variables, 8/947 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/672 variables, 4/951 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/672 variables, 0/951 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 171 (OVERLAPS) 21/693 variables, 13/964 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/693 variables, 13/977 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/693 variables, 1/978 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/693 variables, 0/978 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 175 (OVERLAPS) 4/697 variables, 6/984 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/697 variables, 4/988 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 177 (INCLUDED_ONLY) 0/697 variables, 4/992 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/697 variables, 0/992 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 179 (OVERLAPS) 18/715 variables, 8/1000 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/715 variables, 8/1008 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 181 (INCLUDED_ONLY) 0/715 variables, 4/1012 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/715 variables, 0/1012 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 183 (OVERLAPS) 22/737 variables, 13/1025 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/737 variables, 13/1038 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 185 (INCLUDED_ONLY) 0/737 variables, 1/1039 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/737 variables, 1/1040 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/737 variables, 0/1040 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 188 (OVERLAPS) 4/741 variables, 6/1046 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/741 variables, 4/1050 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 190 (INCLUDED_ONLY) 0/741 variables, 4/1054 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/741 variables, 0/1054 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 192 (OVERLAPS) 17/758 variables, 8/1062 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/758 variables, 8/1070 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/758 variables, 4/1074 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 195 (INCLUDED_ONLY) 0/758 variables, 0/1074 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 196 (OVERLAPS) 22/780 variables, 13/1087 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/780 variables, 13/1100 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 198 (INCLUDED_ONLY) 0/780 variables, 1/1101 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/780 variables, 1/1102 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/780 variables, 0/1102 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 201 (OVERLAPS) 4/784 variables, 6/1108 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/784 variables, 4/1112 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 203 (INCLUDED_ONLY) 0/784 variables, 4/1116 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/784 variables, 0/1116 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 205 (OVERLAPS) 17/801 variables, 8/1124 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/801 variables, 8/1132 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 207 (INCLUDED_ONLY) 0/801 variables, 4/1136 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/801 variables, 0/1136 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 209 (OVERLAPS) 22/823 variables, 13/1149 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/823 variables, 13/1162 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 211 (INCLUDED_ONLY) 0/823 variables, 1/1163 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/823 variables, 1/1164 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/823 variables, 0/1164 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 214 (OVERLAPS) 4/827 variables, 6/1170 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/827 variables, 4/1174 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 216 (INCLUDED_ONLY) 0/827 variables, 4/1178 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/827 variables, 0/1178 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 218 (OVERLAPS) 18/845 variables, 8/1186 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/845 variables, 8/1194 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 220 (INCLUDED_ONLY) 0/845 variables, 4/1198 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/845 variables, 0/1198 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 222 (OVERLAPS) 23/868 variables, 15/1213 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/868 variables, 15/1228 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 224 (INCLUDED_ONLY) 0/868 variables, 3/1231 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/868 variables, 1/1232 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 226 (INCLUDED_ONLY) 0/868 variables, 0/1232 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 227 (OVERLAPS) 2/870 variables, 4/1236 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/870 variables, 2/1238 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 229 (INCLUDED_ONLY) 0/870 variables, 2/1240 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 230 (INCLUDED_ONLY) 0/870 variables, 0/1240 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 231 (OVERLAPS) 18/888 variables, 8/1248 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 232 (INCLUDED_ONLY) 0/888 variables, 8/1256 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 233 (INCLUDED_ONLY) 0/888 variables, 4/1260 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 234 (INCLUDED_ONLY) 0/888 variables, 0/1260 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 235 (OVERLAPS) 23/911 variables, 15/1275 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/911 variables, 15/1290 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 237 (INCLUDED_ONLY) 0/911 variables, 3/1293 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/911 variables, 1/1294 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/911 variables, 0/1294 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 240 (OVERLAPS) 2/913 variables, 4/1298 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/913 variables, 2/1300 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/913 variables, 2/1302 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 243 (INCLUDED_ONLY) 0/913 variables, 0/1302 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 244 (OVERLAPS) 18/931 variables, 8/1310 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/931 variables, 8/1318 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 246 (INCLUDED_ONLY) 0/931 variables, 4/1322 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/931 variables, 0/1322 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 248 (OVERLAPS) 23/954 variables, 15/1337 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 249 (INCLUDED_ONLY) 0/954 variables, 15/1352 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/954 variables, 3/1355 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/954 variables, 1/1356 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 252 (INCLUDED_ONLY) 0/954 variables, 0/1356 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 253 (OVERLAPS) 2/956 variables, 4/1360 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 254 (INCLUDED_ONLY) 0/956 variables, 2/1362 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 255 (INCLUDED_ONLY) 0/956 variables, 2/1364 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/956 variables, 0/1364 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 257 (OVERLAPS) 18/974 variables, 8/1372 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/974 variables, 8/1380 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 259 (INCLUDED_ONLY) 0/974 variables, 4/1384 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 260 (INCLUDED_ONLY) 0/974 variables, 0/1384 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 261 (OVERLAPS) 23/997 variables, 15/1399 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/997 variables, 15/1414 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 263 (INCLUDED_ONLY) 0/997 variables, 3/1417 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/997 variables, 1/1418 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 265 (INCLUDED_ONLY) 0/997 variables, 0/1418 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 266 (OVERLAPS) 2/999 variables, 4/1422 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/999 variables, 2/1424 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 268 (INCLUDED_ONLY) 0/999 variables, 2/1426 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 269 (INCLUDED_ONLY) 0/999 variables, 0/1426 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 270 (OVERLAPS) 18/1017 variables, 8/1434 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 271 (INCLUDED_ONLY) 0/1017 variables, 8/1442 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 272 (INCLUDED_ONLY) 0/1017 variables, 4/1446 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 273 (INCLUDED_ONLY) 0/1017 variables, 0/1446 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 274 (OVERLAPS) 23/1040 variables, 15/1461 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/1040 variables, 15/1476 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 276 (INCLUDED_ONLY) 0/1040 variables, 3/1479 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/1040 variables, 1/1480 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 278 (INCLUDED_ONLY) 0/1040 variables, 0/1480 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 279 (OVERLAPS) 2/1042 variables, 4/1484 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/1042 variables, 2/1486 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 281 (INCLUDED_ONLY) 0/1042 variables, 2/1488 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 282 (INCLUDED_ONLY) 0/1042 variables, 0/1488 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 283 (OVERLAPS) 18/1060 variables, 8/1496 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 284 (INCLUDED_ONLY) 0/1060 variables, 8/1504 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 285 (INCLUDED_ONLY) 0/1060 variables, 4/1508 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 286 (INCLUDED_ONLY) 0/1060 variables, 0/1508 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 287 (OVERLAPS) 23/1083 variables, 15/1523 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 288 (INCLUDED_ONLY) 0/1083 variables, 15/1538 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 289 (INCLUDED_ONLY) 0/1083 variables, 3/1541 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 290 (INCLUDED_ONLY) 0/1083 variables, 1/1542 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 291 (INCLUDED_ONLY) 0/1083 variables, 0/1542 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 292 (OVERLAPS) 2/1085 variables, 4/1546 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 293 (INCLUDED_ONLY) 0/1085 variables, 2/1548 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 294 (INCLUDED_ONLY) 0/1085 variables, 2/1550 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 295 (INCLUDED_ONLY) 0/1085 variables, 0/1550 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 296 (OVERLAPS) 18/1103 variables, 8/1558 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/1103 variables, 8/1566 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 298 (INCLUDED_ONLY) 0/1103 variables, 4/1570 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 299 (INCLUDED_ONLY) 0/1103 variables, 0/1570 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 300 (OVERLAPS) 23/1126 variables, 15/1585 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 301 (INCLUDED_ONLY) 0/1126 variables, 15/1600 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 302 (INCLUDED_ONLY) 0/1126 variables, 3/1603 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 303 (INCLUDED_ONLY) 0/1126 variables, 1/1604 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 304 (INCLUDED_ONLY) 0/1126 variables, 0/1604 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 305 (OVERLAPS) 2/1128 variables, 4/1608 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 306 (INCLUDED_ONLY) 0/1128 variables, 2/1610 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 307 (INCLUDED_ONLY) 0/1128 variables, 2/1612 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 308 (INCLUDED_ONLY) 0/1128 variables, 0/1612 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 309 (OVERLAPS) 18/1146 variables, 8/1620 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 310 (INCLUDED_ONLY) 0/1146 variables, 8/1628 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 311 (INCLUDED_ONLY) 0/1146 variables, 4/1632 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 312 (INCLUDED_ONLY) 0/1146 variables, 0/1632 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 313 (OVERLAPS) 23/1169 variables, 15/1647 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 314 (INCLUDED_ONLY) 0/1169 variables, 15/1662 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 315 (INCLUDED_ONLY) 0/1169 variables, 3/1665 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 316 (INCLUDED_ONLY) 0/1169 variables, 1/1666 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 317 (INCLUDED_ONLY) 0/1169 variables, 0/1666 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 318 (OVERLAPS) 2/1171 variables, 4/1670 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 319 (INCLUDED_ONLY) 0/1171 variables, 2/1672 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 320 (INCLUDED_ONLY) 0/1171 variables, 2/1674 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 321 (INCLUDED_ONLY) 0/1171 variables, 0/1674 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 322 (OVERLAPS) 18/1189 variables, 8/1682 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 323 (INCLUDED_ONLY) 0/1189 variables, 8/1690 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 324 (INCLUDED_ONLY) 0/1189 variables, 4/1694 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 325 (INCLUDED_ONLY) 0/1189 variables, 0/1694 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 326 (OVERLAPS) 23/1212 variables, 15/1709 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 327 (INCLUDED_ONLY) 0/1212 variables, 15/1724 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 328 (INCLUDED_ONLY) 0/1212 variables, 3/1727 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 329 (INCLUDED_ONLY) 0/1212 variables, 1/1728 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 330 (INCLUDED_ONLY) 0/1212 variables, 0/1728 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 331 (OVERLAPS) 2/1214 variables, 4/1732 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 332 (INCLUDED_ONLY) 0/1214 variables, 2/1734 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 333 (INCLUDED_ONLY) 0/1214 variables, 2/1736 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 334 (INCLUDED_ONLY) 0/1214 variables, 0/1736 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 335 (OVERLAPS) 18/1232 variables, 8/1744 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 336 (INCLUDED_ONLY) 0/1232 variables, 8/1752 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 337 (INCLUDED_ONLY) 0/1232 variables, 4/1756 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 338 (INCLUDED_ONLY) 0/1232 variables, 1/1757 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 339 (INCLUDED_ONLY) 0/1232 variables, 0/1757 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 340 (OVERLAPS) 21/1253 variables, 14/1771 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 341 (INCLUDED_ONLY) 0/1253 variables, 14/1785 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 342 (INCLUDED_ONLY) 0/1253 variables, 3/1788 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 343 (INCLUDED_ONLY) 0/1253 variables, 1/1789 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 344 (INCLUDED_ONLY) 0/1253 variables, 0/1789 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 345 (OVERLAPS) 2/1255 variables, 4/1793 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 346 (INCLUDED_ONLY) 0/1255 variables, 2/1795 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 347 (INCLUDED_ONLY) 0/1255 variables, 2/1797 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 348 (INCLUDED_ONLY) 0/1255 variables, 0/1797 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 349 (OVERLAPS) 12/1267 variables, 6/1803 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 350 (INCLUDED_ONLY) 0/1267 variables, 6/1809 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 351 (INCLUDED_ONLY) 0/1267 variables, 3/1812 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 352 (INCLUDED_ONLY) 0/1267 variables, 0/1812 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 353 (OVERLAPS) 13/1280 variables, 8/1820 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 354 (INCLUDED_ONLY) 0/1280 variables, 8/1828 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 355 (INCLUDED_ONLY) 0/1280 variables, 3/1831 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 356 (INCLUDED_ONLY) 0/1280 variables, 2/1833 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 357 (INCLUDED_ONLY) 0/1280 variables, 0/1833 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 358 (OVERLAPS) 1/1281 variables, 1/1834 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 359 (INCLUDED_ONLY) 0/1281 variables, 1/1835 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 360 (INCLUDED_ONLY) 0/1281 variables, 1/1836 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 361 (INCLUDED_ONLY) 0/1281 variables, 0/1836 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 362 (OVERLAPS) 1/1282 variables, 1/1837 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 363 (INCLUDED_ONLY) 0/1282 variables, 1/1838 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 364 (INCLUDED_ONLY) 0/1282 variables, 1/1839 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 365 (INCLUDED_ONLY) 0/1282 variables, 0/1839 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 366 (OVERLAPS) 2/1284 variables, 2/1841 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 367 (INCLUDED_ONLY) 0/1284 variables, 2/1843 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 368 (INCLUDED_ONLY) 0/1284 variables, 1/1844 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 369 (INCLUDED_ONLY) 0/1284 variables, 0/1844 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 370 (OVERLAPS) 0/1284 variables, 0/1844 constraints. Problems are: Problem set: 0 solved, 4 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1284/1284 variables, and 1844 constraints, problems are : Problem set: 0 solved, 4 unsolved in 4737 ms.
Refiners :[Domain max(s): 747/747 constraints, Positive P Invariants (semi-flows): 330/330 constraints, State Equation: 747/747 constraints, ReadFeed: 16/16 constraints, PredecessorRefiner: 4/4 constraints, Known Traps: 0/0 constraints]
After SMT, in 8592ms problems are : Problem set: 0 solved, 4 unsolved
Parikh walk visited 0 properties in 4 ms.
Support contains 4 out of 747 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 747/747 places, 537/537 transitions.
Applied a total of 0 rules in 24 ms. Remains 747 /747 variables (removed 0) and now considering 537/537 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 25 ms. Remains : 747/747 places, 537/537 transitions.
RANDOM walk for 4000000 steps (8 resets) in 23887 ms. (167 steps per ms) remains 4/4 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 13965 ms. (286 steps per ms) remains 1/4 properties
BEST_FIRST walk for 4000003 steps (8 resets) in 14123 ms. (283 steps per ms) remains 1/1 properties
[2024-06-01 07:11:08] [INFO ] Invariant cache hit.
[2024-06-01 07:11:08] [INFO ] State equation strengthened by 16 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 2/3 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3 variables, 2/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 2/5 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/5 variables, 2/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 4/9 variables, 5/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/9 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 14/23 variables, 6/18 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/23 variables, 6/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/23 variables, 3/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/23 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (OVERLAPS) 23/46 variables, 12/39 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/46 variables, 12/51 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/46 variables, 1/52 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/46 variables, 0/52 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (OVERLAPS) 6/52 variables, 6/58 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/52 variables, 6/64 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/52 variables, 6/70 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/52 variables, 0/70 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 22 (OVERLAPS) 4/56 variables, 2/72 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/56 variables, 4/76 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/56 variables, 0/76 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 25 (OVERLAPS) 35/91 variables, 18/94 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/91 variables, 14/108 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/91 variables, 7/115 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/91 variables, 0/115 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 29 (OVERLAPS) 42/133 variables, 26/141 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/133 variables, 26/167 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/133 variables, 2/169 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/133 variables, 0/169 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 33 (OVERLAPS) 8/141 variables, 12/181 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/141 variables, 8/189 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/141 variables, 8/197 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/141 variables, 0/197 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 37 (OVERLAPS) 36/177 variables, 16/213 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/177 variables, 16/229 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/177 variables, 8/237 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/177 variables, 0/237 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 41 (OVERLAPS) 38/215 variables, 25/262 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/215 variables, 25/287 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/215 variables, 3/290 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/215 variables, 0/290 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 45 (OVERLAPS) 6/221 variables, 10/300 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/221 variables, 6/306 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/221 variables, 6/312 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/221 variables, 0/312 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 49 (OVERLAPS) 21/242 variables, 10/322 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/242 variables, 10/332 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/242 variables, 5/337 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/242 variables, 0/337 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 53 (OVERLAPS) 21/263 variables, 13/350 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/263 variables, 13/363 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/263 variables, 1/364 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/263 variables, 0/364 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 57 (OVERLAPS) 4/267 variables, 6/370 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/267 variables, 4/374 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/267 variables, 4/378 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/267 variables, 0/378 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 61 (OVERLAPS) 18/285 variables, 8/386 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/285 variables, 8/394 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/285 variables, 4/398 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/285 variables, 0/398 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 65 (OVERLAPS) 21/306 variables, 13/411 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/306 variables, 13/424 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 67 (INCLUDED_ONLY) 0/306 variables, 1/425 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/306 variables, 0/425 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 69 (OVERLAPS) 4/310 variables, 6/431 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/310 variables, 4/435 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/310 variables, 4/439 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/310 variables, 0/439 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 73 (OVERLAPS) 18/328 variables, 8/447 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/328 variables, 8/455 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/328 variables, 4/459 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/328 variables, 0/459 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 77 (OVERLAPS) 21/349 variables, 13/472 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/349 variables, 13/485 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/349 variables, 1/486 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/349 variables, 0/486 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 81 (OVERLAPS) 4/353 variables, 6/492 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/353 variables, 4/496 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/353 variables, 4/500 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/353 variables, 0/500 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 85 (OVERLAPS) 18/371 variables, 8/508 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/371 variables, 8/516 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/371 variables, 4/520 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/371 variables, 0/520 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 89 (OVERLAPS) 21/392 variables, 13/533 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/392 variables, 13/546 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/392 variables, 1/547 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/392 variables, 0/547 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 93 (OVERLAPS) 4/396 variables, 6/553 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/396 variables, 4/557 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/396 variables, 4/561 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/396 variables, 0/561 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 97 (OVERLAPS) 18/414 variables, 8/569 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/414 variables, 8/577 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/414 variables, 4/581 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/414 variables, 0/581 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 101 (OVERLAPS) 21/435 variables, 13/594 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/435 variables, 13/607 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/435 variables, 1/608 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/435 variables, 0/608 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 105 (OVERLAPS) 4/439 variables, 6/614 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/439 variables, 4/618 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 107 (INCLUDED_ONLY) 0/439 variables, 4/622 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/439 variables, 0/622 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 109 (OVERLAPS) 18/457 variables, 8/630 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/457 variables, 8/638 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/457 variables, 4/642 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/457 variables, 0/642 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 113 (OVERLAPS) 21/478 variables, 13/655 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/478 variables, 13/668 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 115 (INCLUDED_ONLY) 0/478 variables, 1/669 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/478 variables, 0/669 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 117 (OVERLAPS) 4/482 variables, 6/675 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/482 variables, 4/679 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 119 (INCLUDED_ONLY) 0/482 variables, 4/683 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/482 variables, 0/683 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 121 (OVERLAPS) 18/500 variables, 8/691 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/500 variables, 8/699 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/500 variables, 4/703 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/500 variables, 0/703 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 125 (OVERLAPS) 21/521 variables, 13/716 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/521 variables, 13/729 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/521 variables, 1/730 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/521 variables, 0/730 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 129 (OVERLAPS) 4/525 variables, 6/736 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/525 variables, 4/740 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/525 variables, 4/744 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/525 variables, 0/744 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 133 (OVERLAPS) 18/543 variables, 8/752 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/543 variables, 8/760 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 135 (INCLUDED_ONLY) 0/543 variables, 4/764 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/543 variables, 0/764 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 137 (OVERLAPS) 21/564 variables, 13/777 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/564 variables, 13/790 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 139 (INCLUDED_ONLY) 0/564 variables, 1/791 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/564 variables, 0/791 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 141 (OVERLAPS) 4/568 variables, 6/797 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/568 variables, 4/801 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 143 (INCLUDED_ONLY) 0/568 variables, 4/805 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/568 variables, 0/805 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 145 (OVERLAPS) 18/586 variables, 8/813 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/586 variables, 8/821 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/586 variables, 4/825 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/586 variables, 0/825 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 149 (OVERLAPS) 21/607 variables, 13/838 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/607 variables, 13/851 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 151 (INCLUDED_ONLY) 0/607 variables, 1/852 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/607 variables, 0/852 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 153 (OVERLAPS) 4/611 variables, 6/858 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/611 variables, 4/862 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 155 (INCLUDED_ONLY) 0/611 variables, 4/866 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/611 variables, 0/866 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 157 (OVERLAPS) 18/629 variables, 8/874 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/629 variables, 8/882 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 159 (INCLUDED_ONLY) 0/629 variables, 4/886 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/629 variables, 0/886 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 161 (OVERLAPS) 21/650 variables, 13/899 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/650 variables, 13/912 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/650 variables, 1/913 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/650 variables, 0/913 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 165 (OVERLAPS) 4/654 variables, 6/919 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/654 variables, 4/923 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/654 variables, 4/927 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/654 variables, 0/927 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 169 (OVERLAPS) 18/672 variables, 8/935 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/672 variables, 8/943 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/672 variables, 4/947 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/672 variables, 0/947 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 173 (OVERLAPS) 21/693 variables, 13/960 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/693 variables, 13/973 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/693 variables, 1/974 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/693 variables, 0/974 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 177 (OVERLAPS) 4/697 variables, 6/980 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/697 variables, 4/984 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/697 variables, 4/988 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/697 variables, 0/988 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 181 (OVERLAPS) 18/715 variables, 8/996 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/715 variables, 8/1004 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/715 variables, 4/1008 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/715 variables, 0/1008 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 185 (OVERLAPS) 22/737 variables, 13/1021 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/737 variables, 13/1034 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/737 variables, 1/1035 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/737 variables, 1/1036 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/737 variables, 0/1036 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 190 (OVERLAPS) 4/741 variables, 6/1042 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/741 variables, 4/1046 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 192 (INCLUDED_ONLY) 0/741 variables, 4/1050 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/741 variables, 0/1050 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 194 (OVERLAPS) 17/758 variables, 8/1058 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 195 (INCLUDED_ONLY) 0/758 variables, 8/1066 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/758 variables, 4/1070 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/758 variables, 0/1070 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 198 (OVERLAPS) 22/780 variables, 13/1083 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/780 variables, 13/1096 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/780 variables, 1/1097 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/780 variables, 1/1098 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/780 variables, 0/1098 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 203 (OVERLAPS) 4/784 variables, 6/1104 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/784 variables, 4/1108 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/784 variables, 4/1112 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/784 variables, 0/1112 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 207 (OVERLAPS) 17/801 variables, 8/1120 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/801 variables, 8/1128 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/801 variables, 4/1132 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/801 variables, 0/1132 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 211 (OVERLAPS) 22/823 variables, 13/1145 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/823 variables, 13/1158 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/823 variables, 1/1159 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/823 variables, 1/1160 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/823 variables, 0/1160 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 216 (OVERLAPS) 4/827 variables, 6/1166 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/827 variables, 4/1170 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 218 (INCLUDED_ONLY) 0/827 variables, 4/1174 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/827 variables, 0/1174 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 220 (OVERLAPS) 18/845 variables, 8/1182 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/845 variables, 8/1190 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 222 (INCLUDED_ONLY) 0/845 variables, 4/1194 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/845 variables, 0/1194 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 224 (OVERLAPS) 23/868 variables, 15/1209 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/868 variables, 15/1224 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 226 (INCLUDED_ONLY) 0/868 variables, 3/1227 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/868 variables, 1/1228 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/868 variables, 0/1228 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 229 (OVERLAPS) 2/870 variables, 4/1232 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 230 (INCLUDED_ONLY) 0/870 variables, 2/1234 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/870 variables, 2/1236 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 232 (INCLUDED_ONLY) 0/870 variables, 0/1236 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 233 (OVERLAPS) 18/888 variables, 8/1244 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 234 (INCLUDED_ONLY) 0/888 variables, 8/1252 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 235 (INCLUDED_ONLY) 0/888 variables, 4/1256 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/888 variables, 0/1256 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 237 (OVERLAPS) 23/911 variables, 15/1271 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/911 variables, 15/1286 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/911 variables, 3/1289 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 240 (INCLUDED_ONLY) 0/911 variables, 1/1290 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/911 variables, 0/1290 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 242 (OVERLAPS) 2/913 variables, 4/1294 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 243 (INCLUDED_ONLY) 0/913 variables, 2/1296 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 244 (INCLUDED_ONLY) 0/913 variables, 2/1298 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/913 variables, 0/1298 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 246 (OVERLAPS) 18/931 variables, 8/1306 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/931 variables, 8/1314 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 248 (INCLUDED_ONLY) 0/931 variables, 4/1318 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 249 (INCLUDED_ONLY) 0/931 variables, 0/1318 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 250 (OVERLAPS) 23/954 variables, 15/1333 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/954 variables, 15/1348 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 252 (INCLUDED_ONLY) 0/954 variables, 3/1351 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/954 variables, 1/1352 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 254 (INCLUDED_ONLY) 0/954 variables, 0/1352 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 255 (OVERLAPS) 2/956 variables, 4/1356 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/956 variables, 2/1358 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 257 (INCLUDED_ONLY) 0/956 variables, 2/1360 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/956 variables, 0/1360 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 259 (OVERLAPS) 18/974 variables, 8/1368 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 260 (INCLUDED_ONLY) 0/974 variables, 8/1376 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/974 variables, 4/1380 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/974 variables, 0/1380 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 263 (OVERLAPS) 23/997 variables, 15/1395 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/997 variables, 15/1410 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 265 (INCLUDED_ONLY) 0/997 variables, 3/1413 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 266 (INCLUDED_ONLY) 0/997 variables, 1/1414 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/997 variables, 0/1414 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 268 (OVERLAPS) 2/999 variables, 4/1418 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 269 (INCLUDED_ONLY) 0/999 variables, 2/1420 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 270 (INCLUDED_ONLY) 0/999 variables, 2/1422 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 271 (INCLUDED_ONLY) 0/999 variables, 0/1422 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 272 (OVERLAPS) 18/1017 variables, 8/1430 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 273 (INCLUDED_ONLY) 0/1017 variables, 8/1438 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 274 (INCLUDED_ONLY) 0/1017 variables, 4/1442 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/1017 variables, 0/1442 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 276 (OVERLAPS) 23/1040 variables, 15/1457 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/1040 variables, 15/1472 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 278 (INCLUDED_ONLY) 0/1040 variables, 3/1475 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 279 (INCLUDED_ONLY) 0/1040 variables, 1/1476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/1040 variables, 0/1476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 281 (OVERLAPS) 2/1042 variables, 4/1480 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 282 (INCLUDED_ONLY) 0/1042 variables, 2/1482 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 283 (INCLUDED_ONLY) 0/1042 variables, 2/1484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 284 (INCLUDED_ONLY) 0/1042 variables, 0/1484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 285 (OVERLAPS) 18/1060 variables, 8/1492 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 286 (INCLUDED_ONLY) 0/1060 variables, 8/1500 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 287 (INCLUDED_ONLY) 0/1060 variables, 4/1504 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 288 (INCLUDED_ONLY) 0/1060 variables, 0/1504 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 289 (OVERLAPS) 23/1083 variables, 15/1519 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 290 (INCLUDED_ONLY) 0/1083 variables, 15/1534 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 291 (INCLUDED_ONLY) 0/1083 variables, 3/1537 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 292 (INCLUDED_ONLY) 0/1083 variables, 1/1538 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 293 (INCLUDED_ONLY) 0/1083 variables, 0/1538 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 294 (OVERLAPS) 2/1085 variables, 4/1542 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 295 (INCLUDED_ONLY) 0/1085 variables, 2/1544 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 296 (INCLUDED_ONLY) 0/1085 variables, 2/1546 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/1085 variables, 0/1546 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 298 (OVERLAPS) 18/1103 variables, 8/1554 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 299 (INCLUDED_ONLY) 0/1103 variables, 8/1562 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 300 (INCLUDED_ONLY) 0/1103 variables, 4/1566 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 301 (INCLUDED_ONLY) 0/1103 variables, 0/1566 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 302 (OVERLAPS) 23/1126 variables, 15/1581 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 303 (INCLUDED_ONLY) 0/1126 variables, 15/1596 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 304 (INCLUDED_ONLY) 0/1126 variables, 3/1599 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/1126 variables, 1/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 306 (INCLUDED_ONLY) 0/1126 variables, 0/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 307 (OVERLAPS) 2/1128 variables, 4/1604 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 308 (INCLUDED_ONLY) 0/1128 variables, 2/1606 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 309 (INCLUDED_ONLY) 0/1128 variables, 2/1608 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 310 (INCLUDED_ONLY) 0/1128 variables, 0/1608 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 311 (OVERLAPS) 18/1146 variables, 8/1616 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 312 (INCLUDED_ONLY) 0/1146 variables, 8/1624 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 313 (INCLUDED_ONLY) 0/1146 variables, 4/1628 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 314 (INCLUDED_ONLY) 0/1146 variables, 0/1628 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 315 (OVERLAPS) 23/1169 variables, 15/1643 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 316 (INCLUDED_ONLY) 0/1169 variables, 15/1658 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 317 (INCLUDED_ONLY) 0/1169 variables, 3/1661 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 318 (INCLUDED_ONLY) 0/1169 variables, 1/1662 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 319 (INCLUDED_ONLY) 0/1169 variables, 0/1662 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 320 (OVERLAPS) 2/1171 variables, 4/1666 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 321 (INCLUDED_ONLY) 0/1171 variables, 2/1668 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 322 (INCLUDED_ONLY) 0/1171 variables, 2/1670 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 323 (INCLUDED_ONLY) 0/1171 variables, 0/1670 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 324 (OVERLAPS) 18/1189 variables, 8/1678 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 325 (INCLUDED_ONLY) 0/1189 variables, 8/1686 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 326 (INCLUDED_ONLY) 0/1189 variables, 4/1690 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 327 (INCLUDED_ONLY) 0/1189 variables, 0/1690 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 328 (OVERLAPS) 23/1212 variables, 15/1705 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 329 (INCLUDED_ONLY) 0/1212 variables, 15/1720 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 330 (INCLUDED_ONLY) 0/1212 variables, 3/1723 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 331 (INCLUDED_ONLY) 0/1212 variables, 1/1724 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 332 (INCLUDED_ONLY) 0/1212 variables, 0/1724 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 333 (OVERLAPS) 2/1214 variables, 4/1728 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 334 (INCLUDED_ONLY) 0/1214 variables, 2/1730 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 335 (INCLUDED_ONLY) 0/1214 variables, 2/1732 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 336 (INCLUDED_ONLY) 0/1214 variables, 0/1732 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 337 (OVERLAPS) 18/1232 variables, 8/1740 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 338 (INCLUDED_ONLY) 0/1232 variables, 8/1748 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 339 (INCLUDED_ONLY) 0/1232 variables, 4/1752 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 340 (INCLUDED_ONLY) 0/1232 variables, 1/1753 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 341 (INCLUDED_ONLY) 0/1232 variables, 0/1753 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 342 (OVERLAPS) 21/1253 variables, 14/1767 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 343 (INCLUDED_ONLY) 0/1253 variables, 14/1781 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 344 (INCLUDED_ONLY) 0/1253 variables, 3/1784 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 345 (INCLUDED_ONLY) 0/1253 variables, 1/1785 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 346 (INCLUDED_ONLY) 0/1253 variables, 0/1785 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 347 (OVERLAPS) 2/1255 variables, 4/1789 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 348 (INCLUDED_ONLY) 0/1255 variables, 2/1791 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 349 (INCLUDED_ONLY) 0/1255 variables, 2/1793 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 350 (INCLUDED_ONLY) 0/1255 variables, 0/1793 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 351 (OVERLAPS) 12/1267 variables, 6/1799 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 352 (INCLUDED_ONLY) 0/1267 variables, 6/1805 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 353 (INCLUDED_ONLY) 0/1267 variables, 3/1808 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 354 (INCLUDED_ONLY) 0/1267 variables, 0/1808 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 355 (OVERLAPS) 13/1280 variables, 8/1816 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 356 (INCLUDED_ONLY) 0/1280 variables, 8/1824 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 357 (INCLUDED_ONLY) 0/1280 variables, 3/1827 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 358 (INCLUDED_ONLY) 0/1280 variables, 2/1829 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 359 (INCLUDED_ONLY) 0/1280 variables, 0/1829 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 360 (OVERLAPS) 1/1281 variables, 1/1830 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 361 (INCLUDED_ONLY) 0/1281 variables, 1/1831 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 362 (INCLUDED_ONLY) 0/1281 variables, 1/1832 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 363 (INCLUDED_ONLY) 0/1281 variables, 0/1832 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 364 (OVERLAPS) 1/1282 variables, 1/1833 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 365 (INCLUDED_ONLY) 0/1282 variables, 1/1834 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 366 (INCLUDED_ONLY) 0/1282 variables, 1/1835 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 367 (INCLUDED_ONLY) 0/1282 variables, 0/1835 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 368 (OVERLAPS) 2/1284 variables, 2/1837 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 369 (INCLUDED_ONLY) 0/1284 variables, 2/1839 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 370 (INCLUDED_ONLY) 0/1284 variables, 1/1840 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 371 (INCLUDED_ONLY) 0/1284 variables, 0/1840 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 372 (OVERLAPS) 0/1284 variables, 0/1840 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1284/1284 variables, and 1840 constraints, problems are : Problem set: 0 solved, 1 unsolved in 1326 ms.
Refiners :[Domain max(s): 747/747 constraints, Positive P Invariants (semi-flows): 330/330 constraints, State Equation: 747/747 constraints, ReadFeed: 16/16 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 2/3 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3 variables, 2/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 2/5 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/5 variables, 2/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 4/9 variables, 5/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/9 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 14/23 variables, 6/18 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/23 variables, 6/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/23 variables, 3/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/23 variables, 1/28 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/23 variables, 0/28 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (OVERLAPS) 23/46 variables, 12/40 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/46 variables, 12/52 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/46 variables, 1/53 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/46 variables, 0/53 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (OVERLAPS) 6/52 variables, 6/59 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/52 variables, 6/65 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/52 variables, 6/71 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/52 variables, 0/71 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 23 (OVERLAPS) 4/56 variables, 2/73 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/56 variables, 4/77 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/56 variables, 0/77 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 26 (OVERLAPS) 35/91 variables, 18/95 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/91 variables, 14/109 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/91 variables, 7/116 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/91 variables, 0/116 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 30 (OVERLAPS) 42/133 variables, 26/142 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/133 variables, 26/168 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/133 variables, 2/170 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/133 variables, 0/170 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 34 (OVERLAPS) 8/141 variables, 12/182 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/141 variables, 8/190 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/141 variables, 8/198 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/141 variables, 0/198 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 38 (OVERLAPS) 36/177 variables, 16/214 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/177 variables, 16/230 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/177 variables, 8/238 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/177 variables, 0/238 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 42 (OVERLAPS) 38/215 variables, 25/263 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/215 variables, 25/288 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/215 variables, 3/291 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/215 variables, 0/291 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 46 (OVERLAPS) 6/221 variables, 10/301 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/221 variables, 6/307 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/221 variables, 6/313 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/221 variables, 0/313 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 50 (OVERLAPS) 21/242 variables, 10/323 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/242 variables, 10/333 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/242 variables, 5/338 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/242 variables, 0/338 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 54 (OVERLAPS) 21/263 variables, 13/351 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/263 variables, 13/364 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/263 variables, 1/365 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/263 variables, 0/365 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 58 (OVERLAPS) 4/267 variables, 6/371 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/267 variables, 4/375 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/267 variables, 4/379 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/267 variables, 0/379 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 62 (OVERLAPS) 18/285 variables, 8/387 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/285 variables, 8/395 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/285 variables, 4/399 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/285 variables, 0/399 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 66 (OVERLAPS) 21/306 variables, 13/412 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 67 (INCLUDED_ONLY) 0/306 variables, 13/425 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/306 variables, 1/426 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/306 variables, 0/426 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 70 (OVERLAPS) 4/310 variables, 6/432 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/310 variables, 4/436 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/310 variables, 4/440 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/310 variables, 0/440 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 74 (OVERLAPS) 18/328 variables, 8/448 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/328 variables, 8/456 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/328 variables, 4/460 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/328 variables, 0/460 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 78 (OVERLAPS) 21/349 variables, 13/473 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/349 variables, 13/486 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/349 variables, 1/487 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/349 variables, 0/487 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 82 (OVERLAPS) 4/353 variables, 6/493 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/353 variables, 4/497 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/353 variables, 4/501 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/353 variables, 0/501 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 86 (OVERLAPS) 18/371 variables, 8/509 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/371 variables, 8/517 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/371 variables, 4/521 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/371 variables, 0/521 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 90 (OVERLAPS) 21/392 variables, 13/534 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/392 variables, 13/547 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/392 variables, 1/548 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/392 variables, 0/548 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 94 (OVERLAPS) 4/396 variables, 6/554 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/396 variables, 4/558 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/396 variables, 4/562 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/396 variables, 0/562 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 98 (OVERLAPS) 18/414 variables, 8/570 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/414 variables, 8/578 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/414 variables, 4/582 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/414 variables, 0/582 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 102 (OVERLAPS) 21/435 variables, 13/595 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/435 variables, 13/608 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/435 variables, 1/609 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/435 variables, 0/609 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 106 (OVERLAPS) 4/439 variables, 6/615 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 107 (INCLUDED_ONLY) 0/439 variables, 4/619 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/439 variables, 4/623 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/439 variables, 0/623 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 110 (OVERLAPS) 18/457 variables, 8/631 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/457 variables, 8/639 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/457 variables, 4/643 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 113 (INCLUDED_ONLY) 0/457 variables, 0/643 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 114 (OVERLAPS) 21/478 variables, 13/656 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 115 (INCLUDED_ONLY) 0/478 variables, 13/669 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/478 variables, 1/670 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/478 variables, 0/670 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 118 (OVERLAPS) 4/482 variables, 6/676 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 119 (INCLUDED_ONLY) 0/482 variables, 4/680 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/482 variables, 4/684 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/482 variables, 0/684 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 122 (OVERLAPS) 18/500 variables, 8/692 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/500 variables, 8/700 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/500 variables, 4/704 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/500 variables, 0/704 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 126 (OVERLAPS) 21/521 variables, 13/717 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/521 variables, 13/730 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/521 variables, 1/731 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/521 variables, 0/731 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 130 (OVERLAPS) 4/525 variables, 6/737 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/525 variables, 4/741 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/525 variables, 4/745 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/525 variables, 0/745 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 134 (OVERLAPS) 18/543 variables, 8/753 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 135 (INCLUDED_ONLY) 0/543 variables, 8/761 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/543 variables, 4/765 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/543 variables, 0/765 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 138 (OVERLAPS) 21/564 variables, 13/778 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 139 (INCLUDED_ONLY) 0/564 variables, 13/791 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/564 variables, 1/792 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/564 variables, 0/792 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 142 (OVERLAPS) 4/568 variables, 6/798 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 143 (INCLUDED_ONLY) 0/568 variables, 4/802 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/568 variables, 4/806 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/568 variables, 0/806 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 146 (OVERLAPS) 18/586 variables, 8/814 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/586 variables, 8/822 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/586 variables, 4/826 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/586 variables, 0/826 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 150 (OVERLAPS) 21/607 variables, 13/839 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 151 (INCLUDED_ONLY) 0/607 variables, 13/852 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/607 variables, 1/853 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/607 variables, 0/853 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 154 (OVERLAPS) 4/611 variables, 6/859 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 155 (INCLUDED_ONLY) 0/611 variables, 4/863 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/611 variables, 4/867 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 157 (INCLUDED_ONLY) 0/611 variables, 0/867 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 158 (OVERLAPS) 18/629 variables, 8/875 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 159 (INCLUDED_ONLY) 0/629 variables, 8/883 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/629 variables, 4/887 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/629 variables, 0/887 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 162 (OVERLAPS) 21/650 variables, 13/900 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/650 variables, 13/913 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/650 variables, 1/914 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/650 variables, 0/914 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 166 (OVERLAPS) 4/654 variables, 6/920 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/654 variables, 4/924 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/654 variables, 4/928 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/654 variables, 0/928 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 170 (OVERLAPS) 18/672 variables, 8/936 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/672 variables, 8/944 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/672 variables, 4/948 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/672 variables, 0/948 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 174 (OVERLAPS) 21/693 variables, 13/961 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/693 variables, 13/974 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/693 variables, 1/975 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 177 (INCLUDED_ONLY) 0/693 variables, 0/975 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 178 (OVERLAPS) 4/697 variables, 6/981 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/697 variables, 4/985 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/697 variables, 4/989 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 181 (INCLUDED_ONLY) 0/697 variables, 0/989 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 182 (OVERLAPS) 18/715 variables, 8/997 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/715 variables, 8/1005 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/715 variables, 4/1009 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 185 (INCLUDED_ONLY) 0/715 variables, 0/1009 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 186 (OVERLAPS) 22/737 variables, 13/1022 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/737 variables, 13/1035 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/737 variables, 1/1036 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/737 variables, 1/1037 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 190 (INCLUDED_ONLY) 0/737 variables, 0/1037 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 191 (OVERLAPS) 4/741 variables, 6/1043 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 192 (INCLUDED_ONLY) 0/741 variables, 4/1047 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/741 variables, 4/1051 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/741 variables, 0/1051 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 195 (OVERLAPS) 17/758 variables, 8/1059 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/758 variables, 8/1067 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/758 variables, 4/1071 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 198 (INCLUDED_ONLY) 0/758 variables, 0/1071 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 199 (OVERLAPS) 22/780 variables, 13/1084 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/780 variables, 13/1097 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/780 variables, 1/1098 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/780 variables, 1/1099 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 203 (INCLUDED_ONLY) 0/780 variables, 0/1099 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 204 (OVERLAPS) 4/784 variables, 6/1105 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/784 variables, 4/1109 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/784 variables, 4/1113 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 207 (INCLUDED_ONLY) 0/784 variables, 0/1113 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 208 (OVERLAPS) 17/801 variables, 8/1121 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/801 variables, 8/1129 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/801 variables, 4/1133 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 211 (INCLUDED_ONLY) 0/801 variables, 0/1133 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 212 (OVERLAPS) 22/823 variables, 13/1146 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/823 variables, 13/1159 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/823 variables, 1/1160 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/823 variables, 1/1161 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 216 (INCLUDED_ONLY) 0/823 variables, 0/1161 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 217 (OVERLAPS) 4/827 variables, 6/1167 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 218 (INCLUDED_ONLY) 0/827 variables, 4/1171 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/827 variables, 4/1175 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 220 (INCLUDED_ONLY) 0/827 variables, 0/1175 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 221 (OVERLAPS) 18/845 variables, 8/1183 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 222 (INCLUDED_ONLY) 0/845 variables, 8/1191 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/845 variables, 4/1195 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 224 (INCLUDED_ONLY) 0/845 variables, 0/1195 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 225 (OVERLAPS) 23/868 variables, 15/1210 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 226 (INCLUDED_ONLY) 0/868 variables, 15/1225 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/868 variables, 3/1228 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/868 variables, 1/1229 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 229 (INCLUDED_ONLY) 0/868 variables, 0/1229 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 230 (OVERLAPS) 2/870 variables, 4/1233 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/870 variables, 2/1235 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 232 (INCLUDED_ONLY) 0/870 variables, 2/1237 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 233 (INCLUDED_ONLY) 0/870 variables, 0/1237 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 234 (OVERLAPS) 18/888 variables, 8/1245 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 235 (INCLUDED_ONLY) 0/888 variables, 8/1253 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/888 variables, 4/1257 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 237 (INCLUDED_ONLY) 0/888 variables, 0/1257 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 238 (OVERLAPS) 23/911 variables, 15/1272 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/911 variables, 15/1287 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 240 (INCLUDED_ONLY) 0/911 variables, 3/1290 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/911 variables, 1/1291 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/911 variables, 0/1291 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 243 (OVERLAPS) 2/913 variables, 4/1295 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 244 (INCLUDED_ONLY) 0/913 variables, 2/1297 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/913 variables, 2/1299 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 246 (INCLUDED_ONLY) 0/913 variables, 0/1299 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 247 (OVERLAPS) 18/931 variables, 8/1307 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 248 (INCLUDED_ONLY) 0/931 variables, 8/1315 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 249 (INCLUDED_ONLY) 0/931 variables, 4/1319 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/931 variables, 0/1319 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 251 (OVERLAPS) 23/954 variables, 15/1334 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 252 (INCLUDED_ONLY) 0/954 variables, 15/1349 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/954 variables, 3/1352 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 254 (INCLUDED_ONLY) 0/954 variables, 1/1353 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 255 (INCLUDED_ONLY) 0/954 variables, 0/1353 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 256 (OVERLAPS) 2/956 variables, 4/1357 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 257 (INCLUDED_ONLY) 0/956 variables, 2/1359 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/956 variables, 2/1361 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 259 (INCLUDED_ONLY) 0/956 variables, 0/1361 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 260 (OVERLAPS) 18/974 variables, 8/1369 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/974 variables, 8/1377 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/974 variables, 4/1381 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 263 (INCLUDED_ONLY) 0/974 variables, 0/1381 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 264 (OVERLAPS) 23/997 variables, 15/1396 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 265 (INCLUDED_ONLY) 0/997 variables, 15/1411 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 266 (INCLUDED_ONLY) 0/997 variables, 3/1414 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/997 variables, 1/1415 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 268 (INCLUDED_ONLY) 0/997 variables, 0/1415 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 269 (OVERLAPS) 2/999 variables, 4/1419 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 270 (INCLUDED_ONLY) 0/999 variables, 2/1421 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 271 (INCLUDED_ONLY) 0/999 variables, 2/1423 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 272 (INCLUDED_ONLY) 0/999 variables, 0/1423 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 273 (OVERLAPS) 18/1017 variables, 8/1431 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 274 (INCLUDED_ONLY) 0/1017 variables, 8/1439 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/1017 variables, 4/1443 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 276 (INCLUDED_ONLY) 0/1017 variables, 0/1443 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 277 (OVERLAPS) 23/1040 variables, 15/1458 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 278 (INCLUDED_ONLY) 0/1040 variables, 15/1473 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 279 (INCLUDED_ONLY) 0/1040 variables, 3/1476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/1040 variables, 1/1477 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 281 (INCLUDED_ONLY) 0/1040 variables, 0/1477 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 282 (OVERLAPS) 2/1042 variables, 4/1481 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 283 (INCLUDED_ONLY) 0/1042 variables, 2/1483 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 284 (INCLUDED_ONLY) 0/1042 variables, 2/1485 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 285 (INCLUDED_ONLY) 0/1042 variables, 0/1485 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 286 (OVERLAPS) 18/1060 variables, 8/1493 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 287 (INCLUDED_ONLY) 0/1060 variables, 8/1501 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 288 (INCLUDED_ONLY) 0/1060 variables, 4/1505 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 289 (INCLUDED_ONLY) 0/1060 variables, 0/1505 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 290 (OVERLAPS) 23/1083 variables, 15/1520 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 291 (INCLUDED_ONLY) 0/1083 variables, 15/1535 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 292 (INCLUDED_ONLY) 0/1083 variables, 3/1538 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 293 (INCLUDED_ONLY) 0/1083 variables, 1/1539 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 294 (INCLUDED_ONLY) 0/1083 variables, 0/1539 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 295 (OVERLAPS) 2/1085 variables, 4/1543 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 296 (INCLUDED_ONLY) 0/1085 variables, 2/1545 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/1085 variables, 2/1547 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 298 (INCLUDED_ONLY) 0/1085 variables, 0/1547 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 299 (OVERLAPS) 18/1103 variables, 8/1555 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 300 (INCLUDED_ONLY) 0/1103 variables, 8/1563 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 301 (INCLUDED_ONLY) 0/1103 variables, 4/1567 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 302 (INCLUDED_ONLY) 0/1103 variables, 0/1567 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 303 (OVERLAPS) 23/1126 variables, 15/1582 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 304 (INCLUDED_ONLY) 0/1126 variables, 15/1597 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/1126 variables, 3/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 306 (INCLUDED_ONLY) 0/1126 variables, 1/1601 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 307 (INCLUDED_ONLY) 0/1126 variables, 0/1601 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 308 (OVERLAPS) 2/1128 variables, 4/1605 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 309 (INCLUDED_ONLY) 0/1128 variables, 2/1607 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 310 (INCLUDED_ONLY) 0/1128 variables, 2/1609 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 311 (INCLUDED_ONLY) 0/1128 variables, 0/1609 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 312 (OVERLAPS) 18/1146 variables, 8/1617 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 313 (INCLUDED_ONLY) 0/1146 variables, 8/1625 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 314 (INCLUDED_ONLY) 0/1146 variables, 4/1629 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 315 (INCLUDED_ONLY) 0/1146 variables, 0/1629 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 316 (OVERLAPS) 23/1169 variables, 15/1644 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 317 (INCLUDED_ONLY) 0/1169 variables, 15/1659 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 318 (INCLUDED_ONLY) 0/1169 variables, 3/1662 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 319 (INCLUDED_ONLY) 0/1169 variables, 1/1663 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 320 (INCLUDED_ONLY) 0/1169 variables, 0/1663 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 321 (OVERLAPS) 2/1171 variables, 4/1667 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 322 (INCLUDED_ONLY) 0/1171 variables, 2/1669 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 323 (INCLUDED_ONLY) 0/1171 variables, 2/1671 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 324 (INCLUDED_ONLY) 0/1171 variables, 0/1671 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 325 (OVERLAPS) 18/1189 variables, 8/1679 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 326 (INCLUDED_ONLY) 0/1189 variables, 8/1687 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 327 (INCLUDED_ONLY) 0/1189 variables, 4/1691 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 328 (INCLUDED_ONLY) 0/1189 variables, 0/1691 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 329 (OVERLAPS) 23/1212 variables, 15/1706 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 330 (INCLUDED_ONLY) 0/1212 variables, 15/1721 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 331 (INCLUDED_ONLY) 0/1212 variables, 3/1724 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 332 (INCLUDED_ONLY) 0/1212 variables, 1/1725 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 333 (INCLUDED_ONLY) 0/1212 variables, 0/1725 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 334 (OVERLAPS) 2/1214 variables, 4/1729 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 335 (INCLUDED_ONLY) 0/1214 variables, 2/1731 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 336 (INCLUDED_ONLY) 0/1214 variables, 2/1733 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 337 (INCLUDED_ONLY) 0/1214 variables, 0/1733 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 338 (OVERLAPS) 18/1232 variables, 8/1741 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 339 (INCLUDED_ONLY) 0/1232 variables, 8/1749 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 340 (INCLUDED_ONLY) 0/1232 variables, 4/1753 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 341 (INCLUDED_ONLY) 0/1232 variables, 1/1754 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 342 (INCLUDED_ONLY) 0/1232 variables, 0/1754 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 343 (OVERLAPS) 21/1253 variables, 14/1768 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 344 (INCLUDED_ONLY) 0/1253 variables, 14/1782 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 345 (INCLUDED_ONLY) 0/1253 variables, 3/1785 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 346 (INCLUDED_ONLY) 0/1253 variables, 1/1786 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 347 (INCLUDED_ONLY) 0/1253 variables, 0/1786 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 348 (OVERLAPS) 2/1255 variables, 4/1790 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 349 (INCLUDED_ONLY) 0/1255 variables, 2/1792 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 350 (INCLUDED_ONLY) 0/1255 variables, 2/1794 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 351 (INCLUDED_ONLY) 0/1255 variables, 0/1794 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 352 (OVERLAPS) 12/1267 variables, 6/1800 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 353 (INCLUDED_ONLY) 0/1267 variables, 6/1806 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 354 (INCLUDED_ONLY) 0/1267 variables, 3/1809 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 355 (INCLUDED_ONLY) 0/1267 variables, 0/1809 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 356 (OVERLAPS) 13/1280 variables, 8/1817 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 357 (INCLUDED_ONLY) 0/1280 variables, 8/1825 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 358 (INCLUDED_ONLY) 0/1280 variables, 3/1828 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 359 (INCLUDED_ONLY) 0/1280 variables, 2/1830 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 360 (INCLUDED_ONLY) 0/1280 variables, 0/1830 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 361 (OVERLAPS) 1/1281 variables, 1/1831 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 362 (INCLUDED_ONLY) 0/1281 variables, 1/1832 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 363 (INCLUDED_ONLY) 0/1281 variables, 1/1833 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 364 (INCLUDED_ONLY) 0/1281 variables, 0/1833 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 365 (OVERLAPS) 1/1282 variables, 1/1834 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 366 (INCLUDED_ONLY) 0/1282 variables, 1/1835 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 367 (INCLUDED_ONLY) 0/1282 variables, 1/1836 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 368 (INCLUDED_ONLY) 0/1282 variables, 0/1836 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 369 (OVERLAPS) 2/1284 variables, 2/1838 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 370 (INCLUDED_ONLY) 0/1284 variables, 2/1840 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 371 (INCLUDED_ONLY) 0/1284 variables, 1/1841 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 372 (INCLUDED_ONLY) 0/1284 variables, 0/1841 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 373 (OVERLAPS) 0/1284 variables, 0/1841 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1284/1284 variables, and 1841 constraints, problems are : Problem set: 0 solved, 1 unsolved in 1467 ms.
Refiners :[Domain max(s): 747/747 constraints, Positive P Invariants (semi-flows): 330/330 constraints, State Equation: 747/747 constraints, ReadFeed: 16/16 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
After SMT, in 2806ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 1 ms.
Support contains 1 out of 747 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 747/747 places, 537/537 transitions.
Applied a total of 0 rules in 28 ms. Remains 747 /747 variables (removed 0) and now considering 537/537 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 28 ms. Remains : 747/747 places, 537/537 transitions.
RANDOM walk for 3027595 steps (6 resets) in 17868 ms. (169 steps per ms) remains 0/1 properties
Able to resolve query StableMarking after proving 510 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK MARKED_SUFFIX_TEST BESTFIRST_WALK TOPOLOGICAL
Total runtime 79650 ms.
ITS solved all properties within timeout

BK_STOP 1717225876995

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML

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="ShieldPPPt-PT-030A"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool ltsminxred"
echo " Input is ShieldPPPt-PT-030A, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r530-tall-171683779300403"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-030A.tgz
mv ShieldPPPt-PT-030A execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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