MCC'2024- Execution of r364-tall-171683777300193

About the Execution of GreatSPN+red for ShieldIIPt-PT-040A

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
697.859	677792.00	1405954.00	977.80	F	normal

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-171683777300193.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-040A, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r364-tall-171683777300193
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 676K
-rw-r--r-- 1 mcc users 8.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K 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:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 23 07:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 23 07:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 23 07:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 12 22:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Apr 12 22:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Apr 12 22:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Apr 12 22:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 23 07:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:53 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 212K 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 1716910671073

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-040A
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-28 15:37:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-05-28 15:37:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-28 15:37:52] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2024-05-28 15:37:52] [INFO ] Transformed 763 places.
[2024-05-28 15:37:52] [INFO ] Transformed 563 transitions.
[2024-05-28 15:37:52] [INFO ] Found NUPN structural information;
[2024-05-28 15:37:52] [INFO ] Parsed PT model containing 763 places and 563 transitions and 2406 arcs in 242 ms.
Structural test allowed to assert that 323 places are NOT stable. Took 12 ms.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
RANDOM walk for 40000 steps (8 resets) in 2946 ms. (13 steps per ms) remains 266/440 properties
BEST_FIRST walk for 404 steps (8 resets) in 20 ms. (19 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 20 ms. (19 steps per ms) remains 266/266 properties
BEST_FIRST walk for 401 steps (8 resets) in 29 ms. (13 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 24 ms. (16 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 16 ms. (23 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 15 ms. (25 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 15 ms. (25 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 14 ms. (26 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 14 ms. (26 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 16 ms. (23 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 15 ms. (25 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 14 ms. (26 steps per ms) remains 266/266 properties
BEST_FIRST walk for 402 steps (8 resets) in 12 ms. (30 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 14 ms. (26 steps per ms) remains 266/266 properties
BEST_FIRST walk for 402 steps (8 resets) in 14 ms. (26 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 14 ms. (26 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 16 ms. (23 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 30 ms. (13 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 15 ms. (25 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 15 ms. (25 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 12 ms. (31 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 9 ms. (40 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 15 ms. (25 steps per ms) remains 266/266 properties
BEST_FIRST walk for 402 steps (8 resets) in 11 ms. (33 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 14 ms. (26 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 14 ms. (26 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 13 ms. (28 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 266/266 properties
BEST_FIRST walk for 402 steps (8 resets) in 14 ms. (26 steps per ms) remains 266/266 properties
BEST_FIRST walk for 402 steps (8 resets) in 10 ms. (36 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 14 ms. (26 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 266/266 properties
BEST_FIRST walk for 403 steps (8 resets) in 11 ms. (33 steps per ms) remains 266/266 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 266/266 properties
BEST_FIRST walk for 402 steps (8 resets) in 11 ms. (33 steps per ms) remains 266/266 properties
BEST_FIRST walk for 402 steps (8 resets) in 10 ms. (36 steps per ms) remains 266/266 properties
// Phase 1: matrix 562 rows 763 cols
[2024-05-28 15:37:54] [INFO ] Computed 361 invariants in 29 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/266 variables, 266/266 constraints. Problems are: Problem set: 0 solved, 266 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/266 variables, 0/266 constraints. Problems are: Problem set: 0 solved, 266 unsolved
At refinement iteration 2 (OVERLAPS) 192/458 variables, 216/482 constraints. Problems are: Problem set: 0 solved, 266 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/458 variables, 192/674 constraints. Problems are: Problem set: 0 solved, 266 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 458/1325 variables, and 674 constraints, problems are : Problem set: 0 solved, 266 unsolved in 5054 ms.
Refiners :[Domain max(s): 458/763 constraints, Positive P Invariants (semi-flows): 216/361 constraints, State Equation: 0/763 constraints, PredecessorRefiner: 266/266 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 266 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/266 variables, 266/266 constraints. Problems are: Problem set: 0 solved, 266 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/266 variables, 0/266 constraints. Problems are: Problem set: 0 solved, 266 unsolved
At refinement iteration 2 (OVERLAPS) 192/458 variables, 216/482 constraints. Problems are: Problem set: 0 solved, 266 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/458 variables, 192/674 constraints. Problems are: Problem set: 0 solved, 266 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/458 variables, 0/674 constraints. Problems are: Problem set: 0 solved, 266 unsolved
At refinement iteration 5 (OVERLAPS) 305/763 variables, 145/819 constraints. Problems are: Problem set: 0 solved, 266 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/763 variables, 305/1124 constraints. Problems are: Problem set: 0 solved, 266 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 763/1325 variables, and 1124 constraints, problems are : Problem set: 0 solved, 266 unsolved in 5013 ms.
Refiners :[Domain max(s): 763/763 constraints, Positive P Invariants (semi-flows): 361/361 constraints, State Equation: 0/763 constraints, PredecessorRefiner: 0/266 constraints, Known Traps: 0/0 constraints]
After SMT, in 10193ms problems are : Problem set: 0 solved, 266 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 266 out of 763 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 763/763 places, 562/562 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 763 transition count 561
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 762 transition count 561
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 761 transition count 560
Partial Free-agglomeration rule applied 32 times.
Drop transitions (Partial Free agglomeration) removed 32 transitions
Iterating global reduction 0 with 32 rules applied. Total rules applied 36 place count 761 transition count 560
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 0 with 1 rules applied. Total rules applied 37 place count 760 transition count 559
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 39 place count 758 transition count 559
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 39 place count 758 transition count 558
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 41 place count 757 transition count 558
Applied a total of 41 rules in 178 ms. Remains 757 /763 variables (removed 6) and now considering 558/562 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 189 ms. Remains : 757/763 places, 558/562 transitions.
RANDOM walk for 4000000 steps (8 resets) in 71484 ms. (55 steps per ms) remains 96/266 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2237 ms. (178 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2154 ms. (185 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2167 ms. (184 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2166 ms. (184 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2167 ms. (184 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2162 ms. (184 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2166 ms. (184 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2158 ms. (185 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2348 ms. (170 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2168 ms. (184 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2160 ms. (185 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2163 ms. (184 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2162 ms. (184 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2156 ms. (185 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2162 ms. (184 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2159 ms. (185 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2186 ms. (182 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2174 ms. (183 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2161 ms. (185 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2165 ms. (184 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2175 ms. (183 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2174 ms. (183 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2175 ms. (183 steps per ms) remains 96/96 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2176 ms. (183 steps per ms) remains 86/96 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2165 ms. (184 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2176 ms. (183 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2195 ms. (182 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2176 ms. (183 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2219 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2211 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2218 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2211 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2197 ms. (181 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2209 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2215 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2216 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2207 ms. (181 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2199 ms. (181 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2171 ms. (184 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2181 ms. (183 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2207 ms. (181 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2169 ms. (184 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2234 ms. (178 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2223 ms. (179 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2206 ms. (181 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2223 ms. (179 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2217 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2206 ms. (181 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2218 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2226 ms. (179 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2221 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2229 ms. (179 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2221 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2214 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2216 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2172 ms. (184 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2184 ms. (183 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2194 ms. (182 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2213 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2209 ms. (180 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2203 ms. (181 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2182 ms. (183 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2190 ms. (182 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2192 ms. (182 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2188 ms. (182 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2176 ms. (183 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2196 ms. (182 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2187 ms. (182 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2195 ms. (182 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2226 ms. (179 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2189 ms. (182 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2195 ms. (182 steps per ms) remains 86/86 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2198 ms. (181 steps per ms) remains 86/86 properties
// Phase 1: matrix 558 rows 757 cols
[2024-05-28 15:39:07] [INFO ] Computed 359 invariants in 6 ms
[2024-05-28 15:39:07] [INFO ] State equation strengthened by 18 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/86 variables, 86/86 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/86 variables, 0/86 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 2 (OVERLAPS) 56/142 variables, 66/152 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/142 variables, 56/208 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/142 variables, 0/208 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 5 (OVERLAPS) 107/249 variables, 142/350 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/249 variables, 0/350 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 7 (OVERLAPS) 77/326 variables, 36/386 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/326 variables, 36/422 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/326 variables, 18/440 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/326 variables, 0/440 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 11 (OVERLAPS) 38/364 variables, 30/470 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/364 variables, 30/500 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/364 variables, 14/514 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/364 variables, 0/514 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 15 (OVERLAPS) 1/365 variables, 1/515 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/365 variables, 1/516 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/365 variables, 1/517 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/365 variables, 0/517 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 19 (OVERLAPS) 2/367 variables, 1/518 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/367 variables, 2/520 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/367 variables, 2/522 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/367 variables, 0/522 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 23 (OVERLAPS) 17/384 variables, 8/530 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/384 variables, 8/538 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/384 variables, 4/542 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/384 variables, 0/542 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 27 (OVERLAPS) 15/399 variables, 10/552 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/399 variables, 10/562 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/399 variables, 3/565 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/399 variables, 0/565 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 31 (OVERLAPS) 1/400 variables, 2/567 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/400 variables, 1/568 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/400 variables, 1/569 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/400 variables, 0/569 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 35 (OVERLAPS) 17/417 variables, 8/577 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/417 variables, 8/585 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/417 variables, 4/589 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/417 variables, 0/589 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 39 (OVERLAPS) 15/432 variables, 10/599 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/432 variables, 10/609 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/432 variables, 3/612 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/432 variables, 0/612 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 43 (OVERLAPS) 1/433 variables, 2/614 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/433 variables, 1/615 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/433 variables, 1/616 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/433 variables, 0/616 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 47 (OVERLAPS) 17/450 variables, 8/624 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/450 variables, 8/632 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/450 variables, 4/636 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/450 variables, 0/636 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 51 (OVERLAPS) 15/465 variables, 10/646 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/465 variables, 10/656 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/465 variables, 3/659 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/465 variables, 0/659 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 55 (OVERLAPS) 1/466 variables, 2/661 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/466 variables, 1/662 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/466 variables, 1/663 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/466 variables, 0/663 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 59 (OVERLAPS) 17/483 variables, 8/671 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/483 variables, 8/679 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/483 variables, 4/683 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/483 variables, 0/683 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 63 (OVERLAPS) 15/498 variables, 10/693 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/498 variables, 10/703 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/498 variables, 3/706 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/498 variables, 0/706 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 67 (OVERLAPS) 1/499 variables, 2/708 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/499 variables, 1/709 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/499 variables, 1/710 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/499 variables, 0/710 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 71 (OVERLAPS) 17/516 variables, 8/718 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/516 variables, 8/726 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/516 variables, 4/730 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/516 variables, 0/730 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 75 (OVERLAPS) 15/531 variables, 10/740 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/531 variables, 10/750 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/531 variables, 3/753 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/531 variables, 0/753 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 79 (OVERLAPS) 1/532 variables, 2/755 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/532 variables, 1/756 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/532 variables, 1/757 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/532 variables, 0/757 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 83 (OVERLAPS) 17/549 variables, 8/765 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/549 variables, 8/773 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/549 variables, 4/777 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/549 variables, 0/777 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 87 (OVERLAPS) 15/564 variables, 10/787 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/564 variables, 10/797 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/564 variables, 3/800 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/564 variables, 0/800 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 91 (OVERLAPS) 1/565 variables, 2/802 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/565 variables, 1/803 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/565 variables, 1/804 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/565 variables, 0/804 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 95 (OVERLAPS) 17/582 variables, 8/812 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/582 variables, 8/820 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/582 variables, 4/824 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/582 variables, 0/824 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 99 (OVERLAPS) 15/597 variables, 10/834 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/597 variables, 10/844 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/597 variables, 3/847 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/597 variables, 0/847 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 103 (OVERLAPS) 1/598 variables, 2/849 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/598 variables, 1/850 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/598 variables, 1/851 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/598 variables, 0/851 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 107 (OVERLAPS) 17/615 variables, 8/859 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/615 variables, 8/867 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/615 variables, 4/871 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/615 variables, 0/871 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 111 (OVERLAPS) 15/630 variables, 10/881 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/630 variables, 10/891 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 113 (INCLUDED_ONLY) 0/630 variables, 3/894 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/630 variables, 0/894 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 115 (OVERLAPS) 1/631 variables, 2/896 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/631 variables, 1/897 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/631 variables, 1/898 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/631 variables, 0/898 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 119 (OVERLAPS) 17/648 variables, 8/906 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/648 variables, 8/914 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/648 variables, 4/918 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/648 variables, 0/918 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 123 (OVERLAPS) 15/663 variables, 10/928 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/663 variables, 10/938 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/663 variables, 3/941 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/663 variables, 0/941 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 127 (OVERLAPS) 1/664 variables, 2/943 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/664 variables, 1/944 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/664 variables, 1/945 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/664 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 131 (OVERLAPS) 17/681 variables, 8/953 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/681 variables, 8/961 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/681 variables, 4/965 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/681 variables, 0/965 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 135 (OVERLAPS) 15/696 variables, 10/975 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/696 variables, 10/985 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/696 variables, 3/988 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/696 variables, 0/988 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 139 (OVERLAPS) 1/697 variables, 2/990 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/697 variables, 1/991 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/697 variables, 1/992 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/697 variables, 0/992 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 143 (OVERLAPS) 17/714 variables, 8/1000 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/714 variables, 8/1008 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/714 variables, 4/1012 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/714 variables, 0/1012 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 147 (OVERLAPS) 15/729 variables, 10/1022 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/729 variables, 10/1032 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/729 variables, 3/1035 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/729 variables, 0/1035 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 151 (OVERLAPS) 1/730 variables, 2/1037 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/730 variables, 1/1038 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/730 variables, 1/1039 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/730 variables, 0/1039 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 155 (OVERLAPS) 17/747 variables, 8/1047 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/747 variables, 8/1055 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 157 (INCLUDED_ONLY) 0/747 variables, 4/1059 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/747 variables, 0/1059 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 159 (OVERLAPS) 16/763 variables, 10/1069 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/763 variables, 10/1079 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/763 variables, 3/1082 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/763 variables, 1/1083 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/763 variables, 0/1083 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 164 (OVERLAPS) 1/764 variables, 2/1085 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/764 variables, 1/1086 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/764 variables, 1/1087 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/764 variables, 0/1087 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 168 (OVERLAPS) 16/780 variables, 8/1095 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/780 variables, 8/1103 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/780 variables, 4/1107 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/780 variables, 0/1107 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 172 (OVERLAPS) 16/796 variables, 10/1117 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/796 variables, 10/1127 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/796 variables, 3/1130 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/796 variables, 1/1131 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/796 variables, 0/1131 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 177 (OVERLAPS) 1/797 variables, 2/1133 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/797 variables, 1/1134 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/797 variables, 1/1135 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/797 variables, 0/1135 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 181 (OVERLAPS) 16/813 variables, 8/1143 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/813 variables, 8/1151 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/813 variables, 4/1155 constraints. Problems are: Problem set: 0 solved, 86 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 813/1315 variables, and 1155 constraints, problems are : Problem set: 0 solved, 86 unsolved in 45014 ms.
Refiners :[Domain max(s): 466/757 constraints, Positive P Invariants (semi-flows): 221/359 constraints, State Equation: 466/757 constraints, ReadFeed: 2/18 constraints, PredecessorRefiner: 86/86 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 86 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/86 variables, 86/86 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/86 variables, 0/86 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 2 (OVERLAPS) 56/142 variables, 66/152 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/142 variables, 56/208 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/142 variables, 0/208 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 5 (OVERLAPS) 107/249 variables, 142/350 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/249 variables, 54/404 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/249 variables, 0/404 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 8 (OVERLAPS) 77/326 variables, 36/440 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/326 variables, 36/476 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/326 variables, 18/494 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/326 variables, 32/526 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/326 variables, 0/526 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 13 (OVERLAPS) 38/364 variables, 30/556 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/364 variables, 30/586 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/364 variables, 14/600 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/364 variables, 0/600 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 17 (OVERLAPS) 1/365 variables, 1/601 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/365 variables, 1/602 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/365 variables, 1/603 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/365 variables, 0/603 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 21 (OVERLAPS) 2/367 variables, 1/604 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/367 variables, 2/606 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/367 variables, 2/608 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/367 variables, 0/608 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 25 (OVERLAPS) 17/384 variables, 8/616 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/384 variables, 8/624 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/384 variables, 4/628 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/384 variables, 0/628 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 29 (OVERLAPS) 15/399 variables, 10/638 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/399 variables, 10/648 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/399 variables, 3/651 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/399 variables, 0/651 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 33 (OVERLAPS) 1/400 variables, 2/653 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/400 variables, 1/654 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/400 variables, 1/655 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/400 variables, 0/655 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 37 (OVERLAPS) 17/417 variables, 8/663 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/417 variables, 8/671 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/417 variables, 4/675 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/417 variables, 0/675 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 41 (OVERLAPS) 15/432 variables, 10/685 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/432 variables, 10/695 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/432 variables, 3/698 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/432 variables, 0/698 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 45 (OVERLAPS) 1/433 variables, 2/700 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/433 variables, 1/701 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/433 variables, 1/702 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/433 variables, 0/702 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 49 (OVERLAPS) 17/450 variables, 8/710 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/450 variables, 8/718 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/450 variables, 4/722 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/450 variables, 0/722 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 53 (OVERLAPS) 15/465 variables, 10/732 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/465 variables, 10/742 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/465 variables, 3/745 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/465 variables, 0/745 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 57 (OVERLAPS) 1/466 variables, 2/747 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/466 variables, 1/748 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/466 variables, 1/749 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/466 variables, 0/749 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 61 (OVERLAPS) 17/483 variables, 8/757 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/483 variables, 8/765 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/483 variables, 4/769 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/483 variables, 0/769 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 65 (OVERLAPS) 15/498 variables, 10/779 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/498 variables, 10/789 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 67 (INCLUDED_ONLY) 0/498 variables, 3/792 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/498 variables, 0/792 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 69 (OVERLAPS) 1/499 variables, 2/794 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/499 variables, 1/795 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/499 variables, 1/796 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/499 variables, 0/796 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 73 (OVERLAPS) 17/516 variables, 8/804 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/516 variables, 8/812 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/516 variables, 4/816 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/516 variables, 0/816 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 77 (OVERLAPS) 15/531 variables, 10/826 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/531 variables, 10/836 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/531 variables, 3/839 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/531 variables, 0/839 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 81 (OVERLAPS) 1/532 variables, 2/841 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/532 variables, 1/842 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/532 variables, 1/843 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/532 variables, 0/843 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 85 (OVERLAPS) 17/549 variables, 8/851 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/549 variables, 8/859 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/549 variables, 4/863 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/549 variables, 0/863 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 89 (OVERLAPS) 15/564 variables, 10/873 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/564 variables, 10/883 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/564 variables, 3/886 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/564 variables, 0/886 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 93 (OVERLAPS) 1/565 variables, 2/888 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/565 variables, 1/889 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/565 variables, 1/890 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/565 variables, 0/890 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 97 (OVERLAPS) 17/582 variables, 8/898 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/582 variables, 8/906 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/582 variables, 4/910 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/582 variables, 0/910 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 101 (OVERLAPS) 15/597 variables, 10/920 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/597 variables, 10/930 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/597 variables, 3/933 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/597 variables, 0/933 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 105 (OVERLAPS) 1/598 variables, 2/935 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/598 variables, 1/936 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 107 (INCLUDED_ONLY) 0/598 variables, 1/937 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/598 variables, 0/937 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 109 (OVERLAPS) 17/615 variables, 8/945 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/615 variables, 8/953 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/615 variables, 4/957 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/615 variables, 0/957 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 113 (OVERLAPS) 15/630 variables, 10/967 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/630 variables, 10/977 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 115 (INCLUDED_ONLY) 0/630 variables, 3/980 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/630 variables, 0/980 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 117 (OVERLAPS) 1/631 variables, 2/982 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/631 variables, 1/983 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 119 (INCLUDED_ONLY) 0/631 variables, 1/984 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/631 variables, 0/984 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 121 (OVERLAPS) 17/648 variables, 8/992 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/648 variables, 8/1000 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/648 variables, 4/1004 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/648 variables, 0/1004 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 125 (OVERLAPS) 15/663 variables, 10/1014 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/663 variables, 10/1024 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/663 variables, 3/1027 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/663 variables, 0/1027 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 129 (OVERLAPS) 1/664 variables, 2/1029 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/664 variables, 1/1030 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/664 variables, 1/1031 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/664 variables, 0/1031 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 133 (OVERLAPS) 17/681 variables, 8/1039 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/681 variables, 8/1047 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 135 (INCLUDED_ONLY) 0/681 variables, 4/1051 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/681 variables, 0/1051 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 137 (OVERLAPS) 15/696 variables, 10/1061 constraints. Problems are: Problem set: 0 solved, 86 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/696 variables, 10/1071 constraints. Problems are: Problem set: 0 solved, 86 unsolved
SMT process timed out in 90075ms, After SMT, problems are : Problem set: 0 solved, 86 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 86 out of 757 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 757/757 places, 558/558 transitions.
Applied a total of 0 rules in 33 ms. Remains 757 /757 variables (removed 0) and now considering 558/558 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 33 ms. Remains : 757/757 places, 558/558 transitions.
RANDOM walk for 4000000 steps (8 resets) in 53887 ms. (74 steps per ms) remains 78/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2141 ms. (186 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2113 ms. (189 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2122 ms. (188 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2091 ms. (191 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2121 ms. (188 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2135 ms. (187 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2106 ms. (189 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2105 ms. (189 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2120 ms. (188 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2106 ms. (189 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2100 ms. (190 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2107 ms. (189 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2103 ms. (190 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2124 ms. (188 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2093 ms. (191 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2113 ms. (189 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2102 ms. (190 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2127 ms. (187 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2146 ms. (186 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2125 ms. (188 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2112 ms. (189 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2136 ms. (187 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2147 ms. (186 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2157 ms. (185 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2178 ms. (183 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2169 ms. (184 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2204 ms. (181 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2223 ms. (179 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2180 ms. (183 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2189 ms. (182 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2186 ms. (182 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2183 ms. (183 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2195 ms. (182 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2187 ms. (182 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2191 ms. (182 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2186 ms. (182 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2185 ms. (182 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2183 ms. (183 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2179 ms. (183 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2189 ms. (182 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2167 ms. (184 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2168 ms. (184 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2167 ms. (184 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2169 ms. (184 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2167 ms. (184 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2137 ms. (187 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2140 ms. (186 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2160 ms. (185 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2178 ms. (183 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2181 ms. (183 steps per ms) remains 78/78 properties
[2024-05-28 15:41:19] [INFO ] Invariant cache hit.
[2024-05-28 15:41:19] [INFO ] State equation strengthened by 18 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/78 variables, 78/78 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/78 variables, 0/78 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 2 (OVERLAPS) 51/129 variables, 60/138 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/129 variables, 51/189 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/129 variables, 0/189 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 5 (OVERLAPS) 97/226 variables, 129/318 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/226 variables, 0/318 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 7 (OVERLAPS) 69/295 variables, 32/350 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/295 variables, 32/382 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/295 variables, 16/398 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/295 variables, 0/398 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 11 (OVERLAPS) 36/331 variables, 28/426 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/331 variables, 28/454 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/331 variables, 13/467 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/331 variables, 0/467 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 15 (OVERLAPS) 1/332 variables, 1/468 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/332 variables, 1/469 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/332 variables, 1/470 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/332 variables, 0/470 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 19 (OVERLAPS) 2/334 variables, 1/471 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/334 variables, 2/473 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/334 variables, 2/475 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/334 variables, 0/475 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 23 (OVERLAPS) 17/351 variables, 8/483 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/351 variables, 8/491 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/351 variables, 4/495 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/351 variables, 0/495 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 27 (OVERLAPS) 15/366 variables, 10/505 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/366 variables, 10/515 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/366 variables, 3/518 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/366 variables, 0/518 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 31 (OVERLAPS) 1/367 variables, 2/520 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/367 variables, 1/521 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/367 variables, 1/522 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/367 variables, 0/522 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 35 (OVERLAPS) 17/384 variables, 8/530 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/384 variables, 8/538 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/384 variables, 4/542 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/384 variables, 0/542 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 39 (OVERLAPS) 15/399 variables, 10/552 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/399 variables, 10/562 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/399 variables, 3/565 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/399 variables, 0/565 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 43 (OVERLAPS) 1/400 variables, 2/567 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/400 variables, 1/568 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/400 variables, 1/569 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/400 variables, 0/569 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 47 (OVERLAPS) 17/417 variables, 8/577 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/417 variables, 8/585 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/417 variables, 4/589 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/417 variables, 0/589 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 51 (OVERLAPS) 15/432 variables, 10/599 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/432 variables, 10/609 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/432 variables, 3/612 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/432 variables, 0/612 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 55 (OVERLAPS) 1/433 variables, 2/614 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/433 variables, 1/615 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/433 variables, 1/616 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/433 variables, 0/616 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 59 (OVERLAPS) 17/450 variables, 8/624 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/450 variables, 8/632 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/450 variables, 4/636 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/450 variables, 0/636 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 63 (OVERLAPS) 15/465 variables, 10/646 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/465 variables, 10/656 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/465 variables, 3/659 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/465 variables, 0/659 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 67 (OVERLAPS) 1/466 variables, 2/661 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/466 variables, 1/662 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/466 variables, 1/663 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/466 variables, 0/663 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 71 (OVERLAPS) 17/483 variables, 8/671 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/483 variables, 8/679 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/483 variables, 4/683 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/483 variables, 0/683 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 75 (OVERLAPS) 15/498 variables, 10/693 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/498 variables, 10/703 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/498 variables, 3/706 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/498 variables, 0/706 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 79 (OVERLAPS) 1/499 variables, 2/708 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/499 variables, 1/709 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/499 variables, 1/710 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/499 variables, 0/710 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 83 (OVERLAPS) 17/516 variables, 8/718 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/516 variables, 8/726 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/516 variables, 4/730 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/516 variables, 0/730 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 87 (OVERLAPS) 15/531 variables, 10/740 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/531 variables, 10/750 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/531 variables, 3/753 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/531 variables, 0/753 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 91 (OVERLAPS) 1/532 variables, 2/755 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/532 variables, 1/756 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/532 variables, 1/757 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/532 variables, 0/757 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 95 (OVERLAPS) 17/549 variables, 8/765 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/549 variables, 8/773 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/549 variables, 4/777 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/549 variables, 0/777 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 99 (OVERLAPS) 15/564 variables, 10/787 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/564 variables, 10/797 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/564 variables, 3/800 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/564 variables, 0/800 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 103 (OVERLAPS) 1/565 variables, 2/802 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/565 variables, 1/803 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/565 variables, 1/804 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/565 variables, 0/804 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 107 (OVERLAPS) 17/582 variables, 8/812 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/582 variables, 8/820 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/582 variables, 4/824 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/582 variables, 0/824 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 111 (OVERLAPS) 15/597 variables, 10/834 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/597 variables, 10/844 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 113 (INCLUDED_ONLY) 0/597 variables, 3/847 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/597 variables, 0/847 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 115 (OVERLAPS) 1/598 variables, 2/849 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/598 variables, 1/850 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/598 variables, 1/851 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/598 variables, 0/851 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 119 (OVERLAPS) 17/615 variables, 8/859 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/615 variables, 8/867 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/615 variables, 4/871 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/615 variables, 0/871 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 123 (OVERLAPS) 15/630 variables, 10/881 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/630 variables, 10/891 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/630 variables, 3/894 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/630 variables, 0/894 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 127 (OVERLAPS) 1/631 variables, 2/896 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/631 variables, 1/897 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/631 variables, 1/898 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/631 variables, 0/898 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 131 (OVERLAPS) 17/648 variables, 8/906 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/648 variables, 8/914 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/648 variables, 4/918 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/648 variables, 0/918 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 135 (OVERLAPS) 15/663 variables, 10/928 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/663 variables, 10/938 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/663 variables, 3/941 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/663 variables, 0/941 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 139 (OVERLAPS) 1/664 variables, 2/943 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/664 variables, 1/944 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/664 variables, 1/945 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/664 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 143 (OVERLAPS) 17/681 variables, 8/953 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/681 variables, 8/961 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/681 variables, 4/965 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/681 variables, 0/965 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 147 (OVERLAPS) 15/696 variables, 10/975 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/696 variables, 10/985 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/696 variables, 3/988 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/696 variables, 0/988 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 151 (OVERLAPS) 1/697 variables, 2/990 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/697 variables, 1/991 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/697 variables, 1/992 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/697 variables, 0/992 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 155 (OVERLAPS) 17/714 variables, 8/1000 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/714 variables, 8/1008 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 157 (INCLUDED_ONLY) 0/714 variables, 4/1012 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/714 variables, 0/1012 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 159 (OVERLAPS) 15/729 variables, 10/1022 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/729 variables, 10/1032 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/729 variables, 3/1035 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/729 variables, 0/1035 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 163 (OVERLAPS) 1/730 variables, 2/1037 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/730 variables, 1/1038 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/730 variables, 1/1039 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/730 variables, 0/1039 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 167 (OVERLAPS) 17/747 variables, 8/1047 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/747 variables, 8/1055 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/747 variables, 4/1059 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/747 variables, 0/1059 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 171 (OVERLAPS) 16/763 variables, 10/1069 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/763 variables, 10/1079 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/763 variables, 3/1082 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/763 variables, 1/1083 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/763 variables, 0/1083 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 176 (OVERLAPS) 1/764 variables, 2/1085 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 177 (INCLUDED_ONLY) 0/764 variables, 1/1086 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/764 variables, 1/1087 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/764 variables, 0/1087 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 180 (OVERLAPS) 16/780 variables, 8/1095 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 181 (INCLUDED_ONLY) 0/780 variables, 8/1103 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/780 variables, 4/1107 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/780 variables, 0/1107 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 184 (OVERLAPS) 16/796 variables, 10/1117 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 185 (INCLUDED_ONLY) 0/796 variables, 10/1127 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/796 variables, 3/1130 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/796 variables, 1/1131 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/796 variables, 0/1131 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 189 (OVERLAPS) 1/797 variables, 2/1133 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 190 (INCLUDED_ONLY) 0/797 variables, 1/1134 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/797 variables, 1/1135 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 192 (INCLUDED_ONLY) 0/797 variables, 0/1135 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 193 (OVERLAPS) 16/813 variables, 8/1143 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/813 variables, 8/1151 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 195 (INCLUDED_ONLY) 0/813 variables, 4/1155 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/813 variables, 0/1155 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 197 (OVERLAPS) 16/829 variables, 10/1165 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 198 (INCLUDED_ONLY) 0/829 variables, 10/1175 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/829 variables, 3/1178 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/829 variables, 1/1179 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/829 variables, 0/1179 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 202 (OVERLAPS) 1/830 variables, 2/1181 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 203 (INCLUDED_ONLY) 0/830 variables, 1/1182 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/830 variables, 1/1183 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/830 variables, 0/1183 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 206 (OVERLAPS) 16/846 variables, 8/1191 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 207 (INCLUDED_ONLY) 0/846 variables, 8/1199 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/846 variables, 4/1203 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/846 variables, 0/1203 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 210 (OVERLAPS) 15/861 variables, 10/1213 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 211 (INCLUDED_ONLY) 0/861 variables, 10/1223 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/861 variables, 3/1226 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/861 variables, 0/1226 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 214 (OVERLAPS) 1/862 variables, 2/1228 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/862 variables, 1/1229 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 216 (INCLUDED_ONLY) 0/862 variables, 1/1230 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/862 variables, 0/1230 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 218 (OVERLAPS) 17/879 variables, 8/1238 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/879 variables, 8/1246 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 220 (INCLUDED_ONLY) 0/879 variables, 4/1250 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/879 variables, 0/1250 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 222 (OVERLAPS) 16/895 variables, 10/1260 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/895 variables, 10/1270 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 224 (INCLUDED_ONLY) 0/895 variables, 3/1273 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/895 variables, 1/1274 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 226 (INCLUDED_ONLY) 0/895 variables, 0/1274 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 227 (OVERLAPS) 1/896 variables, 2/1276 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/896 variables, 1/1277 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 229 (INCLUDED_ONLY) 0/896 variables, 1/1278 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 230 (INCLUDED_ONLY) 0/896 variables, 0/1278 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 231 (OVERLAPS) 16/912 variables, 8/1286 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 232 (INCLUDED_ONLY) 0/912 variables, 8/1294 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 233 (INCLUDED_ONLY) 0/912 variables, 4/1298 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 234 (INCLUDED_ONLY) 0/912 variables, 0/1298 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 235 (OVERLAPS) 16/928 variables, 10/1308 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/928 variables, 10/1318 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 237 (INCLUDED_ONLY) 0/928 variables, 3/1321 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/928 variables, 1/1322 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/928 variables, 0/1322 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 240 (OVERLAPS) 1/929 variables, 2/1324 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/929 variables, 1/1325 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/929 variables, 1/1326 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 243 (INCLUDED_ONLY) 0/929 variables, 0/1326 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 244 (OVERLAPS) 16/945 variables, 8/1334 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/945 variables, 8/1342 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 246 (INCLUDED_ONLY) 0/945 variables, 4/1346 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/945 variables, 0/1346 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 248 (OVERLAPS) 16/961 variables, 10/1356 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 249 (INCLUDED_ONLY) 0/961 variables, 10/1366 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/961 variables, 3/1369 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/961 variables, 1/1370 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 252 (INCLUDED_ONLY) 0/961 variables, 0/1370 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 253 (OVERLAPS) 1/962 variables, 2/1372 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 254 (INCLUDED_ONLY) 0/962 variables, 1/1373 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 255 (INCLUDED_ONLY) 0/962 variables, 1/1374 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/962 variables, 0/1374 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 257 (OVERLAPS) 16/978 variables, 8/1382 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/978 variables, 8/1390 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 259 (INCLUDED_ONLY) 0/978 variables, 4/1394 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 260 (INCLUDED_ONLY) 0/978 variables, 0/1394 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 261 (OVERLAPS) 16/994 variables, 10/1404 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/994 variables, 10/1414 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 263 (INCLUDED_ONLY) 0/994 variables, 3/1417 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/994 variables, 1/1418 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 265 (INCLUDED_ONLY) 0/994 variables, 0/1418 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 266 (OVERLAPS) 1/995 variables, 2/1420 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/995 variables, 1/1421 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 268 (INCLUDED_ONLY) 0/995 variables, 1/1422 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 269 (INCLUDED_ONLY) 0/995 variables, 0/1422 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 270 (OVERLAPS) 16/1011 variables, 8/1430 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 271 (INCLUDED_ONLY) 0/1011 variables, 8/1438 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 272 (INCLUDED_ONLY) 0/1011 variables, 4/1442 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 273 (INCLUDED_ONLY) 0/1011 variables, 0/1442 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 274 (OVERLAPS) 16/1027 variables, 10/1452 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/1027 variables, 10/1462 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 276 (INCLUDED_ONLY) 0/1027 variables, 3/1465 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/1027 variables, 1/1466 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 278 (INCLUDED_ONLY) 0/1027 variables, 0/1466 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 279 (OVERLAPS) 1/1028 variables, 2/1468 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/1028 variables, 1/1469 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 281 (INCLUDED_ONLY) 0/1028 variables, 1/1470 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 282 (INCLUDED_ONLY) 0/1028 variables, 0/1470 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 283 (OVERLAPS) 16/1044 variables, 8/1478 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 284 (INCLUDED_ONLY) 0/1044 variables, 8/1486 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 285 (INCLUDED_ONLY) 0/1044 variables, 4/1490 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 286 (INCLUDED_ONLY) 0/1044 variables, 0/1490 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 287 (OVERLAPS) 16/1060 variables, 10/1500 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 288 (INCLUDED_ONLY) 0/1060 variables, 10/1510 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 289 (INCLUDED_ONLY) 0/1060 variables, 3/1513 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 290 (INCLUDED_ONLY) 0/1060 variables, 1/1514 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 291 (INCLUDED_ONLY) 0/1060 variables, 0/1514 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 292 (OVERLAPS) 1/1061 variables, 2/1516 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 293 (INCLUDED_ONLY) 0/1061 variables, 1/1517 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 294 (INCLUDED_ONLY) 0/1061 variables, 1/1518 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 295 (INCLUDED_ONLY) 0/1061 variables, 0/1518 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 296 (OVERLAPS) 16/1077 variables, 8/1526 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/1077 variables, 8/1534 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 298 (INCLUDED_ONLY) 0/1077 variables, 4/1538 constraints. Problems are: Problem set: 0 solved, 78 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1077/1315 variables, and 1538 constraints, problems are : Problem set: 0 solved, 78 unsolved in 75012 ms.
Refiners :[Domain max(s): 618/757 constraints, Positive P Invariants (semi-flows): 293/359 constraints, State Equation: 618/757 constraints, ReadFeed: 9/18 constraints, PredecessorRefiner: 78/78 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 78 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/78 variables, 78/78 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/78 variables, 0/78 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 2 (OVERLAPS) 51/129 variables, 60/138 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/129 variables, 51/189 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/129 variables, 0/189 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 5 (OVERLAPS) 97/226 variables, 129/318 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/226 variables, 51/369 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/226 variables, 0/369 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 8 (OVERLAPS) 69/295 variables, 32/401 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/295 variables, 32/433 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/295 variables, 16/449 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/295 variables, 27/476 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/295 variables, 0/476 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 13 (OVERLAPS) 36/331 variables, 28/504 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/331 variables, 28/532 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/331 variables, 13/545 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/331 variables, 0/545 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 17 (OVERLAPS) 1/332 variables, 1/546 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/332 variables, 1/547 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/332 variables, 1/548 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/332 variables, 0/548 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 21 (OVERLAPS) 2/334 variables, 1/549 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/334 variables, 2/551 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/334 variables, 2/553 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/334 variables, 0/553 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 25 (OVERLAPS) 17/351 variables, 8/561 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/351 variables, 8/569 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/351 variables, 4/573 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/351 variables, 0/573 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 29 (OVERLAPS) 15/366 variables, 10/583 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/366 variables, 10/593 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/366 variables, 3/596 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/366 variables, 0/596 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 33 (OVERLAPS) 1/367 variables, 2/598 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/367 variables, 1/599 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/367 variables, 1/600 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/367 variables, 0/600 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 37 (OVERLAPS) 17/384 variables, 8/608 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/384 variables, 8/616 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/384 variables, 4/620 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/384 variables, 0/620 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 41 (OVERLAPS) 15/399 variables, 10/630 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/399 variables, 10/640 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/399 variables, 3/643 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/399 variables, 0/643 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 45 (OVERLAPS) 1/400 variables, 2/645 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/400 variables, 1/646 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/400 variables, 1/647 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/400 variables, 0/647 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 49 (OVERLAPS) 17/417 variables, 8/655 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/417 variables, 8/663 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/417 variables, 4/667 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/417 variables, 0/667 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 53 (OVERLAPS) 15/432 variables, 10/677 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/432 variables, 10/687 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/432 variables, 3/690 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/432 variables, 0/690 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 57 (OVERLAPS) 1/433 variables, 2/692 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/433 variables, 1/693 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/433 variables, 1/694 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/433 variables, 0/694 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 61 (OVERLAPS) 17/450 variables, 8/702 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/450 variables, 8/710 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/450 variables, 4/714 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/450 variables, 0/714 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 65 (OVERLAPS) 15/465 variables, 10/724 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/465 variables, 10/734 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 67 (INCLUDED_ONLY) 0/465 variables, 3/737 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/465 variables, 0/737 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 69 (OVERLAPS) 1/466 variables, 2/739 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/466 variables, 1/740 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/466 variables, 1/741 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/466 variables, 0/741 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 73 (OVERLAPS) 17/483 variables, 8/749 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/483 variables, 8/757 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/483 variables, 4/761 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/483 variables, 0/761 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 77 (OVERLAPS) 15/498 variables, 10/771 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/498 variables, 10/781 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/498 variables, 3/784 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/498 variables, 0/784 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 81 (OVERLAPS) 1/499 variables, 2/786 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/499 variables, 1/787 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/499 variables, 1/788 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/499 variables, 0/788 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 85 (OVERLAPS) 17/516 variables, 8/796 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/516 variables, 8/804 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/516 variables, 4/808 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/516 variables, 0/808 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 89 (OVERLAPS) 15/531 variables, 10/818 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/531 variables, 10/828 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/531 variables, 3/831 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/531 variables, 0/831 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 93 (OVERLAPS) 1/532 variables, 2/833 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/532 variables, 1/834 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/532 variables, 1/835 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/532 variables, 0/835 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 97 (OVERLAPS) 17/549 variables, 8/843 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/549 variables, 8/851 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/549 variables, 4/855 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/549 variables, 0/855 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 101 (OVERLAPS) 15/564 variables, 10/865 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/564 variables, 10/875 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/564 variables, 3/878 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/564 variables, 0/878 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 105 (OVERLAPS) 1/565 variables, 2/880 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/565 variables, 1/881 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 107 (INCLUDED_ONLY) 0/565 variables, 1/882 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/565 variables, 0/882 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 109 (OVERLAPS) 17/582 variables, 8/890 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/582 variables, 8/898 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/582 variables, 4/902 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/582 variables, 0/902 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 113 (OVERLAPS) 15/597 variables, 10/912 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/597 variables, 10/922 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 115 (INCLUDED_ONLY) 0/597 variables, 3/925 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/597 variables, 0/925 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 117 (OVERLAPS) 1/598 variables, 2/927 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/598 variables, 1/928 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 119 (INCLUDED_ONLY) 0/598 variables, 1/929 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/598 variables, 0/929 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 121 (OVERLAPS) 17/615 variables, 8/937 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/615 variables, 8/945 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/615 variables, 4/949 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/615 variables, 0/949 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 125 (OVERLAPS) 15/630 variables, 10/959 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/630 variables, 10/969 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/630 variables, 3/972 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/630 variables, 0/972 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 129 (OVERLAPS) 1/631 variables, 2/974 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/631 variables, 1/975 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/631 variables, 1/976 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/631 variables, 0/976 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 133 (OVERLAPS) 17/648 variables, 8/984 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/648 variables, 8/992 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 135 (INCLUDED_ONLY) 0/648 variables, 4/996 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/648 variables, 0/996 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 137 (OVERLAPS) 15/663 variables, 10/1006 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/663 variables, 10/1016 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 139 (INCLUDED_ONLY) 0/663 variables, 3/1019 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/663 variables, 0/1019 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 141 (OVERLAPS) 1/664 variables, 2/1021 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/664 variables, 1/1022 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 143 (INCLUDED_ONLY) 0/664 variables, 1/1023 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/664 variables, 0/1023 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 145 (OVERLAPS) 17/681 variables, 8/1031 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/681 variables, 8/1039 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/681 variables, 4/1043 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/681 variables, 0/1043 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 149 (OVERLAPS) 15/696 variables, 10/1053 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/696 variables, 10/1063 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 151 (INCLUDED_ONLY) 0/696 variables, 3/1066 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/696 variables, 0/1066 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 153 (OVERLAPS) 1/697 variables, 2/1068 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/697 variables, 1/1069 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 155 (INCLUDED_ONLY) 0/697 variables, 1/1070 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/697 variables, 0/1070 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 157 (OVERLAPS) 17/714 variables, 8/1078 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/714 variables, 8/1086 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 159 (INCLUDED_ONLY) 0/714 variables, 4/1090 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/714 variables, 0/1090 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 161 (OVERLAPS) 15/729 variables, 10/1100 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/729 variables, 10/1110 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/729 variables, 3/1113 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/729 variables, 0/1113 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 165 (OVERLAPS) 1/730 variables, 2/1115 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/730 variables, 1/1116 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/730 variables, 1/1117 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/730 variables, 0/1117 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 169 (OVERLAPS) 17/747 variables, 8/1125 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/747 variables, 8/1133 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/747 variables, 4/1137 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/747 variables, 0/1137 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 173 (OVERLAPS) 16/763 variables, 10/1147 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/763 variables, 10/1157 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/763 variables, 3/1160 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/763 variables, 1/1161 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 177 (INCLUDED_ONLY) 0/763 variables, 0/1161 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 178 (OVERLAPS) 1/764 variables, 2/1163 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/764 variables, 1/1164 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/764 variables, 1/1165 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 181 (INCLUDED_ONLY) 0/764 variables, 0/1165 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 182 (OVERLAPS) 16/780 variables, 8/1173 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/780 variables, 8/1181 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/780 variables, 4/1185 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 185 (INCLUDED_ONLY) 0/780 variables, 0/1185 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 186 (OVERLAPS) 16/796 variables, 10/1195 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/796 variables, 10/1205 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/796 variables, 3/1208 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/796 variables, 1/1209 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 190 (INCLUDED_ONLY) 0/796 variables, 0/1209 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 191 (OVERLAPS) 1/797 variables, 2/1211 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 192 (INCLUDED_ONLY) 0/797 variables, 1/1212 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/797 variables, 1/1213 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/797 variables, 0/1213 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 195 (OVERLAPS) 16/813 variables, 8/1221 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/813 variables, 8/1229 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/813 variables, 4/1233 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 198 (INCLUDED_ONLY) 0/813 variables, 0/1233 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 199 (OVERLAPS) 16/829 variables, 10/1243 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/829 variables, 10/1253 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/829 variables, 3/1256 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/829 variables, 1/1257 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 203 (INCLUDED_ONLY) 0/829 variables, 0/1257 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 204 (OVERLAPS) 1/830 variables, 2/1259 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/830 variables, 1/1260 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/830 variables, 1/1261 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 207 (INCLUDED_ONLY) 0/830 variables, 0/1261 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 208 (OVERLAPS) 16/846 variables, 8/1269 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/846 variables, 8/1277 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/846 variables, 4/1281 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 211 (INCLUDED_ONLY) 0/846 variables, 0/1281 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 212 (OVERLAPS) 15/861 variables, 10/1291 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/861 variables, 10/1301 constraints. Problems are: Problem set: 0 solved, 78 unsolved
SMT process timed out in 150042ms, After SMT, problems are : Problem set: 0 solved, 78 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 78 out of 757 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 757/757 places, 558/558 transitions.
Applied a total of 0 rules in 32 ms. Remains 757 /757 variables (removed 0) and now considering 558/558 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 32 ms. Remains : 757/757 places, 558/558 transitions.
RANDOM walk for 4000000 steps (8 resets) in 53276 ms. (75 steps per ms) remains 54/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3580 ms. (111 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3477 ms. (115 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3011 ms. (132 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3217 ms. (124 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3216 ms. (124 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2860 ms. (139 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3248 ms. (123 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3279 ms. (121 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3164 ms. (126 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3284 ms. (121 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3255 ms. (122 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3247 ms. (123 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3291 ms. (121 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3077 ms. (129 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3438 ms. (116 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3908 ms. (102 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3553 ms. (112 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3743 ms. (106 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3670 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4070 ms. (98 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3641 ms. (109 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3960 ms. (100 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3865 ms. (103 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3842 ms. (104 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4036 ms. (99 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4082 ms. (97 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3909 ms. (102 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3023 ms. (132 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3579 ms. (111 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3453 ms. (115 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4164 ms. (96 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3833 ms. (104 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4343 ms. (92 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3674 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3112 ms. (128 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3182 ms. (125 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3225 ms. (123 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4136 ms. (96 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3973 ms. (100 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3970 ms. (100 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 4156 ms. (96 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3910 ms. (102 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2916 ms. (137 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3751 ms. (106 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4088 ms. (97 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3857 ms. (103 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3761 ms. (106 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3699 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3607 ms. (110 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3552 ms. (112 steps per ms) remains 54/54 properties
[2024-05-28 15:44:59] [INFO ] Invariant cache hit.
[2024-05-28 15:44:59] [INFO ] State equation strengthened by 18 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 54/54 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/54 variables, 0/54 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 2 (OVERLAPS) 39/93 variables, 44/98 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/93 variables, 39/137 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/93 variables, 0/137 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 5 (OVERLAPS) 70/163 variables, 93/230 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/163 variables, 0/230 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 7 (OVERLAPS) 46/209 variables, 20/250 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/209 variables, 20/270 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/209 variables, 10/280 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/209 variables, 0/280 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 11 (OVERLAPS) 62/271 variables, 36/316 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/271 variables, 36/352 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/271 variables, 14/366 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/271 variables, 0/366 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 15 (OVERLAPS) 4/275 variables, 4/370 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/275 variables, 4/374 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/275 variables, 4/378 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/275 variables, 0/378 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 19 (OVERLAPS) 8/283 variables, 4/382 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/283 variables, 8/390 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/283 variables, 6/396 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/283 variables, 0/396 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 23 (OVERLAPS) 35/318 variables, 22/418 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/318 variables, 20/438 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/318 variables, 10/448 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/318 variables, 0/448 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 27 (OVERLAPS) 15/333 variables, 10/458 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/333 variables, 10/468 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/333 variables, 3/471 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/333 variables, 0/471 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 31 (OVERLAPS) 1/334 variables, 2/473 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/334 variables, 1/474 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/334 variables, 1/475 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/334 variables, 0/475 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 35 (OVERLAPS) 17/351 variables, 8/483 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/351 variables, 8/491 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/351 variables, 4/495 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/351 variables, 0/495 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 39 (OVERLAPS) 15/366 variables, 10/505 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/366 variables, 10/515 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/366 variables, 3/518 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/366 variables, 0/518 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 43 (OVERLAPS) 1/367 variables, 2/520 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/367 variables, 1/521 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/367 variables, 1/522 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/367 variables, 0/522 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 47 (OVERLAPS) 17/384 variables, 8/530 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/384 variables, 8/538 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/384 variables, 4/542 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/384 variables, 0/542 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 51 (OVERLAPS) 15/399 variables, 10/552 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/399 variables, 10/562 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/399 variables, 3/565 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/399 variables, 0/565 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 55 (OVERLAPS) 1/400 variables, 2/567 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/400 variables, 1/568 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/400 variables, 1/569 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/400 variables, 0/569 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 59 (OVERLAPS) 17/417 variables, 8/577 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/417 variables, 8/585 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/417 variables, 4/589 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/417 variables, 0/589 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 63 (OVERLAPS) 15/432 variables, 10/599 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/432 variables, 10/609 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/432 variables, 3/612 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/432 variables, 0/612 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 67 (OVERLAPS) 1/433 variables, 2/614 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/433 variables, 1/615 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/433 variables, 1/616 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/433 variables, 0/616 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 71 (OVERLAPS) 17/450 variables, 8/624 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/450 variables, 8/632 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/450 variables, 4/636 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/450 variables, 0/636 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 75 (OVERLAPS) 15/465 variables, 10/646 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/465 variables, 10/656 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/465 variables, 3/659 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/465 variables, 0/659 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 79 (OVERLAPS) 1/466 variables, 2/661 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/466 variables, 1/662 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/466 variables, 1/663 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/466 variables, 0/663 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 83 (OVERLAPS) 17/483 variables, 8/671 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/483 variables, 8/679 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/483 variables, 4/683 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/483 variables, 0/683 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 87 (OVERLAPS) 15/498 variables, 10/693 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/498 variables, 10/703 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/498 variables, 3/706 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/498 variables, 0/706 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 91 (OVERLAPS) 1/499 variables, 2/708 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/499 variables, 1/709 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/499 variables, 1/710 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/499 variables, 0/710 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 95 (OVERLAPS) 17/516 variables, 8/718 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/516 variables, 8/726 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/516 variables, 4/730 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/516 variables, 0/730 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 99 (OVERLAPS) 15/531 variables, 10/740 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/531 variables, 10/750 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/531 variables, 3/753 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/531 variables, 0/753 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 103 (OVERLAPS) 1/532 variables, 2/755 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/532 variables, 1/756 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/532 variables, 1/757 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/532 variables, 0/757 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 107 (OVERLAPS) 17/549 variables, 8/765 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/549 variables, 8/773 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/549 variables, 4/777 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/549 variables, 0/777 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 111 (OVERLAPS) 15/564 variables, 10/787 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/564 variables, 10/797 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 113 (INCLUDED_ONLY) 0/564 variables, 3/800 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/564 variables, 0/800 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 115 (OVERLAPS) 1/565 variables, 2/802 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/565 variables, 1/803 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/565 variables, 1/804 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/565 variables, 0/804 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 119 (OVERLAPS) 17/582 variables, 8/812 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/582 variables, 8/820 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/582 variables, 4/824 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/582 variables, 0/824 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 123 (OVERLAPS) 15/597 variables, 10/834 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/597 variables, 10/844 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/597 variables, 3/847 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/597 variables, 0/847 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 127 (OVERLAPS) 1/598 variables, 2/849 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/598 variables, 1/850 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/598 variables, 1/851 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/598 variables, 0/851 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 131 (OVERLAPS) 17/615 variables, 8/859 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/615 variables, 8/867 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/615 variables, 4/871 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/615 variables, 0/871 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 135 (OVERLAPS) 15/630 variables, 10/881 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/630 variables, 10/891 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/630 variables, 3/894 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/630 variables, 0/894 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 139 (OVERLAPS) 1/631 variables, 2/896 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/631 variables, 1/897 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/631 variables, 1/898 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/631 variables, 0/898 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 143 (OVERLAPS) 17/648 variables, 8/906 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/648 variables, 8/914 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/648 variables, 4/918 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/648 variables, 0/918 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 147 (OVERLAPS) 15/663 variables, 10/928 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/663 variables, 10/938 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/663 variables, 3/941 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/663 variables, 0/941 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 151 (OVERLAPS) 1/664 variables, 2/943 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/664 variables, 1/944 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/664 variables, 1/945 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/664 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 155 (OVERLAPS) 17/681 variables, 8/953 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/681 variables, 8/961 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 157 (INCLUDED_ONLY) 0/681 variables, 4/965 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/681 variables, 0/965 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 159 (OVERLAPS) 15/696 variables, 10/975 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/696 variables, 10/985 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/696 variables, 3/988 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/696 variables, 0/988 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 163 (OVERLAPS) 1/697 variables, 2/990 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/697 variables, 1/991 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/697 variables, 1/992 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/697 variables, 0/992 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 167 (OVERLAPS) 17/714 variables, 8/1000 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/714 variables, 8/1008 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/714 variables, 4/1012 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/714 variables, 0/1012 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 171 (OVERLAPS) 15/729 variables, 10/1022 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/729 variables, 10/1032 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/729 variables, 3/1035 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/729 variables, 0/1035 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 175 (OVERLAPS) 1/730 variables, 2/1037 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/730 variables, 1/1038 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 177 (INCLUDED_ONLY) 0/730 variables, 1/1039 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/730 variables, 0/1039 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 179 (OVERLAPS) 17/747 variables, 8/1047 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/747 variables, 8/1055 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 181 (INCLUDED_ONLY) 0/747 variables, 4/1059 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/747 variables, 0/1059 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 183 (OVERLAPS) 16/763 variables, 10/1069 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/763 variables, 10/1079 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 185 (INCLUDED_ONLY) 0/763 variables, 3/1082 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/763 variables, 1/1083 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/763 variables, 0/1083 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 188 (OVERLAPS) 1/764 variables, 2/1085 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/764 variables, 1/1086 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 190 (INCLUDED_ONLY) 0/764 variables, 1/1087 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/764 variables, 0/1087 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 192 (OVERLAPS) 16/780 variables, 8/1095 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/780 variables, 8/1103 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/780 variables, 4/1107 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 195 (INCLUDED_ONLY) 0/780 variables, 0/1107 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 196 (OVERLAPS) 16/796 variables, 10/1117 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/796 variables, 10/1127 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 198 (INCLUDED_ONLY) 0/796 variables, 3/1130 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/796 variables, 1/1131 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/796 variables, 0/1131 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 201 (OVERLAPS) 1/797 variables, 2/1133 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/797 variables, 1/1134 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 203 (INCLUDED_ONLY) 0/797 variables, 1/1135 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/797 variables, 0/1135 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 205 (OVERLAPS) 16/813 variables, 8/1143 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/813 variables, 8/1151 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 207 (INCLUDED_ONLY) 0/813 variables, 4/1155 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/813 variables, 0/1155 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 209 (OVERLAPS) 16/829 variables, 10/1165 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/829 variables, 10/1175 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 211 (INCLUDED_ONLY) 0/829 variables, 3/1178 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/829 variables, 1/1179 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/829 variables, 0/1179 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 214 (OVERLAPS) 1/830 variables, 2/1181 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/830 variables, 1/1182 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 216 (INCLUDED_ONLY) 0/830 variables, 1/1183 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/830 variables, 0/1183 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 218 (OVERLAPS) 16/846 variables, 8/1191 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/846 variables, 8/1199 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 220 (INCLUDED_ONLY) 0/846 variables, 4/1203 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/846 variables, 0/1203 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 222 (OVERLAPS) 15/861 variables, 10/1213 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/861 variables, 10/1223 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 224 (INCLUDED_ONLY) 0/861 variables, 3/1226 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/861 variables, 0/1226 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 226 (OVERLAPS) 1/862 variables, 2/1228 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/862 variables, 1/1229 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/862 variables, 1/1230 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 229 (INCLUDED_ONLY) 0/862 variables, 0/1230 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 230 (OVERLAPS) 17/879 variables, 8/1238 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/879 variables, 8/1246 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 232 (INCLUDED_ONLY) 0/879 variables, 4/1250 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 233 (INCLUDED_ONLY) 0/879 variables, 0/1250 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 234 (OVERLAPS) 16/895 variables, 10/1260 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 235 (INCLUDED_ONLY) 0/895 variables, 10/1270 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/895 variables, 3/1273 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 237 (INCLUDED_ONLY) 0/895 variables, 1/1274 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/895 variables, 0/1274 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 239 (OVERLAPS) 1/896 variables, 2/1276 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 240 (INCLUDED_ONLY) 0/896 variables, 1/1277 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/896 variables, 1/1278 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/896 variables, 0/1278 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 243 (OVERLAPS) 16/912 variables, 8/1286 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 244 (INCLUDED_ONLY) 0/912 variables, 8/1294 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/912 variables, 4/1298 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 246 (INCLUDED_ONLY) 0/912 variables, 0/1298 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 247 (OVERLAPS) 16/928 variables, 10/1308 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 248 (INCLUDED_ONLY) 0/928 variables, 10/1318 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 249 (INCLUDED_ONLY) 0/928 variables, 3/1321 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/928 variables, 1/1322 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/928 variables, 0/1322 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 252 (OVERLAPS) 1/929 variables, 2/1324 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/929 variables, 1/1325 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 254 (INCLUDED_ONLY) 0/929 variables, 1/1326 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 255 (INCLUDED_ONLY) 0/929 variables, 0/1326 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 256 (OVERLAPS) 16/945 variables, 8/1334 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 257 (INCLUDED_ONLY) 0/945 variables, 8/1342 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/945 variables, 4/1346 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 259 (INCLUDED_ONLY) 0/945 variables, 0/1346 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 260 (OVERLAPS) 16/961 variables, 10/1356 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/961 variables, 10/1366 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/961 variables, 3/1369 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 263 (INCLUDED_ONLY) 0/961 variables, 1/1370 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/961 variables, 0/1370 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 265 (OVERLAPS) 1/962 variables, 2/1372 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 266 (INCLUDED_ONLY) 0/962 variables, 1/1373 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/962 variables, 1/1374 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 268 (INCLUDED_ONLY) 0/962 variables, 0/1374 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 269 (OVERLAPS) 16/978 variables, 8/1382 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 270 (INCLUDED_ONLY) 0/978 variables, 8/1390 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 271 (INCLUDED_ONLY) 0/978 variables, 4/1394 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 272 (INCLUDED_ONLY) 0/978 variables, 0/1394 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 273 (OVERLAPS) 16/994 variables, 10/1404 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 274 (INCLUDED_ONLY) 0/994 variables, 10/1414 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/994 variables, 3/1417 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 276 (INCLUDED_ONLY) 0/994 variables, 1/1418 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/994 variables, 0/1418 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 278 (OVERLAPS) 1/995 variables, 2/1420 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 279 (INCLUDED_ONLY) 0/995 variables, 1/1421 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/995 variables, 1/1422 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 281 (INCLUDED_ONLY) 0/995 variables, 0/1422 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 282 (OVERLAPS) 16/1011 variables, 8/1430 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 283 (INCLUDED_ONLY) 0/1011 variables, 8/1438 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 284 (INCLUDED_ONLY) 0/1011 variables, 4/1442 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 285 (INCLUDED_ONLY) 0/1011 variables, 0/1442 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 286 (OVERLAPS) 16/1027 variables, 10/1452 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 287 (INCLUDED_ONLY) 0/1027 variables, 10/1462 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 288 (INCLUDED_ONLY) 0/1027 variables, 3/1465 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 289 (INCLUDED_ONLY) 0/1027 variables, 1/1466 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 290 (INCLUDED_ONLY) 0/1027 variables, 0/1466 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 291 (OVERLAPS) 1/1028 variables, 2/1468 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 292 (INCLUDED_ONLY) 0/1028 variables, 1/1469 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 293 (INCLUDED_ONLY) 0/1028 variables, 1/1470 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 294 (INCLUDED_ONLY) 0/1028 variables, 0/1470 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 295 (OVERLAPS) 16/1044 variables, 8/1478 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 296 (INCLUDED_ONLY) 0/1044 variables, 8/1486 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/1044 variables, 4/1490 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 298 (INCLUDED_ONLY) 0/1044 variables, 0/1490 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 299 (OVERLAPS) 16/1060 variables, 10/1500 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 300 (INCLUDED_ONLY) 0/1060 variables, 10/1510 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 301 (INCLUDED_ONLY) 0/1060 variables, 3/1513 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 302 (INCLUDED_ONLY) 0/1060 variables, 1/1514 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 303 (INCLUDED_ONLY) 0/1060 variables, 0/1514 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 304 (OVERLAPS) 1/1061 variables, 2/1516 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/1061 variables, 1/1517 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 306 (INCLUDED_ONLY) 0/1061 variables, 1/1518 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 307 (INCLUDED_ONLY) 0/1061 variables, 0/1518 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 308 (OVERLAPS) 16/1077 variables, 8/1526 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 309 (INCLUDED_ONLY) 0/1077 variables, 8/1534 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 310 (INCLUDED_ONLY) 0/1077 variables, 4/1538 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 311 (INCLUDED_ONLY) 0/1077 variables, 0/1538 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 312 (OVERLAPS) 16/1093 variables, 10/1548 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 313 (INCLUDED_ONLY) 0/1093 variables, 10/1558 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 314 (INCLUDED_ONLY) 0/1093 variables, 3/1561 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 315 (INCLUDED_ONLY) 0/1093 variables, 1/1562 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 316 (INCLUDED_ONLY) 0/1093 variables, 0/1562 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 317 (OVERLAPS) 1/1094 variables, 2/1564 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 318 (INCLUDED_ONLY) 0/1094 variables, 1/1565 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 319 (INCLUDED_ONLY) 0/1094 variables, 1/1566 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 320 (INCLUDED_ONLY) 0/1094 variables, 0/1566 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 321 (OVERLAPS) 16/1110 variables, 8/1574 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 322 (INCLUDED_ONLY) 0/1110 variables, 8/1582 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 323 (INCLUDED_ONLY) 0/1110 variables, 4/1586 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 324 (INCLUDED_ONLY) 0/1110 variables, 0/1586 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 325 (OVERLAPS) 16/1126 variables, 10/1596 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 326 (INCLUDED_ONLY) 0/1126 variables, 10/1606 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 327 (INCLUDED_ONLY) 0/1126 variables, 3/1609 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 328 (INCLUDED_ONLY) 0/1126 variables, 1/1610 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 329 (INCLUDED_ONLY) 0/1126 variables, 0/1610 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 330 (OVERLAPS) 1/1127 variables, 2/1612 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 331 (INCLUDED_ONLY) 0/1127 variables, 1/1613 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 332 (INCLUDED_ONLY) 0/1127 variables, 1/1614 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 333 (INCLUDED_ONLY) 0/1127 variables, 0/1614 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 334 (OVERLAPS) 16/1143 variables, 8/1622 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 335 (INCLUDED_ONLY) 0/1143 variables, 8/1630 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 336 (INCLUDED_ONLY) 0/1143 variables, 4/1634 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 337 (INCLUDED_ONLY) 0/1143 variables, 0/1634 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 338 (OVERLAPS) 16/1159 variables, 10/1644 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 339 (INCLUDED_ONLY) 0/1159 variables, 10/1654 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 340 (INCLUDED_ONLY) 0/1159 variables, 3/1657 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 341 (INCLUDED_ONLY) 0/1159 variables, 1/1658 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 342 (INCLUDED_ONLY) 0/1159 variables, 0/1658 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 343 (OVERLAPS) 1/1160 variables, 2/1660 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 344 (INCLUDED_ONLY) 0/1160 variables, 1/1661 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 345 (INCLUDED_ONLY) 0/1160 variables, 1/1662 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 346 (INCLUDED_ONLY) 0/1160 variables, 0/1662 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 347 (OVERLAPS) 16/1176 variables, 8/1670 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 348 (INCLUDED_ONLY) 0/1176 variables, 8/1678 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 349 (INCLUDED_ONLY) 0/1176 variables, 4/1682 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 350 (INCLUDED_ONLY) 0/1176 variables, 0/1682 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 351 (OVERLAPS) 16/1192 variables, 10/1692 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 352 (INCLUDED_ONLY) 0/1192 variables, 10/1702 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 353 (INCLUDED_ONLY) 0/1192 variables, 3/1705 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 354 (INCLUDED_ONLY) 0/1192 variables, 1/1706 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 355 (INCLUDED_ONLY) 0/1192 variables, 0/1706 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 356 (OVERLAPS) 1/1193 variables, 2/1708 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 357 (INCLUDED_ONLY) 0/1193 variables, 1/1709 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 358 (INCLUDED_ONLY) 0/1193 variables, 1/1710 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 359 (INCLUDED_ONLY) 0/1193 variables, 0/1710 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 360 (OVERLAPS) 16/1209 variables, 8/1718 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 361 (INCLUDED_ONLY) 0/1209 variables, 8/1726 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 362 (INCLUDED_ONLY) 0/1209 variables, 4/1730 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 363 (INCLUDED_ONLY) 0/1209 variables, 0/1730 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 364 (OVERLAPS) 16/1225 variables, 10/1740 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 365 (INCLUDED_ONLY) 0/1225 variables, 10/1750 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 366 (INCLUDED_ONLY) 0/1225 variables, 3/1753 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 367 (INCLUDED_ONLY) 0/1225 variables, 1/1754 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 368 (INCLUDED_ONLY) 0/1225 variables, 0/1754 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 369 (OVERLAPS) 1/1226 variables, 2/1756 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 370 (INCLUDED_ONLY) 0/1226 variables, 1/1757 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 371 (INCLUDED_ONLY) 0/1226 variables, 1/1758 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 372 (INCLUDED_ONLY) 0/1226 variables, 0/1758 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 373 (OVERLAPS) 16/1242 variables, 8/1766 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 374 (INCLUDED_ONLY) 0/1242 variables, 8/1774 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 375 (INCLUDED_ONLY) 0/1242 variables, 4/1778 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 376 (INCLUDED_ONLY) 0/1242 variables, 0/1778 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 377 (OVERLAPS) 16/1258 variables, 10/1788 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 378 (INCLUDED_ONLY) 0/1258 variables, 10/1798 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 379 (INCLUDED_ONLY) 0/1258 variables, 3/1801 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 380 (INCLUDED_ONLY) 0/1258 variables, 1/1802 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 381 (INCLUDED_ONLY) 0/1258 variables, 0/1802 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 382 (OVERLAPS) 1/1259 variables, 2/1804 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 383 (INCLUDED_ONLY) 0/1259 variables, 1/1805 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 384 (INCLUDED_ONLY) 0/1259 variables, 1/1806 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 385 (INCLUDED_ONLY) 0/1259 variables, 0/1806 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 386 (OVERLAPS) 16/1275 variables, 8/1814 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 387 (INCLUDED_ONLY) 0/1275 variables, 8/1822 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 388 (INCLUDED_ONLY) 0/1275 variables, 4/1826 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 389 (INCLUDED_ONLY) 0/1275 variables, 0/1826 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 390 (OVERLAPS) 16/1291 variables, 10/1836 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 391 (INCLUDED_ONLY) 0/1291 variables, 10/1846 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 392 (INCLUDED_ONLY) 0/1291 variables, 3/1849 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 393 (INCLUDED_ONLY) 0/1291 variables, 1/1850 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 394 (INCLUDED_ONLY) 0/1291 variables, 0/1850 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 395 (OVERLAPS) 1/1292 variables, 2/1852 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 396 (INCLUDED_ONLY) 0/1292 variables, 1/1853 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 397 (INCLUDED_ONLY) 0/1292 variables, 1/1854 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 398 (INCLUDED_ONLY) 0/1292 variables, 0/1854 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 399 (OVERLAPS) 11/1303 variables, 6/1860 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 400 (INCLUDED_ONLY) 0/1303 variables, 6/1866 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 401 (INCLUDED_ONLY) 0/1303 variables, 3/1869 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 402 (INCLUDED_ONLY) 0/1303 variables, 0/1869 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 403 (OVERLAPS) 8/1311 variables, 4/1873 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 404 (INCLUDED_ONLY) 0/1311 variables, 4/1877 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 405 (INCLUDED_ONLY) 0/1311 variables, 1/1878 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 406 (INCLUDED_ONLY) 0/1311 variables, 2/1880 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 407 (INCLUDED_ONLY) 0/1311 variables, 0/1880 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 408 (OVERLAPS) 1/1312 variables, 1/1881 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 409 (INCLUDED_ONLY) 0/1312 variables, 1/1882 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 410 (INCLUDED_ONLY) 0/1312 variables, 1/1883 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 411 (INCLUDED_ONLY) 0/1312 variables, 0/1883 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 412 (OVERLAPS) 1/1313 variables, 1/1884 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 413 (INCLUDED_ONLY) 0/1313 variables, 1/1885 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 414 (INCLUDED_ONLY) 0/1313 variables, 1/1886 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 415 (INCLUDED_ONLY) 0/1313 variables, 0/1886 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 416 (OVERLAPS) 2/1315 variables, 2/1888 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 417 (INCLUDED_ONLY) 0/1315 variables, 2/1890 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 418 (INCLUDED_ONLY) 0/1315 variables, 1/1891 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 419 (INCLUDED_ONLY) 0/1315 variables, 0/1891 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 420 (OVERLAPS) 0/1315 variables, 0/1891 constraints. Problems are: Problem set: 0 solved, 54 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1315/1315 variables, and 1891 constraints, problems are : Problem set: 0 solved, 54 unsolved in 86358 ms.
Refiners :[Domain max(s): 757/757 constraints, Positive P Invariants (semi-flows): 359/359 constraints, State Equation: 757/757 constraints, ReadFeed: 18/18 constraints, PredecessorRefiner: 54/54 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 54 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 54/54 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/54 variables, 0/54 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 2 (OVERLAPS) 39/93 variables, 44/98 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/93 variables, 39/137 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/93 variables, 0/137 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 5 (OVERLAPS) 70/163 variables, 93/230 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/163 variables, 45/275 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/163 variables, 0/275 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 8 (OVERLAPS) 46/209 variables, 20/295 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/209 variables, 20/315 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/209 variables, 10/325 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/209 variables, 9/334 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/209 variables, 0/334 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 13 (OVERLAPS) 62/271 variables, 36/370 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/271 variables, 36/406 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/271 variables, 14/420 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/271 variables, 0/420 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 17 (OVERLAPS) 4/275 variables, 4/424 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/275 variables, 4/428 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/275 variables, 4/432 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/275 variables, 0/432 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 21 (OVERLAPS) 8/283 variables, 4/436 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/283 variables, 8/444 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/283 variables, 6/450 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/283 variables, 0/450 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 25 (OVERLAPS) 35/318 variables, 22/472 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/318 variables, 20/492 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/318 variables, 10/502 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/318 variables, 0/502 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 29 (OVERLAPS) 15/333 variables, 10/512 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/333 variables, 10/522 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/333 variables, 3/525 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/333 variables, 0/525 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 33 (OVERLAPS) 1/334 variables, 2/527 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/334 variables, 1/528 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/334 variables, 1/529 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/334 variables, 0/529 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 37 (OVERLAPS) 17/351 variables, 8/537 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/351 variables, 8/545 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/351 variables, 4/549 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/351 variables, 0/549 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 41 (OVERLAPS) 15/366 variables, 10/559 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/366 variables, 10/569 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/366 variables, 3/572 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/366 variables, 0/572 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 45 (OVERLAPS) 1/367 variables, 2/574 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/367 variables, 1/575 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/367 variables, 1/576 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/367 variables, 0/576 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 49 (OVERLAPS) 17/384 variables, 8/584 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/384 variables, 8/592 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/384 variables, 4/596 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/384 variables, 0/596 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 53 (OVERLAPS) 15/399 variables, 10/606 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/399 variables, 10/616 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/399 variables, 3/619 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/399 variables, 0/619 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 57 (OVERLAPS) 1/400 variables, 2/621 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/400 variables, 1/622 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/400 variables, 1/623 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/400 variables, 0/623 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 61 (OVERLAPS) 17/417 variables, 8/631 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/417 variables, 8/639 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/417 variables, 4/643 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/417 variables, 0/643 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 65 (OVERLAPS) 15/432 variables, 10/653 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/432 variables, 10/663 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 67 (INCLUDED_ONLY) 0/432 variables, 3/666 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/432 variables, 0/666 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 69 (OVERLAPS) 1/433 variables, 2/668 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/433 variables, 1/669 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/433 variables, 1/670 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/433 variables, 0/670 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 73 (OVERLAPS) 17/450 variables, 8/678 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/450 variables, 8/686 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/450 variables, 4/690 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/450 variables, 0/690 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 77 (OVERLAPS) 15/465 variables, 10/700 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/465 variables, 10/710 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/465 variables, 3/713 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/465 variables, 0/713 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 81 (OVERLAPS) 1/466 variables, 2/715 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/466 variables, 1/716 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/466 variables, 1/717 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/466 variables, 0/717 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 85 (OVERLAPS) 17/483 variables, 8/725 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/483 variables, 8/733 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/483 variables, 4/737 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/483 variables, 0/737 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 89 (OVERLAPS) 15/498 variables, 10/747 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/498 variables, 10/757 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/498 variables, 3/760 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/498 variables, 0/760 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 93 (OVERLAPS) 1/499 variables, 2/762 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/499 variables, 1/763 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/499 variables, 1/764 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/499 variables, 0/764 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 97 (OVERLAPS) 17/516 variables, 8/772 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/516 variables, 8/780 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/516 variables, 4/784 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/516 variables, 0/784 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 101 (OVERLAPS) 15/531 variables, 10/794 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/531 variables, 10/804 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/531 variables, 3/807 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/531 variables, 0/807 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 105 (OVERLAPS) 1/532 variables, 2/809 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/532 variables, 1/810 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 107 (INCLUDED_ONLY) 0/532 variables, 1/811 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/532 variables, 0/811 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 109 (OVERLAPS) 17/549 variables, 8/819 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/549 variables, 8/827 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/549 variables, 4/831 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/549 variables, 0/831 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 113 (OVERLAPS) 15/564 variables, 10/841 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/564 variables, 10/851 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 115 (INCLUDED_ONLY) 0/564 variables, 3/854 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/564 variables, 0/854 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 117 (OVERLAPS) 1/565 variables, 2/856 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/565 variables, 1/857 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 119 (INCLUDED_ONLY) 0/565 variables, 1/858 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/565 variables, 0/858 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 121 (OVERLAPS) 17/582 variables, 8/866 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/582 variables, 8/874 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/582 variables, 4/878 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/582 variables, 0/878 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 125 (OVERLAPS) 15/597 variables, 10/888 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/597 variables, 10/898 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/597 variables, 3/901 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/597 variables, 0/901 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 129 (OVERLAPS) 1/598 variables, 2/903 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/598 variables, 1/904 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/598 variables, 1/905 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/598 variables, 0/905 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 133 (OVERLAPS) 17/615 variables, 8/913 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/615 variables, 8/921 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 135 (INCLUDED_ONLY) 0/615 variables, 4/925 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/615 variables, 0/925 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 137 (OVERLAPS) 15/630 variables, 10/935 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/630 variables, 10/945 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 139 (INCLUDED_ONLY) 0/630 variables, 3/948 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/630 variables, 0/948 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 141 (OVERLAPS) 1/631 variables, 2/950 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/631 variables, 1/951 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 143 (INCLUDED_ONLY) 0/631 variables, 1/952 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/631 variables, 0/952 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 145 (OVERLAPS) 17/648 variables, 8/960 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/648 variables, 8/968 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/648 variables, 4/972 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/648 variables, 0/972 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 149 (OVERLAPS) 15/663 variables, 10/982 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/663 variables, 10/992 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 151 (INCLUDED_ONLY) 0/663 variables, 3/995 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/663 variables, 0/995 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 153 (OVERLAPS) 1/664 variables, 2/997 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/664 variables, 1/998 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 155 (INCLUDED_ONLY) 0/664 variables, 1/999 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/664 variables, 0/999 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 157 (OVERLAPS) 17/681 variables, 8/1007 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/681 variables, 8/1015 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 159 (INCLUDED_ONLY) 0/681 variables, 4/1019 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/681 variables, 0/1019 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 161 (OVERLAPS) 15/696 variables, 10/1029 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/696 variables, 10/1039 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/696 variables, 3/1042 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/696 variables, 0/1042 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 165 (OVERLAPS) 1/697 variables, 2/1044 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/697 variables, 1/1045 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/697 variables, 1/1046 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/697 variables, 0/1046 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 169 (OVERLAPS) 17/714 variables, 8/1054 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/714 variables, 8/1062 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/714 variables, 4/1066 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/714 variables, 0/1066 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 173 (OVERLAPS) 15/729 variables, 10/1076 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/729 variables, 10/1086 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/729 variables, 3/1089 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/729 variables, 0/1089 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 177 (OVERLAPS) 1/730 variables, 2/1091 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/730 variables, 1/1092 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/730 variables, 1/1093 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/730 variables, 0/1093 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 181 (OVERLAPS) 17/747 variables, 8/1101 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/747 variables, 8/1109 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/747 variables, 4/1113 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/747 variables, 0/1113 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 185 (OVERLAPS) 16/763 variables, 10/1123 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/763 variables, 10/1133 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/763 variables, 3/1136 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/763 variables, 1/1137 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/763 variables, 0/1137 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 190 (OVERLAPS) 1/764 variables, 2/1139 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/764 variables, 1/1140 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 192 (INCLUDED_ONLY) 0/764 variables, 1/1141 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/764 variables, 0/1141 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 194 (OVERLAPS) 16/780 variables, 8/1149 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 195 (INCLUDED_ONLY) 0/780 variables, 8/1157 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/780 variables, 4/1161 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/780 variables, 0/1161 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 198 (OVERLAPS) 16/796 variables, 10/1171 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/796 variables, 10/1181 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/796 variables, 3/1184 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/796 variables, 1/1185 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/796 variables, 0/1185 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 203 (OVERLAPS) 1/797 variables, 2/1187 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/797 variables, 1/1188 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/797 variables, 1/1189 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/797 variables, 0/1189 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 207 (OVERLAPS) 16/813 variables, 8/1197 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/813 variables, 8/1205 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/813 variables, 4/1209 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/813 variables, 0/1209 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 211 (OVERLAPS) 16/829 variables, 10/1219 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/829 variables, 10/1229 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/829 variables, 3/1232 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/829 variables, 1/1233 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/829 variables, 0/1233 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 216 (OVERLAPS) 1/830 variables, 2/1235 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/830 variables, 1/1236 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 218 (INCLUDED_ONLY) 0/830 variables, 1/1237 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/830 variables, 0/1237 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 220 (OVERLAPS) 16/846 variables, 8/1245 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/846 variables, 8/1253 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 222 (INCLUDED_ONLY) 0/846 variables, 4/1257 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/846 variables, 0/1257 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 224 (OVERLAPS) 15/861 variables, 10/1267 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/861 variables, 10/1277 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 226 (INCLUDED_ONLY) 0/861 variables, 3/1280 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/861 variables, 0/1280 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 228 (OVERLAPS) 1/862 variables, 2/1282 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 229 (INCLUDED_ONLY) 0/862 variables, 1/1283 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 230 (INCLUDED_ONLY) 0/862 variables, 1/1284 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/862 variables, 0/1284 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 232 (OVERLAPS) 17/879 variables, 8/1292 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 233 (INCLUDED_ONLY) 0/879 variables, 8/1300 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 234 (INCLUDED_ONLY) 0/879 variables, 4/1304 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 235 (INCLUDED_ONLY) 0/879 variables, 0/1304 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 236 (OVERLAPS) 16/895 variables, 10/1314 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 237 (INCLUDED_ONLY) 0/895 variables, 10/1324 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/895 variables, 3/1327 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/895 variables, 1/1328 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 240 (INCLUDED_ONLY) 0/895 variables, 0/1328 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 241 (OVERLAPS) 1/896 variables, 2/1330 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/896 variables, 1/1331 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 243 (INCLUDED_ONLY) 0/896 variables, 1/1332 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 244 (INCLUDED_ONLY) 0/896 variables, 0/1332 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 245 (OVERLAPS) 16/912 variables, 8/1340 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 246 (INCLUDED_ONLY) 0/912 variables, 8/1348 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/912 variables, 4/1352 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 248 (INCLUDED_ONLY) 0/912 variables, 0/1352 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 249 (OVERLAPS) 16/928 variables, 10/1362 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/928 variables, 10/1372 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/928 variables, 3/1375 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 252 (INCLUDED_ONLY) 0/928 variables, 1/1376 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/928 variables, 0/1376 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 254 (OVERLAPS) 1/929 variables, 2/1378 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 255 (INCLUDED_ONLY) 0/929 variables, 1/1379 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/929 variables, 1/1380 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 257 (INCLUDED_ONLY) 0/929 variables, 0/1380 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 258 (OVERLAPS) 16/945 variables, 8/1388 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 259 (INCLUDED_ONLY) 0/945 variables, 8/1396 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 260 (INCLUDED_ONLY) 0/945 variables, 4/1400 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/945 variables, 0/1400 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 262 (OVERLAPS) 16/961 variables, 10/1410 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 263 (INCLUDED_ONLY) 0/961 variables, 10/1420 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/961 variables, 3/1423 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 265 (INCLUDED_ONLY) 0/961 variables, 1/1424 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 266 (INCLUDED_ONLY) 0/961 variables, 0/1424 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 267 (OVERLAPS) 1/962 variables, 2/1426 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 268 (INCLUDED_ONLY) 0/962 variables, 1/1427 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 269 (INCLUDED_ONLY) 0/962 variables, 1/1428 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 270 (INCLUDED_ONLY) 0/962 variables, 0/1428 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 271 (OVERLAPS) 16/978 variables, 8/1436 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 272 (INCLUDED_ONLY) 0/978 variables, 8/1444 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 273 (INCLUDED_ONLY) 0/978 variables, 4/1448 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 274 (INCLUDED_ONLY) 0/978 variables, 0/1448 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 275 (OVERLAPS) 16/994 variables, 10/1458 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 276 (INCLUDED_ONLY) 0/994 variables, 10/1468 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/994 variables, 3/1471 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 278 (INCLUDED_ONLY) 0/994 variables, 1/1472 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 279 (INCLUDED_ONLY) 0/994 variables, 0/1472 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 280 (OVERLAPS) 1/995 variables, 2/1474 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 281 (INCLUDED_ONLY) 0/995 variables, 1/1475 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 282 (INCLUDED_ONLY) 0/995 variables, 1/1476 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 283 (INCLUDED_ONLY) 0/995 variables, 0/1476 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 284 (OVERLAPS) 16/1011 variables, 8/1484 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 285 (INCLUDED_ONLY) 0/1011 variables, 8/1492 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 286 (INCLUDED_ONLY) 0/1011 variables, 4/1496 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 287 (INCLUDED_ONLY) 0/1011 variables, 0/1496 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 288 (OVERLAPS) 16/1027 variables, 10/1506 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 289 (INCLUDED_ONLY) 0/1027 variables, 10/1516 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 290 (INCLUDED_ONLY) 0/1027 variables, 3/1519 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 291 (INCLUDED_ONLY) 0/1027 variables, 1/1520 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 292 (INCLUDED_ONLY) 0/1027 variables, 0/1520 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 293 (OVERLAPS) 1/1028 variables, 2/1522 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 294 (INCLUDED_ONLY) 0/1028 variables, 1/1523 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 295 (INCLUDED_ONLY) 0/1028 variables, 1/1524 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 296 (INCLUDED_ONLY) 0/1028 variables, 0/1524 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 297 (OVERLAPS) 16/1044 variables, 8/1532 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 298 (INCLUDED_ONLY) 0/1044 variables, 8/1540 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 299 (INCLUDED_ONLY) 0/1044 variables, 4/1544 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 300 (INCLUDED_ONLY) 0/1044 variables, 0/1544 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 301 (OVERLAPS) 16/1060 variables, 10/1554 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 302 (INCLUDED_ONLY) 0/1060 variables, 10/1564 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 303 (INCLUDED_ONLY) 0/1060 variables, 3/1567 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 304 (INCLUDED_ONLY) 0/1060 variables, 1/1568 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/1060 variables, 0/1568 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 306 (OVERLAPS) 1/1061 variables, 2/1570 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 307 (INCLUDED_ONLY) 0/1061 variables, 1/1571 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 308 (INCLUDED_ONLY) 0/1061 variables, 1/1572 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 309 (INCLUDED_ONLY) 0/1061 variables, 0/1572 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 310 (OVERLAPS) 16/1077 variables, 8/1580 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 311 (INCLUDED_ONLY) 0/1077 variables, 8/1588 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 312 (INCLUDED_ONLY) 0/1077 variables, 4/1592 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 313 (INCLUDED_ONLY) 0/1077 variables, 0/1592 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 314 (OVERLAPS) 16/1093 variables, 10/1602 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 315 (INCLUDED_ONLY) 0/1093 variables, 10/1612 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 316 (INCLUDED_ONLY) 0/1093 variables, 3/1615 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 317 (INCLUDED_ONLY) 0/1093 variables, 1/1616 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 318 (INCLUDED_ONLY) 0/1093 variables, 0/1616 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 319 (OVERLAPS) 1/1094 variables, 2/1618 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 320 (INCLUDED_ONLY) 0/1094 variables, 1/1619 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 321 (INCLUDED_ONLY) 0/1094 variables, 1/1620 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 322 (INCLUDED_ONLY) 0/1094 variables, 0/1620 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 323 (OVERLAPS) 16/1110 variables, 8/1628 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 324 (INCLUDED_ONLY) 0/1110 variables, 8/1636 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 325 (INCLUDED_ONLY) 0/1110 variables, 4/1640 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 326 (INCLUDED_ONLY) 0/1110 variables, 0/1640 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 327 (OVERLAPS) 16/1126 variables, 10/1650 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 328 (INCLUDED_ONLY) 0/1126 variables, 10/1660 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 329 (INCLUDED_ONLY) 0/1126 variables, 3/1663 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 330 (INCLUDED_ONLY) 0/1126 variables, 1/1664 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 331 (INCLUDED_ONLY) 0/1126 variables, 0/1664 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 332 (OVERLAPS) 1/1127 variables, 2/1666 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 333 (INCLUDED_ONLY) 0/1127 variables, 1/1667 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 334 (INCLUDED_ONLY) 0/1127 variables, 1/1668 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 335 (INCLUDED_ONLY) 0/1127 variables, 0/1668 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 336 (OVERLAPS) 16/1143 variables, 8/1676 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 337 (INCLUDED_ONLY) 0/1143 variables, 8/1684 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 338 (INCLUDED_ONLY) 0/1143 variables, 4/1688 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 339 (INCLUDED_ONLY) 0/1143 variables, 0/1688 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 340 (OVERLAPS) 16/1159 variables, 10/1698 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 341 (INCLUDED_ONLY) 0/1159 variables, 10/1708 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 342 (INCLUDED_ONLY) 0/1159 variables, 3/1711 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 343 (INCLUDED_ONLY) 0/1159 variables, 1/1712 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 344 (INCLUDED_ONLY) 0/1159 variables, 0/1712 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 345 (OVERLAPS) 1/1160 variables, 2/1714 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 346 (INCLUDED_ONLY) 0/1160 variables, 1/1715 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 347 (INCLUDED_ONLY) 0/1160 variables, 1/1716 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 348 (INCLUDED_ONLY) 0/1160 variables, 0/1716 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 349 (OVERLAPS) 16/1176 variables, 8/1724 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 350 (INCLUDED_ONLY) 0/1176 variables, 8/1732 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 351 (INCLUDED_ONLY) 0/1176 variables, 4/1736 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 352 (INCLUDED_ONLY) 0/1176 variables, 0/1736 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 353 (OVERLAPS) 16/1192 variables, 10/1746 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 354 (INCLUDED_ONLY) 0/1192 variables, 10/1756 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 355 (INCLUDED_ONLY) 0/1192 variables, 3/1759 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 356 (INCLUDED_ONLY) 0/1192 variables, 1/1760 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 357 (INCLUDED_ONLY) 0/1192 variables, 0/1760 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 358 (OVERLAPS) 1/1193 variables, 2/1762 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 359 (INCLUDED_ONLY) 0/1193 variables, 1/1763 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 360 (INCLUDED_ONLY) 0/1193 variables, 1/1764 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 361 (INCLUDED_ONLY) 0/1193 variables, 0/1764 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 362 (OVERLAPS) 16/1209 variables, 8/1772 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 363 (INCLUDED_ONLY) 0/1209 variables, 8/1780 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 364 (INCLUDED_ONLY) 0/1209 variables, 4/1784 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 365 (INCLUDED_ONLY) 0/1209 variables, 0/1784 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 366 (OVERLAPS) 16/1225 variables, 10/1794 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 367 (INCLUDED_ONLY) 0/1225 variables, 10/1804 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 368 (INCLUDED_ONLY) 0/1225 variables, 3/1807 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 369 (INCLUDED_ONLY) 0/1225 variables, 1/1808 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 370 (INCLUDED_ONLY) 0/1225 variables, 0/1808 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 371 (OVERLAPS) 1/1226 variables, 2/1810 constraints. Problems are: Problem set: 0 solved, 54 unsolved
SMT process timed out in 176397ms, After SMT, problems are : Problem set: 0 solved, 54 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 54 out of 757 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 757/757 places, 558/558 transitions.
Applied a total of 0 rules in 17 ms. Remains 757 /757 variables (removed 0) and now considering 558/558 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 17 ms. Remains : 757/757 places, 558/558 transitions.
RANDOM walk for 4000000 steps (8 resets) in 52819 ms. (75 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3475 ms. (115 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3719 ms. (107 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3903 ms. (102 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3473 ms. (115 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3556 ms. (112 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3677 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3815 ms. (104 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3555 ms. (112 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3648 ms. (109 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3723 ms. (107 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4084 ms. (97 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3703 ms. (107 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3699 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3807 ms. (105 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3585 ms. (111 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3828 ms. (104 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3777 ms. (105 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4623 ms. (86 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3617 ms. (110 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3549 ms. (112 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3805 ms. (105 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3716 ms. (107 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3822 ms. (104 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3746 ms. (106 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3473 ms. (115 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3690 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3666 ms. (109 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3568 ms. (112 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3694 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3612 ms. (110 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3625 ms. (110 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3692 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3674 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3664 ms. (109 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3689 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3671 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4107 ms. (97 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3884 ms. (102 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3842 ms. (104 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3726 ms. (107 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3993 ms. (100 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3697 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3674 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3707 ms. (107 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3682 ms. (108 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3726 ms. (107 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3542 ms. (112 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3800 ms. (105 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400003 steps (8 resets) in 4372 ms. (91 steps per ms) remains 54/54 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3724 ms. (107 steps per ms) remains 54/54 properties
Finished probabilistic random walk after 28346 steps, run visited all 54 properties in 1874 ms. (steps per millisecond=15 )
Probabilistic random walk after 28346 steps, saw 27373 distinct states, run finished after 1887 ms. (steps per millisecond=15 ) properties seen :54
Able to resolve query StableMarking after proving 441 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK PROBABILISTIC_WALK MARKED_SUFFIX_TEST BESTFIRST_WALK TOPOLOGICAL
Total runtime 676438 ms.
ITS solved all properties within timeout

BK_STOP 1716911348865

--------------------
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-040A"
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-040A, 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-171683777300193"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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