Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 920K
-rw-r--r-- 1 mcc users 6.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K 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 May 19 07:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 19 16:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 19 07:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 19:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 12 20:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Apr 12 20:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Apr 12 20:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Apr 12 20:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K 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 512K 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 1717223581181

Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ShieldIIPt-PT-030B
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 06:33:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-06-01 06:33:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 06:33:02] [INFO ] Load time of PNML (sax parser for PT used): 158 ms
[2024-06-01 06:33:02] [INFO ] Transformed 2103 places.
[2024-06-01 06:33:02] [INFO ] Transformed 1953 transitions.
[2024-06-01 06:33:02] [INFO ] Found NUPN structural information;
[2024-06-01 06:33:02] [INFO ] Parsed PT model containing 2103 places and 1953 transitions and 4866 arcs in 328 ms.
Structural test allowed to assert that 842 places are NOT stable. Took 18 ms.
RANDOM walk for 40000 steps (8 resets) in 4306 ms. (9 steps per ms) remains 782/1261 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 11 ms. (10 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 12 ms. (9 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 122 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 121 steps (8 resets) in 10 ms. (11 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 782/782 properties
BEST_FIRST walk for 122 steps (8 resets) in 8 ms. (13 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 10 ms. (11 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 782/782 properties
BEST_FIRST walk for 121 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 9 ms. (12 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 8 ms. (13 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 5 ms. (20 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 8 ms. (13 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 122 steps (8 resets) in 9 ms. (12 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 8 ms. (13 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 122 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 5 ms. (20 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 5 ms. (20 steps per ms) remains 782/782 properties
BEST_FIRST walk for 122 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 5 ms. (20 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 123 steps (8 resets) in 5 ms. (20 steps per ms) remains 782/782 properties
BEST_FIRST walk for 121 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 782/782 properties
// Phase 1: matrix 1953 rows 2103 cols
[2024-06-01 06:33:04] [INFO ] Computed 271 invariants in 34 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/782 variables, 782/782 constraints. Problems are: Problem set: 0 solved, 782 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 782/4056 variables, and 782 constraints, problems are : Problem set: 0 solved, 782 unsolved in 5079 ms.
Refiners :[Domain max(s): 782/2103 constraints, Positive P Invariants (semi-flows): 0/271 constraints, State Equation: 0/2103 constraints, PredecessorRefiner: 782/782 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 782 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/782 variables, 782/782 constraints. Problems are: Problem set: 0 solved, 782 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 782/4056 variables, and 782 constraints, problems are : Problem set: 0 solved, 782 unsolved in 5020 ms.
Refiners :[Domain max(s): 782/2103 constraints, Positive P Invariants (semi-flows): 0/271 constraints, State Equation: 0/2103 constraints, PredecessorRefiner: 0/782 constraints, Known Traps: 0/0 constraints]
After SMT, in 10420ms problems are : Problem set: 0 solved, 782 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 782 out of 2103 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2103/2103 places, 1953/1953 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 345 transitions
Trivial Post-agglo rules discarded 345 transitions
Performed 345 trivial Post agglomeration. Transition count delta: 345
Iterating post reduction 0 with 345 rules applied. Total rules applied 345 place count 2103 transition count 1608
Reduce places removed 345 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 347 rules applied. Total rules applied 692 place count 1758 transition count 1606
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 693 place count 1757 transition count 1606
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 50 Pre rules applied. Total rules applied 693 place count 1757 transition count 1556
Deduced a syphon composed of 50 places in 4 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 3 with 100 rules applied. Total rules applied 793 place count 1707 transition count 1556
Discarding 74 places :
Symmetric choice reduction at 3 with 74 rule applications. Total rules 867 place count 1633 transition count 1482
Iterating global reduction 3 with 74 rules applied. Total rules applied 941 place count 1633 transition count 1482
Performed 29 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 29 Pre rules applied. Total rules applied 941 place count 1633 transition count 1453
Deduced a syphon composed of 29 places in 11 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 3 with 58 rules applied. Total rules applied 999 place count 1604 transition count 1453
Performed 421 Post agglomeration using F-continuation condition.Transition count delta: 421
Deduced a syphon composed of 421 places in 9 ms
Reduce places removed 421 places and 0 transitions.
Iterating global reduction 3 with 842 rules applied. Total rules applied 1841 place count 1183 transition count 1032
Renaming transitions due to excessive name length > 1024 char.
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 32 places in 3 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 3 with 64 rules applied. Total rules applied 1905 place count 1151 transition count 1051
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 1906 place count 1151 transition count 1050
Free-agglomeration rule applied 2 times.
Iterating global reduction 4 with 2 rules applied. Total rules applied 1908 place count 1151 transition count 1048
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 1910 place count 1149 transition count 1048
Partial Free-agglomeration rule applied 12 times.
Drop transitions (Partial Free agglomeration) removed 12 transitions
Iterating global reduction 5 with 12 rules applied. Total rules applied 1922 place count 1149 transition count 1048
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 1923 place count 1148 transition count 1047
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 1925 place count 1146 transition count 1047
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 1925 place count 1146 transition count 1046
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1927 place count 1145 transition count 1046
Applied a total of 1927 rules in 593 ms. Remains 1145 /2103 variables (removed 958) and now considering 1046/1953 (removed 907) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 608 ms. Remains : 1145/2103 places, 1046/1953 transitions.
RANDOM walk for 3840123 steps (8 resets) in 120004 ms. (31 steps per ms) remains 249/782 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 254 ms. (156 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 298 ms. (133 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 241 ms. (165 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 291 ms. (137 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 314 ms. (126 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 295 ms. (135 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 307 ms. (129 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 284 ms. (140 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 254 ms. (156 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 261 ms. (152 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 267 ms. (149 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40002 steps (8 resets) in 281 ms. (141 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 303 ms. (131 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 323 ms. (123 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 251 ms. (158 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 305 ms. (130 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 230 ms. (173 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 310 ms. (128 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 257 ms. (155 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 243 ms. (163 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 237 ms. (168 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 296 ms. (134 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 303 ms. (131 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 254 ms. (156 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 317 ms. (125 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 239 ms. (166 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40003 steps (8 resets) in 248 ms. (160 steps per ms) remains 249/249 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 249/249 properties
// Phase 1: matrix 1046 rows 1145 cols
[2024-06-01 06:33:50] [INFO ] Computed 269 invariants in 4 ms
[2024-06-01 06:33:50] [INFO ] State equation strengthened by 2 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/249 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 1 (OVERLAPS) 111/360 variables, 62/62 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/360 variables, 0/62 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 3 (OVERLAPS) 336/696 variables, 360/422 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/696 variables, 0/422 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 5 (OVERLAPS) 66/762 variables, 31/453 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/762 variables, 1/454 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/762 variables, 0/454 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 8 (OVERLAPS) 38/800 variables, 14/468 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/800 variables, 11/479 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/800 variables, 0/479 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 11 (OVERLAPS) 6/806 variables, 3/482 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/806 variables, 6/488 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/806 variables, 0/488 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 14 (OVERLAPS) 52/858 variables, 39/527 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/858 variables, 0/527 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 16 (OVERLAPS) 36/894 variables, 6/533 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/894 variables, 3/536 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/894 variables, 0/536 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 19 (OVERLAPS) 36/930 variables, 37/573 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/930 variables, 0/573 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 21 (OVERLAPS) 4/934 variables, 2/575 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/934 variables, 1/576 constraints. Problems are: Problem set: 0 solved, 249 unsolved
Error getting values : (error "ParserException while parsing response: ((s0 (/ 29.0 30.0))
(s1 (/ 1.0 60.0))
(s2 (/ 1.0 60.0))
(s3 (/ 29.0 30.0))
(s4 (/ 1.0 60.0))
(s5 (/ 1.0 60.0))
(s6 0.0)
(s7 (/ 1.0 60.0))
(s8 (/ 1.0 60.0))
(s9 (/ 1.0 2.0))
(s10 (/ 7.0 15.0))
(s11 (/ 19.0 20.0))
(s12 (/ 1.0 60.0))
(s13 (/ 29.0 30.0))
(s14 (/ 1.0 60.0))
(s15 (/ 1.0 60.0))
(s16 0.0)
(s17 (/ 59.0 60.0))
(s18 (/ 1.0 60.0))
(s19 (/ 1.0 60.0))
(s20 (/ 1.0 60.0))
(s21 (/ 23.0 60.0))
(s22 (/ 1.0 60.0))
(s23 (/ 1.0 60.0))
(s24 (/ 1.0 60.0))
(s25 (/ 1.0 60.0))
(s26 (/ 1.0 60.0))
(s27 (/ 1.0 2.0))
(s28 (/ 1.0 60.0))
(s29 (/ 11.0 12.0))
(s30 (/ 1.0 60.0))
(s31 (/ 1.0 60.0))
(s32 (/ 1.0 60.0))
(s33 (/ 1.0 60.0))
(s34 0.0)
(s35 (/ 1.0 60.0))
(s36 (/ 1.0 60.0))
(s37 (/ 1.0 60.0))
(s38 (/ 1.0 60.0))
(s39 (/ 1.0 60.0))
(s40 (/ 1.0 60.0))
(s41 (/ 1.0 60.0))
(s42 (/ 53.0 60.0))
(s43 0.0)
(s44 (/ 1.0 60.0))
(s45 (/ 1.0 60.0))
(s46 (/ 53.0 60.0))
(s47 (/ 1.0 60.0))
(s48 (/ 1.0 60.0))
(s49 (/ 1.0 60.0))
(s50 (/ 1.0 60.0))
(s51 (/ 1.0 60.0))
(s52 0.0)
(s53 0.0)
(s54 (/ 59.0 60.0))
(s55 (/ 1.0 60.0))
(s56 0.0)
(s57 (/ 1.0 60.0))
(s58 (/ 1.0 60.0))
(s59 (/ 1.0 60.0))
(s60 (/ 19.0 20.0))
(s61 (/ 1.0 2.0))
(s62 (/ 7.0 15.0))
(s63 (/ 37.0 60.0))
(s64 (/ 11.0 30.0))
(s65 (/ 1.0 60.0))
(s66 (/ 2.0 15.0))
(s67 (/ 17.0 20.0))
(s68 (/ 1.0 60.0))
(s69 (/ 1.0 60.0))
(s70 (/ 1.0 60.0))
(s71 (/ 53.0 60.0))
(s72 (/ 1.0 60.0))
(s73 (/ 1.0 60.0))
(s74 (/ 1.0 60.0))
(s75 (/ 1.0 60.0))
(s76 (/ 1.0 60.0))
(s77 0.0)
(s78 (/ 1.0 60.0))
(s79 (/ 11.0 12.0))
(s80 (/ 1.0 60.0))
(s81 (/ 1.0 60.0))
(s82 (/ 1.0 60.0))
(s83 (/ 1.0 60.0))
(s84 0.0)
(s85 (/ 1.0 60.0))
(s86 (/ 1.0 60.0))
(s87 (/ 53.0 60.0))
(s88 (/ 1.0 60.0))
(s89 (/ 1.0 60.0))
(s90 (/ 1.0 60.0))
(s91 (/ 1.0 60.0))
(s92 (/ 1.0 60.0))
(s93 0.0)
(s94 (/ 1.0 60.0))
(s95 (/ 1.0 60.0))
(s96 (/ 53.0 60.0))
(s97 (/ 1.0 60.0))
(s98 (/ 1.0 60.0))
(s99 (/ 1.0 60.0))
(s100 (/ 1.0 60.0))
(s101 (/ 1.0 60.0))
(s102 0.0)
(s103 0.0)
(s104 (/ 59.0 60.0))
(s105 (/ 1.0 60.0))
(s106 0.0)
(s107 (/ 1.0 60.0))
(s108 (/ 1.0 60.0))
(s109 (/ 19.0 20.0))
(s110 (/ 1.0 60.0))
(s111 (/ 1.0 60.0))
(s112 (/ 19.0 20.0))
(s113 0.0)
(s114 (/ 59.0 60.0))
(s115 (/ 1.0 60.0))
(s116 (/ 3.0 4.0))
(s117 (/ 1.0 60.0))
(s118 (/ 7.0 30.0))
(s119 (/ 1.0 60.0))
(s120 (/ 1.0 60.0))
(s121 (/ 1.0 30.0))
(s122 (/ 1.0 60.0))
(s123 (/ 13.0 15.0))
(s124 (/ 1.0 60.0))
(s125 (/ 1.0 60.0))
(s126 (/ 1.0 60.0))
(s127 0.0)
(s128 (/ 1.0 60.0))
(s129 (/ 11.0 12.0))
(s130 (/ 1.0 60.0))
(s131 (/ 1.0 60.0))
(s132 (/ 1.0 60.0))
(s133 (/ 1.0 60.0))
(s134 0.0)
(s135 (/ 1.0 60.0))
(s136 (/ 1.0 60.0))
(s137 (/ 13.0 15.0))
(s138 (/ 1.0 60.0))
(s139 (/ 1.0 60.0))
(s140 (/ 1.0 60.0))
(s141 (/ 1.0 60.0))
(s142 (/ 1.0 60.0))
(s143 (/ 1.0 60.0))
(s144 (/ 1.0 60.0))
(s145 (/ 1.0 60.0))
(s146 (/ 53.0 60.0))
(s147 (/ 1.0 60.0))
(s148 (/ 1.0 60.0))
(s149 (/ 1.0 60.0))
(s150 (/ 1.0 60.0))
(s151 (/ 1.0 60.0))
(s152 0.0)
(s153 (/ 29.0 30.0))
(s154 (/ 1.0 60.0))
(s155 (/ 1.0 60.0))
(s156 0.0)
(s157 (/ 1.0 60.0))
(s158 (/ 1.0 60.0))
(s159 (/ 17.0 20.0))
(s160 (/ 7.0 60.0))
(s161 (/ 19.0 20.0))
(s162 (/ 1.0 60.0))
(s163 (/ 29.0 30.0))
(s164 (/ 1.0 60.0))
(s165 (/ 1.0 60.0))
(s166 0.0)
(s167 (/ 59.0 60.0))
(s168 (/ 1.0 60.0))
(s169 (/ 1.0 60.0))
(s170 (/ 1.0 60.0))
(s171 (/ 1.0 60.0))
(s172 (/ 1.0 60.0))
(s173 (/ 1.0 60.0))
(s174 (/ 1.0 60.0))
(s175 (/ 1.0 60.0))
(s176 (/ 1.0 60.0))
(s177 (/ 13.0 15.0))
(s178 (/ 1.0 60.0))
(s179 (/ 11.0 12.0))
(s180 (/ 1.0 60.0))
(s181 (/ 1.0 60.0))
(s182 (/ 1.0 60.0))
(s183 (/ 1.0 60.0))
(s184 0.0)
(s185 (/ 1.0 30.0))
(s186 (/ 1.0 60.0))
(s187 (/ 1.0 60.0))
(s188 (/ 13.0 15.0))
(s189 (/ 1.0 60.0))
(s190 (/ 1.0 60.0))
(s191 (/ 1.0 60.0))
(s192 (/ 1.0 60.0))
(s193 0.0)
(s194 (/ 1.0 60.0))
(s195 (/ 1.0 60.0))
(s196 (/ 53.0 60.0))
(s197 (/ 1.0 60.0))
(s198 (/ 1.0 60.0))
(s199 (/ 1.0 60.0))
(s200 (/ 1.0 60.0))
(s201 (/ 1.0 60.0))
(s202 0.0)
(s203 (/ 59.0 60.0))
(s204 (/ 1.0 60.0))
(s205 0.0)
(s206 0.0)
(s207 (/ 1.0 60.0))
(s208 0.0)
(s209 0.0)
(s210 (/ 59.0 60.0))
(s211 (/ 43.0 60.0))
(s212 (/ 4.0 15.0))
(s213 (/ 29.0 30.0))
(s214 (/ 1.0 60.0))
(s215 (/ 1.0 60.0))
(s216 (/ 1.0 60.0))
(s217 (/ 59.0 60.0))
(s218 0.0)
(s219 0.0)
(s220 0.0)
(s221 1.0)
(s222 0.0)
(s223 0.0)
(s224 0.0)
(s225 0.0)
(s226 0.0)
(s227 0.0)
(s228 0.0)
(s229 1.0)
(s230 0.0)
(s231 0.0)
(s232 0.0)
(s233 0.0)
(s234 0.0)
(s235 (/ 1.0 60.0))
(s236 0.0)
(s237 (/ 19.0 20.0))
(s238 (/ 1.0 60.0))
(s239 (/ 1.0 60.0))
(s240 0.0)
(s241 0.0)
(s242 0.0)
(s243 0.0)
(s244 0.0)
(s245 0.0)
(s246 1.0)
(s247 0.0)
(s248 0.0)
(s249 0.0)
(s250 0.0)
(s251 0.0)
(s252 0.0)
(s253 0.0)
(s254 1.0)
(s255 0.0)
(s256 0.0)
(s257 (/ 1.0 60.0))
(s258 0.0)
(s259 (/ 29.0 30.0))
(s260 (/ 1.0 60.0))
(s261 0.0)
(s262 (/ 59.0 60.0))
(s263 0.0)
(s264 1.0)
(s265 0.0)
(s266 1.0)
(s267 0.0)
(s268 0.0)
(s269 (/ 1.0 30.0))
(s270 (/ 17.0 20.0))
(s271 (/ 1.0 30.0))
(s272 (/ 1.0 60.0))
(s273 (/ 1.0 60.0))
(s274 (/ 1.0 60.0))
(s275 (/ 1.0 60.0))
(s276 (/ 1.0 60.0))
(s277 0.0)
(s278 0.0)
(s279 1.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s285 (/ 1.0 60.0))
(s286 0.0)
(s287 0.0)
(s288 0.0)
(s289 0.0)
(s290 0.0)
(s291 0.0)
(s292 0.0)
(s293 (/ 59.0 60.0))
(s294 0.0)
(s295 0.0)
(s296 (/ 59.0 60.0))
(s297 0.0)
(s298 (/ 1.0 60.0))
(s299 0.0)
(s300 0.0)
(s301 0.0)
(s302 0.0)
(s303 0.0)
(s304 1.0)
(s305 0.0)
(s306 1.0)
(s307 0.0)
(s308 0.0)
(s309 0.0)
(s310 0.0)
(s311 0.0)
(s312 0.0)
(s313 (/ 29.0 30.0))
(s314 (/ 1.0 60.0))
(s315 (/ 1.0 60.0))
(s316 1.0)
(s317 0.0)
(s318 0.0)
(s319 (/ 14.0 15.0))
(s320 0.0)
(s321 (/ 1.0 60.0))
(s322 (/ 1.0 60.0))
(s323 (/ 1.0 60.0))
(s324 0.0)
(s325 0.0)
(s326 (/ 1.0 60.0))
(s327 0.0)
(s328 0.0)
(s329 1.0)
(s330 0.0)
(s331 0.0)
(s332 0.0)
(s333 0.0)
(s334 0.0)
(s335 1.0)
(s336 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s340 0.0)
(s341 0.0)
(s342 0.0)
(s343 0.0)
(s344 (/ 1.0 60.0))
(s345 0.0)
(s346 (/ 59.0 60.0))
(s347 0.0)
(s348 0.0)
(s349 0.0)
(s350 0.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 1.0)
(s355 timeout
0.0) org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 934/2191 variables, and 576 constraints, problems are : Problem set: 0 solved, 249 unsolved in 45029 ms.
Refiners :[Positive P Invariants (semi-flows): 88/269 constraints, State Equation: 488/1145 constraints, ReadFeed: 0/2 constraints, PredecessorRefiner: 249/249 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 249 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/249 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 1 (OVERLAPS) 111/360 variables, 62/62 constraints. Problems are: Problem set: 0 solved, 249 unsolved
[2024-06-01 06:34:36] [INFO ] Deduced a trap composed of 20 places in 149 ms of which 36 ms to minimize.
[2024-06-01 06:34:37] [INFO ] Deduced a trap composed of 40 places in 82 ms of which 2 ms to minimize.
[2024-06-01 06:34:37] [INFO ] Deduced a trap composed of 60 places in 88 ms of which 2 ms to minimize.
[2024-06-01 06:34:38] [INFO ] Deduced a trap composed of 36 places in 81 ms of which 2 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/360 variables, 4/66 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/360 variables, 0/66 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 4 (OVERLAPS) 336/696 variables, 360/426 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/696 variables, 249/675 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/696 variables, 0/675 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 7 (OVERLAPS) 66/762 variables, 31/706 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/762 variables, 1/707 constraints. Problems are: Problem set: 0 solved, 249 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/762 variables, 0/707 constraints. Problems are: Problem set: 0 solved, 249 unsolved
SMT process timed out in 90086ms, After SMT, problems are : Problem set: 0 solved, 249 unsolved
Fused 249 Parikh solutions to 115 different solutions.
Parikh walk visited 0 properties in 44 ms.
Support contains 249 out of 1145 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1145/1145 places, 1046/1046 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 116 transitions
Trivial Post-agglo rules discarded 116 transitions
Performed 116 trivial Post agglomeration. Transition count delta: 116
Iterating post reduction 0 with 116 rules applied. Total rules applied 116 place count 1145 transition count 930
Reduce places removed 116 places and 0 transitions.
Iterating post reduction 1 with 116 rules applied. Total rules applied 232 place count 1029 transition count 930
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 51 Pre rules applied. Total rules applied 232 place count 1029 transition count 879
Deduced a syphon composed of 51 places in 1 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 2 with 102 rules applied. Total rules applied 334 place count 978 transition count 879
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 363 place count 949 transition count 850
Iterating global reduction 2 with 29 rules applied. Total rules applied 392 place count 949 transition count 850
Performed 29 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 29 Pre rules applied. Total rules applied 392 place count 949 transition count 821
Deduced a syphon composed of 29 places in 2 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 2 with 58 rules applied. Total rules applied 450 place count 920 transition count 821
Performed 129 Post agglomeration using F-continuation condition.Transition count delta: 129
Deduced a syphon composed of 129 places in 1 ms
Reduce places removed 129 places and 0 transitions.
Iterating global reduction 2 with 258 rules applied. Total rules applied 708 place count 791 transition count 692
Performed 38 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 38 places in 1 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 2 with 76 rules applied. Total rules applied 784 place count 753 transition count 714
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 785 place count 753 transition count 713
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 786 place count 752 transition count 713
Applied a total of 786 rules in 105 ms. Remains 752 /1145 variables (removed 393) and now considering 713/1046 (removed 333) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 105 ms. Remains : 752/1145 places, 713/1046 transitions.
RANDOM walk for 4000000 steps (8 resets) in 84397 ms. (47 steps per ms) remains 20/249 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1947 ms. (205 steps per ms) remains 20/20 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2032 ms. (196 steps per ms) remains 20/20 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1915 ms. (208 steps per ms) remains 20/20 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1897 ms. (210 steps per ms) remains 20/20 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1881 ms. (212 steps per ms) remains 20/20 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1956 ms. (204 steps per ms) remains 19/20 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1884 ms. (212 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1920 ms. (208 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1999 ms. (200 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1979 ms. (202 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1931 ms. (207 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1992 ms. (200 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2067 ms. (193 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2000 ms. (199 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1979 ms. (202 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1892 ms. (211 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1915 ms. (208 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1905 ms. (209 steps per ms) remains 19/19 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2003 ms. (199 steps per ms) remains 19/19 properties
// Phase 1: matrix 713 rows 752 cols
[2024-06-01 06:36:00] [INFO ] Computed 269 invariants in 2 ms
[2024-06-01 06:36:00] [INFO ] State equation strengthened by 2 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/19 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 1 (OVERLAPS) 41/60 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/60 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 3 (OVERLAPS) 63/123 variables, 60/69 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/123 variables, 0/69 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 5 (OVERLAPS) 48/171 variables, 24/93 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/171 variables, 1/94 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/171 variables, 0/94 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 8 (OVERLAPS) 22/193 variables, 10/104 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/193 variables, 11/115 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/193 variables, 0/115 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 11 (OVERLAPS) 41/234 variables, 23/138 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/234 variables, 0/138 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 13 (OVERLAPS) 36/270 variables, 6/144 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/270 variables, 0/144 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 15 (OVERLAPS) 47/317 variables, 44/188 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/317 variables, 1/189 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/317 variables, 0/189 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 18 (OVERLAPS) 7/324 variables, 3/192 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/324 variables, 1/193 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/324 variables, 0/193 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 21 (OVERLAPS) 4/328 variables, 2/195 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/328 variables, 4/199 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/328 variables, 0/199 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 24 (OVERLAPS) 30/358 variables, 18/217 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/358 variables, 0/217 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 26 (OVERLAPS) 12/370 variables, 6/223 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/370 variables, 5/228 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/370 variables, 0/228 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 29 (OVERLAPS) 56/426 variables, 28/256 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/426 variables, 1/257 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/426 variables, 0/257 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 32 (OVERLAPS) 33/459 variables, 7/264 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/459 variables, 0/264 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 34 (OVERLAPS) 2/461 variables, 1/265 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/461 variables, 2/267 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/461 variables, 0/267 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 37 (OVERLAPS) 41/502 variables, 41/308 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/502 variables, 1/309 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/502 variables, 0/309 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 40 (OVERLAPS) 4/506 variables, 3/312 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/506 variables, 1/313 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/506 variables, 0/313 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 43 (OVERLAPS) 37/543 variables, 20/333 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/543 variables, 2/335 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/543 variables, 0/335 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 46 (OVERLAPS) 10/553 variables, 6/341 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/553 variables, 5/346 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/553 variables, 0/346 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 49 (OVERLAPS) 2/555 variables, 1/347 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/555 variables, 0/347 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 51 (OVERLAPS) 29/584 variables, 19/366 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/584 variables, 3/369 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/584 variables, 0/369 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 54 (OVERLAPS) 7/591 variables, 2/371 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/591 variables, 0/371 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 56 (OVERLAPS) 21/612 variables, 13/384 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/612 variables, 1/385 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/612 variables, 0/385 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 59 (OVERLAPS) 2/614 variables, 2/387 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/614 variables, 2/389 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/614 variables, 0/389 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 62 (OVERLAPS) 2/616 variables, 1/390 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/616 variables, 0/390 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 64 (OVERLAPS) 21/637 variables, 13/403 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/637 variables, 4/407 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/637 variables, 0/407 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 67 (OVERLAPS) 4/641 variables, 1/408 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/641 variables, 0/408 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 69 (OVERLAPS) 19/660 variables, 10/418 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/660 variables, 1/419 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/660 variables, 0/419 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 72 (OVERLAPS) 2/662 variables, 2/421 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/662 variables, 2/423 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/662 variables, 0/423 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 75 (OVERLAPS) 2/664 variables, 1/424 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/664 variables, 0/424 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 77 (OVERLAPS) 22/686 variables, 13/437 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/686 variables, 4/441 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/686 variables, 0/441 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 80 (OVERLAPS) 1/687 variables, 1/442 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/687 variables, 1/443 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/687 variables, 0/443 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 83 (OVERLAPS) 19/706 variables, 8/451 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/706 variables, 3/454 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/706 variables, 0/454 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 86 (OVERLAPS) 1/707 variables, 1/455 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/707 variables, 1/456 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/707 variables, 0/456 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 89 (OVERLAPS) 2/709 variables, 1/457 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/709 variables, 0/457 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 91 (OVERLAPS) 16/725 variables, 10/467 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/725 variables, 4/471 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/725 variables, 0/471 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 94 (OVERLAPS) 19/744 variables, 8/479 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/744 variables, 3/482 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/744 variables, 0/482 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 97 (OVERLAPS) 1/745 variables, 1/483 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/745 variables, 1/484 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/745 variables, 0/484 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 100 (OVERLAPS) 2/747 variables, 1/485 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/747 variables, 0/485 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 102 (OVERLAPS) 16/763 variables, 10/495 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/763 variables, 4/499 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/763 variables, 0/499 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 105 (OVERLAPS) 19/782 variables, 8/507 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/782 variables, 3/510 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 107 (INCLUDED_ONLY) 0/782 variables, 0/510 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 108 (OVERLAPS) 1/783 variables, 1/511 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/783 variables, 1/512 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/783 variables, 0/512 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 111 (OVERLAPS) 2/785 variables, 1/513 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/785 variables, 0/513 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 113 (OVERLAPS) 16/801 variables, 10/523 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/801 variables, 4/527 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 115 (INCLUDED_ONLY) 0/801 variables, 0/527 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 116 (OVERLAPS) 19/820 variables, 8/535 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/820 variables, 3/538 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/820 variables, 0/538 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 119 (OVERLAPS) 1/821 variables, 1/539 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/821 variables, 1/540 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/821 variables, 0/540 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 122 (OVERLAPS) 2/823 variables, 1/541 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/823 variables, 0/541 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 124 (OVERLAPS) 16/839 variables, 10/551 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/839 variables, 4/555 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/839 variables, 0/555 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 127 (OVERLAPS) 19/858 variables, 8/563 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/858 variables, 3/566 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/858 variables, 0/566 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 130 (OVERLAPS) 1/859 variables, 1/567 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/859 variables, 1/568 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/859 variables, 0/568 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 133 (OVERLAPS) 2/861 variables, 1/569 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/861 variables, 0/569 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 135 (OVERLAPS) 16/877 variables, 10/579 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/877 variables, 4/583 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/877 variables, 0/583 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 138 (OVERLAPS) 19/896 variables, 8/591 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 139 (INCLUDED_ONLY) 0/896 variables, 3/594 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/896 variables, 0/594 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 141 (OVERLAPS) 1/897 variables, 1/595 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/897 variables, 1/596 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 143 (INCLUDED_ONLY) 0/897 variables, 0/596 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 144 (OVERLAPS) 2/899 variables, 1/597 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/899 variables, 0/597 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 146 (OVERLAPS) 16/915 variables, 10/607 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/915 variables, 4/611 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/915 variables, 0/611 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 149 (OVERLAPS) 19/934 variables, 8/619 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/934 variables, 3/622 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 151 (INCLUDED_ONLY) 0/934 variables, 0/622 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 152 (OVERLAPS) 1/935 variables, 1/623 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/935 variables, 1/624 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/935 variables, 0/624 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 155 (OVERLAPS) 2/937 variables, 1/625 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/937 variables, 0/625 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 157 (OVERLAPS) 16/953 variables, 10/635 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/953 variables, 4/639 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 159 (INCLUDED_ONLY) 0/953 variables, 0/639 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 160 (OVERLAPS) 19/972 variables, 8/647 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/972 variables, 3/650 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/972 variables, 0/650 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 163 (OVERLAPS) 1/973 variables, 1/651 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/973 variables, 1/652 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/973 variables, 0/652 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 166 (OVERLAPS) 2/975 variables, 1/653 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/975 variables, 0/653 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 168 (OVERLAPS) 16/991 variables, 10/663 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/991 variables, 4/667 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/991 variables, 0/667 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 171 (OVERLAPS) 19/1010 variables, 8/675 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/1010 variables, 3/678 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/1010 variables, 0/678 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 174 (OVERLAPS) 1/1011 variables, 1/679 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/1011 variables, 1/680 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/1011 variables, 0/680 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 177 (OVERLAPS) 2/1013 variables, 1/681 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/1013 variables, 0/681 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 179 (OVERLAPS) 15/1028 variables, 10/691 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/1028 variables, 4/695 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 181 (INCLUDED_ONLY) 0/1028 variables, 0/695 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 182 (OVERLAPS) 17/1045 variables, 8/703 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/1045 variables, 3/706 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/1045 variables, 0/706 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 185 (OVERLAPS) 1/1046 variables, 1/707 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/1046 variables, 1/708 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/1046 variables, 0/708 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 188 (OVERLAPS) 2/1048 variables, 1/709 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/1048 variables, 0/709 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 190 (OVERLAPS) 16/1064 variables, 10/719 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/1064 variables, 4/723 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 192 (INCLUDED_ONLY) 0/1064 variables, 0/723 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 193 (OVERLAPS) 19/1083 variables, 8/731 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/1083 variables, 3/734 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 195 (INCLUDED_ONLY) 0/1083 variables, 0/734 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 196 (OVERLAPS) 1/1084 variables, 1/735 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/1084 variables, 1/736 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 198 (INCLUDED_ONLY) 0/1084 variables, 0/736 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 199 (OVERLAPS) 2/1086 variables, 1/737 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/1086 variables, 0/737 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 201 (OVERLAPS) 16/1102 variables, 10/747 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/1102 variables, 4/751 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 203 (INCLUDED_ONLY) 0/1102 variables, 1/752 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/1102 variables, 0/752 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 205 (OVERLAPS) 19/1121 variables, 8/760 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/1121 variables, 3/763 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 207 (INCLUDED_ONLY) 0/1121 variables, 0/763 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 208 (OVERLAPS) 1/1122 variables, 1/764 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/1122 variables, 1/765 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/1122 variables, 0/765 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 211 (OVERLAPS) 2/1124 variables, 1/766 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/1124 variables, 0/766 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 213 (OVERLAPS) 16/1140 variables, 10/776 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/1140 variables, 4/780 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 215 (INCLUDED_ONLY) 0/1140 variables, 0/780 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 216 (OVERLAPS) 19/1159 variables, 8/788 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/1159 variables, 3/791 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 218 (INCLUDED_ONLY) 0/1159 variables, 0/791 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 219 (OVERLAPS) 1/1160 variables, 1/792 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 220 (INCLUDED_ONLY) 0/1160 variables, 1/793 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/1160 variables, 0/793 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 222 (OVERLAPS) 2/1162 variables, 1/794 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/1162 variables, 0/794 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 224 (OVERLAPS) 16/1178 variables, 10/804 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/1178 variables, 4/808 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 226 (INCLUDED_ONLY) 0/1178 variables, 0/808 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 227 (OVERLAPS) 19/1197 variables, 8/816 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/1197 variables, 3/819 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 229 (INCLUDED_ONLY) 0/1197 variables, 0/819 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 230 (OVERLAPS) 1/1198 variables, 1/820 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/1198 variables, 1/821 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 232 (INCLUDED_ONLY) 0/1198 variables, 0/821 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 233 (OVERLAPS) 2/1200 variables, 1/822 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 234 (INCLUDED_ONLY) 0/1200 variables, 0/822 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 235 (OVERLAPS) 16/1216 variables, 10/832 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/1216 variables, 4/836 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 237 (INCLUDED_ONLY) 0/1216 variables, 0/836 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 238 (OVERLAPS) 19/1235 variables, 8/844 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/1235 variables, 3/847 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 240 (INCLUDED_ONLY) 0/1235 variables, 0/847 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 241 (OVERLAPS) 1/1236 variables, 1/848 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/1236 variables, 1/849 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 243 (INCLUDED_ONLY) 0/1236 variables, 0/849 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 244 (OVERLAPS) 2/1238 variables, 1/850 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/1238 variables, 0/850 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 246 (OVERLAPS) 16/1254 variables, 10/860 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/1254 variables, 4/864 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 248 (INCLUDED_ONLY) 0/1254 variables, 0/864 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 249 (OVERLAPS) 19/1273 variables, 8/872 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/1273 variables, 3/875 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 251 (INCLUDED_ONLY) 0/1273 variables, 0/875 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 252 (OVERLAPS) 1/1274 variables, 1/876 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/1274 variables, 1/877 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 254 (INCLUDED_ONLY) 0/1274 variables, 0/877 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 255 (OVERLAPS) 2/1276 variables, 1/878 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/1276 variables, 0/878 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 257 (OVERLAPS) 16/1292 variables, 10/888 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/1292 variables, 4/892 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 259 (INCLUDED_ONLY) 0/1292 variables, 0/892 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 260 (OVERLAPS) 19/1311 variables, 8/900 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/1311 variables, 3/903 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/1311 variables, 0/903 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 263 (OVERLAPS) 1/1312 variables, 1/904 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/1312 variables, 1/905 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 265 (INCLUDED_ONLY) 0/1312 variables, 0/905 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 266 (OVERLAPS) 2/1314 variables, 1/906 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/1314 variables, 0/906 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 268 (OVERLAPS) 16/1330 variables, 10/916 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 269 (INCLUDED_ONLY) 0/1330 variables, 4/920 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 270 (INCLUDED_ONLY) 0/1330 variables, 0/920 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 271 (OVERLAPS) 19/1349 variables, 8/928 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 272 (INCLUDED_ONLY) 0/1349 variables, 3/931 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 273 (INCLUDED_ONLY) 0/1349 variables, 0/931 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 274 (OVERLAPS) 1/1350 variables, 1/932 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/1350 variables, 1/933 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 276 (INCLUDED_ONLY) 0/1350 variables, 0/933 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 277 (OVERLAPS) 2/1352 variables, 1/934 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 278 (INCLUDED_ONLY) 0/1352 variables, 0/934 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 279 (OVERLAPS) 16/1368 variables, 10/944 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/1368 variables, 4/948 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 281 (INCLUDED_ONLY) 0/1368 variables, 0/948 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 282 (OVERLAPS) 19/1387 variables, 8/956 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 283 (INCLUDED_ONLY) 0/1387 variables, 3/959 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 284 (INCLUDED_ONLY) 0/1387 variables, 0/959 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 285 (OVERLAPS) 1/1388 variables, 1/960 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 286 (INCLUDED_ONLY) 0/1388 variables, 1/961 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 287 (INCLUDED_ONLY) 0/1388 variables, 0/961 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 288 (OVERLAPS) 2/1390 variables, 1/962 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 289 (INCLUDED_ONLY) 0/1390 variables, 0/962 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 290 (OVERLAPS) 16/1406 variables, 10/972 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 291 (INCLUDED_ONLY) 0/1406 variables, 4/976 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 292 (INCLUDED_ONLY) 0/1406 variables, 0/976 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 293 (OVERLAPS) 19/1425 variables, 8/984 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 294 (INCLUDED_ONLY) 0/1425 variables, 3/987 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 295 (INCLUDED_ONLY) 0/1425 variables, 0/987 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 296 (OVERLAPS) 1/1426 variables, 1/988 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/1426 variables, 1/989 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 298 (INCLUDED_ONLY) 0/1426 variables, 0/989 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 299 (OVERLAPS) 2/1428 variables, 1/990 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 300 (INCLUDED_ONLY) 0/1428 variables, 0/990 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 301 (OVERLAPS) 16/1444 variables, 10/1000 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 302 (INCLUDED_ONLY) 0/1444 variables, 4/1004 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 303 (INCLUDED_ONLY) 0/1444 variables, 0/1004 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 304 (OVERLAPS) 13/1457 variables, 6/1010 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/1457 variables, 2/1012 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 306 (INCLUDED_ONLY) 0/1457 variables, 1/1013 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 307 (INCLUDED_ONLY) 0/1457 variables, 0/1013 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 308 (OVERLAPS) 1/1458 variables, 1/1014 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 309 (INCLUDED_ONLY) 0/1458 variables, 1/1015 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 310 (INCLUDED_ONLY) 0/1458 variables, 0/1015 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 311 (OVERLAPS) 1/1459 variables, 1/1016 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 312 (INCLUDED_ONLY) 0/1459 variables, 1/1017 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 313 (INCLUDED_ONLY) 0/1459 variables, 0/1017 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 314 (OVERLAPS) 6/1465 variables, 4/1021 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 315 (INCLUDED_ONLY) 0/1465 variables, 2/1023 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 316 (INCLUDED_ONLY) 0/1465 variables, 0/1023 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 317 (OVERLAPS) 0/1465 variables, 0/1023 constraints. Problems are: Problem set: 0 solved, 19 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1465/1465 variables, and 1023 constraints, problems are : Problem set: 0 solved, 19 unsolved in 27808 ms.
Refiners :[Positive P Invariants (semi-flows): 269/269 constraints, State Equation: 752/752 constraints, ReadFeed: 2/2 constraints, PredecessorRefiner: 19/19 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 19 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/19 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 1 (OVERLAPS) 41/60 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/60 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 3 (OVERLAPS) 63/123 variables, 60/69 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/123 variables, 19/88 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/123 variables, 0/88 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 6 (OVERLAPS) 48/171 variables, 24/112 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/171 variables, 1/113 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/171 variables, 0/113 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 9 (OVERLAPS) 22/193 variables, 10/123 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/193 variables, 11/134 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/193 variables, 0/134 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 12 (OVERLAPS) 41/234 variables, 23/157 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/234 variables, 0/157 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 14 (OVERLAPS) 36/270 variables, 6/163 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/270 variables, 0/163 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 16 (OVERLAPS) 47/317 variables, 44/207 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/317 variables, 1/208 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/317 variables, 0/208 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 19 (OVERLAPS) 7/324 variables, 3/211 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/324 variables, 1/212 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/324 variables, 0/212 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 22 (OVERLAPS) 4/328 variables, 2/214 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/328 variables, 4/218 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/328 variables, 0/218 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 25 (OVERLAPS) 30/358 variables, 18/236 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/358 variables, 0/236 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 27 (OVERLAPS) 12/370 variables, 6/242 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/370 variables, 5/247 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/370 variables, 0/247 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 30 (OVERLAPS) 56/426 variables, 28/275 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/426 variables, 1/276 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/426 variables, 0/276 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 33 (OVERLAPS) 33/459 variables, 7/283 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/459 variables, 0/283 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 35 (OVERLAPS) 2/461 variables, 1/284 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/461 variables, 2/286 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/461 variables, 0/286 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 38 (OVERLAPS) 41/502 variables, 41/327 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/502 variables, 1/328 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/502 variables, 0/328 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 41 (OVERLAPS) 4/506 variables, 3/331 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/506 variables, 1/332 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/506 variables, 0/332 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 44 (OVERLAPS) 37/543 variables, 20/352 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/543 variables, 2/354 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/543 variables, 0/354 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 47 (OVERLAPS) 10/553 variables, 6/360 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/553 variables, 5/365 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/553 variables, 0/365 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 50 (OVERLAPS) 2/555 variables, 1/366 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/555 variables, 0/366 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 52 (OVERLAPS) 29/584 variables, 19/385 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/584 variables, 3/388 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/584 variables, 0/388 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 55 (OVERLAPS) 7/591 variables, 2/390 constraints. Problems are: Problem set: 0 solved, 19 unsolved
[2024-06-01 06:36:31] [INFO ] Deduced a trap composed of 26 places in 34 ms of which 1 ms to minimize.
At refinement iteration 56 (INCLUDED_ONLY) 0/591 variables, 1/391 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/591 variables, 0/391 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 58 (OVERLAPS) 21/612 variables, 13/404 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/612 variables, 1/405 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/612 variables, 0/405 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 61 (OVERLAPS) 2/614 variables, 2/407 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/614 variables, 2/409 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/614 variables, 0/409 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 64 (OVERLAPS) 2/616 variables, 1/410 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/616 variables, 0/410 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 66 (OVERLAPS) 21/637 variables, 13/423 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 67 (INCLUDED_ONLY) 0/637 variables, 4/427 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/637 variables, 0/427 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 69 (OVERLAPS) 4/641 variables, 1/428 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/641 variables, 0/428 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 71 (OVERLAPS) 19/660 variables, 10/438 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/660 variables, 1/439 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/660 variables, 0/439 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 74 (OVERLAPS) 2/662 variables, 2/441 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/662 variables, 2/443 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/662 variables, 0/443 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 77 (OVERLAPS) 2/664 variables, 1/444 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/664 variables, 0/444 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 79 (OVERLAPS) 22/686 variables, 13/457 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/686 variables, 4/461 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/686 variables, 0/461 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 82 (OVERLAPS) 1/687 variables, 1/462 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/687 variables, 1/463 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/687 variables, 0/463 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 85 (OVERLAPS) 19/706 variables, 8/471 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/706 variables, 3/474 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/706 variables, 0/474 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 88 (OVERLAPS) 1/707 variables, 1/475 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/707 variables, 1/476 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/707 variables, 0/476 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 91 (OVERLAPS) 2/709 variables, 1/477 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/709 variables, 0/477 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 93 (OVERLAPS) 16/725 variables, 10/487 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/725 variables, 4/491 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/725 variables, 0/491 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 96 (OVERLAPS) 19/744 variables, 8/499 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/744 variables, 3/502 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/744 variables, 0/502 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 99 (OVERLAPS) 1/745 variables, 1/503 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/745 variables, 1/504 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/745 variables, 0/504 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 102 (OVERLAPS) 2/747 variables, 1/505 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/747 variables, 0/505 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 104 (OVERLAPS) 16/763 variables, 10/515 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/763 variables, 4/519 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/763 variables, 0/519 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 107 (OVERLAPS) 19/782 variables, 8/527 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/782 variables, 3/530 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/782 variables, 0/530 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 110 (OVERLAPS) 1/783 variables, 1/531 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/783 variables, 1/532 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/783 variables, 0/532 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 113 (OVERLAPS) 2/785 variables, 1/533 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/785 variables, 0/533 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 115 (OVERLAPS) 16/801 variables, 10/543 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/801 variables, 4/547 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/801 variables, 0/547 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 118 (OVERLAPS) 19/820 variables, 8/555 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 119 (INCLUDED_ONLY) 0/820 variables, 3/558 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/820 variables, 0/558 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 121 (OVERLAPS) 1/821 variables, 1/559 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/821 variables, 1/560 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/821 variables, 0/560 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 124 (OVERLAPS) 2/823 variables, 1/561 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/823 variables, 0/561 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 126 (OVERLAPS) 16/839 variables, 10/571 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/839 variables, 4/575 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/839 variables, 0/575 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 129 (OVERLAPS) 19/858 variables, 8/583 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/858 variables, 3/586 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/858 variables, 0/586 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 132 (OVERLAPS) 1/859 variables, 1/587 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/859 variables, 1/588 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/859 variables, 0/588 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 135 (OVERLAPS) 2/861 variables, 1/589 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/861 variables, 0/589 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 137 (OVERLAPS) 16/877 variables, 10/599 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/877 variables, 4/603 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 139 (INCLUDED_ONLY) 0/877 variables, 0/603 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 140 (OVERLAPS) 19/896 variables, 8/611 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/896 variables, 3/614 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/896 variables, 0/614 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 143 (OVERLAPS) 1/897 variables, 1/615 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/897 variables, 1/616 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/897 variables, 0/616 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 146 (OVERLAPS) 2/899 variables, 1/617 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/899 variables, 0/617 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 148 (OVERLAPS) 16/915 variables, 10/627 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/915 variables, 4/631 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/915 variables, 0/631 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 151 (OVERLAPS) 19/934 variables, 8/639 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 152 (INCLUDED_ONLY) 0/934 variables, 3/642 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/934 variables, 0/642 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 154 (OVERLAPS) 1/935 variables, 1/643 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 155 (INCLUDED_ONLY) 0/935 variables, 1/644 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/935 variables, 0/644 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 157 (OVERLAPS) 2/937 variables, 1/645 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/937 variables, 0/645 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 159 (OVERLAPS) 16/953 variables, 10/655 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 160 (INCLUDED_ONLY) 0/953 variables, 4/659 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/953 variables, 0/659 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 162 (OVERLAPS) 19/972 variables, 8/667 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/972 variables, 3/670 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/972 variables, 0/670 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 165 (OVERLAPS) 1/973 variables, 1/671 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/973 variables, 1/672 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/973 variables, 0/672 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 168 (OVERLAPS) 2/975 variables, 1/673 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 169 (INCLUDED_ONLY) 0/975 variables, 0/673 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 170 (OVERLAPS) 16/991 variables, 10/683 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/991 variables, 4/687 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 172 (INCLUDED_ONLY) 0/991 variables, 0/687 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 173 (OVERLAPS) 19/1010 variables, 8/695 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/1010 variables, 3/698 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 175 (INCLUDED_ONLY) 0/1010 variables, 0/698 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 176 (OVERLAPS) 1/1011 variables, 1/699 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 177 (INCLUDED_ONLY) 0/1011 variables, 1/700 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 178 (INCLUDED_ONLY) 0/1011 variables, 0/700 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 179 (OVERLAPS) 2/1013 variables, 1/701 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/1013 variables, 0/701 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 181 (OVERLAPS) 15/1028 variables, 10/711 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/1028 variables, 4/715 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 183 (INCLUDED_ONLY) 0/1028 variables, 0/715 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 184 (OVERLAPS) 17/1045 variables, 8/723 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 185 (INCLUDED_ONLY) 0/1045 variables, 3/726 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 186 (INCLUDED_ONLY) 0/1045 variables, 0/726 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 187 (OVERLAPS) 1/1046 variables, 1/727 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/1046 variables, 1/728 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 189 (INCLUDED_ONLY) 0/1046 variables, 0/728 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 190 (OVERLAPS) 2/1048 variables, 1/729 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/1048 variables, 0/729 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 192 (OVERLAPS) 16/1064 variables, 10/739 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/1064 variables, 4/743 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/1064 variables, 0/743 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 195 (OVERLAPS) 19/1083 variables, 8/751 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/1083 variables, 3/754 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/1083 variables, 0/754 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 198 (OVERLAPS) 1/1084 variables, 1/755 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/1084 variables, 1/756 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 200 (INCLUDED_ONLY) 0/1084 variables, 0/756 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 201 (OVERLAPS) 2/1086 variables, 1/757 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/1086 variables, 0/757 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 203 (OVERLAPS) 16/1102 variables, 10/767 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/1102 variables, 4/771 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/1102 variables, 1/772 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 206 (INCLUDED_ONLY) 0/1102 variables, 0/772 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 207 (OVERLAPS) 19/1121 variables, 8/780 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/1121 variables, 3/783 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 209 (INCLUDED_ONLY) 0/1121 variables, 0/783 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 210 (OVERLAPS) 1/1122 variables, 1/784 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 211 (INCLUDED_ONLY) 0/1122 variables, 1/785 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 212 (INCLUDED_ONLY) 0/1122 variables, 0/785 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 213 (OVERLAPS) 2/1124 variables, 1/786 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/1124 variables, 0/786 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 215 (OVERLAPS) 16/1140 variables, 10/796 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 216 (INCLUDED_ONLY) 0/1140 variables, 4/800 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 217 (INCLUDED_ONLY) 0/1140 variables, 0/800 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 218 (OVERLAPS) 19/1159 variables, 8/808 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/1159 variables, 3/811 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 220 (INCLUDED_ONLY) 0/1159 variables, 0/811 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 221 (OVERLAPS) 1/1160 variables, 1/812 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 222 (INCLUDED_ONLY) 0/1160 variables, 1/813 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 223 (INCLUDED_ONLY) 0/1160 variables, 0/813 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 224 (OVERLAPS) 2/1162 variables, 1/814 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/1162 variables, 0/814 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 226 (OVERLAPS) 16/1178 variables, 10/824 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/1178 variables, 4/828 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/1178 variables, 0/828 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 229 (OVERLAPS) 19/1197 variables, 8/836 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 230 (INCLUDED_ONLY) 0/1197 variables, 3/839 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/1197 variables, 0/839 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 232 (OVERLAPS) 1/1198 variables, 1/840 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 233 (INCLUDED_ONLY) 0/1198 variables, 1/841 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 234 (INCLUDED_ONLY) 0/1198 variables, 0/841 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 235 (OVERLAPS) 2/1200 variables, 1/842 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/1200 variables, 0/842 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 237 (OVERLAPS) 16/1216 variables, 10/852 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/1216 variables, 4/856 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/1216 variables, 0/856 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 240 (OVERLAPS) 19/1235 variables, 8/864 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/1235 variables, 3/867 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/1235 variables, 0/867 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 243 (OVERLAPS) 1/1236 variables, 1/868 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 244 (INCLUDED_ONLY) 0/1236 variables, 1/869 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/1236 variables, 0/869 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 246 (OVERLAPS) 2/1238 variables, 1/870 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/1238 variables, 0/870 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 248 (OVERLAPS) 16/1254 variables, 10/880 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 249 (INCLUDED_ONLY) 0/1254 variables, 4/884 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/1254 variables, 0/884 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 251 (OVERLAPS) 19/1273 variables, 8/892 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 252 (INCLUDED_ONLY) 0/1273 variables, 3/895 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/1273 variables, 0/895 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 254 (OVERLAPS) 1/1274 variables, 1/896 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 255 (INCLUDED_ONLY) 0/1274 variables, 1/897 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/1274 variables, 0/897 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 257 (OVERLAPS) 2/1276 variables, 1/898 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/1276 variables, 0/898 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 259 (OVERLAPS) 16/1292 variables, 10/908 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 260 (INCLUDED_ONLY) 0/1292 variables, 4/912 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/1292 variables, 0/912 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 262 (OVERLAPS) 19/1311 variables, 8/920 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 263 (INCLUDED_ONLY) 0/1311 variables, 3/923 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/1311 variables, 0/923 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 265 (OVERLAPS) 1/1312 variables, 1/924 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 266 (INCLUDED_ONLY) 0/1312 variables, 1/925 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 267 (INCLUDED_ONLY) 0/1312 variables, 0/925 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 268 (OVERLAPS) 2/1314 variables, 1/926 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 269 (INCLUDED_ONLY) 0/1314 variables, 0/926 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 270 (OVERLAPS) 16/1330 variables, 10/936 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 271 (INCLUDED_ONLY) 0/1330 variables, 4/940 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 272 (INCLUDED_ONLY) 0/1330 variables, 0/940 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 273 (OVERLAPS) 19/1349 variables, 8/948 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 274 (INCLUDED_ONLY) 0/1349 variables, 3/951 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 275 (INCLUDED_ONLY) 0/1349 variables, 0/951 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 276 (OVERLAPS) 1/1350 variables, 1/952 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 277 (INCLUDED_ONLY) 0/1350 variables, 1/953 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 278 (INCLUDED_ONLY) 0/1350 variables, 0/953 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 279 (OVERLAPS) 2/1352 variables, 1/954 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 280 (INCLUDED_ONLY) 0/1352 variables, 0/954 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 281 (OVERLAPS) 16/1368 variables, 10/964 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 282 (INCLUDED_ONLY) 0/1368 variables, 4/968 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 283 (INCLUDED_ONLY) 0/1368 variables, 0/968 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 284 (OVERLAPS) 19/1387 variables, 8/976 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 285 (INCLUDED_ONLY) 0/1387 variables, 3/979 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 286 (INCLUDED_ONLY) 0/1387 variables, 0/979 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 287 (OVERLAPS) 1/1388 variables, 1/980 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 288 (INCLUDED_ONLY) 0/1388 variables, 1/981 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 289 (INCLUDED_ONLY) 0/1388 variables, 0/981 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 290 (OVERLAPS) 2/1390 variables, 1/982 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 291 (INCLUDED_ONLY) 0/1390 variables, 0/982 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 292 (OVERLAPS) 16/1406 variables, 10/992 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 293 (INCLUDED_ONLY) 0/1406 variables, 4/996 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 294 (INCLUDED_ONLY) 0/1406 variables, 0/996 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 295 (OVERLAPS) 19/1425 variables, 8/1004 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 296 (INCLUDED_ONLY) 0/1425 variables, 3/1007 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 297 (INCLUDED_ONLY) 0/1425 variables, 0/1007 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 298 (OVERLAPS) 1/1426 variables, 1/1008 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 299 (INCLUDED_ONLY) 0/1426 variables, 1/1009 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 300 (INCLUDED_ONLY) 0/1426 variables, 0/1009 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 301 (OVERLAPS) 2/1428 variables, 1/1010 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 302 (INCLUDED_ONLY) 0/1428 variables, 0/1010 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 303 (OVERLAPS) 16/1444 variables, 10/1020 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 304 (INCLUDED_ONLY) 0/1444 variables, 4/1024 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 305 (INCLUDED_ONLY) 0/1444 variables, 0/1024 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 306 (OVERLAPS) 13/1457 variables, 6/1030 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 307 (INCLUDED_ONLY) 0/1457 variables, 2/1032 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 308 (INCLUDED_ONLY) 0/1457 variables, 1/1033 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 309 (INCLUDED_ONLY) 0/1457 variables, 0/1033 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 310 (OVERLAPS) 1/1458 variables, 1/1034 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 311 (INCLUDED_ONLY) 0/1458 variables, 1/1035 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 312 (INCLUDED_ONLY) 0/1458 variables, 0/1035 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 313 (OVERLAPS) 1/1459 variables, 1/1036 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 314 (INCLUDED_ONLY) 0/1459 variables, 1/1037 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 315 (INCLUDED_ONLY) 0/1459 variables, 0/1037 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 316 (OVERLAPS) 6/1465 variables, 4/1041 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 317 (INCLUDED_ONLY) 0/1465 variables, 2/1043 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 318 (INCLUDED_ONLY) 0/1465 variables, 0/1043 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 319 (OVERLAPS) 0/1465 variables, 0/1043 constraints. Problems are: Problem set: 0 solved, 19 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1465/1465 variables, and 1043 constraints, problems are : Problem set: 0 solved, 19 unsolved in 42197 ms.
Refiners :[Positive P Invariants (semi-flows): 269/269 constraints, State Equation: 752/752 constraints, ReadFeed: 2/2 constraints, PredecessorRefiner: 19/19 constraints, Known Traps: 1/1 constraints]
After SMT, in 70020ms problems are : Problem set: 0 solved, 19 unsolved
Fused 19 Parikh solutions to 17 different solutions.
Parikh walk visited 0 properties in 9 ms.
Support contains 19 out of 752 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 752/752 places, 713/713 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 47 transitions
Trivial Post-agglo rules discarded 47 transitions
Performed 47 trivial Post agglomeration. Transition count delta: 47
Iterating post reduction 0 with 47 rules applied. Total rules applied 47 place count 752 transition count 666
Reduce places removed 47 places and 0 transitions.
Iterating post reduction 1 with 47 rules applied. Total rules applied 94 place count 705 transition count 666
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 94 place count 705 transition count 646
Deduced a syphon composed of 20 places in 1 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 134 place count 685 transition count 646
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 144 place count 675 transition count 636
Iterating global reduction 2 with 10 rules applied. Total rules applied 154 place count 675 transition count 636
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 154 place count 675 transition count 626
Deduced a syphon composed of 10 places in 1 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 174 place count 665 transition count 626
Performed 64 Post agglomeration using F-continuation condition.Transition count delta: 64
Deduced a syphon composed of 64 places in 1 ms
Reduce places removed 64 places and 0 transitions.
Iterating global reduction 2 with 128 rules applied. Total rules applied 302 place count 601 transition count 562
Performed 19 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 19 places in 6 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 340 place count 582 transition count 574
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 341 place count 582 transition count 573
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 342 place count 581 transition count 573
Partial Post-agglomeration rule applied 1 times.
Drop transitions (Partial Post agglomeration) removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 343 place count 581 transition count 573
Applied a total of 343 rules in 108 ms. Remains 581 /752 variables (removed 171) and now considering 573/713 (removed 140) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 108 ms. Remains : 581/752 places, 573/713 transitions.
RANDOM walk for 4000000 steps (8 resets) in 34140 ms. (117 steps per ms) remains 18/19 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1876 ms. (213 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1912 ms. (209 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1967 ms. (203 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1859 ms. (215 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1839 ms. (217 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1881 ms. (212 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1837 ms. (217 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1861 ms. (214 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1846 ms. (216 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1879 ms. (212 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1833 ms. (218 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1868 ms. (214 steps per ms) remains 18/18 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1823 ms. (219 steps per ms) remains 18/18 properties
BEST_FIRST walk for 393139 steps (8 resets) in 1911 ms. (205 steps per ms) remains 0/18 properties
Able to resolve query StableMarking after proving 1262 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK MARKED_SUFFIX_TEST BESTFIRST_WALK TOPOLOGICAL
Total runtime 267739 ms.
ITS solved all properties within timeout

BK_STOP 1717223850111

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-030B"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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