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.r364-tall-171683777300183.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 greatspnxred
Input is ShieldIIPt-PT-030A, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r364-tall-171683777300183
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 6.2K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K 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.4K Apr 23 07:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 23 07:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 23 07:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 23 07:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 12 22:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Apr 12 22:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Apr 12 22:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Apr 12 22:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 23 07:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:52 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 159K 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 1716910543190

Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ShieldIIPt-PT-030A
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-28 15:35:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-05-28 15:35:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-28 15:35:44] [INFO ] Load time of PNML (sax parser for PT used): 110 ms
[2024-05-28 15:35:44] [INFO ] Transformed 573 places.
[2024-05-28 15:35:44] [INFO ] Transformed 423 transitions.
[2024-05-28 15:35:44] [INFO ] Found NUPN structural information;
[2024-05-28 15:35:44] [INFO ] Parsed PT model containing 573 places and 423 transitions and 1806 arcs in 245 ms.
Structural test allowed to assert that 243 places are NOT stable. Took 9 ms.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
RANDOM walk for 40000 steps (8 resets) in 2412 ms. (16 steps per ms) remains 160/330 properties
BEST_FIRST walk for 403 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 21 ms. (18 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 19 ms. (20 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 21 ms. (18 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 38 ms. (10 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 401 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 6 ms. (57 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 12 ms. (30 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 7 ms. (50 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 401 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 7 ms. (50 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 10 ms. (36 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 11 ms. (33 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 160/160 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 10 ms. (36 steps per ms) remains 160/160 properties
BEST_FIRST walk for 403 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
BEST_FIRST walk for 402 steps (8 resets) in 8 ms. (44 steps per ms) remains 160/160 properties
// Phase 1: matrix 422 rows 573 cols
[2024-05-28 15:35:46] [INFO ] Computed 271 invariants in 19 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/160 variables, 160/160 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/160 variables, 0/160 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 2 (OVERLAPS) 116/276 variables, 130/290 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/276 variables, 116/406 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/276 variables, 0/406 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 5 (OVERLAPS) 297/573 variables, 141/547 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/573 variables, 297/844 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/573 variables, 0/844 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 8 (OVERLAPS) 422/995 variables, 573/1417 constraints. Problems are: Problem set: 0 solved, 160 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 995/995 variables, and 1417 constraints, problems are : Problem set: 0 solved, 160 unsolved in 5054 ms.
Refiners :[Domain max(s): 573/573 constraints, Positive P Invariants (semi-flows): 271/271 constraints, State Equation: 573/573 constraints, PredecessorRefiner: 160/160 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 160 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/160 variables, 160/160 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/160 variables, 0/160 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 2 (OVERLAPS) 116/276 variables, 130/290 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/276 variables, 116/406 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/276 variables, 0/406 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 5 (OVERLAPS) 297/573 variables, 141/547 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/573 variables, 297/844 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/573 variables, 0/844 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 8 (OVERLAPS) 422/995 variables, 573/1417 constraints. Problems are: Problem set: 0 solved, 160 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/995 variables, 160/1577 constraints. Problems are: Problem set: 0 solved, 160 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 995/995 variables, and 1577 constraints, problems are : Problem set: 0 solved, 160 unsolved in 5016 ms.
Refiners :[Domain max(s): 573/573 constraints, Positive P Invariants (semi-flows): 271/271 constraints, State Equation: 573/573 constraints, PredecessorRefiner: 160/160 constraints, Known Traps: 0/0 constraints]
After SMT, in 10346ms problems are : Problem set: 0 solved, 160 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 160 out of 573 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 573/573 places, 422/422 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 573 transition count 421
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 572 transition count 421
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 571 transition count 420
Partial Free-agglomeration rule applied 31 times.
Drop transitions (Partial Free agglomeration) removed 31 transitions
Iterating global reduction 0 with 31 rules applied. Total rules applied 35 place count 571 transition count 420
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 0 with 1 rules applied. Total rules applied 36 place count 570 transition count 419
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 38 place count 568 transition count 419
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 38 place count 568 transition count 418
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 40 place count 567 transition count 418
Applied a total of 40 rules in 137 ms. Remains 567 /573 variables (removed 6) and now considering 418/422 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 147 ms. Remains : 567/573 places, 418/422 transitions.
RANDOM walk for 4000000 steps (8 resets) in 42575 ms. (93 steps per ms) remains 11/160 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 16631 ms. (240 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4000003 steps (8 resets) in 16456 ms. (243 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 16456 ms. (243 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 16433 ms. (243 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 16372 ms. (244 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4000002 steps (8 resets) in 16597 ms. (240 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 16433 ms. (243 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 16360 ms. (244 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 16670 ms. (239 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 16602 ms. (240 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4000003 steps (8 resets) in 16451 ms. (243 steps per ms) remains 11/11 properties
// Phase 1: matrix 418 rows 567 cols
[2024-05-28 15:36:53] [INFO ] Computed 269 invariants in 3 ms
[2024-05-28 15:36:53] [INFO ] State equation strengthened by 17 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/11 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/11 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 2 (OVERLAPS) 5/16 variables, 7/18 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/16 variables, 5/23 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/16 variables, 0/23 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 5 (OVERLAPS) 13/29 variables, 16/39 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/29 variables, 0/39 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 7 (OVERLAPS) 36/65 variables, 16/55 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/65 variables, 16/71 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/65 variables, 8/79 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/65 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 11 (OVERLAPS) 35/100 variables, 24/103 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/100 variables, 24/127 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/100 variables, 11/138 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/100 variables, 0/138 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 15 (OVERLAPS) 1/101 variables, 1/139 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/101 variables, 1/140 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/101 variables, 1/141 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/101 variables, 0/141 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 19 (OVERLAPS) 2/103 variables, 1/142 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/103 variables, 2/144 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/103 variables, 2/146 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/103 variables, 0/146 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 23 (OVERLAPS) 17/120 variables, 8/154 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/120 variables, 8/162 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/120 variables, 4/166 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/120 variables, 0/166 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 27 (OVERLAPS) 15/135 variables, 10/176 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/135 variables, 10/186 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/135 variables, 3/189 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/135 variables, 0/189 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 31 (OVERLAPS) 1/136 variables, 2/191 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/136 variables, 1/192 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/136 variables, 1/193 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/136 variables, 0/193 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 35 (OVERLAPS) 17/153 variables, 8/201 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/153 variables, 8/209 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/153 variables, 4/213 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/153 variables, 0/213 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 39 (OVERLAPS) 15/168 variables, 10/223 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/168 variables, 10/233 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/168 variables, 3/236 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/168 variables, 0/236 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 43 (OVERLAPS) 1/169 variables, 2/238 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/169 variables, 1/239 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/169 variables, 1/240 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/169 variables, 0/240 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 47 (OVERLAPS) 17/186 variables, 8/248 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/186 variables, 8/256 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/186 variables, 4/260 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/186 variables, 0/260 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 51 (OVERLAPS) 15/201 variables, 10/270 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/201 variables, 10/280 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/201 variables, 3/283 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/201 variables, 0/283 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 55 (OVERLAPS) 1/202 variables, 2/285 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/202 variables, 1/286 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/202 variables, 1/287 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/202 variables, 0/287 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 59 (OVERLAPS) 17/219 variables, 8/295 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/219 variables, 8/303 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/219 variables, 4/307 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/219 variables, 0/307 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 63 (OVERLAPS) 15/234 variables, 10/317 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/234 variables, 10/327 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/234 variables, 3/330 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/234 variables, 0/330 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 67 (OVERLAPS) 1/235 variables, 2/332 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/235 variables, 1/333 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/235 variables, 1/334 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/235 variables, 0/334 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 71 (OVERLAPS) 17/252 variables, 8/342 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/252 variables, 8/350 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/252 variables, 4/354 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/252 variables, 0/354 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 75 (OVERLAPS) 15/267 variables, 10/364 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/267 variables, 10/374 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/267 variables, 3/377 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/267 variables, 0/377 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 79 (OVERLAPS) 1/268 variables, 2/379 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/268 variables, 1/380 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/268 variables, 1/381 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/268 variables, 0/381 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 83 (OVERLAPS) 17/285 variables, 8/389 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/285 variables, 8/397 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/285 variables, 4/401 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/285 variables, 0/401 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 87 (OVERLAPS) 15/300 variables, 10/411 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/300 variables, 10/421 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/300 variables, 3/424 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/300 variables, 0/424 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 91 (OVERLAPS) 1/301 variables, 2/426 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/301 variables, 1/427 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/301 variables, 1/428 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/301 variables, 0/428 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 95 (OVERLAPS) 17/318 variables, 8/436 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/318 variables, 8/444 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/318 variables, 4/448 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/318 variables, 0/448 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 99 (OVERLAPS) 15/333 variables, 10/458 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/333 variables, 10/468 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/333 variables, 3/471 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/333 variables, 0/471 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 103 (OVERLAPS) 1/334 variables, 2/473 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/334 variables, 1/474 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/334 variables, 1/475 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/334 variables, 0/475 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 107 (OVERLAPS) 17/351 variables, 8/483 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/351 variables, 8/491 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/351 variables, 4/495 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/351 variables, 0/495 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 111 (OVERLAPS) 15/366 variables, 10/505 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/366 variables, 10/515 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 113 (INCLUDED_ONLY) 0/366 variables, 3/518 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/366 variables, 0/518 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 115 (OVERLAPS) 1/367 variables, 2/520 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/367 variables, 1/521 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/367 variables, 1/522 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/367 variables, 0/522 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 119 (OVERLAPS) 17/384 variables, 8/530 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/384 variables, 8/538 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/384 variables, 4/542 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/384 variables, 0/542 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 123 (OVERLAPS) 15/399 variables, 10/552 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/399 variables, 10/562 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/399 variables, 3/565 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/399 variables, 0/565 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 127 (OVERLAPS) 1/400 variables, 2/567 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/400 variables, 1/568 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/400 variables, 1/569 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/400 variables, 0/569 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 131 (OVERLAPS) 17/417 variables, 8/577 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/417 variables, 8/585 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/417 variables, 4/589 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/417 variables, 0/589 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 135 (OVERLAPS) 15/432 variables, 10/599 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/432 variables, 10/609 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/432 variables, 3/612 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/432 variables, 0/612 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 139 (OVERLAPS) 1/433 variables, 2/614 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/433 variables, 1/615 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/433 variables, 1/616 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/433 variables, 0/616 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 143 (OVERLAPS) 17/450 variables, 8/624 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/450 variables, 8/632 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/450 variables, 4/636 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/450 variables, 0/636 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 147 (OVERLAPS) 15/465 variables, 10/646 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/465 variables, 10/656 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/465 variables, 3/659 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/465 variables, 0/659 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 151 (OVERLAPS) 1/466 variables, 2/661 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/466 variables, 1/662 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/466 variables, 1/663 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/466 variables, 0/663 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 155 (OVERLAPS) 17/483 variables, 8/671 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/483 variables, 8/679 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 157 (INCLUDED_ONLY) 0/483 variables, 4/683 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/483 variables, 0/683 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 159 (OVERLAPS) 16/499 variables, 10/693 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/499 variables, 10/703 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/499 variables, 3/706 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/499 variables, 1/707 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/499 variables, 0/707 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 164 (OVERLAPS) 1/500 variables, 2/709 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/500 variables, 1/710 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/500 variables, 1/711 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/500 variables, 0/711 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 168 (OVERLAPS) 16/516 variables, 8/719 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/516 variables, 8/727 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/516 variables, 4/731 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/516 variables, 0/731 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 172 (OVERLAPS) 16/532 variables, 10/741 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/532 variables, 10/751 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/532 variables, 3/754 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/532 variables, 1/755 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/532 variables, 0/755 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 177 (OVERLAPS) 1/533 variables, 2/757 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/533 variables, 1/758 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/533 variables, 1/759 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/533 variables, 0/759 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 181 (OVERLAPS) 16/549 variables, 8/767 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/549 variables, 8/775 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/549 variables, 4/779 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/549 variables, 0/779 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 185 (OVERLAPS) 16/565 variables, 10/789 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/565 variables, 10/799 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/565 variables, 3/802 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/565 variables, 1/803 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/565 variables, 0/803 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 190 (OVERLAPS) 1/566 variables, 2/805 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/566 variables, 1/806 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 192 (INCLUDED_ONLY) 0/566 variables, 1/807 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/566 variables, 0/807 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 194 (OVERLAPS) 16/582 variables, 8/815 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 195 (INCLUDED_ONLY) 0/582 variables, 8/823 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/582 variables, 4/827 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/582 variables, 0/827 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 198 (OVERLAPS) 16/598 variables, 10/837 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/598 variables, 10/847 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/598 variables, 3/850 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/598 variables, 1/851 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/598 variables, 0/851 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 203 (OVERLAPS) 1/599 variables, 2/853 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/599 variables, 1/854 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/599 variables, 1/855 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/599 variables, 0/855 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 207 (OVERLAPS) 16/615 variables, 8/863 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/615 variables, 8/871 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/615 variables, 4/875 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/615 variables, 0/875 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 211 (OVERLAPS) 16/631 variables, 10/885 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/631 variables, 10/895 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/631 variables, 3/898 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/631 variables, 1/899 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/631 variables, 0/899 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 216 (OVERLAPS) 1/632 variables, 2/901 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/632 variables, 1/902 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 218 (INCLUDED_ONLY) 0/632 variables, 1/903 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/632 variables, 0/903 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 220 (OVERLAPS) 16/648 variables, 8/911 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/648 variables, 8/919 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 222 (INCLUDED_ONLY) 0/648 variables, 4/923 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/648 variables, 0/923 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 224 (OVERLAPS) 16/664 variables, 10/933 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/664 variables, 10/943 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 226 (INCLUDED_ONLY) 0/664 variables, 3/946 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/664 variables, 1/947 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/664 variables, 0/947 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 229 (OVERLAPS) 1/665 variables, 2/949 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 230 (INCLUDED_ONLY) 0/665 variables, 1/950 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/665 variables, 1/951 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 232 (INCLUDED_ONLY) 0/665 variables, 0/951 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 233 (OVERLAPS) 16/681 variables, 8/959 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 234 (INCLUDED_ONLY) 0/681 variables, 8/967 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 235 (INCLUDED_ONLY) 0/681 variables, 4/971 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/681 variables, 0/971 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 237 (OVERLAPS) 16/697 variables, 10/981 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/697 variables, 10/991 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/697 variables, 3/994 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 240 (INCLUDED_ONLY) 0/697 variables, 1/995 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/697 variables, 0/995 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 242 (OVERLAPS) 1/698 variables, 2/997 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 243 (INCLUDED_ONLY) 0/698 variables, 1/998 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 244 (INCLUDED_ONLY) 0/698 variables, 1/999 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/698 variables, 0/999 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 246 (OVERLAPS) 16/714 variables, 8/1007 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/714 variables, 8/1015 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 248 (INCLUDED_ONLY) 0/714 variables, 4/1019 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 249 (INCLUDED_ONLY) 0/714 variables, 0/1019 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 250 (OVERLAPS) 16/730 variables, 10/1029 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/730 variables, 10/1039 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 252 (INCLUDED_ONLY) 0/730 variables, 3/1042 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/730 variables, 1/1043 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 254 (INCLUDED_ONLY) 0/730 variables, 0/1043 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 255 (OVERLAPS) 1/731 variables, 2/1045 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/731 variables, 1/1046 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 257 (INCLUDED_ONLY) 0/731 variables, 1/1047 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/731 variables, 0/1047 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 259 (OVERLAPS) 16/747 variables, 8/1055 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 260 (INCLUDED_ONLY) 0/747 variables, 8/1063 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/747 variables, 4/1067 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/747 variables, 0/1067 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 263 (OVERLAPS) 16/763 variables, 10/1077 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/763 variables, 10/1087 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 265 (INCLUDED_ONLY) 0/763 variables, 3/1090 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 266 (INCLUDED_ONLY) 0/763 variables, 1/1091 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/763 variables, 0/1091 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 268 (OVERLAPS) 1/764 variables, 2/1093 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 269 (INCLUDED_ONLY) 0/764 variables, 1/1094 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 270 (INCLUDED_ONLY) 0/764 variables, 1/1095 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 271 (INCLUDED_ONLY) 0/764 variables, 0/1095 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 272 (OVERLAPS) 16/780 variables, 8/1103 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 273 (INCLUDED_ONLY) 0/780 variables, 8/1111 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 274 (INCLUDED_ONLY) 0/780 variables, 4/1115 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/780 variables, 0/1115 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 276 (OVERLAPS) 16/796 variables, 10/1125 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/796 variables, 10/1135 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 278 (INCLUDED_ONLY) 0/796 variables, 3/1138 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 279 (INCLUDED_ONLY) 0/796 variables, 1/1139 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/796 variables, 0/1139 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 281 (OVERLAPS) 1/797 variables, 2/1141 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 282 (INCLUDED_ONLY) 0/797 variables, 1/1142 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 283 (INCLUDED_ONLY) 0/797 variables, 1/1143 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 284 (INCLUDED_ONLY) 0/797 variables, 0/1143 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 285 (OVERLAPS) 16/813 variables, 8/1151 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 286 (INCLUDED_ONLY) 0/813 variables, 8/1159 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 287 (INCLUDED_ONLY) 0/813 variables, 4/1163 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 288 (INCLUDED_ONLY) 0/813 variables, 0/1163 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 289 (OVERLAPS) 16/829 variables, 10/1173 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 290 (INCLUDED_ONLY) 0/829 variables, 10/1183 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 291 (INCLUDED_ONLY) 0/829 variables, 3/1186 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 292 (INCLUDED_ONLY) 0/829 variables, 1/1187 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 293 (INCLUDED_ONLY) 0/829 variables, 0/1187 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 294 (OVERLAPS) 1/830 variables, 2/1189 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 295 (INCLUDED_ONLY) 0/830 variables, 1/1190 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 296 (INCLUDED_ONLY) 0/830 variables, 1/1191 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/830 variables, 0/1191 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 298 (OVERLAPS) 16/846 variables, 8/1199 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 299 (INCLUDED_ONLY) 0/846 variables, 8/1207 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 300 (INCLUDED_ONLY) 0/846 variables, 4/1211 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 301 (INCLUDED_ONLY) 0/846 variables, 0/1211 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 302 (OVERLAPS) 16/862 variables, 10/1221 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 303 (INCLUDED_ONLY) 0/862 variables, 10/1231 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 304 (INCLUDED_ONLY) 0/862 variables, 3/1234 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/862 variables, 1/1235 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 306 (INCLUDED_ONLY) 0/862 variables, 0/1235 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 307 (OVERLAPS) 1/863 variables, 2/1237 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 308 (INCLUDED_ONLY) 0/863 variables, 1/1238 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 309 (INCLUDED_ONLY) 0/863 variables, 1/1239 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 310 (INCLUDED_ONLY) 0/863 variables, 0/1239 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 311 (OVERLAPS) 16/879 variables, 8/1247 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 312 (INCLUDED_ONLY) 0/879 variables, 8/1255 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 313 (INCLUDED_ONLY) 0/879 variables, 4/1259 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 314 (INCLUDED_ONLY) 0/879 variables, 0/1259 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 315 (OVERLAPS) 16/895 variables, 10/1269 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 316 (INCLUDED_ONLY) 0/895 variables, 10/1279 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 317 (INCLUDED_ONLY) 0/895 variables, 3/1282 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 318 (INCLUDED_ONLY) 0/895 variables, 1/1283 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 319 (INCLUDED_ONLY) 0/895 variables, 0/1283 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 320 (OVERLAPS) 1/896 variables, 2/1285 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 321 (INCLUDED_ONLY) 0/896 variables, 1/1286 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 322 (INCLUDED_ONLY) 0/896 variables, 1/1287 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 323 (INCLUDED_ONLY) 0/896 variables, 0/1287 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 324 (OVERLAPS) 16/912 variables, 8/1295 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 325 (INCLUDED_ONLY) 0/912 variables, 8/1303 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 326 (INCLUDED_ONLY) 0/912 variables, 4/1307 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 327 (INCLUDED_ONLY) 0/912 variables, 0/1307 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 328 (OVERLAPS) 16/928 variables, 10/1317 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 329 (INCLUDED_ONLY) 0/928 variables, 10/1327 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 330 (INCLUDED_ONLY) 0/928 variables, 3/1330 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 331 (INCLUDED_ONLY) 0/928 variables, 1/1331 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 332 (INCLUDED_ONLY) 0/928 variables, 0/1331 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 333 (OVERLAPS) 1/929 variables, 2/1333 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 334 (INCLUDED_ONLY) 0/929 variables, 1/1334 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 335 (INCLUDED_ONLY) 0/929 variables, 1/1335 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 336 (INCLUDED_ONLY) 0/929 variables, 0/1335 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 337 (OVERLAPS) 16/945 variables, 8/1343 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 338 (INCLUDED_ONLY) 0/945 variables, 8/1351 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 339 (INCLUDED_ONLY) 0/945 variables, 4/1355 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 340 (INCLUDED_ONLY) 0/945 variables, 0/1355 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 341 (OVERLAPS) 16/961 variables, 10/1365 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 342 (INCLUDED_ONLY) 0/961 variables, 10/1375 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 343 (INCLUDED_ONLY) 0/961 variables, 3/1378 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 344 (INCLUDED_ONLY) 0/961 variables, 1/1379 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 345 (INCLUDED_ONLY) 0/961 variables, 0/1379 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 346 (OVERLAPS) 1/962 variables, 2/1381 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 347 (INCLUDED_ONLY) 0/962 variables, 1/1382 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 348 (INCLUDED_ONLY) 0/962 variables, 1/1383 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 349 (INCLUDED_ONLY) 0/962 variables, 0/1383 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 350 (OVERLAPS) 11/973 variables, 6/1389 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 351 (INCLUDED_ONLY) 0/973 variables, 6/1395 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 352 (INCLUDED_ONLY) 0/973 variables, 3/1398 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 353 (INCLUDED_ONLY) 0/973 variables, 0/1398 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 354 (OVERLAPS) 8/981 variables, 4/1402 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 355 (INCLUDED_ONLY) 0/981 variables, 4/1406 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 356 (INCLUDED_ONLY) 0/981 variables, 1/1407 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 357 (INCLUDED_ONLY) 0/981 variables, 2/1409 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 358 (INCLUDED_ONLY) 0/981 variables, 0/1409 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 359 (OVERLAPS) 1/982 variables, 1/1410 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 360 (INCLUDED_ONLY) 0/982 variables, 1/1411 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 361 (INCLUDED_ONLY) 0/982 variables, 1/1412 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 362 (INCLUDED_ONLY) 0/982 variables, 0/1412 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 363 (OVERLAPS) 1/983 variables, 1/1413 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 364 (INCLUDED_ONLY) 0/983 variables, 1/1414 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 365 (INCLUDED_ONLY) 0/983 variables, 1/1415 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 366 (INCLUDED_ONLY) 0/983 variables, 0/1415 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 367 (OVERLAPS) 2/985 variables, 2/1417 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 368 (INCLUDED_ONLY) 0/985 variables, 2/1419 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 369 (INCLUDED_ONLY) 0/985 variables, 1/1420 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 370 (INCLUDED_ONLY) 0/985 variables, 0/1420 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 371 (OVERLAPS) 0/985 variables, 0/1420 constraints. Problems are: Problem set: 0 solved, 11 unsolved
No progress, stopping.
After SMT solving in domain Real declared 985/985 variables, and 1420 constraints, problems are : Problem set: 0 solved, 11 unsolved in 8771 ms.
Refiners :[Domain max(s): 567/567 constraints, Positive P Invariants (semi-flows): 269/269 constraints, State Equation: 567/567 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 11/11 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 11 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/11 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/11 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 2 (OVERLAPS) 5/16 variables, 7/18 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/16 variables, 5/23 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/16 variables, 0/23 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 5 (OVERLAPS) 13/29 variables, 16/39 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/29 variables, 1/40 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/29 variables, 0/40 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 8 (OVERLAPS) 36/65 variables, 16/56 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/65 variables, 16/72 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/65 variables, 8/80 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/65 variables, 10/90 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/65 variables, 0/90 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 13 (OVERLAPS) 35/100 variables, 24/114 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/100 variables, 24/138 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/100 variables, 11/149 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/100 variables, 0/149 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 17 (OVERLAPS) 1/101 variables, 1/150 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/101 variables, 1/151 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/101 variables, 1/152 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/101 variables, 0/152 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 21 (OVERLAPS) 2/103 variables, 1/153 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/103 variables, 2/155 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/103 variables, 2/157 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/103 variables, 0/157 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 25 (OVERLAPS) 17/120 variables, 8/165 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/120 variables, 8/173 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/120 variables, 4/177 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/120 variables, 0/177 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 29 (OVERLAPS) 15/135 variables, 10/187 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/135 variables, 10/197 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/135 variables, 3/200 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/135 variables, 0/200 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 33 (OVERLAPS) 1/136 variables, 2/202 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/136 variables, 1/203 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/136 variables, 1/204 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/136 variables, 0/204 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 37 (OVERLAPS) 17/153 variables, 8/212 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/153 variables, 8/220 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/153 variables, 4/224 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/153 variables, 0/224 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 41 (OVERLAPS) 15/168 variables, 10/234 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/168 variables, 10/244 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/168 variables, 3/247 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/168 variables, 0/247 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 45 (OVERLAPS) 1/169 variables, 2/249 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/169 variables, 1/250 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/169 variables, 1/251 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/169 variables, 0/251 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 49 (OVERLAPS) 17/186 variables, 8/259 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/186 variables, 8/267 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/186 variables, 4/271 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/186 variables, 0/271 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 53 (OVERLAPS) 15/201 variables, 10/281 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/201 variables, 10/291 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/201 variables, 3/294 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/201 variables, 0/294 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 57 (OVERLAPS) 1/202 variables, 2/296 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/202 variables, 1/297 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/202 variables, 1/298 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/202 variables, 0/298 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 61 (OVERLAPS) 17/219 variables, 8/306 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/219 variables, 8/314 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/219 variables, 4/318 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/219 variables, 0/318 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 65 (OVERLAPS) 15/234 variables, 10/328 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/234 variables, 10/338 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 67 (INCLUDED_ONLY) 0/234 variables, 3/341 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/234 variables, 0/341 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 69 (OVERLAPS) 1/235 variables, 2/343 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/235 variables, 1/344 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/235 variables, 1/345 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/235 variables, 0/345 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 73 (OVERLAPS) 17/252 variables, 8/353 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/252 variables, 8/361 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/252 variables, 4/365 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/252 variables, 0/365 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 77 (OVERLAPS) 15/267 variables, 10/375 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/267 variables, 10/385 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/267 variables, 3/388 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/267 variables, 0/388 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 81 (OVERLAPS) 1/268 variables, 2/390 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/268 variables, 1/391 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/268 variables, 1/392 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/268 variables, 0/392 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 85 (OVERLAPS) 17/285 variables, 8/400 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/285 variables, 8/408 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/285 variables, 4/412 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/285 variables, 0/412 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 89 (OVERLAPS) 15/300 variables, 10/422 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/300 variables, 10/432 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/300 variables, 3/435 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/300 variables, 0/435 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 93 (OVERLAPS) 1/301 variables, 2/437 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/301 variables, 1/438 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/301 variables, 1/439 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/301 variables, 0/439 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 97 (OVERLAPS) 17/318 variables, 8/447 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/318 variables, 8/455 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/318 variables, 4/459 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/318 variables, 0/459 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 101 (OVERLAPS) 15/333 variables, 10/469 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/333 variables, 10/479 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/333 variables, 3/482 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/333 variables, 0/482 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 105 (OVERLAPS) 1/334 variables, 2/484 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/334 variables, 1/485 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 107 (INCLUDED_ONLY) 0/334 variables, 1/486 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/334 variables, 0/486 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 109 (OVERLAPS) 17/351 variables, 8/494 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/351 variables, 8/502 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/351 variables, 4/506 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/351 variables, 0/506 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 113 (OVERLAPS) 15/366 variables, 10/516 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/366 variables, 10/526 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 115 (INCLUDED_ONLY) 0/366 variables, 3/529 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/366 variables, 0/529 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 117 (OVERLAPS) 1/367 variables, 2/531 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/367 variables, 1/532 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 119 (INCLUDED_ONLY) 0/367 variables, 1/533 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/367 variables, 0/533 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 121 (OVERLAPS) 17/384 variables, 8/541 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/384 variables, 8/549 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/384 variables, 4/553 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/384 variables, 0/553 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 125 (OVERLAPS) 15/399 variables, 10/563 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/399 variables, 10/573 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/399 variables, 3/576 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/399 variables, 0/576 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 129 (OVERLAPS) 1/400 variables, 2/578 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/400 variables, 1/579 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/400 variables, 1/580 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/400 variables, 0/580 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 133 (OVERLAPS) 17/417 variables, 8/588 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/417 variables, 8/596 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 135 (INCLUDED_ONLY) 0/417 variables, 4/600 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/417 variables, 0/600 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 137 (OVERLAPS) 15/432 variables, 10/610 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/432 variables, 10/620 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 139 (INCLUDED_ONLY) 0/432 variables, 3/623 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/432 variables, 0/623 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 141 (OVERLAPS) 1/433 variables, 2/625 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/433 variables, 1/626 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 143 (INCLUDED_ONLY) 0/433 variables, 1/627 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/433 variables, 0/627 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 145 (OVERLAPS) 17/450 variables, 8/635 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/450 variables, 8/643 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/450 variables, 4/647 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/450 variables, 0/647 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 149 (OVERLAPS) 15/465 variables, 10/657 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/465 variables, 10/667 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 151 (INCLUDED_ONLY) 0/465 variables, 3/670 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/465 variables, 0/670 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 153 (OVERLAPS) 1/466 variables, 2/672 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/466 variables, 1/673 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 155 (INCLUDED_ONLY) 0/466 variables, 1/674 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/466 variables, 0/674 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 157 (OVERLAPS) 17/483 variables, 8/682 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/483 variables, 8/690 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 159 (INCLUDED_ONLY) 0/483 variables, 4/694 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/483 variables, 0/694 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 161 (OVERLAPS) 16/499 variables, 10/704 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/499 variables, 10/714 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/499 variables, 3/717 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/499 variables, 1/718 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/499 variables, 0/718 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 166 (OVERLAPS) 1/500 variables, 2/720 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/500 variables, 1/721 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/500 variables, 1/722 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/500 variables, 0/722 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 170 (OVERLAPS) 16/516 variables, 8/730 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/516 variables, 8/738 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/516 variables, 4/742 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/516 variables, 0/742 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 174 (OVERLAPS) 16/532 variables, 10/752 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/532 variables, 10/762 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/532 variables, 3/765 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 177 (INCLUDED_ONLY) 0/532 variables, 1/766 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/532 variables, 0/766 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 179 (OVERLAPS) 1/533 variables, 2/768 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/533 variables, 1/769 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 181 (INCLUDED_ONLY) 0/533 variables, 1/770 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/533 variables, 0/770 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 183 (OVERLAPS) 16/549 variables, 8/778 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/549 variables, 8/786 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 185 (INCLUDED_ONLY) 0/549 variables, 4/790 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/549 variables, 0/790 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 187 (OVERLAPS) 16/565 variables, 10/800 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/565 variables, 10/810 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/565 variables, 3/813 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 190 (INCLUDED_ONLY) 0/565 variables, 1/814 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/565 variables, 0/814 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 192 (OVERLAPS) 1/566 variables, 2/816 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/566 variables, 1/817 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/566 variables, 1/818 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 195 (INCLUDED_ONLY) 0/566 variables, 0/818 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 196 (OVERLAPS) 16/582 variables, 8/826 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/582 variables, 8/834 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 198 (INCLUDED_ONLY) 0/582 variables, 4/838 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/582 variables, 0/838 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 200 (OVERLAPS) 16/598 variables, 10/848 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/598 variables, 10/858 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/598 variables, 3/861 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 203 (INCLUDED_ONLY) 0/598 variables, 1/862 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/598 variables, 0/862 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 205 (OVERLAPS) 1/599 variables, 2/864 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/599 variables, 1/865 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 207 (INCLUDED_ONLY) 0/599 variables, 1/866 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/599 variables, 0/866 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 209 (OVERLAPS) 16/615 variables, 8/874 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/615 variables, 8/882 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 211 (INCLUDED_ONLY) 0/615 variables, 4/886 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/615 variables, 0/886 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 213 (OVERLAPS) 16/631 variables, 10/896 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/631 variables, 10/906 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/631 variables, 3/909 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 216 (INCLUDED_ONLY) 0/631 variables, 1/910 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/631 variables, 0/910 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 218 (OVERLAPS) 1/632 variables, 2/912 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/632 variables, 1/913 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 220 (INCLUDED_ONLY) 0/632 variables, 1/914 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/632 variables, 0/914 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 222 (OVERLAPS) 16/648 variables, 8/922 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/648 variables, 8/930 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 224 (INCLUDED_ONLY) 0/648 variables, 4/934 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/648 variables, 0/934 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 226 (OVERLAPS) 16/664 variables, 10/944 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/664 variables, 10/954 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/664 variables, 3/957 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 229 (INCLUDED_ONLY) 0/664 variables, 1/958 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 230 (INCLUDED_ONLY) 0/664 variables, 0/958 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 231 (OVERLAPS) 1/665 variables, 2/960 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 232 (INCLUDED_ONLY) 0/665 variables, 1/961 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 233 (INCLUDED_ONLY) 0/665 variables, 1/962 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 234 (INCLUDED_ONLY) 0/665 variables, 0/962 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 235 (OVERLAPS) 16/681 variables, 8/970 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/681 variables, 8/978 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 237 (INCLUDED_ONLY) 0/681 variables, 4/982 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/681 variables, 0/982 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 239 (OVERLAPS) 16/697 variables, 10/992 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 240 (INCLUDED_ONLY) 0/697 variables, 10/1002 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/697 variables, 3/1005 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/697 variables, 1/1006 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 243 (INCLUDED_ONLY) 0/697 variables, 0/1006 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 244 (OVERLAPS) 1/698 variables, 2/1008 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/698 variables, 1/1009 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 246 (INCLUDED_ONLY) 0/698 variables, 1/1010 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/698 variables, 0/1010 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 248 (OVERLAPS) 16/714 variables, 8/1018 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 249 (INCLUDED_ONLY) 0/714 variables, 8/1026 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/714 variables, 4/1030 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/714 variables, 0/1030 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 252 (OVERLAPS) 16/730 variables, 10/1040 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/730 variables, 10/1050 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 254 (INCLUDED_ONLY) 0/730 variables, 3/1053 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 255 (INCLUDED_ONLY) 0/730 variables, 1/1054 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/730 variables, 0/1054 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 257 (OVERLAPS) 1/731 variables, 2/1056 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/731 variables, 1/1057 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 259 (INCLUDED_ONLY) 0/731 variables, 1/1058 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 260 (INCLUDED_ONLY) 0/731 variables, 0/1058 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 261 (OVERLAPS) 16/747 variables, 8/1066 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/747 variables, 8/1074 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 263 (INCLUDED_ONLY) 0/747 variables, 4/1078 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/747 variables, 0/1078 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 265 (OVERLAPS) 16/763 variables, 10/1088 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 266 (INCLUDED_ONLY) 0/763 variables, 10/1098 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/763 variables, 3/1101 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 268 (INCLUDED_ONLY) 0/763 variables, 1/1102 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 269 (INCLUDED_ONLY) 0/763 variables, 0/1102 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 270 (OVERLAPS) 1/764 variables, 2/1104 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 271 (INCLUDED_ONLY) 0/764 variables, 1/1105 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 272 (INCLUDED_ONLY) 0/764 variables, 1/1106 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 273 (INCLUDED_ONLY) 0/764 variables, 0/1106 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 274 (OVERLAPS) 16/780 variables, 8/1114 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/780 variables, 8/1122 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 276 (INCLUDED_ONLY) 0/780 variables, 4/1126 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/780 variables, 0/1126 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 278 (OVERLAPS) 16/796 variables, 10/1136 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 279 (INCLUDED_ONLY) 0/796 variables, 10/1146 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/796 variables, 3/1149 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 281 (INCLUDED_ONLY) 0/796 variables, 1/1150 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 282 (INCLUDED_ONLY) 0/796 variables, 0/1150 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 283 (OVERLAPS) 1/797 variables, 2/1152 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 284 (INCLUDED_ONLY) 0/797 variables, 1/1153 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 285 (INCLUDED_ONLY) 0/797 variables, 1/1154 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 286 (INCLUDED_ONLY) 0/797 variables, 0/1154 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 287 (OVERLAPS) 16/813 variables, 8/1162 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 288 (INCLUDED_ONLY) 0/813 variables, 8/1170 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 289 (INCLUDED_ONLY) 0/813 variables, 4/1174 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 290 (INCLUDED_ONLY) 0/813 variables, 0/1174 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 291 (OVERLAPS) 16/829 variables, 10/1184 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 292 (INCLUDED_ONLY) 0/829 variables, 10/1194 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 293 (INCLUDED_ONLY) 0/829 variables, 3/1197 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 294 (INCLUDED_ONLY) 0/829 variables, 1/1198 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 295 (INCLUDED_ONLY) 0/829 variables, 0/1198 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 296 (OVERLAPS) 1/830 variables, 2/1200 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/830 variables, 1/1201 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 298 (INCLUDED_ONLY) 0/830 variables, 1/1202 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 299 (INCLUDED_ONLY) 0/830 variables, 0/1202 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 300 (OVERLAPS) 16/846 variables, 8/1210 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 301 (INCLUDED_ONLY) 0/846 variables, 8/1218 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 302 (INCLUDED_ONLY) 0/846 variables, 4/1222 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 303 (INCLUDED_ONLY) 0/846 variables, 0/1222 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 304 (OVERLAPS) 16/862 variables, 10/1232 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/862 variables, 10/1242 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 306 (INCLUDED_ONLY) 0/862 variables, 3/1245 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 307 (INCLUDED_ONLY) 0/862 variables, 1/1246 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 308 (INCLUDED_ONLY) 0/862 variables, 0/1246 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 309 (OVERLAPS) 1/863 variables, 2/1248 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 310 (INCLUDED_ONLY) 0/863 variables, 1/1249 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 311 (INCLUDED_ONLY) 0/863 variables, 1/1250 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 312 (INCLUDED_ONLY) 0/863 variables, 0/1250 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 313 (OVERLAPS) 16/879 variables, 8/1258 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 314 (INCLUDED_ONLY) 0/879 variables, 8/1266 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 315 (INCLUDED_ONLY) 0/879 variables, 4/1270 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 316 (INCLUDED_ONLY) 0/879 variables, 0/1270 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 317 (OVERLAPS) 16/895 variables, 10/1280 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 318 (INCLUDED_ONLY) 0/895 variables, 10/1290 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 319 (INCLUDED_ONLY) 0/895 variables, 3/1293 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 320 (INCLUDED_ONLY) 0/895 variables, 1/1294 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 321 (INCLUDED_ONLY) 0/895 variables, 0/1294 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 322 (OVERLAPS) 1/896 variables, 2/1296 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 323 (INCLUDED_ONLY) 0/896 variables, 1/1297 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 324 (INCLUDED_ONLY) 0/896 variables, 1/1298 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 325 (INCLUDED_ONLY) 0/896 variables, 0/1298 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 326 (OVERLAPS) 16/912 variables, 8/1306 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 327 (INCLUDED_ONLY) 0/912 variables, 8/1314 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 328 (INCLUDED_ONLY) 0/912 variables, 4/1318 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 329 (INCLUDED_ONLY) 0/912 variables, 0/1318 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 330 (OVERLAPS) 16/928 variables, 10/1328 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 331 (INCLUDED_ONLY) 0/928 variables, 10/1338 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 332 (INCLUDED_ONLY) 0/928 variables, 3/1341 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 333 (INCLUDED_ONLY) 0/928 variables, 1/1342 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 334 (INCLUDED_ONLY) 0/928 variables, 0/1342 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 335 (OVERLAPS) 1/929 variables, 2/1344 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 336 (INCLUDED_ONLY) 0/929 variables, 1/1345 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 337 (INCLUDED_ONLY) 0/929 variables, 1/1346 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 338 (INCLUDED_ONLY) 0/929 variables, 0/1346 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 339 (OVERLAPS) 16/945 variables, 8/1354 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 340 (INCLUDED_ONLY) 0/945 variables, 8/1362 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 341 (INCLUDED_ONLY) 0/945 variables, 4/1366 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 342 (INCLUDED_ONLY) 0/945 variables, 0/1366 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 343 (OVERLAPS) 16/961 variables, 10/1376 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 344 (INCLUDED_ONLY) 0/961 variables, 10/1386 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 345 (INCLUDED_ONLY) 0/961 variables, 3/1389 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 346 (INCLUDED_ONLY) 0/961 variables, 1/1390 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 347 (INCLUDED_ONLY) 0/961 variables, 0/1390 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 348 (OVERLAPS) 1/962 variables, 2/1392 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 349 (INCLUDED_ONLY) 0/962 variables, 1/1393 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 350 (INCLUDED_ONLY) 0/962 variables, 1/1394 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 351 (INCLUDED_ONLY) 0/962 variables, 0/1394 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 352 (OVERLAPS) 11/973 variables, 6/1400 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 353 (INCLUDED_ONLY) 0/973 variables, 6/1406 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 354 (INCLUDED_ONLY) 0/973 variables, 3/1409 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 355 (INCLUDED_ONLY) 0/973 variables, 0/1409 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 356 (OVERLAPS) 8/981 variables, 4/1413 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 357 (INCLUDED_ONLY) 0/981 variables, 4/1417 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 358 (INCLUDED_ONLY) 0/981 variables, 1/1418 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 359 (INCLUDED_ONLY) 0/981 variables, 2/1420 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 360 (INCLUDED_ONLY) 0/981 variables, 0/1420 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 361 (OVERLAPS) 1/982 variables, 1/1421 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 362 (INCLUDED_ONLY) 0/982 variables, 1/1422 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 363 (INCLUDED_ONLY) 0/982 variables, 1/1423 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 364 (INCLUDED_ONLY) 0/982 variables, 0/1423 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 365 (OVERLAPS) 1/983 variables, 1/1424 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 366 (INCLUDED_ONLY) 0/983 variables, 1/1425 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 367 (INCLUDED_ONLY) 0/983 variables, 1/1426 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 368 (INCLUDED_ONLY) 0/983 variables, 0/1426 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 369 (OVERLAPS) 2/985 variables, 2/1428 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 370 (INCLUDED_ONLY) 0/985 variables, 2/1430 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 371 (INCLUDED_ONLY) 0/985 variables, 1/1431 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 372 (INCLUDED_ONLY) 0/985 variables, 0/1431 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 373 (OVERLAPS) 0/985 variables, 0/1431 constraints. Problems are: Problem set: 0 solved, 11 unsolved
No progress, stopping.
After SMT solving in domain Int declared 985/985 variables, and 1431 constraints, problems are : Problem set: 0 solved, 11 unsolved in 11834 ms.
Refiners :[Domain max(s): 567/567 constraints, Positive P Invariants (semi-flows): 269/269 constraints, State Equation: 567/567 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 11/11 constraints, Known Traps: 0/0 constraints]
After SMT, in 20621ms problems are : Problem set: 0 solved, 11 unsolved
Parikh walk visited 0 properties in 7 ms.
Support contains 11 out of 567 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 567/567 places, 418/418 transitions.
Applied a total of 0 rules in 21 ms. Remains 567 /567 variables (removed 0) and now considering 418/418 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22 ms. Remains : 567/567 places, 418/418 transitions.
RANDOM walk for 4000000 steps (8 resets) in 30478 ms. (131 steps per ms) remains 1/11 properties
BEST_FIRST walk for 4000004 steps (8 resets) in 15863 ms. (252 steps per ms) remains 1/1 properties
[2024-05-28 15:37:26] [INFO ] Invariant cache hit.
[2024-05-28 15:37:26] [INFO ] State equation strengthened by 17 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) 1/2 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 2/4 variables, 2/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/4 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 15/19 variables, 6/11 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/19 variables, 6/17 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/19 variables, 3/20 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/19 variables, 0/20 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 30/49 variables, 16/36 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/49 variables, 16/52 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/49 variables, 6/58 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/49 variables, 0/58 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (OVERLAPS) 2/51 variables, 2/60 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/51 variables, 2/62 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/51 variables, 2/64 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/51 variables, 0/64 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (OVERLAPS) 4/55 variables, 2/66 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/55 variables, 4/70 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/55 variables, 2/72 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/55 variables, 0/72 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 23 (OVERLAPS) 32/87 variables, 20/92 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/87 variables, 18/110 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/87 variables, 9/119 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/87 variables, 0/119 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 27 (OVERLAPS) 15/102 variables, 10/129 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/102 variables, 10/139 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/102 variables, 3/142 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/102 variables, 0/142 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 31 (OVERLAPS) 1/103 variables, 2/144 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/103 variables, 1/145 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/103 variables, 1/146 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/103 variables, 0/146 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 35 (OVERLAPS) 17/120 variables, 8/154 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/120 variables, 8/162 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/120 variables, 4/166 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/120 variables, 0/166 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 39 (OVERLAPS) 15/135 variables, 10/176 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/135 variables, 10/186 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/135 variables, 3/189 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/135 variables, 0/189 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 43 (OVERLAPS) 1/136 variables, 2/191 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/136 variables, 1/192 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/136 variables, 1/193 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/136 variables, 0/193 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 47 (OVERLAPS) 17/153 variables, 8/201 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/153 variables, 8/209 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/153 variables, 4/213 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/153 variables, 0/213 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 51 (OVERLAPS) 15/168 variables, 10/223 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/168 variables, 10/233 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/168 variables, 3/236 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/168 variables, 0/236 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 55 (OVERLAPS) 1/169 variables, 2/238 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/169 variables, 1/239 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/169 variables, 1/240 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/169 variables, 0/240 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 59 (OVERLAPS) 17/186 variables, 8/248 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/186 variables, 8/256 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/186 variables, 4/260 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/186 variables, 0/260 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 63 (OVERLAPS) 15/201 variables, 10/270 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/201 variables, 10/280 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/201 variables, 3/283 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/201 variables, 0/283 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 67 (OVERLAPS) 1/202 variables, 2/285 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/202 variables, 1/286 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/202 variables, 1/287 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/202 variables, 0/287 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 71 (OVERLAPS) 17/219 variables, 8/295 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/219 variables, 8/303 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/219 variables, 4/307 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/219 variables, 0/307 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 75 (OVERLAPS) 15/234 variables, 10/317 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/234 variables, 10/327 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/234 variables, 3/330 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/234 variables, 0/330 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 79 (OVERLAPS) 1/235 variables, 2/332 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/235 variables, 1/333 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/235 variables, 1/334 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/235 variables, 0/334 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 83 (OVERLAPS) 17/252 variables, 8/342 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/252 variables, 8/350 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/252 variables, 4/354 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/252 variables, 0/354 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 87 (OVERLAPS) 15/267 variables, 10/364 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/267 variables, 10/374 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/267 variables, 3/377 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/267 variables, 0/377 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 91 (OVERLAPS) 1/268 variables, 2/379 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/268 variables, 1/380 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/268 variables, 1/381 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/268 variables, 0/381 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 95 (OVERLAPS) 17/285 variables, 8/389 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/285 variables, 8/397 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/285 variables, 4/401 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/285 variables, 0/401 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 99 (OVERLAPS) 15/300 variables, 10/411 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/300 variables, 10/421 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/300 variables, 3/424 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/300 variables, 0/424 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 103 (OVERLAPS) 1/301 variables, 2/426 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/301 variables, 1/427 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/301 variables, 1/428 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/301 variables, 0/428 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 107 (OVERLAPS) 17/318 variables, 8/436 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/318 variables, 8/444 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/318 variables, 4/448 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/318 variables, 0/448 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 111 (OVERLAPS) 15/333 variables, 10/458 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/333 variables, 10/468 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 113 (INCLUDED_ONLY) 0/333 variables, 3/471 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/333 variables, 0/471 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 115 (OVERLAPS) 1/334 variables, 2/473 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/334 variables, 1/474 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/334 variables, 1/475 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/334 variables, 0/475 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 119 (OVERLAPS) 17/351 variables, 8/483 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/351 variables, 8/491 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/351 variables, 4/495 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/351 variables, 0/495 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 123 (OVERLAPS) 15/366 variables, 10/505 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/366 variables, 10/515 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/366 variables, 3/518 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/366 variables, 0/518 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 127 (OVERLAPS) 1/367 variables, 2/520 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/367 variables, 1/521 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/367 variables, 1/522 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/367 variables, 0/522 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 131 (OVERLAPS) 17/384 variables, 8/530 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/384 variables, 8/538 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/384 variables, 4/542 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/384 variables, 0/542 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 135 (OVERLAPS) 15/399 variables, 10/552 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/399 variables, 10/562 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/399 variables, 3/565 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/399 variables, 0/565 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 139 (OVERLAPS) 1/400 variables, 2/567 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/400 variables, 1/568 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/400 variables, 1/569 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/400 variables, 0/569 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 143 (OVERLAPS) 17/417 variables, 8/577 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/417 variables, 8/585 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/417 variables, 4/589 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/417 variables, 0/589 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 147 (OVERLAPS) 15/432 variables, 10/599 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/432 variables, 10/609 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/432 variables, 3/612 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/432 variables, 0/612 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 151 (OVERLAPS) 1/433 variables, 2/614 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/433 variables, 1/615 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/433 variables, 1/616 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/433 variables, 0/616 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 155 (OVERLAPS) 17/450 variables, 8/624 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/450 variables, 8/632 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 157 (INCLUDED_ONLY) 0/450 variables, 4/636 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/450 variables, 0/636 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 159 (OVERLAPS) 15/465 variables, 10/646 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/465 variables, 10/656 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/465 variables, 3/659 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/465 variables, 0/659 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 163 (OVERLAPS) 1/466 variables, 2/661 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/466 variables, 1/662 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/466 variables, 1/663 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/466 variables, 0/663 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 167 (OVERLAPS) 17/483 variables, 8/671 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/483 variables, 8/679 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/483 variables, 4/683 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/483 variables, 0/683 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 171 (OVERLAPS) 16/499 variables, 10/693 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/499 variables, 10/703 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/499 variables, 3/706 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/499 variables, 1/707 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/499 variables, 0/707 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 176 (OVERLAPS) 1/500 variables, 2/709 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 177 (INCLUDED_ONLY) 0/500 variables, 1/710 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/500 variables, 1/711 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/500 variables, 0/711 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 180 (OVERLAPS) 16/516 variables, 8/719 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 181 (INCLUDED_ONLY) 0/516 variables, 8/727 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/516 variables, 4/731 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/516 variables, 0/731 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 184 (OVERLAPS) 16/532 variables, 10/741 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 185 (INCLUDED_ONLY) 0/532 variables, 10/751 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/532 variables, 3/754 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/532 variables, 1/755 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/532 variables, 0/755 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 189 (OVERLAPS) 1/533 variables, 2/757 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 190 (INCLUDED_ONLY) 0/533 variables, 1/758 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/533 variables, 1/759 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 192 (INCLUDED_ONLY) 0/533 variables, 0/759 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 193 (OVERLAPS) 16/549 variables, 8/767 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/549 variables, 8/775 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 195 (INCLUDED_ONLY) 0/549 variables, 4/779 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/549 variables, 0/779 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 197 (OVERLAPS) 16/565 variables, 10/789 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 198 (INCLUDED_ONLY) 0/565 variables, 10/799 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/565 variables, 3/802 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/565 variables, 1/803 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/565 variables, 0/803 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 202 (OVERLAPS) 1/566 variables, 2/805 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 203 (INCLUDED_ONLY) 0/566 variables, 1/806 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/566 variables, 1/807 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/566 variables, 0/807 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 206 (OVERLAPS) 16/582 variables, 8/815 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 207 (INCLUDED_ONLY) 0/582 variables, 8/823 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/582 variables, 4/827 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/582 variables, 0/827 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 210 (OVERLAPS) 16/598 variables, 10/837 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 211 (INCLUDED_ONLY) 0/598 variables, 10/847 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/598 variables, 3/850 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/598 variables, 1/851 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/598 variables, 0/851 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 215 (OVERLAPS) 1/599 variables, 2/853 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 216 (INCLUDED_ONLY) 0/599 variables, 1/854 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/599 variables, 1/855 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 218 (INCLUDED_ONLY) 0/599 variables, 0/855 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 219 (OVERLAPS) 16/615 variables, 8/863 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 220 (INCLUDED_ONLY) 0/615 variables, 8/871 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/615 variables, 4/875 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 222 (INCLUDED_ONLY) 0/615 variables, 0/875 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 223 (OVERLAPS) 16/631 variables, 10/885 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 224 (INCLUDED_ONLY) 0/631 variables, 10/895 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/631 variables, 3/898 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 226 (INCLUDED_ONLY) 0/631 variables, 1/899 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/631 variables, 0/899 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 228 (OVERLAPS) 1/632 variables, 2/901 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 229 (INCLUDED_ONLY) 0/632 variables, 1/902 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 230 (INCLUDED_ONLY) 0/632 variables, 1/903 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/632 variables, 0/903 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 232 (OVERLAPS) 16/648 variables, 8/911 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 233 (INCLUDED_ONLY) 0/648 variables, 8/919 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 234 (INCLUDED_ONLY) 0/648 variables, 4/923 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 235 (INCLUDED_ONLY) 0/648 variables, 0/923 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 236 (OVERLAPS) 16/664 variables, 10/933 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 237 (INCLUDED_ONLY) 0/664 variables, 10/943 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/664 variables, 3/946 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/664 variables, 1/947 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 240 (INCLUDED_ONLY) 0/664 variables, 0/947 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 241 (OVERLAPS) 1/665 variables, 2/949 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/665 variables, 1/950 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 243 (INCLUDED_ONLY) 0/665 variables, 1/951 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 244 (INCLUDED_ONLY) 0/665 variables, 0/951 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 245 (OVERLAPS) 16/681 variables, 8/959 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 246 (INCLUDED_ONLY) 0/681 variables, 8/967 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/681 variables, 4/971 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 248 (INCLUDED_ONLY) 0/681 variables, 0/971 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 249 (OVERLAPS) 16/697 variables, 10/981 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/697 variables, 10/991 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/697 variables, 3/994 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 252 (INCLUDED_ONLY) 0/697 variables, 1/995 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/697 variables, 0/995 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 254 (OVERLAPS) 1/698 variables, 2/997 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 255 (INCLUDED_ONLY) 0/698 variables, 1/998 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/698 variables, 1/999 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 257 (INCLUDED_ONLY) 0/698 variables, 0/999 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 258 (OVERLAPS) 16/714 variables, 8/1007 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 259 (INCLUDED_ONLY) 0/714 variables, 8/1015 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 260 (INCLUDED_ONLY) 0/714 variables, 4/1019 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/714 variables, 0/1019 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 262 (OVERLAPS) 16/730 variables, 10/1029 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 263 (INCLUDED_ONLY) 0/730 variables, 10/1039 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/730 variables, 3/1042 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 265 (INCLUDED_ONLY) 0/730 variables, 1/1043 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 266 (INCLUDED_ONLY) 0/730 variables, 0/1043 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 267 (OVERLAPS) 1/731 variables, 2/1045 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 268 (INCLUDED_ONLY) 0/731 variables, 1/1046 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 269 (INCLUDED_ONLY) 0/731 variables, 1/1047 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 270 (INCLUDED_ONLY) 0/731 variables, 0/1047 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 271 (OVERLAPS) 16/747 variables, 8/1055 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 272 (INCLUDED_ONLY) 0/747 variables, 8/1063 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 273 (INCLUDED_ONLY) 0/747 variables, 4/1067 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 274 (INCLUDED_ONLY) 0/747 variables, 0/1067 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 275 (OVERLAPS) 16/763 variables, 10/1077 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 276 (INCLUDED_ONLY) 0/763 variables, 10/1087 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/763 variables, 3/1090 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 278 (INCLUDED_ONLY) 0/763 variables, 1/1091 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 279 (INCLUDED_ONLY) 0/763 variables, 0/1091 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 280 (OVERLAPS) 1/764 variables, 2/1093 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 281 (INCLUDED_ONLY) 0/764 variables, 1/1094 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 282 (INCLUDED_ONLY) 0/764 variables, 1/1095 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 283 (INCLUDED_ONLY) 0/764 variables, 0/1095 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 284 (OVERLAPS) 16/780 variables, 8/1103 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 285 (INCLUDED_ONLY) 0/780 variables, 8/1111 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 286 (INCLUDED_ONLY) 0/780 variables, 4/1115 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 287 (INCLUDED_ONLY) 0/780 variables, 0/1115 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 288 (OVERLAPS) 16/796 variables, 10/1125 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 289 (INCLUDED_ONLY) 0/796 variables, 10/1135 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 290 (INCLUDED_ONLY) 0/796 variables, 3/1138 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 291 (INCLUDED_ONLY) 0/796 variables, 1/1139 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 292 (INCLUDED_ONLY) 0/796 variables, 0/1139 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 293 (OVERLAPS) 1/797 variables, 2/1141 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 294 (INCLUDED_ONLY) 0/797 variables, 1/1142 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 295 (INCLUDED_ONLY) 0/797 variables, 1/1143 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 296 (INCLUDED_ONLY) 0/797 variables, 0/1143 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 297 (OVERLAPS) 16/813 variables, 8/1151 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 298 (INCLUDED_ONLY) 0/813 variables, 8/1159 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 299 (INCLUDED_ONLY) 0/813 variables, 4/1163 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 300 (INCLUDED_ONLY) 0/813 variables, 0/1163 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 301 (OVERLAPS) 16/829 variables, 10/1173 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 302 (INCLUDED_ONLY) 0/829 variables, 10/1183 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 303 (INCLUDED_ONLY) 0/829 variables, 3/1186 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 304 (INCLUDED_ONLY) 0/829 variables, 1/1187 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/829 variables, 0/1187 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 306 (OVERLAPS) 1/830 variables, 2/1189 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 307 (INCLUDED_ONLY) 0/830 variables, 1/1190 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 308 (INCLUDED_ONLY) 0/830 variables, 1/1191 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 309 (INCLUDED_ONLY) 0/830 variables, 0/1191 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 310 (OVERLAPS) 16/846 variables, 8/1199 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 311 (INCLUDED_ONLY) 0/846 variables, 8/1207 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 312 (INCLUDED_ONLY) 0/846 variables, 4/1211 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 313 (INCLUDED_ONLY) 0/846 variables, 0/1211 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 314 (OVERLAPS) 16/862 variables, 10/1221 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 315 (INCLUDED_ONLY) 0/862 variables, 10/1231 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 316 (INCLUDED_ONLY) 0/862 variables, 3/1234 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 317 (INCLUDED_ONLY) 0/862 variables, 1/1235 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 318 (INCLUDED_ONLY) 0/862 variables, 0/1235 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 319 (OVERLAPS) 1/863 variables, 2/1237 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 320 (INCLUDED_ONLY) 0/863 variables, 1/1238 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 321 (INCLUDED_ONLY) 0/863 variables, 1/1239 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 322 (INCLUDED_ONLY) 0/863 variables, 0/1239 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 323 (OVERLAPS) 16/879 variables, 8/1247 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 324 (INCLUDED_ONLY) 0/879 variables, 8/1255 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 325 (INCLUDED_ONLY) 0/879 variables, 4/1259 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 326 (INCLUDED_ONLY) 0/879 variables, 0/1259 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 327 (OVERLAPS) 16/895 variables, 10/1269 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 328 (INCLUDED_ONLY) 0/895 variables, 10/1279 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 329 (INCLUDED_ONLY) 0/895 variables, 3/1282 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 330 (INCLUDED_ONLY) 0/895 variables, 1/1283 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 331 (INCLUDED_ONLY) 0/895 variables, 0/1283 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 332 (OVERLAPS) 1/896 variables, 2/1285 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 333 (INCLUDED_ONLY) 0/896 variables, 1/1286 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 334 (INCLUDED_ONLY) 0/896 variables, 1/1287 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 335 (INCLUDED_ONLY) 0/896 variables, 0/1287 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 336 (OVERLAPS) 16/912 variables, 8/1295 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 337 (INCLUDED_ONLY) 0/912 variables, 8/1303 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 338 (INCLUDED_ONLY) 0/912 variables, 4/1307 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 339 (INCLUDED_ONLY) 0/912 variables, 0/1307 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 340 (OVERLAPS) 16/928 variables, 10/1317 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 341 (INCLUDED_ONLY) 0/928 variables, 10/1327 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 342 (INCLUDED_ONLY) 0/928 variables, 3/1330 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 343 (INCLUDED_ONLY) 0/928 variables, 1/1331 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 344 (INCLUDED_ONLY) 0/928 variables, 0/1331 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 345 (OVERLAPS) 1/929 variables, 2/1333 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 346 (INCLUDED_ONLY) 0/929 variables, 1/1334 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 347 (INCLUDED_ONLY) 0/929 variables, 1/1335 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 348 (INCLUDED_ONLY) 0/929 variables, 0/1335 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 349 (OVERLAPS) 16/945 variables, 8/1343 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 350 (INCLUDED_ONLY) 0/945 variables, 8/1351 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 351 (INCLUDED_ONLY) 0/945 variables, 4/1355 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 352 (INCLUDED_ONLY) 0/945 variables, 0/1355 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 353 (OVERLAPS) 16/961 variables, 10/1365 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 354 (INCLUDED_ONLY) 0/961 variables, 10/1375 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 355 (INCLUDED_ONLY) 0/961 variables, 3/1378 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 356 (INCLUDED_ONLY) 0/961 variables, 1/1379 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 357 (INCLUDED_ONLY) 0/961 variables, 0/1379 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 358 (OVERLAPS) 1/962 variables, 2/1381 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 359 (INCLUDED_ONLY) 0/962 variables, 1/1382 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 360 (INCLUDED_ONLY) 0/962 variables, 1/1383 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 361 (INCLUDED_ONLY) 0/962 variables, 0/1383 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 362 (OVERLAPS) 11/973 variables, 6/1389 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 363 (INCLUDED_ONLY) 0/973 variables, 6/1395 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 364 (INCLUDED_ONLY) 0/973 variables, 3/1398 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 365 (INCLUDED_ONLY) 0/973 variables, 0/1398 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 366 (OVERLAPS) 8/981 variables, 4/1402 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 367 (INCLUDED_ONLY) 0/981 variables, 4/1406 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 368 (INCLUDED_ONLY) 0/981 variables, 1/1407 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 369 (INCLUDED_ONLY) 0/981 variables, 2/1409 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 370 (INCLUDED_ONLY) 0/981 variables, 0/1409 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 371 (OVERLAPS) 1/982 variables, 1/1410 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 372 (INCLUDED_ONLY) 0/982 variables, 1/1411 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 373 (INCLUDED_ONLY) 0/982 variables, 1/1412 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 374 (INCLUDED_ONLY) 0/982 variables, 0/1412 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 375 (OVERLAPS) 1/983 variables, 1/1413 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 376 (INCLUDED_ONLY) 0/983 variables, 1/1414 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 377 (INCLUDED_ONLY) 0/983 variables, 1/1415 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 378 (INCLUDED_ONLY) 0/983 variables, 0/1415 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 379 (OVERLAPS) 2/985 variables, 2/1417 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 380 (INCLUDED_ONLY) 0/985 variables, 2/1419 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 381 (INCLUDED_ONLY) 0/985 variables, 1/1420 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 382 (INCLUDED_ONLY) 0/985 variables, 0/1420 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 383 (OVERLAPS) 0/985 variables, 0/1420 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 985/985 variables, and 1420 constraints, problems are : Problem set: 0 solved, 1 unsolved in 1119 ms.
Refiners :[Domain max(s): 567/567 constraints, Positive P Invariants (semi-flows): 269/269 constraints, State Equation: 567/567 constraints, ReadFeed: 17/17 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) 1/2 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 2/4 variables, 2/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/4 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 15/19 variables, 6/11 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/19 variables, 6/17 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/19 variables, 3/20 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/19 variables, 1/21 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/19 variables, 0/21 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (OVERLAPS) 30/49 variables, 16/37 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/49 variables, 16/53 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/49 variables, 6/59 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/49 variables, 0/59 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (OVERLAPS) 2/51 variables, 2/61 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/51 variables, 2/63 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/51 variables, 2/65 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/51 variables, 0/65 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (OVERLAPS) 4/55 variables, 2/67 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/55 variables, 4/71 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/55 variables, 2/73 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/55 variables, 0/73 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 24 (OVERLAPS) 32/87 variables, 20/93 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/87 variables, 18/111 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/87 variables, 9/120 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/87 variables, 0/120 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 28 (OVERLAPS) 15/102 variables, 10/130 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/102 variables, 10/140 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/102 variables, 3/143 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/102 variables, 0/143 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 32 (OVERLAPS) 1/103 variables, 2/145 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/103 variables, 1/146 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/103 variables, 1/147 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/103 variables, 0/147 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 36 (OVERLAPS) 17/120 variables, 8/155 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/120 variables, 8/163 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/120 variables, 4/167 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/120 variables, 0/167 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 40 (OVERLAPS) 15/135 variables, 10/177 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/135 variables, 10/187 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/135 variables, 3/190 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/135 variables, 0/190 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 44 (OVERLAPS) 1/136 variables, 2/192 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/136 variables, 1/193 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/136 variables, 1/194 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/136 variables, 0/194 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 48 (OVERLAPS) 17/153 variables, 8/202 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/153 variables, 8/210 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/153 variables, 4/214 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/153 variables, 0/214 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 52 (OVERLAPS) 15/168 variables, 10/224 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/168 variables, 10/234 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/168 variables, 3/237 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/168 variables, 0/237 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 56 (OVERLAPS) 1/169 variables, 2/239 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/169 variables, 1/240 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/169 variables, 1/241 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/169 variables, 0/241 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 60 (OVERLAPS) 17/186 variables, 8/249 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/186 variables, 8/257 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/186 variables, 4/261 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/186 variables, 0/261 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 64 (OVERLAPS) 15/201 variables, 10/271 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/201 variables, 10/281 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/201 variables, 3/284 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 67 (INCLUDED_ONLY) 0/201 variables, 0/284 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 68 (OVERLAPS) 1/202 variables, 2/286 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/202 variables, 1/287 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/202 variables, 1/288 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/202 variables, 0/288 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 72 (OVERLAPS) 17/219 variables, 8/296 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/219 variables, 8/304 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/219 variables, 4/308 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/219 variables, 0/308 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 76 (OVERLAPS) 15/234 variables, 10/318 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/234 variables, 10/328 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/234 variables, 3/331 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/234 variables, 0/331 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 80 (OVERLAPS) 1/235 variables, 2/333 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/235 variables, 1/334 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/235 variables, 1/335 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/235 variables, 0/335 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 84 (OVERLAPS) 17/252 variables, 8/343 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/252 variables, 8/351 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/252 variables, 4/355 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/252 variables, 0/355 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 88 (OVERLAPS) 15/267 variables, 10/365 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/267 variables, 10/375 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/267 variables, 3/378 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/267 variables, 0/378 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 92 (OVERLAPS) 1/268 variables, 2/380 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/268 variables, 1/381 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/268 variables, 1/382 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/268 variables, 0/382 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 96 (OVERLAPS) 17/285 variables, 8/390 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/285 variables, 8/398 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/285 variables, 4/402 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/285 variables, 0/402 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 100 (OVERLAPS) 15/300 variables, 10/412 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/300 variables, 10/422 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/300 variables, 3/425 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/300 variables, 0/425 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 104 (OVERLAPS) 1/301 variables, 2/427 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/301 variables, 1/428 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/301 variables, 1/429 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 107 (INCLUDED_ONLY) 0/301 variables, 0/429 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 108 (OVERLAPS) 17/318 variables, 8/437 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/318 variables, 8/445 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/318 variables, 4/449 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/318 variables, 0/449 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 112 (OVERLAPS) 15/333 variables, 10/459 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 113 (INCLUDED_ONLY) 0/333 variables, 10/469 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/333 variables, 3/472 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 115 (INCLUDED_ONLY) 0/333 variables, 0/472 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 116 (OVERLAPS) 1/334 variables, 2/474 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/334 variables, 1/475 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/334 variables, 1/476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 119 (INCLUDED_ONLY) 0/334 variables, 0/476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 120 (OVERLAPS) 17/351 variables, 8/484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/351 variables, 8/492 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/351 variables, 4/496 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/351 variables, 0/496 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 124 (OVERLAPS) 15/366 variables, 10/506 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/366 variables, 10/516 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/366 variables, 3/519 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/366 variables, 0/519 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 128 (OVERLAPS) 1/367 variables, 2/521 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/367 variables, 1/522 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/367 variables, 1/523 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/367 variables, 0/523 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 132 (OVERLAPS) 17/384 variables, 8/531 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/384 variables, 8/539 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/384 variables, 4/543 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 135 (INCLUDED_ONLY) 0/384 variables, 0/543 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 136 (OVERLAPS) 15/399 variables, 10/553 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/399 variables, 10/563 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/399 variables, 3/566 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 139 (INCLUDED_ONLY) 0/399 variables, 0/566 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 140 (OVERLAPS) 1/400 variables, 2/568 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/400 variables, 1/569 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/400 variables, 1/570 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 143 (INCLUDED_ONLY) 0/400 variables, 0/570 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 144 (OVERLAPS) 17/417 variables, 8/578 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/417 variables, 8/586 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/417 variables, 4/590 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/417 variables, 0/590 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 148 (OVERLAPS) 15/432 variables, 10/600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/432 variables, 10/610 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/432 variables, 3/613 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 151 (INCLUDED_ONLY) 0/432 variables, 0/613 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 152 (OVERLAPS) 1/433 variables, 2/615 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/433 variables, 1/616 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/433 variables, 1/617 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 155 (INCLUDED_ONLY) 0/433 variables, 0/617 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 156 (OVERLAPS) 17/450 variables, 8/625 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 157 (INCLUDED_ONLY) 0/450 variables, 8/633 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/450 variables, 4/637 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 159 (INCLUDED_ONLY) 0/450 variables, 0/637 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 160 (OVERLAPS) 15/465 variables, 10/647 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/465 variables, 10/657 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/465 variables, 3/660 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/465 variables, 0/660 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 164 (OVERLAPS) 1/466 variables, 2/662 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/466 variables, 1/663 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/466 variables, 1/664 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/466 variables, 0/664 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 168 (OVERLAPS) 17/483 variables, 8/672 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/483 variables, 8/680 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/483 variables, 4/684 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/483 variables, 0/684 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 172 (OVERLAPS) 16/499 variables, 10/694 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/499 variables, 10/704 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/499 variables, 3/707 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/499 variables, 1/708 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/499 variables, 0/708 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 177 (OVERLAPS) 1/500 variables, 2/710 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/500 variables, 1/711 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/500 variables, 1/712 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/500 variables, 0/712 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 181 (OVERLAPS) 16/516 variables, 8/720 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/516 variables, 8/728 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/516 variables, 4/732 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/516 variables, 0/732 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 185 (OVERLAPS) 16/532 variables, 10/742 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/532 variables, 10/752 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/532 variables, 3/755 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/532 variables, 1/756 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/532 variables, 0/756 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 190 (OVERLAPS) 1/533 variables, 2/758 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/533 variables, 1/759 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 192 (INCLUDED_ONLY) 0/533 variables, 1/760 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/533 variables, 0/760 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 194 (OVERLAPS) 16/549 variables, 8/768 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 195 (INCLUDED_ONLY) 0/549 variables, 8/776 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/549 variables, 4/780 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/549 variables, 0/780 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 198 (OVERLAPS) 16/565 variables, 10/790 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/565 variables, 10/800 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/565 variables, 3/803 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/565 variables, 1/804 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/565 variables, 0/804 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 203 (OVERLAPS) 1/566 variables, 2/806 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/566 variables, 1/807 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/566 variables, 1/808 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/566 variables, 0/808 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 207 (OVERLAPS) 16/582 variables, 8/816 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/582 variables, 8/824 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/582 variables, 4/828 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/582 variables, 0/828 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 211 (OVERLAPS) 16/598 variables, 10/838 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/598 variables, 10/848 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/598 variables, 3/851 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/598 variables, 1/852 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/598 variables, 0/852 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 216 (OVERLAPS) 1/599 variables, 2/854 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/599 variables, 1/855 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 218 (INCLUDED_ONLY) 0/599 variables, 1/856 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/599 variables, 0/856 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 220 (OVERLAPS) 16/615 variables, 8/864 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/615 variables, 8/872 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 222 (INCLUDED_ONLY) 0/615 variables, 4/876 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/615 variables, 0/876 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 224 (OVERLAPS) 16/631 variables, 10/886 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/631 variables, 10/896 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 226 (INCLUDED_ONLY) 0/631 variables, 3/899 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/631 variables, 1/900 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/631 variables, 0/900 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 229 (OVERLAPS) 1/632 variables, 2/902 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 230 (INCLUDED_ONLY) 0/632 variables, 1/903 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/632 variables, 1/904 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 232 (INCLUDED_ONLY) 0/632 variables, 0/904 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 233 (OVERLAPS) 16/648 variables, 8/912 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 234 (INCLUDED_ONLY) 0/648 variables, 8/920 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 235 (INCLUDED_ONLY) 0/648 variables, 4/924 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/648 variables, 0/924 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 237 (OVERLAPS) 16/664 variables, 10/934 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/664 variables, 10/944 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/664 variables, 3/947 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 240 (INCLUDED_ONLY) 0/664 variables, 1/948 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/664 variables, 0/948 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 242 (OVERLAPS) 1/665 variables, 2/950 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 243 (INCLUDED_ONLY) 0/665 variables, 1/951 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 244 (INCLUDED_ONLY) 0/665 variables, 1/952 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/665 variables, 0/952 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 246 (OVERLAPS) 16/681 variables, 8/960 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/681 variables, 8/968 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 248 (INCLUDED_ONLY) 0/681 variables, 4/972 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 249 (INCLUDED_ONLY) 0/681 variables, 0/972 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 250 (OVERLAPS) 16/697 variables, 10/982 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/697 variables, 10/992 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 252 (INCLUDED_ONLY) 0/697 variables, 3/995 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/697 variables, 1/996 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 254 (INCLUDED_ONLY) 0/697 variables, 0/996 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 255 (OVERLAPS) 1/698 variables, 2/998 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/698 variables, 1/999 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 257 (INCLUDED_ONLY) 0/698 variables, 1/1000 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/698 variables, 0/1000 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 259 (OVERLAPS) 16/714 variables, 8/1008 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 260 (INCLUDED_ONLY) 0/714 variables, 8/1016 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/714 variables, 4/1020 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/714 variables, 0/1020 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 263 (OVERLAPS) 16/730 variables, 10/1030 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/730 variables, 10/1040 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 265 (INCLUDED_ONLY) 0/730 variables, 3/1043 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 266 (INCLUDED_ONLY) 0/730 variables, 1/1044 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/730 variables, 0/1044 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 268 (OVERLAPS) 1/731 variables, 2/1046 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 269 (INCLUDED_ONLY) 0/731 variables, 1/1047 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 270 (INCLUDED_ONLY) 0/731 variables, 1/1048 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 271 (INCLUDED_ONLY) 0/731 variables, 0/1048 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 272 (OVERLAPS) 16/747 variables, 8/1056 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 273 (INCLUDED_ONLY) 0/747 variables, 8/1064 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 274 (INCLUDED_ONLY) 0/747 variables, 4/1068 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/747 variables, 0/1068 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 276 (OVERLAPS) 16/763 variables, 10/1078 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/763 variables, 10/1088 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 278 (INCLUDED_ONLY) 0/763 variables, 3/1091 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 279 (INCLUDED_ONLY) 0/763 variables, 1/1092 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/763 variables, 0/1092 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 281 (OVERLAPS) 1/764 variables, 2/1094 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 282 (INCLUDED_ONLY) 0/764 variables, 1/1095 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 283 (INCLUDED_ONLY) 0/764 variables, 1/1096 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 284 (INCLUDED_ONLY) 0/764 variables, 0/1096 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 285 (OVERLAPS) 16/780 variables, 8/1104 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 286 (INCLUDED_ONLY) 0/780 variables, 8/1112 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 287 (INCLUDED_ONLY) 0/780 variables, 4/1116 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 288 (INCLUDED_ONLY) 0/780 variables, 0/1116 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 289 (OVERLAPS) 16/796 variables, 10/1126 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 290 (INCLUDED_ONLY) 0/796 variables, 10/1136 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 291 (INCLUDED_ONLY) 0/796 variables, 3/1139 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 292 (INCLUDED_ONLY) 0/796 variables, 1/1140 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 293 (INCLUDED_ONLY) 0/796 variables, 0/1140 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 294 (OVERLAPS) 1/797 variables, 2/1142 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 295 (INCLUDED_ONLY) 0/797 variables, 1/1143 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 296 (INCLUDED_ONLY) 0/797 variables, 1/1144 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/797 variables, 0/1144 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 298 (OVERLAPS) 16/813 variables, 8/1152 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 299 (INCLUDED_ONLY) 0/813 variables, 8/1160 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 300 (INCLUDED_ONLY) 0/813 variables, 4/1164 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 301 (INCLUDED_ONLY) 0/813 variables, 0/1164 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 302 (OVERLAPS) 16/829 variables, 10/1174 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 303 (INCLUDED_ONLY) 0/829 variables, 10/1184 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 304 (INCLUDED_ONLY) 0/829 variables, 3/1187 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/829 variables, 1/1188 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 306 (INCLUDED_ONLY) 0/829 variables, 0/1188 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 307 (OVERLAPS) 1/830 variables, 2/1190 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 308 (INCLUDED_ONLY) 0/830 variables, 1/1191 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 309 (INCLUDED_ONLY) 0/830 variables, 1/1192 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 310 (INCLUDED_ONLY) 0/830 variables, 0/1192 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 311 (OVERLAPS) 16/846 variables, 8/1200 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 312 (INCLUDED_ONLY) 0/846 variables, 8/1208 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 313 (INCLUDED_ONLY) 0/846 variables, 4/1212 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 314 (INCLUDED_ONLY) 0/846 variables, 0/1212 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 315 (OVERLAPS) 16/862 variables, 10/1222 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 316 (INCLUDED_ONLY) 0/862 variables, 10/1232 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 317 (INCLUDED_ONLY) 0/862 variables, 3/1235 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 318 (INCLUDED_ONLY) 0/862 variables, 1/1236 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 319 (INCLUDED_ONLY) 0/862 variables, 0/1236 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 320 (OVERLAPS) 1/863 variables, 2/1238 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 321 (INCLUDED_ONLY) 0/863 variables, 1/1239 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 322 (INCLUDED_ONLY) 0/863 variables, 1/1240 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 323 (INCLUDED_ONLY) 0/863 variables, 0/1240 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 324 (OVERLAPS) 16/879 variables, 8/1248 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 325 (INCLUDED_ONLY) 0/879 variables, 8/1256 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 326 (INCLUDED_ONLY) 0/879 variables, 4/1260 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 327 (INCLUDED_ONLY) 0/879 variables, 0/1260 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 328 (OVERLAPS) 16/895 variables, 10/1270 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 329 (INCLUDED_ONLY) 0/895 variables, 10/1280 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 330 (INCLUDED_ONLY) 0/895 variables, 3/1283 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 331 (INCLUDED_ONLY) 0/895 variables, 1/1284 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 332 (INCLUDED_ONLY) 0/895 variables, 0/1284 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 333 (OVERLAPS) 1/896 variables, 2/1286 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 334 (INCLUDED_ONLY) 0/896 variables, 1/1287 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 335 (INCLUDED_ONLY) 0/896 variables, 1/1288 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 336 (INCLUDED_ONLY) 0/896 variables, 0/1288 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 337 (OVERLAPS) 16/912 variables, 8/1296 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 338 (INCLUDED_ONLY) 0/912 variables, 8/1304 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 339 (INCLUDED_ONLY) 0/912 variables, 4/1308 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 340 (INCLUDED_ONLY) 0/912 variables, 0/1308 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 341 (OVERLAPS) 16/928 variables, 10/1318 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 342 (INCLUDED_ONLY) 0/928 variables, 10/1328 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 343 (INCLUDED_ONLY) 0/928 variables, 3/1331 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 344 (INCLUDED_ONLY) 0/928 variables, 1/1332 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 345 (INCLUDED_ONLY) 0/928 variables, 0/1332 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 346 (OVERLAPS) 1/929 variables, 2/1334 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 347 (INCLUDED_ONLY) 0/929 variables, 1/1335 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 348 (INCLUDED_ONLY) 0/929 variables, 1/1336 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 349 (INCLUDED_ONLY) 0/929 variables, 0/1336 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 350 (OVERLAPS) 16/945 variables, 8/1344 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 351 (INCLUDED_ONLY) 0/945 variables, 8/1352 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 352 (INCLUDED_ONLY) 0/945 variables, 4/1356 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 353 (INCLUDED_ONLY) 0/945 variables, 0/1356 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 354 (OVERLAPS) 16/961 variables, 10/1366 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 355 (INCLUDED_ONLY) 0/961 variables, 10/1376 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 356 (INCLUDED_ONLY) 0/961 variables, 3/1379 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 357 (INCLUDED_ONLY) 0/961 variables, 1/1380 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 358 (INCLUDED_ONLY) 0/961 variables, 0/1380 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 359 (OVERLAPS) 1/962 variables, 2/1382 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 360 (INCLUDED_ONLY) 0/962 variables, 1/1383 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 361 (INCLUDED_ONLY) 0/962 variables, 1/1384 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 362 (INCLUDED_ONLY) 0/962 variables, 0/1384 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 363 (OVERLAPS) 11/973 variables, 6/1390 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 364 (INCLUDED_ONLY) 0/973 variables, 6/1396 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 365 (INCLUDED_ONLY) 0/973 variables, 3/1399 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 366 (INCLUDED_ONLY) 0/973 variables, 0/1399 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 367 (OVERLAPS) 8/981 variables, 4/1403 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 368 (INCLUDED_ONLY) 0/981 variables, 4/1407 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 369 (INCLUDED_ONLY) 0/981 variables, 1/1408 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 370 (INCLUDED_ONLY) 0/981 variables, 2/1410 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 371 (INCLUDED_ONLY) 0/981 variables, 0/1410 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 372 (OVERLAPS) 1/982 variables, 1/1411 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 373 (INCLUDED_ONLY) 0/982 variables, 1/1412 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 374 (INCLUDED_ONLY) 0/982 variables, 1/1413 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 375 (INCLUDED_ONLY) 0/982 variables, 0/1413 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 376 (OVERLAPS) 1/983 variables, 1/1414 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 377 (INCLUDED_ONLY) 0/983 variables, 1/1415 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 378 (INCLUDED_ONLY) 0/983 variables, 1/1416 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 379 (INCLUDED_ONLY) 0/983 variables, 0/1416 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 380 (OVERLAPS) 2/985 variables, 2/1418 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 381 (INCLUDED_ONLY) 0/985 variables, 2/1420 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 382 (INCLUDED_ONLY) 0/985 variables, 1/1421 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 383 (INCLUDED_ONLY) 0/985 variables, 0/1421 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 384 (OVERLAPS) 0/985 variables, 0/1421 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 985/985 variables, and 1421 constraints, problems are : Problem set: 0 solved, 1 unsolved in 1340 ms.
Refiners :[Domain max(s): 567/567 constraints, Positive P Invariants (semi-flows): 269/269 constraints, State Equation: 567/567 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
After SMT, in 2475ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 567 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 567/567 places, 418/418 transitions.
Applied a total of 0 rules in 21 ms. Remains 567 /567 variables (removed 0) and now considering 418/418 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 21 ms. Remains : 567/567 places, 418/418 transitions.
RANDOM walk for 4000000 steps (8 resets) in 24565 ms. (162 steps per ms) remains 1/1 properties
BEST_FIRST walk for 3147056 steps (6 resets) in 14292 ms. (220 steps per ms) remains 0/1 properties
Able to resolve query StableMarking after proving 331 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK MARKED_SUFFIX_TEST BESTFIRST_WALK TOPOLOGICAL
Total runtime 115972 ms.
ITS solved all properties within timeout

BK_STOP 1716910660367

--------------------
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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ 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="ShieldIIPt-PT-030A"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="greatspnxred"
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 greatspnxred"
echo " Input is ShieldIIPt-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 r364-tall-171683777300183"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-030A.tgz
mv ShieldIIPt-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 ;