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.r144-tall-171631143400078.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is Dekker-PT-200, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r144-tall-171631143400078
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 25M
-rw-r--r-- 1 mcc users 7.0K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K May 19 07:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 19 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 22 14:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 22 14:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Apr 12 04:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 29K Apr 12 04:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 25M May 18 16:42 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 1716404824266

Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Dekker-PT-200
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-22 19:07:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-05-22 19:07:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-22 19:07:06] [INFO ] Load time of PNML (sax parser for PT used): 1158 ms
[2024-05-22 19:07:06] [INFO ] Transformed 1000 places.
[2024-05-22 19:07:06] [INFO ] Transformed 40400 transitions.
[2024-05-22 19:07:06] [INFO ] Found NUPN structural information;
[2024-05-22 19:07:06] [INFO ] Parsed PT model containing 1000 places and 40400 transitions and 320400 arcs in 1481 ms.
RANDOM walk for 40000 steps (8 resets) in 5502 ms. (7 steps per ms) remains 200/1000 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 7 ms. (50 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 11 ms. (33 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 7 ms. (50 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 7 ms. (50 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 7 ms. (50 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 7 ms. (50 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 9 ms. (40 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 7 ms. (50 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 7 ms. (50 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 19 ms. (20 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 7 ms. (50 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 21 ms. (18 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 9 ms. (40 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 11 ms. (33 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 9 ms. (40 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 9 ms. (40 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 6 ms. (57 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 10 ms. (36 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 8 ms. (44 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 9 ms. (40 steps per ms) remains 200/200 properties
[2024-05-22 19:07:09] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
// Phase 1: matrix 800 rows 1000 cols
[2024-05-22 19:07:09] [INFO ] Computed 600 invariants in 52 ms
[2024-05-22 19:07:09] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/200 variables, 200/200 constraints. Problems are: Problem set: 0 solved, 200 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/200 variables, 0/200 constraints. Problems are: Problem set: 0 solved, 200 unsolved
At refinement iteration 2 (OVERLAPS) 600/800 variables, 400/600 constraints. Problems are: Problem set: 0 solved, 200 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/800 variables, 600/1200 constraints. Problems are: Problem set: 0 solved, 200 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 800/1800 variables, and 1200 constraints, problems are : Problem set: 0 solved, 200 unsolved in 5052 ms.
Refiners :[Domain max(s): 800/1000 constraints, Positive P Invariants (semi-flows): 400/400 constraints, Generalized P Invariants (flows): 0/200 constraints, State Equation: 0/1000 constraints, ReadFeed: 0/200 constraints, PredecessorRefiner: 200/200 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 200 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/200 variables, 200/200 constraints. Problems are: Problem set: 0 solved, 200 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/200 variables, 0/200 constraints. Problems are: Problem set: 0 solved, 200 unsolved
At refinement iteration 2 (OVERLAPS) 600/800 variables, 400/600 constraints. Problems are: Problem set: 0 solved, 200 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/800 variables, 600/1200 constraints. Problems are: Problem set: 0 solved, 200 unsolved
[2024-05-22 19:07:18] [INFO ] Deduced a trap composed of 4 places in 2260 ms of which 43 ms to minimize.
[2024-05-22 19:07:21] [INFO ] Deduced a trap composed of 4 places in 2458 ms of which 6 ms to minimize.
SMT process timed out in 11889ms, After SMT, problems are : Problem set: 0 solved, 200 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 200 out of 1000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1000/1000 places, 40400/40400 transitions.
Applied a total of 0 rules in 1828 ms. Remains 1000 /1000 variables (removed 0) and now considering 40400/40400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1848 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1446649 steps (4 resets) in 120004 ms. (12 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 316 ms. (126 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 318 ms. (125 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 316 ms. (126 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 199/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 199/199 properties
BEST_FIRST walk for 40004 steps (8 resets) in 323 ms. (123 steps per ms) remains 199/199 properties
BEST_FIRST walk for 40004 steps (8 resets) in 316 ms. (126 steps per ms) remains 199/199 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 198/199 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 197/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 197/197 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 197/197 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 197/197 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 197/197 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 197/197 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 197/197 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 196/197 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 195/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 195/195 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 194/195 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 194/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 194/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 194/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 194/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 193/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 192/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 191/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 190/191 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 189/190 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 189/189 properties
BEST_FIRST walk for 40004 steps (8 resets) in 249 ms. (160 steps per ms) remains 188/189 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 188/188 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 188/188 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 187/188 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 185/187 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 184/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 288 ms. (138 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 249 ms. (160 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 183/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 182/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 249 ms. (160 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 182/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 181/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 180/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 179/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 177/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40004 steps (8 resets) in 232 ms. (171 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 176/177 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 175/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 231 ms. (172 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 232 ms. (171 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 232 ms. (171 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 174/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 174/174 properties
[2024-05-22 19:08:05] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2024-05-22 19:08:05] [INFO ] Invariant cache hit.
[2024-05-22 19:08:05] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/174 variables, 174/174 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/174 variables, 0/174 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 2 (OVERLAPS) 522/696 variables, 348/522 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/696 variables, 522/1044 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/696 variables, 0/1044 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 5 (OVERLAPS) 174/870 variables, 174/1218 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/870 variables, 174/1392 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/870 variables, 0/1392 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 8 (OVERLAPS) 696/1566 variables, 870/2262 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1566 variables, 0/2262 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 10 (OVERLAPS) 52/1618 variables, 200/2462 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1618 variables, 0/2462 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 12 (OVERLAPS) 156/1774 variables, 104/2566 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1774 variables, 104/2670 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1774 variables, 0/2670 constraints. Problems are: Problem set: 0 solved, 174 unsolved
At refinement iteration 15 (OVERLAPS) 26/1800 variables, 52/2722 constraints. Problems are: Problem set: 0 solved, 174 unsolved
SMT process timed out in 45580ms, After SMT, problems are : Problem set: 0 solved, 174 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 174 out of 1000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1000/1000 places, 40400/40400 transitions.
Applied a total of 0 rules in 1342 ms. Remains 1000 /1000 variables (removed 0) and now considering 40400/40400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1342 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1389794 steps (3 resets) in 120004 ms. (11 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 232 ms. (171 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 173/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 172/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 171/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 170/171 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 169/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 169/169 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 169/169 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 169/169 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 169/169 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 169/169 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 169/169 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 169/169 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 168/169 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 167/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 166/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 166/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 165/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 165/165 properties
Interrupted probabilistic random walk after 2360544 steps, run timeout after 108004 ms. (steps per millisecond=21 ) properties seen :2 out of 165
Probabilistic random walk after 2360544 steps, saw 2241210 distinct states, run finished after 108020 ms. (steps per millisecond=21 ) properties seen :2
[2024-05-22 19:11:16] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2024-05-22 19:11:16] [INFO ] Invariant cache hit.
[2024-05-22 19:11:16] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/163 variables, 163/163 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/163 variables, 0/163 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 2 (OVERLAPS) 489/652 variables, 326/489 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/652 variables, 489/978 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/652 variables, 0/978 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 5 (OVERLAPS) 163/815 variables, 163/1141 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/815 variables, 163/1304 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/815 variables, 0/1304 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 8 (OVERLAPS) 652/1467 variables, 815/2119 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1467 variables, 0/2119 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 10 (OVERLAPS) 74/1541 variables, 200/2319 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1541 variables, 0/2319 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 12 (OVERLAPS) 222/1763 variables, 148/2467 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1763 variables, 148/2615 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1763 variables, 0/2615 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 15 (OVERLAPS) 37/1800 variables, 74/2689 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 37/2726 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 37/2763 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 37/2800 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 163 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 163 unsolved in 60690 ms.
Refiners :[Domain max(s): 1000/1000 constraints, Positive P Invariants (semi-flows): 400/400 constraints, Generalized P Invariants (flows): 200/200 constraints, State Equation: 1000/1000 constraints, ReadFeed: 200/200 constraints, PredecessorRefiner: 163/163 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 163 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/163 variables, 163/163 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/163 variables, 0/163 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 2 (OVERLAPS) 489/652 variables, 326/489 constraints. Problems are: Problem set: 0 solved, 163 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/652 variables, 489/978 constraints. Problems are: Problem set: 0 solved, 163 unsolved
[2024-05-22 19:12:20] [INFO ] Deduced a trap composed of 4 places in 1725 ms of which 5 ms to minimize.
[2024-05-22 19:12:22] [INFO ] Deduced a trap composed of 4 places in 1747 ms of which 3 ms to minimize.
[2024-05-22 19:12:23] [INFO ] Deduced a trap composed of 4 places in 1717 ms of which 3 ms to minimize.
[2024-05-22 19:12:25] [INFO ] Deduced a trap composed of 4 places in 1729 ms of which 3 ms to minimize.
[2024-05-22 19:12:27] [INFO ] Deduced a trap composed of 4 places in 1713 ms of which 7 ms to minimize.
[2024-05-22 19:12:28] [INFO ] Deduced a trap composed of 6 places in 1727 ms of which 3 ms to minimize.
[2024-05-22 19:12:30] [INFO ] Deduced a trap composed of 4 places in 1700 ms of which 3 ms to minimize.
[2024-05-22 19:12:32] [INFO ] Deduced a trap composed of 4 places in 1690 ms of which 4 ms to minimize.
[2024-05-22 19:12:34] [INFO ] Deduced a trap composed of 4 places in 1679 ms of which 3 ms to minimize.
[2024-05-22 19:12:35] [INFO ] Deduced a trap composed of 4 places in 1662 ms of which 3 ms to minimize.
[2024-05-22 19:12:37] [INFO ] Deduced a trap composed of 4 places in 1663 ms of which 3 ms to minimize.
[2024-05-22 19:12:39] [INFO ] Deduced a trap composed of 4 places in 1652 ms of which 3 ms to minimize.
[2024-05-22 19:12:40] [INFO ] Deduced a trap composed of 4 places in 1677 ms of which 3 ms to minimize.
[2024-05-22 19:12:42] [INFO ] Deduced a trap composed of 4 places in 1632 ms of which 2 ms to minimize.
[2024-05-22 19:12:44] [INFO ] Deduced a trap composed of 4 places in 1631 ms of which 3 ms to minimize.
[2024-05-22 19:12:45] [INFO ] Deduced a trap composed of 4 places in 1626 ms of which 2 ms to minimize.
[2024-05-22 19:12:47] [INFO ] Deduced a trap composed of 4 places in 1596 ms of which 3 ms to minimize.
[2024-05-22 19:12:48] [INFO ] Deduced a trap composed of 4 places in 1579 ms of which 3 ms to minimize.
[2024-05-22 19:12:50] [INFO ] Deduced a trap composed of 4 places in 1583 ms of which 3 ms to minimize.
[2024-05-22 19:12:52] [INFO ] Deduced a trap composed of 4 places in 1578 ms of which 3 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/652 variables, 20/998 constraints. Problems are: Problem set: 0 solved, 163 unsolved
[2024-05-22 19:12:53] [INFO ] Deduced a trap composed of 4 places in 1577 ms of which 3 ms to minimize.
[2024-05-22 19:12:55] [INFO ] Deduced a trap composed of 4 places in 1594 ms of which 3 ms to minimize.
[2024-05-22 19:12:56] [INFO ] Deduced a trap composed of 4 places in 1612 ms of which 2 ms to minimize.
[2024-05-22 19:12:58] [INFO ] Deduced a trap composed of 4 places in 1570 ms of which 3 ms to minimize.
[2024-05-22 19:13:00] [INFO ] Deduced a trap composed of 4 places in 1569 ms of which 3 ms to minimize.
[2024-05-22 19:13:01] [INFO ] Deduced a trap composed of 4 places in 1552 ms of which 3 ms to minimize.
[2024-05-22 19:13:03] [INFO ] Deduced a trap composed of 4 places in 1551 ms of which 2 ms to minimize.
[2024-05-22 19:13:04] [INFO ] Deduced a trap composed of 4 places in 1552 ms of which 3 ms to minimize.
[2024-05-22 19:13:06] [INFO ] Deduced a trap composed of 4 places in 1484 ms of which 3 ms to minimize.
[2024-05-22 19:13:07] [INFO ] Deduced a trap composed of 4 places in 1498 ms of which 3 ms to minimize.
[2024-05-22 19:13:09] [INFO ] Deduced a trap composed of 4 places in 1483 ms of which 3 ms to minimize.
[2024-05-22 19:13:10] [INFO ] Deduced a trap composed of 4 places in 1505 ms of which 6 ms to minimize.
[2024-05-22 19:13:12] [INFO ] Deduced a trap composed of 4 places in 1459 ms of which 3 ms to minimize.
[2024-05-22 19:13:13] [INFO ] Deduced a trap composed of 4 places in 1459 ms of which 3 ms to minimize.
[2024-05-22 19:13:15] [INFO ] Deduced a trap composed of 4 places in 1464 ms of which 2 ms to minimize.
[2024-05-22 19:13:16] [INFO ] Deduced a trap composed of 4 places in 1449 ms of which 2 ms to minimize.
[2024-05-22 19:13:18] [INFO ] Deduced a trap composed of 4 places in 1440 ms of which 3 ms to minimize.
[2024-05-22 19:13:19] [INFO ] Deduced a trap composed of 4 places in 1424 ms of which 3 ms to minimize.
[2024-05-22 19:13:21] [INFO ] Deduced a trap composed of 4 places in 1447 ms of which 3 ms to minimize.
[2024-05-22 19:13:22] [INFO ] Deduced a trap composed of 4 places in 1396 ms of which 3 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/652 variables, 20/1018 constraints. Problems are: Problem set: 0 solved, 163 unsolved
[2024-05-22 19:13:24] [INFO ] Deduced a trap composed of 4 places in 1499 ms of which 3 ms to minimize.
[2024-05-22 19:13:25] [INFO ] Deduced a trap composed of 4 places in 1502 ms of which 3 ms to minimize.
[2024-05-22 19:13:27] [INFO ] Deduced a trap composed of 4 places in 1520 ms of which 3 ms to minimize.
[2024-05-22 19:13:28] [INFO ] Deduced a trap composed of 4 places in 1494 ms of which 3 ms to minimize.
[2024-05-22 19:13:30] [INFO ] Deduced a trap composed of 4 places in 1482 ms of which 3 ms to minimize.
[2024-05-22 19:13:31] [INFO ] Deduced a trap composed of 4 places in 1534 ms of which 3 ms to minimize.
[2024-05-22 19:13:33] [INFO ] Deduced a trap composed of 4 places in 1462 ms of which 3 ms to minimize.
SMT process timed out in 136485ms, After SMT, problems are : Problem set: 0 solved, 163 unsolved
Fused 163 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 163 out of 1000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1000/1000 places, 40400/40400 transitions.
Applied a total of 0 rules in 861 ms. Remains 1000 /1000 variables (removed 0) and now considering 40400/40400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 861 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1243237 steps (1 resets) in 120004 ms. (10 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 162/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 232 ms. (171 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 315 ms. (126 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 369 ms. (108 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 254 ms. (156 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 161/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 160/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 231 ms. (172 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 159/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 248 ms. (160 steps per ms) remains 158/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 157/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 156/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 155/156 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 154/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 153/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 230 ms. (173 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 152/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 248 ms. (160 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 151/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 151/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 151/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 151/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 150/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 149/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 147/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 146/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 249 ms. (160 steps per ms) remains 144/146 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 144/144 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 144/144 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 143/144 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 249 ms. (160 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 142/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 141/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 232 ms. (171 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 320 ms. (124 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 140/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 140/140 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 140/140 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 140/140 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 140/140 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 140/140 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 140/140 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 140/140 properties
[2024-05-22 19:14:14] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2024-05-22 19:14:14] [INFO ] Invariant cache hit.
[2024-05-22 19:14:14] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/140 variables, 140/140 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/140 variables, 0/140 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 2 (OVERLAPS) 420/560 variables, 280/420 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/560 variables, 420/840 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/560 variables, 0/840 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 5 (OVERLAPS) 140/700 variables, 140/980 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/700 variables, 140/1120 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/700 variables, 0/1120 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 8 (OVERLAPS) 560/1260 variables, 700/1820 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1260 variables, 0/1820 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 10 (OVERLAPS) 120/1380 variables, 200/2020 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1380 variables, 0/2020 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 12 (OVERLAPS) 360/1740 variables, 240/2260 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1740 variables, 240/2500 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1740 variables, 0/2500 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 15 (OVERLAPS) 60/1800 variables, 120/2620 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 60/2680 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 60/2740 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 60/2800 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 140 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 140 unsolved in 46865 ms.
Refiners :[Domain max(s): 1000/1000 constraints, Positive P Invariants (semi-flows): 400/400 constraints, Generalized P Invariants (flows): 200/200 constraints, State Equation: 1000/1000 constraints, ReadFeed: 200/200 constraints, PredecessorRefiner: 140/140 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 140 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/140 variables, 140/140 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/140 variables, 0/140 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 2 (OVERLAPS) 420/560 variables, 280/420 constraints. Problems are: Problem set: 0 solved, 140 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/560 variables, 420/840 constraints. Problems are: Problem set: 0 solved, 140 unsolved
[2024-05-22 19:15:03] [INFO ] Deduced a trap composed of 4 places in 1488 ms of which 2 ms to minimize.
[2024-05-22 19:15:04] [INFO ] Deduced a trap composed of 4 places in 1469 ms of which 3 ms to minimize.
[2024-05-22 19:15:06] [INFO ] Deduced a trap composed of 4 places in 1470 ms of which 2 ms to minimize.
[2024-05-22 19:15:07] [INFO ] Deduced a trap composed of 4 places in 1434 ms of which 2 ms to minimize.
[2024-05-22 19:15:09] [INFO ] Deduced a trap composed of 4 places in 1600 ms of which 3 ms to minimize.
[2024-05-22 19:15:10] [INFO ] Deduced a trap composed of 4 places in 1429 ms of which 3 ms to minimize.
[2024-05-22 19:15:12] [INFO ] Deduced a trap composed of 4 places in 1439 ms of which 3 ms to minimize.
[2024-05-22 19:15:13] [INFO ] Deduced a trap composed of 4 places in 1557 ms of which 3 ms to minimize.
[2024-05-22 19:15:15] [INFO ] Deduced a trap composed of 4 places in 1388 ms of which 3 ms to minimize.
[2024-05-22 19:15:16] [INFO ] Deduced a trap composed of 4 places in 1413 ms of which 2 ms to minimize.
[2024-05-22 19:15:18] [INFO ] Deduced a trap composed of 4 places in 1545 ms of which 3 ms to minimize.
[2024-05-22 19:15:19] [INFO ] Deduced a trap composed of 4 places in 1565 ms of which 3 ms to minimize.
[2024-05-22 19:15:21] [INFO ] Deduced a trap composed of 6 places in 1562 ms of which 3 ms to minimize.
[2024-05-22 19:15:22] [INFO ] Deduced a trap composed of 4 places in 1446 ms of which 2 ms to minimize.
[2024-05-22 19:15:24] [INFO ] Deduced a trap composed of 4 places in 1522 ms of which 4 ms to minimize.
[2024-05-22 19:15:25] [INFO ] Deduced a trap composed of 4 places in 1501 ms of which 2 ms to minimize.
[2024-05-22 19:15:27] [INFO ] Deduced a trap composed of 4 places in 1330 ms of which 3 ms to minimize.
[2024-05-22 19:15:28] [INFO ] Deduced a trap composed of 4 places in 1493 ms of which 2 ms to minimize.
[2024-05-22 19:15:30] [INFO ] Deduced a trap composed of 4 places in 1496 ms of which 2 ms to minimize.
[2024-05-22 19:15:31] [INFO ] Deduced a trap composed of 4 places in 1470 ms of which 3 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/560 variables, 20/860 constraints. Problems are: Problem set: 0 solved, 140 unsolved
[2024-05-22 19:15:33] [INFO ] Deduced a trap composed of 4 places in 1576 ms of which 3 ms to minimize.
[2024-05-22 19:15:34] [INFO ] Deduced a trap composed of 4 places in 1553 ms of which 3 ms to minimize.
[2024-05-22 19:15:36] [INFO ] Deduced a trap composed of 4 places in 1349 ms of which 2 ms to minimize.
[2024-05-22 19:15:37] [INFO ] Deduced a trap composed of 4 places in 1451 ms of which 2 ms to minimize.
[2024-05-22 19:15:39] [INFO ] Deduced a trap composed of 4 places in 1440 ms of which 2 ms to minimize.
[2024-05-22 19:15:40] [INFO ] Deduced a trap composed of 4 places in 1452 ms of which 3 ms to minimize.
[2024-05-22 19:15:42] [INFO ] Deduced a trap composed of 4 places in 1491 ms of which 3 ms to minimize.
[2024-05-22 19:15:43] [INFO ] Deduced a trap composed of 4 places in 1465 ms of which 2 ms to minimize.
[2024-05-22 19:15:45] [INFO ] Deduced a trap composed of 4 places in 1439 ms of which 2 ms to minimize.
[2024-05-22 19:15:46] [INFO ] Deduced a trap composed of 4 places in 1453 ms of which 2 ms to minimize.
[2024-05-22 19:15:47] [INFO ] Deduced a trap composed of 4 places in 1285 ms of which 3 ms to minimize.
[2024-05-22 19:15:49] [INFO ] Deduced a trap composed of 4 places in 1260 ms of which 2 ms to minimize.
[2024-05-22 19:15:50] [INFO ] Deduced a trap composed of 4 places in 1376 ms of which 3 ms to minimize.
[2024-05-22 19:15:51] [INFO ] Deduced a trap composed of 4 places in 1278 ms of which 2 ms to minimize.
[2024-05-22 19:15:53] [INFO ] Deduced a trap composed of 4 places in 1243 ms of which 2 ms to minimize.
[2024-05-22 19:15:54] [INFO ] Deduced a trap composed of 4 places in 1393 ms of which 2 ms to minimize.
[2024-05-22 19:15:55] [INFO ] Deduced a trap composed of 4 places in 1378 ms of which 2 ms to minimize.
[2024-05-22 19:15:57] [INFO ] Deduced a trap composed of 4 places in 1366 ms of which 2 ms to minimize.
[2024-05-22 19:15:58] [INFO ] Deduced a trap composed of 4 places in 1212 ms of which 2 ms to minimize.
[2024-05-22 19:15:59] [INFO ] Deduced a trap composed of 4 places in 1376 ms of which 2 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/560 variables, 20/880 constraints. Problems are: Problem set: 0 solved, 140 unsolved
[2024-05-22 19:16:01] [INFO ] Deduced a trap composed of 4 places in 1408 ms of which 2 ms to minimize.
[2024-05-22 19:16:02] [INFO ] Deduced a trap composed of 4 places in 1415 ms of which 2 ms to minimize.
[2024-05-22 19:16:04] [INFO ] Deduced a trap composed of 4 places in 1425 ms of which 2 ms to minimize.
[2024-05-22 19:16:05] [INFO ] Deduced a trap composed of 4 places in 1384 ms of which 2 ms to minimize.
[2024-05-22 19:16:06] [INFO ] Deduced a trap composed of 4 places in 1238 ms of which 2 ms to minimize.
[2024-05-22 19:16:08] [INFO ] Deduced a trap composed of 4 places in 1374 ms of which 5 ms to minimize.
[2024-05-22 19:16:09] [INFO ] Deduced a trap composed of 4 places in 1366 ms of which 2 ms to minimize.
[2024-05-22 19:16:11] [INFO ] Deduced a trap composed of 4 places in 1370 ms of which 3 ms to minimize.
[2024-05-22 19:16:12] [INFO ] Deduced a trap composed of 4 places in 1352 ms of which 2 ms to minimize.
[2024-05-22 19:16:13] [INFO ] Deduced a trap composed of 4 places in 1175 ms of which 2 ms to minimize.
[2024-05-22 19:16:14] [INFO ] Deduced a trap composed of 4 places in 1182 ms of which 3 ms to minimize.
[2024-05-22 19:16:15] [INFO ] Deduced a trap composed of 4 places in 1185 ms of which 2 ms to minimize.
[2024-05-22 19:16:17] [INFO ] Deduced a trap composed of 4 places in 1163 ms of which 2 ms to minimize.
[2024-05-22 19:16:18] [INFO ] Deduced a trap composed of 4 places in 1251 ms of which 2 ms to minimize.
[2024-05-22 19:16:19] [INFO ] Deduced a trap composed of 4 places in 1148 ms of which 2 ms to minimize.
[2024-05-22 19:16:20] [INFO ] Deduced a trap composed of 4 places in 1148 ms of which 2 ms to minimize.
[2024-05-22 19:16:21] [INFO ] Deduced a trap composed of 4 places in 1106 ms of which 2 ms to minimize.
[2024-05-22 19:16:22] [INFO ] Deduced a trap composed of 4 places in 1106 ms of which 2 ms to minimize.
[2024-05-22 19:16:24] [INFO ] Deduced a trap composed of 4 places in 1086 ms of which 2 ms to minimize.
[2024-05-22 19:16:25] [INFO ] Deduced a trap composed of 4 places in 1081 ms of which 2 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/560 variables, 20/900 constraints. Problems are: Problem set: 0 solved, 140 unsolved
[2024-05-22 19:16:26] [INFO ] Deduced a trap composed of 4 places in 1175 ms of which 2 ms to minimize.
[2024-05-22 19:16:27] [INFO ] Deduced a trap composed of 4 places in 1183 ms of which 2 ms to minimize.
[2024-05-22 19:16:28] [INFO ] Deduced a trap composed of 4 places in 1172 ms of which 2 ms to minimize.
[2024-05-22 19:16:29] [INFO ] Deduced a trap composed of 4 places in 1166 ms of which 2 ms to minimize.
[2024-05-22 19:16:31] [INFO ] Deduced a trap composed of 4 places in 1151 ms of which 2 ms to minimize.
[2024-05-22 19:16:32] [INFO ] Deduced a trap composed of 4 places in 1119 ms of which 2 ms to minimize.
SMT process timed out in 138227ms, After SMT, problems are : Problem set: 0 solved, 140 unsolved
Fused 140 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 140 out of 1000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1000/1000 places, 40400/40400 transitions.
Applied a total of 0 rules in 860 ms. Remains 1000 /1000 variables (removed 0) and now considering 40400/40400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 860 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1610787 steps (4 resets) in 120004 ms. (13 steps per ms) remains 140/140 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 139/140 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 139/139 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 139/139 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 139/139 properties
BEST_FIRST walk for 40004 steps (8 resets) in 309 ms. (129 steps per ms) remains 139/139 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 139/139 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 139/139 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 139/139 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 138/139 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 138/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 138/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 138/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 138/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 138/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 138/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 137/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 248 ms. (160 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 136/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 135/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 258 ms. (154 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 254 ms. (156 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 133/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 132/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 342 ms. (116 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 254 ms. (156 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 131/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 129/131 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 128/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 127/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 126/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 248 ms. (160 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 249 ms. (160 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 126/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 254 ms. (156 steps per ms) remains 125/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 125/125 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 124/125 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 237 ms. (168 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 124/124 properties
[2024-05-22 19:17:12] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2024-05-22 19:17:12] [INFO ] Invariant cache hit.
[2024-05-22 19:17:12] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/124 variables, 124/124 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/124 variables, 0/124 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 2 (OVERLAPS) 372/496 variables, 248/372 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/496 variables, 372/744 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/496 variables, 0/744 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 5 (OVERLAPS) 124/620 variables, 124/868 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/620 variables, 124/992 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/620 variables, 0/992 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 8 (OVERLAPS) 496/1116 variables, 620/1612 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1116 variables, 0/1612 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 10 (OVERLAPS) 152/1268 variables, 200/1812 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1268 variables, 0/1812 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 12 (OVERLAPS) 456/1724 variables, 304/2116 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1724 variables, 304/2420 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1724 variables, 0/2420 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 15 (OVERLAPS) 76/1800 variables, 152/2572 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 76/2648 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 76/2724 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 76/2800 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 124 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 124 unsolved in 39812 ms.
Refiners :[Domain max(s): 1000/1000 constraints, Positive P Invariants (semi-flows): 400/400 constraints, Generalized P Invariants (flows): 200/200 constraints, State Equation: 1000/1000 constraints, ReadFeed: 200/200 constraints, PredecessorRefiner: 124/124 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 124 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/124 variables, 124/124 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/124 variables, 0/124 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 2 (OVERLAPS) 372/496 variables, 248/372 constraints. Problems are: Problem set: 0 solved, 124 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/496 variables, 372/744 constraints. Problems are: Problem set: 0 solved, 124 unsolved
[2024-05-22 19:17:54] [INFO ] Deduced a trap composed of 4 places in 1456 ms of which 2 ms to minimize.
[2024-05-22 19:17:55] [INFO ] Deduced a trap composed of 4 places in 1360 ms of which 2 ms to minimize.
[2024-05-22 19:17:57] [INFO ] Deduced a trap composed of 4 places in 1359 ms of which 2 ms to minimize.
[2024-05-22 19:17:58] [INFO ] Deduced a trap composed of 4 places in 1524 ms of which 2 ms to minimize.
[2024-05-22 19:18:00] [INFO ] Deduced a trap composed of 4 places in 1459 ms of which 2 ms to minimize.
[2024-05-22 19:18:01] [INFO ] Deduced a trap composed of 4 places in 1327 ms of which 2 ms to minimize.
[2024-05-22 19:18:03] [INFO ] Deduced a trap composed of 4 places in 1312 ms of which 2 ms to minimize.
[2024-05-22 19:18:04] [INFO ] Deduced a trap composed of 4 places in 1309 ms of which 2 ms to minimize.
[2024-05-22 19:18:05] [INFO ] Deduced a trap composed of 4 places in 1296 ms of which 3 ms to minimize.
[2024-05-22 19:18:06] [INFO ] Deduced a trap composed of 4 places in 1272 ms of which 2 ms to minimize.
[2024-05-22 19:18:08] [INFO ] Deduced a trap composed of 4 places in 1304 ms of which 2 ms to minimize.
[2024-05-22 19:18:09] [INFO ] Deduced a trap composed of 4 places in 1282 ms of which 2 ms to minimize.
[2024-05-22 19:18:10] [INFO ] Deduced a trap composed of 4 places in 1253 ms of which 2 ms to minimize.
[2024-05-22 19:18:12] [INFO ] Deduced a trap composed of 4 places in 1256 ms of which 2 ms to minimize.
[2024-05-22 19:18:13] [INFO ] Deduced a trap composed of 4 places in 1209 ms of which 2 ms to minimize.
[2024-05-22 19:18:14] [INFO ] Deduced a trap composed of 4 places in 1216 ms of which 2 ms to minimize.
[2024-05-22 19:18:15] [INFO ] Deduced a trap composed of 4 places in 1187 ms of which 2 ms to minimize.
[2024-05-22 19:18:16] [INFO ] Deduced a trap composed of 4 places in 1216 ms of which 2 ms to minimize.
[2024-05-22 19:18:18] [INFO ] Deduced a trap composed of 4 places in 1187 ms of which 2 ms to minimize.
[2024-05-22 19:18:19] [INFO ] Deduced a trap composed of 4 places in 1188 ms of which 2 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/496 variables, 20/764 constraints. Problems are: Problem set: 0 solved, 124 unsolved
[2024-05-22 19:18:20] [INFO ] Deduced a trap composed of 4 places in 1228 ms of which 2 ms to minimize.
[2024-05-22 19:18:21] [INFO ] Deduced a trap composed of 4 places in 1221 ms of which 2 ms to minimize.
[2024-05-22 19:18:23] [INFO ] Deduced a trap composed of 4 places in 1194 ms of which 2 ms to minimize.
[2024-05-22 19:18:24] [INFO ] Deduced a trap composed of 4 places in 1183 ms of which 2 ms to minimize.
[2024-05-22 19:18:25] [INFO ] Deduced a trap composed of 4 places in 1203 ms of which 2 ms to minimize.
[2024-05-22 19:18:26] [INFO ] Deduced a trap composed of 4 places in 1187 ms of which 2 ms to minimize.
[2024-05-22 19:18:27] [INFO ] Deduced a trap composed of 4 places in 1177 ms of which 3 ms to minimize.
[2024-05-22 19:18:29] [INFO ] Deduced a trap composed of 4 places in 1166 ms of which 2 ms to minimize.
[2024-05-22 19:18:30] [INFO ] Deduced a trap composed of 4 places in 1147 ms of which 2 ms to minimize.
[2024-05-22 19:18:31] [INFO ] Deduced a trap composed of 4 places in 1137 ms of which 2 ms to minimize.
[2024-05-22 19:18:32] [INFO ] Deduced a trap composed of 4 places in 1133 ms of which 2 ms to minimize.
[2024-05-22 19:18:33] [INFO ] Deduced a trap composed of 4 places in 1137 ms of which 1 ms to minimize.
[2024-05-22 19:18:34] [INFO ] Deduced a trap composed of 4 places in 1112 ms of which 2 ms to minimize.
[2024-05-22 19:18:35] [INFO ] Deduced a trap composed of 4 places in 1086 ms of which 2 ms to minimize.
[2024-05-22 19:18:36] [INFO ] Deduced a trap composed of 4 places in 1076 ms of which 2 ms to minimize.
[2024-05-22 19:18:38] [INFO ] Deduced a trap composed of 4 places in 1074 ms of which 2 ms to minimize.
[2024-05-22 19:18:39] [INFO ] Deduced a trap composed of 4 places in 1077 ms of which 2 ms to minimize.
[2024-05-22 19:18:40] [INFO ] Deduced a trap composed of 4 places in 1050 ms of which 1 ms to minimize.
[2024-05-22 19:18:41] [INFO ] Deduced a trap composed of 4 places in 1039 ms of which 2 ms to minimize.
[2024-05-22 19:18:42] [INFO ] Deduced a trap composed of 4 places in 1061 ms of which 2 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/496 variables, 20/784 constraints. Problems are: Problem set: 0 solved, 124 unsolved
[2024-05-22 19:18:43] [INFO ] Deduced a trap composed of 4 places in 1106 ms of which 3 ms to minimize.
[2024-05-22 19:18:44] [INFO ] Deduced a trap composed of 4 places in 1083 ms of which 2 ms to minimize.
[2024-05-22 19:18:45] [INFO ] Deduced a trap composed of 4 places in 1071 ms of which 2 ms to minimize.
[2024-05-22 19:18:46] [INFO ] Deduced a trap composed of 4 places in 1053 ms of which 1 ms to minimize.
[2024-05-22 19:18:47] [INFO ] Deduced a trap composed of 4 places in 1082 ms of which 2 ms to minimize.
[2024-05-22 19:18:48] [INFO ] Deduced a trap composed of 4 places in 1055 ms of which 2 ms to minimize.
[2024-05-22 19:18:49] [INFO ] Deduced a trap composed of 6 places in 1044 ms of which 2 ms to minimize.
[2024-05-22 19:18:50] [INFO ] Deduced a trap composed of 4 places in 1016 ms of which 2 ms to minimize.
[2024-05-22 19:18:52] [INFO ] Deduced a trap composed of 4 places in 1056 ms of which 2 ms to minimize.
[2024-05-22 19:18:53] [INFO ] Deduced a trap composed of 4 places in 1006 ms of which 2 ms to minimize.
[2024-05-22 19:18:54] [INFO ] Deduced a trap composed of 4 places in 992 ms of which 2 ms to minimize.
[2024-05-22 19:18:55] [INFO ] Deduced a trap composed of 4 places in 978 ms of which 2 ms to minimize.
[2024-05-22 19:18:56] [INFO ] Deduced a trap composed of 4 places in 986 ms of which 2 ms to minimize.
[2024-05-22 19:18:56] [INFO ] Deduced a trap composed of 4 places in 940 ms of which 2 ms to minimize.
[2024-05-22 19:18:57] [INFO ] Deduced a trap composed of 4 places in 962 ms of which 2 ms to minimize.
[2024-05-22 19:18:58] [INFO ] Deduced a trap composed of 4 places in 955 ms of which 2 ms to minimize.
[2024-05-22 19:18:59] [INFO ] Deduced a trap composed of 4 places in 1000 ms of which 2 ms to minimize.
[2024-05-22 19:19:00] [INFO ] Deduced a trap composed of 4 places in 951 ms of which 2 ms to minimize.
[2024-05-22 19:19:01] [INFO ] Deduced a trap composed of 4 places in 949 ms of which 2 ms to minimize.
[2024-05-22 19:19:02] [INFO ] Deduced a trap composed of 4 places in 928 ms of which 2 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/496 variables, 20/804 constraints. Problems are: Problem set: 0 solved, 124 unsolved
[2024-05-22 19:19:03] [INFO ] Deduced a trap composed of 4 places in 973 ms of which 1 ms to minimize.
[2024-05-22 19:19:04] [INFO ] Deduced a trap composed of 4 places in 963 ms of which 2 ms to minimize.
[2024-05-22 19:19:05] [INFO ] Deduced a trap composed of 4 places in 957 ms of which 1 ms to minimize.
[2024-05-22 19:19:06] [INFO ] Deduced a trap composed of 4 places in 910 ms of which 1 ms to minimize.
[2024-05-22 19:19:07] [INFO ] Deduced a trap composed of 4 places in 949 ms of which 1 ms to minimize.
[2024-05-22 19:19:08] [INFO ] Deduced a trap composed of 4 places in 945 ms of which 1 ms to minimize.
[2024-05-22 19:19:09] [INFO ] Deduced a trap composed of 4 places in 942 ms of which 2 ms to minimize.
[2024-05-22 19:19:10] [INFO ] Deduced a trap composed of 4 places in 901 ms of which 2 ms to minimize.
[2024-05-22 19:19:11] [INFO ] Deduced a trap composed of 4 places in 911 ms of which 2 ms to minimize.
[2024-05-22 19:19:12] [INFO ] Deduced a trap composed of 4 places in 927 ms of which 2 ms to minimize.
[2024-05-22 19:19:13] [INFO ] Deduced a trap composed of 4 places in 910 ms of which 1 ms to minimize.
[2024-05-22 19:19:14] [INFO ] Deduced a trap composed of 4 places in 908 ms of which 1 ms to minimize.
[2024-05-22 19:19:15] [INFO ] Deduced a trap composed of 4 places in 895 ms of which 1 ms to minimize.
[2024-05-22 19:19:15] [INFO ] Deduced a trap composed of 4 places in 896 ms of which 1 ms to minimize.
[2024-05-22 19:19:16] [INFO ] Deduced a trap composed of 4 places in 866 ms of which 2 ms to minimize.
[2024-05-22 19:19:17] [INFO ] Deduced a trap composed of 4 places in 896 ms of which 2 ms to minimize.
[2024-05-22 19:19:18] [INFO ] Deduced a trap composed of 4 places in 864 ms of which 1 ms to minimize.
[2024-05-22 19:19:19] [INFO ] Deduced a trap composed of 4 places in 853 ms of which 2 ms to minimize.
[2024-05-22 19:19:20] [INFO ] Deduced a trap composed of 4 places in 867 ms of which 2 ms to minimize.
[2024-05-22 19:19:21] [INFO ] Deduced a trap composed of 4 places in 863 ms of which 2 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/496 variables, 20/824 constraints. Problems are: Problem set: 0 solved, 124 unsolved
[2024-05-22 19:19:22] [INFO ] Deduced a trap composed of 4 places in 945 ms of which 2 ms to minimize.
[2024-05-22 19:19:23] [INFO ] Deduced a trap composed of 4 places in 906 ms of which 2 ms to minimize.
[2024-05-22 19:19:24] [INFO ] Deduced a trap composed of 4 places in 904 ms of which 1 ms to minimize.
[2024-05-22 19:19:25] [INFO ] Deduced a trap composed of 4 places in 883 ms of which 2 ms to minimize.
[2024-05-22 19:19:25] [INFO ] Deduced a trap composed of 4 places in 903 ms of which 1 ms to minimize.
[2024-05-22 19:19:26] [INFO ] Deduced a trap composed of 4 places in 901 ms of which 1 ms to minimize.
[2024-05-22 19:19:27] [INFO ] Deduced a trap composed of 4 places in 883 ms of which 2 ms to minimize.
[2024-05-22 19:19:28] [INFO ] Deduced a trap composed of 4 places in 862 ms of which 2 ms to minimize.
[2024-05-22 19:19:29] [INFO ] Deduced a trap composed of 4 places in 863 ms of which 2 ms to minimize.
[2024-05-22 19:19:30] [INFO ] Deduced a trap composed of 4 places in 847 ms of which 2 ms to minimize.
[2024-05-22 19:19:31] [INFO ] Deduced a trap composed of 4 places in 829 ms of which 2 ms to minimize.
[2024-05-22 19:19:32] [INFO ] Deduced a trap composed of 4 places in 815 ms of which 2 ms to minimize.
[2024-05-22 19:19:32] [INFO ] Deduced a trap composed of 4 places in 797 ms of which 1 ms to minimize.
[2024-05-22 19:19:33] [INFO ] Deduced a trap composed of 4 places in 825 ms of which 1 ms to minimize.
[2024-05-22 19:19:34] [INFO ] Deduced a trap composed of 4 places in 813 ms of which 2 ms to minimize.
[2024-05-22 19:19:35] [INFO ] Deduced a trap composed of 4 places in 817 ms of which 1 ms to minimize.
[2024-05-22 19:19:36] [INFO ] Deduced a trap composed of 4 places in 796 ms of which 2 ms to minimize.
[2024-05-22 19:19:36] [INFO ] Deduced a trap composed of 4 places in 793 ms of which 2 ms to minimize.
[2024-05-22 19:19:37] [INFO ] Deduced a trap composed of 4 places in 775 ms of which 1 ms to minimize.
[2024-05-22 19:19:38] [INFO ] Deduced a trap composed of 4 places in 815 ms of which 1 ms to minimize.
SMT process timed out in 146038ms, After SMT, problems are : Problem set: 0 solved, 124 unsolved
Fused 124 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 124 out of 1000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1000/1000 places, 40400/40400 transitions.
Applied a total of 0 rules in 839 ms. Remains 1000 /1000 variables (removed 0) and now considering 40400/40400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 840 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1657850 steps (4 resets) in 120004 ms. (13 steps per ms) remains 124/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 123/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 248 ms. (160 steps per ms) remains 122/123 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 258 ms. (154 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 293 ms. (136 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 248 ms. (160 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 254 ms. (156 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 121/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 120/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 119/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 293 ms. (136 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 308 ms. (129 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 248 ms. (160 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 118/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 301 ms. (132 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 258 ms. (154 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 298 ms. (133 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 117/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 306 ms. (130 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 376 ms. (106 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 375 ms. (106 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 258 ms. (154 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 302 ms. (132 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 247 ms. (161 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 254 ms. (156 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 249 ms. (160 steps per ms) remains 116/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 115/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 248 ms. (160 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 258 ms. (154 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 246 ms. (161 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 114/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 113/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 113/113 properties
Interrupted probabilistic random walk after 1785684 steps, run timeout after 117002 ms. (steps per millisecond=15 ) properties seen :0 out of 113
Probabilistic random walk after 1785684 steps, saw 1698982 distinct states, run finished after 117004 ms. (steps per millisecond=15 ) properties seen :0
[2024-05-22 19:22:15] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2024-05-22 19:22:15] [INFO ] Invariant cache hit.
[2024-05-22 19:22:15] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/113 variables, 113/113 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/113 variables, 0/113 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 2 (OVERLAPS) 339/452 variables, 226/339 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/452 variables, 339/678 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/452 variables, 0/678 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 5 (OVERLAPS) 113/565 variables, 113/791 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/565 variables, 113/904 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/565 variables, 0/904 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 8 (OVERLAPS) 452/1017 variables, 565/1469 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1017 variables, 0/1469 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 10 (OVERLAPS) 174/1191 variables, 200/1669 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1191 variables, 0/1669 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 12 (OVERLAPS) 522/1713 variables, 348/2017 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1713 variables, 348/2365 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1713 variables, 0/2365 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 15 (OVERLAPS) 87/1800 variables, 174/2539 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 87/2626 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 87/2713 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 87/2800 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 113 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 113 unsolved in 29642 ms.
Refiners :[Domain max(s): 1000/1000 constraints, Positive P Invariants (semi-flows): 400/400 constraints, Generalized P Invariants (flows): 200/200 constraints, State Equation: 1000/1000 constraints, ReadFeed: 200/200 constraints, PredecessorRefiner: 113/113 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 113 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/113 variables, 113/113 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/113 variables, 0/113 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 2 (OVERLAPS) 339/452 variables, 226/339 constraints. Problems are: Problem set: 0 solved, 113 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/452 variables, 339/678 constraints. Problems are: Problem set: 0 solved, 113 unsolved
[2024-05-22 19:22:47] [INFO ] Deduced a trap composed of 4 places in 1274 ms of which 2 ms to minimize.
[2024-05-22 19:22:48] [INFO ] Deduced a trap composed of 4 places in 1359 ms of which 2 ms to minimize.
[2024-05-22 19:22:50] [INFO ] Deduced a trap composed of 4 places in 1381 ms of which 3 ms to minimize.
[2024-05-22 19:22:51] [INFO ] Deduced a trap composed of 4 places in 1365 ms of which 2 ms to minimize.
[2024-05-22 19:22:52] [INFO ] Deduced a trap composed of 4 places in 1228 ms of which 3 ms to minimize.
[2024-05-22 19:22:53] [INFO ] Deduced a trap composed of 4 places in 1214 ms of which 2 ms to minimize.
[2024-05-22 19:22:55] [INFO ] Deduced a trap composed of 4 places in 1214 ms of which 2 ms to minimize.
[2024-05-22 19:22:56] [INFO ] Deduced a trap composed of 4 places in 1199 ms of which 2 ms to minimize.
[2024-05-22 19:22:57] [INFO ] Deduced a trap composed of 4 places in 1198 ms of which 2 ms to minimize.
[2024-05-22 19:22:58] [INFO ] Deduced a trap composed of 4 places in 1167 ms of which 2 ms to minimize.
[2024-05-22 19:22:59] [INFO ] Deduced a trap composed of 4 places in 1167 ms of which 2 ms to minimize.
[2024-05-22 19:23:01] [INFO ] Deduced a trap composed of 4 places in 1145 ms of which 2 ms to minimize.
[2024-05-22 19:23:02] [INFO ] Deduced a trap composed of 4 places in 1150 ms of which 2 ms to minimize.
[2024-05-22 19:23:03] [INFO ] Deduced a trap composed of 4 places in 1136 ms of which 2 ms to minimize.
[2024-05-22 19:23:04] [INFO ] Deduced a trap composed of 4 places in 1140 ms of which 2 ms to minimize.
[2024-05-22 19:23:05] [INFO ] Deduced a trap composed of 4 places in 1136 ms of which 2 ms to minimize.
[2024-05-22 19:23:06] [INFO ] Deduced a trap composed of 4 places in 1151 ms of which 2 ms to minimize.
[2024-05-22 19:23:08] [INFO ] Deduced a trap composed of 4 places in 1239 ms of which 2 ms to minimize.
[2024-05-22 19:23:09] [INFO ] Deduced a trap composed of 4 places in 1239 ms of which 2 ms to minimize.
[2024-05-22 19:23:10] [INFO ] Deduced a trap composed of 6 places in 1208 ms of which 2 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/452 variables, 20/698 constraints. Problems are: Problem set: 0 solved, 113 unsolved
[2024-05-22 19:23:11] [INFO ] Deduced a trap composed of 4 places in 1269 ms of which 2 ms to minimize.
[2024-05-22 19:23:13] [INFO ] Deduced a trap composed of 4 places in 1236 ms of which 2 ms to minimize.
[2024-05-22 19:23:14] [INFO ] Deduced a trap composed of 4 places in 1264 ms of which 3 ms to minimize.
[2024-05-22 19:23:15] [INFO ] Deduced a trap composed of 4 places in 1230 ms of which 3 ms to minimize.
[2024-05-22 19:23:16] [INFO ] Deduced a trap composed of 4 places in 1183 ms of which 2 ms to minimize.
[2024-05-22 19:23:18] [INFO ] Deduced a trap composed of 4 places in 1213 ms of which 2 ms to minimize.
[2024-05-22 19:23:19] [INFO ] Deduced a trap composed of 4 places in 1095 ms of which 2 ms to minimize.
[2024-05-22 19:23:20] [INFO ] Deduced a trap composed of 4 places in 1184 ms of which 1 ms to minimize.
[2024-05-22 19:23:21] [INFO ] Deduced a trap composed of 4 places in 1193 ms of which 1 ms to minimize.
[2024-05-22 19:23:22] [INFO ] Deduced a trap composed of 4 places in 1202 ms of which 2 ms to minimize.
[2024-05-22 19:23:23] [INFO ] Deduced a trap composed of 4 places in 1057 ms of which 1 ms to minimize.
[2024-05-22 19:23:24] [INFO ] Deduced a trap composed of 4 places in 1098 ms of which 2 ms to minimize.
[2024-05-22 19:23:26] [INFO ] Deduced a trap composed of 4 places in 1160 ms of which 2 ms to minimize.
[2024-05-22 19:23:27] [INFO ] Deduced a trap composed of 4 places in 1151 ms of which 4 ms to minimize.
[2024-05-22 19:23:28] [INFO ] Deduced a trap composed of 4 places in 1024 ms of which 2 ms to minimize.
[2024-05-22 19:23:29] [INFO ] Deduced a trap composed of 4 places in 1022 ms of which 2 ms to minimize.
[2024-05-22 19:23:30] [INFO ] Deduced a trap composed of 4 places in 989 ms of which 1 ms to minimize.
[2024-05-22 19:23:31] [INFO ] Deduced a trap composed of 4 places in 1000 ms of which 2 ms to minimize.
[2024-05-22 19:23:32] [INFO ] Deduced a trap composed of 4 places in 989 ms of which 3 ms to minimize.
[2024-05-22 19:23:33] [INFO ] Deduced a trap composed of 4 places in 1057 ms of which 3 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/452 variables, 20/718 constraints. Problems are: Problem set: 0 solved, 113 unsolved
[2024-05-22 19:23:34] [INFO ] Deduced a trap composed of 4 places in 1053 ms of which 1 ms to minimize.
[2024-05-22 19:23:35] [INFO ] Deduced a trap composed of 4 places in 1111 ms of which 1 ms to minimize.
[2024-05-22 19:23:36] [INFO ] Deduced a trap composed of 4 places in 1106 ms of which 2 ms to minimize.
[2024-05-22 19:23:37] [INFO ] Deduced a trap composed of 4 places in 1084 ms of which 2 ms to minimize.
[2024-05-22 19:23:38] [INFO ] Deduced a trap composed of 6 places in 1076 ms of which 2 ms to minimize.
[2024-05-22 19:23:40] [INFO ] Deduced a trap composed of 4 places in 1061 ms of which 2 ms to minimize.
[2024-05-22 19:23:41] [INFO ] Deduced a trap composed of 4 places in 943 ms of which 1 ms to minimize.
[2024-05-22 19:23:41] [INFO ] Deduced a trap composed of 4 places in 942 ms of which 1 ms to minimize.
[2024-05-22 19:23:42] [INFO ] Deduced a trap composed of 4 places in 904 ms of which 2 ms to minimize.
[2024-05-22 19:23:43] [INFO ] Deduced a trap composed of 4 places in 890 ms of which 2 ms to minimize.
[2024-05-22 19:23:44] [INFO ] Deduced a trap composed of 4 places in 877 ms of which 1 ms to minimize.
[2024-05-22 19:23:45] [INFO ] Deduced a trap composed of 4 places in 881 ms of which 1 ms to minimize.
[2024-05-22 19:23:46] [INFO ] Deduced a trap composed of 6 places in 882 ms of which 2 ms to minimize.
[2024-05-22 19:23:47] [INFO ] Deduced a trap composed of 6 places in 878 ms of which 1 ms to minimize.
[2024-05-22 19:23:48] [INFO ] Deduced a trap composed of 6 places in 869 ms of which 2 ms to minimize.
[2024-05-22 19:23:49] [INFO ] Deduced a trap composed of 6 places in 886 ms of which 1 ms to minimize.
[2024-05-22 19:23:50] [INFO ] Deduced a trap composed of 4 places in 873 ms of which 2 ms to minimize.
[2024-05-22 19:23:50] [INFO ] Deduced a trap composed of 4 places in 957 ms of which 2 ms to minimize.
[2024-05-22 19:23:51] [INFO ] Deduced a trap composed of 4 places in 891 ms of which 3 ms to minimize.
[2024-05-22 19:23:52] [INFO ] Deduced a trap composed of 4 places in 830 ms of which 2 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/452 variables, 20/738 constraints. Problems are: Problem set: 0 solved, 113 unsolved
[2024-05-22 19:23:53] [INFO ] Deduced a trap composed of 4 places in 898 ms of which 2 ms to minimize.
[2024-05-22 19:23:54] [INFO ] Deduced a trap composed of 4 places in 880 ms of which 1 ms to minimize.
[2024-05-22 19:23:55] [INFO ] Deduced a trap composed of 6 places in 900 ms of which 1 ms to minimize.
[2024-05-22 19:23:56] [INFO ] Deduced a trap composed of 4 places in 879 ms of which 2 ms to minimize.
[2024-05-22 19:23:57] [INFO ] Deduced a trap composed of 4 places in 870 ms of which 1 ms to minimize.
[2024-05-22 19:23:58] [INFO ] Deduced a trap composed of 4 places in 861 ms of which 1 ms to minimize.
[2024-05-22 19:23:59] [INFO ] Deduced a trap composed of 4 places in 872 ms of which 2 ms to minimize.
[2024-05-22 19:23:59] [INFO ] Deduced a trap composed of 4 places in 849 ms of which 2 ms to minimize.
[2024-05-22 19:24:00] [INFO ] Deduced a trap composed of 4 places in 833 ms of which 1 ms to minimize.
[2024-05-22 19:24:01] [INFO ] Deduced a trap composed of 4 places in 832 ms of which 1 ms to minimize.
[2024-05-22 19:24:02] [INFO ] Deduced a trap composed of 4 places in 867 ms of which 2 ms to minimize.
[2024-05-22 19:24:03] [INFO ] Deduced a trap composed of 4 places in 847 ms of which 2 ms to minimize.
[2024-05-22 19:24:04] [INFO ] Deduced a trap composed of 4 places in 834 ms of which 1 ms to minimize.
[2024-05-22 19:24:04] [INFO ] Deduced a trap composed of 4 places in 810 ms of which 2 ms to minimize.
[2024-05-22 19:24:05] [INFO ] Deduced a trap composed of 4 places in 782 ms of which 1 ms to minimize.
[2024-05-22 19:24:06] [INFO ] Deduced a trap composed of 4 places in 798 ms of which 1 ms to minimize.
[2024-05-22 19:24:07] [INFO ] Deduced a trap composed of 4 places in 770 ms of which 1 ms to minimize.
[2024-05-22 19:24:08] [INFO ] Deduced a trap composed of 4 places in 797 ms of which 2 ms to minimize.
[2024-05-22 19:24:08] [INFO ] Deduced a trap composed of 4 places in 781 ms of which 1 ms to minimize.
[2024-05-22 19:24:09] [INFO ] Deduced a trap composed of 4 places in 775 ms of which 1 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/452 variables, 20/758 constraints. Problems are: Problem set: 0 solved, 113 unsolved
[2024-05-22 19:24:10] [INFO ] Deduced a trap composed of 4 places in 876 ms of which 2 ms to minimize.
[2024-05-22 19:24:11] [INFO ] Deduced a trap composed of 4 places in 943 ms of which 1 ms to minimize.
[2024-05-22 19:24:12] [INFO ] Deduced a trap composed of 4 places in 858 ms of which 2 ms to minimize.
[2024-05-22 19:24:13] [INFO ] Deduced a trap composed of 4 places in 850 ms of which 2 ms to minimize.
[2024-05-22 19:24:14] [INFO ] Deduced a trap composed of 4 places in 840 ms of which 2 ms to minimize.
[2024-05-22 19:24:15] [INFO ] Deduced a trap composed of 4 places in 843 ms of which 2 ms to minimize.
[2024-05-22 19:24:15] [INFO ] Deduced a trap composed of 6 places in 836 ms of which 2 ms to minimize.
[2024-05-22 19:24:16] [INFO ] Deduced a trap composed of 4 places in 811 ms of which 1 ms to minimize.
[2024-05-22 19:24:17] [INFO ] Deduced a trap composed of 4 places in 812 ms of which 1 ms to minimize.
[2024-05-22 19:24:18] [INFO ] Deduced a trap composed of 6 places in 835 ms of which 1 ms to minimize.
[2024-05-22 19:24:19] [INFO ] Deduced a trap composed of 4 places in 825 ms of which 1 ms to minimize.
[2024-05-22 19:24:20] [INFO ] Deduced a trap composed of 4 places in 805 ms of which 1 ms to minimize.
[2024-05-22 19:24:20] [INFO ] Deduced a trap composed of 4 places in 794 ms of which 1 ms to minimize.
[2024-05-22 19:24:21] [INFO ] Deduced a trap composed of 4 places in 785 ms of which 1 ms to minimize.
[2024-05-22 19:24:22] [INFO ] Deduced a trap composed of 4 places in 793 ms of which 1 ms to minimize.
[2024-05-22 19:24:23] [INFO ] Deduced a trap composed of 4 places in 799 ms of which 1 ms to minimize.
[2024-05-22 19:24:24] [INFO ] Deduced a trap composed of 4 places in 782 ms of which 2 ms to minimize.
[2024-05-22 19:24:24] [INFO ] Deduced a trap composed of 4 places in 770 ms of which 3 ms to minimize.
[2024-05-22 19:24:25] [INFO ] Deduced a trap composed of 4 places in 755 ms of which 1 ms to minimize.
[2024-05-22 19:24:26] [INFO ] Deduced a trap composed of 4 places in 737 ms of which 2 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/452 variables, 20/778 constraints. Problems are: Problem set: 0 solved, 113 unsolved
[2024-05-22 19:24:27] [INFO ] Deduced a trap composed of 4 places in 803 ms of which 1 ms to minimize.
[2024-05-22 19:24:28] [INFO ] Deduced a trap composed of 4 places in 796 ms of which 1 ms to minimize.
[2024-05-22 19:24:28] [INFO ] Deduced a trap composed of 4 places in 779 ms of which 1 ms to minimize.
[2024-05-22 19:24:29] [INFO ] Deduced a trap composed of 4 places in 767 ms of which 2 ms to minimize.
[2024-05-22 19:24:30] [INFO ] Deduced a trap composed of 4 places in 790 ms of which 2 ms to minimize.
[2024-05-22 19:24:31] [INFO ] Deduced a trap composed of 4 places in 771 ms of which 2 ms to minimize.
[2024-05-22 19:24:31] [INFO ] Deduced a trap composed of 4 places in 774 ms of which 1 ms to minimize.
[2024-05-22 19:24:32] [INFO ] Deduced a trap composed of 4 places in 750 ms of which 2 ms to minimize.
[2024-05-22 19:24:33] [INFO ] Deduced a trap composed of 4 places in 752 ms of which 1 ms to minimize.
[2024-05-22 19:24:34] [INFO ] Deduced a trap composed of 4 places in 731 ms of which 1 ms to minimize.
[2024-05-22 19:24:34] [INFO ] Deduced a trap composed of 4 places in 756 ms of which 2 ms to minimize.
[2024-05-22 19:24:35] [INFO ] Deduced a trap composed of 4 places in 726 ms of which 1 ms to minimize.
[2024-05-22 19:24:36] [INFO ] Deduced a trap composed of 4 places in 709 ms of which 2 ms to minimize.
[2024-05-22 19:24:37] [INFO ] Deduced a trap composed of 4 places in 712 ms of which 1 ms to minimize.
[2024-05-22 19:24:37] [INFO ] Deduced a trap composed of 4 places in 690 ms of which 1 ms to minimize.
[2024-05-22 19:24:38] [INFO ] Deduced a trap composed of 4 places in 697 ms of which 2 ms to minimize.
[2024-05-22 19:24:39] [INFO ] Deduced a trap composed of 4 places in 737 ms of which 2 ms to minimize.
[2024-05-22 19:24:40] [INFO ] Deduced a trap composed of 4 places in 669 ms of which 1 ms to minimize.
[2024-05-22 19:24:40] [INFO ] Deduced a trap composed of 4 places in 748 ms of which 1 ms to minimize.
[2024-05-22 19:24:41] [INFO ] Deduced a trap composed of 4 places in 699 ms of which 1 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/452 variables, 20/798 constraints. Problems are: Problem set: 0 solved, 113 unsolved
[2024-05-22 19:24:42] [INFO ] Deduced a trap composed of 4 places in 818 ms of which 1 ms to minimize.
[2024-05-22 19:24:43] [INFO ] Deduced a trap composed of 4 places in 743 ms of which 1 ms to minimize.
[2024-05-22 19:24:43] [INFO ] Deduced a trap composed of 4 places in 739 ms of which 1 ms to minimize.
[2024-05-22 19:24:44] [INFO ] Deduced a trap composed of 4 places in 800 ms of which 1 ms to minimize.
[2024-05-22 19:24:45] [INFO ] Deduced a trap composed of 4 places in 769 ms of which 2 ms to minimize.
[2024-05-22 19:24:46] [INFO ] Deduced a trap composed of 4 places in 812 ms of which 1 ms to minimize.
SMT process timed out in 150793ms, After SMT, problems are : Problem set: 0 solved, 113 unsolved
Fused 113 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 113 out of 1000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1000/1000 places, 40400/40400 transitions.
Applied a total of 0 rules in 816 ms. Remains 1000 /1000 variables (removed 0) and now considering 40400/40400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 816 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 977141 steps (0 resets) in 120004 ms. (8 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 295 ms. (135 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 310 ms. (128 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 288 ms. (138 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 304 ms. (131 steps per ms) remains 112/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 290 ms. (137 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 329 ms. (121 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 111/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 110/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 284 ms. (140 steps per ms) remains 110/110 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 110/110 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 109/110 properties
BEST_FIRST walk for 40004 steps (8 resets) in 258 ms. (154 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 293 ms. (136 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 108/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 249 ms. (160 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 248 ms. (160 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 107/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 309 ms. (129 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 304 ms. (131 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 106/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 106/106 properties
Interrupted probabilistic random walk after 1712721 steps, run timeout after 114002 ms. (steps per millisecond=15 ) properties seen :0 out of 106
Probabilistic random walk after 1712721 steps, saw 1630363 distinct states, run finished after 114003 ms. (steps per millisecond=15 ) properties seen :0
[2024-05-22 19:27:19] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2024-05-22 19:27:19] [INFO ] Invariant cache hit.
[2024-05-22 19:27:19] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/106 variables, 106/106 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/106 variables, 0/106 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 2 (OVERLAPS) 318/424 variables, 212/318 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/424 variables, 318/636 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/424 variables, 0/636 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 5 (OVERLAPS) 106/530 variables, 106/742 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/530 variables, 106/848 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/530 variables, 0/848 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 8 (OVERLAPS) 424/954 variables, 530/1378 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/954 variables, 0/1378 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 10 (OVERLAPS) 188/1142 variables, 200/1578 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1142 variables, 0/1578 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 12 (OVERLAPS) 564/1706 variables, 376/1954 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1706 variables, 376/2330 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1706 variables, 0/2330 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 15 (OVERLAPS) 94/1800 variables, 188/2518 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 94/2612 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 94/2706 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 94/2800 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 106 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 106 unsolved in 24313 ms.
Refiners :[Domain max(s): 1000/1000 constraints, Positive P Invariants (semi-flows): 400/400 constraints, Generalized P Invariants (flows): 200/200 constraints, State Equation: 1000/1000 constraints, ReadFeed: 200/200 constraints, PredecessorRefiner: 106/106 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 106 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/106 variables, 106/106 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/106 variables, 0/106 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 2 (OVERLAPS) 318/424 variables, 212/318 constraints. Problems are: Problem set: 0 solved, 106 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/424 variables, 318/636 constraints. Problems are: Problem set: 0 solved, 106 unsolved
[2024-05-22 19:27:45] [INFO ] Deduced a trap composed of 4 places in 1186 ms of which 3 ms to minimize.
[2024-05-22 19:27:46] [INFO ] Deduced a trap composed of 4 places in 1171 ms of which 2 ms to minimize.
[2024-05-22 19:27:48] [INFO ] Deduced a trap composed of 4 places in 1163 ms of which 2 ms to minimize.
[2024-05-22 19:27:49] [INFO ] Deduced a trap composed of 4 places in 1148 ms of which 2 ms to minimize.
[2024-05-22 19:27:50] [INFO ] Deduced a trap composed of 4 places in 1173 ms of which 2 ms to minimize.
[2024-05-22 19:27:51] [INFO ] Deduced a trap composed of 4 places in 1131 ms of which 2 ms to minimize.
[2024-05-22 19:27:52] [INFO ] Deduced a trap composed of 4 places in 1117 ms of which 2 ms to minimize.
[2024-05-22 19:27:53] [INFO ] Deduced a trap composed of 4 places in 1113 ms of which 2 ms to minimize.
[2024-05-22 19:27:54] [INFO ] Deduced a trap composed of 4 places in 1100 ms of which 2 ms to minimize.
[2024-05-22 19:27:56] [INFO ] Deduced a trap composed of 4 places in 1092 ms of which 2 ms to minimize.
[2024-05-22 19:27:57] [INFO ] Deduced a trap composed of 4 places in 1098 ms of which 2 ms to minimize.
[2024-05-22 19:27:58] [INFO ] Deduced a trap composed of 4 places in 1046 ms of which 2 ms to minimize.
[2024-05-22 19:27:59] [INFO ] Deduced a trap composed of 4 places in 1079 ms of which 2 ms to minimize.
[2024-05-22 19:28:00] [INFO ] Deduced a trap composed of 4 places in 1048 ms of which 2 ms to minimize.
[2024-05-22 19:28:01] [INFO ] Deduced a trap composed of 4 places in 1066 ms of which 2 ms to minimize.
[2024-05-22 19:28:02] [INFO ] Deduced a trap composed of 4 places in 1019 ms of which 2 ms to minimize.
[2024-05-22 19:28:03] [INFO ] Deduced a trap composed of 4 places in 1042 ms of which 2 ms to minimize.
[2024-05-22 19:28:04] [INFO ] Deduced a trap composed of 4 places in 1027 ms of which 1 ms to minimize.
[2024-05-22 19:28:05] [INFO ] Deduced a trap composed of 4 places in 997 ms of which 1 ms to minimize.
[2024-05-22 19:28:06] [INFO ] Deduced a trap composed of 4 places in 1010 ms of which 2 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/424 variables, 20/656 constraints. Problems are: Problem set: 0 solved, 106 unsolved
[2024-05-22 19:28:07] [INFO ] Deduced a trap composed of 4 places in 1055 ms of which 1 ms to minimize.
[2024-05-22 19:28:08] [INFO ] Deduced a trap composed of 4 places in 1084 ms of which 2 ms to minimize.
[2024-05-22 19:28:09] [INFO ] Deduced a trap composed of 4 places in 1165 ms of which 2 ms to minimize.
[2024-05-22 19:28:10] [INFO ] Deduced a trap composed of 4 places in 1030 ms of which 2 ms to minimize.
[2024-05-22 19:28:12] [INFO ] Deduced a trap composed of 4 places in 1163 ms of which 2 ms to minimize.
[2024-05-22 19:28:13] [INFO ] Deduced a trap composed of 4 places in 1158 ms of which 2 ms to minimize.
[2024-05-22 19:28:14] [INFO ] Deduced a trap composed of 4 places in 1108 ms of which 1 ms to minimize.
[2024-05-22 19:28:15] [INFO ] Deduced a trap composed of 4 places in 1092 ms of which 2 ms to minimize.
[2024-05-22 19:28:16] [INFO ] Deduced a trap composed of 4 places in 1118 ms of which 2 ms to minimize.
[2024-05-22 19:28:17] [INFO ] Deduced a trap composed of 4 places in 986 ms of which 2 ms to minimize.
[2024-05-22 19:28:18] [INFO ] Deduced a trap composed of 4 places in 981 ms of which 1 ms to minimize.
[2024-05-22 19:28:19] [INFO ] Deduced a trap composed of 4 places in 959 ms of which 2 ms to minimize.
[2024-05-22 19:28:20] [INFO ] Deduced a trap composed of 4 places in 1004 ms of which 2 ms to minimize.
[2024-05-22 19:28:21] [INFO ] Deduced a trap composed of 4 places in 1014 ms of which 2 ms to minimize.
[2024-05-22 19:28:22] [INFO ] Deduced a trap composed of 4 places in 1020 ms of which 2 ms to minimize.
[2024-05-22 19:28:23] [INFO ] Deduced a trap composed of 4 places in 966 ms of which 3 ms to minimize.
[2024-05-22 19:28:24] [INFO ] Deduced a trap composed of 4 places in 994 ms of which 2 ms to minimize.
[2024-05-22 19:28:25] [INFO ] Deduced a trap composed of 4 places in 952 ms of which 2 ms to minimize.
[2024-05-22 19:28:26] [INFO ] Deduced a trap composed of 4 places in 1031 ms of which 2 ms to minimize.
[2024-05-22 19:28:27] [INFO ] Deduced a trap composed of 4 places in 1016 ms of which 2 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/424 variables, 20/676 constraints. Problems are: Problem set: 0 solved, 106 unsolved
[2024-05-22 19:28:28] [INFO ] Deduced a trap composed of 4 places in 1022 ms of which 2 ms to minimize.
[2024-05-22 19:28:29] [INFO ] Deduced a trap composed of 4 places in 997 ms of which 2 ms to minimize.
[2024-05-22 19:28:30] [INFO ] Deduced a trap composed of 4 places in 1008 ms of which 2 ms to minimize.
[2024-05-22 19:28:31] [INFO ] Deduced a trap composed of 4 places in 999 ms of which 2 ms to minimize.
[2024-05-22 19:28:32] [INFO ] Deduced a trap composed of 4 places in 978 ms of which 2 ms to minimize.
[2024-05-22 19:28:33] [INFO ] Deduced a trap composed of 4 places in 965 ms of which 1 ms to minimize.
[2024-05-22 19:28:34] [INFO ] Deduced a trap composed of 4 places in 861 ms of which 1 ms to minimize.
[2024-05-22 19:28:35] [INFO ] Deduced a trap composed of 4 places in 859 ms of which 2 ms to minimize.
[2024-05-22 19:28:36] [INFO ] Deduced a trap composed of 4 places in 965 ms of which 1 ms to minimize.
[2024-05-22 19:28:37] [INFO ] Deduced a trap composed of 4 places in 905 ms of which 2 ms to minimize.
[2024-05-22 19:28:38] [INFO ] Deduced a trap composed of 4 places in 907 ms of which 1 ms to minimize.
[2024-05-22 19:28:39] [INFO ] Deduced a trap composed of 4 places in 897 ms of which 2 ms to minimize.
[2024-05-22 19:28:40] [INFO ] Deduced a trap composed of 4 places in 886 ms of which 2 ms to minimize.
[2024-05-22 19:28:41] [INFO ] Deduced a trap composed of 4 places in 860 ms of which 1 ms to minimize.
[2024-05-22 19:28:41] [INFO ] Deduced a trap composed of 4 places in 803 ms of which 1 ms to minimize.
[2024-05-22 19:28:42] [INFO ] Deduced a trap composed of 4 places in 852 ms of which 1 ms to minimize.
[2024-05-22 19:28:43] [INFO ] Deduced a trap composed of 4 places in 773 ms of which 2 ms to minimize.
[2024-05-22 19:28:44] [INFO ] Deduced a trap composed of 4 places in 817 ms of which 2 ms to minimize.
[2024-05-22 19:28:45] [INFO ] Deduced a trap composed of 4 places in 872 ms of which 1 ms to minimize.
[2024-05-22 19:28:46] [INFO ] Deduced a trap composed of 4 places in 774 ms of which 2 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/424 variables, 20/696 constraints. Problems are: Problem set: 0 solved, 106 unsolved
[2024-05-22 19:28:46] [INFO ] Deduced a trap composed of 4 places in 797 ms of which 1 ms to minimize.
[2024-05-22 19:28:47] [INFO ] Deduced a trap composed of 4 places in 855 ms of which 1 ms to minimize.
[2024-05-22 19:28:48] [INFO ] Deduced a trap composed of 4 places in 843 ms of which 2 ms to minimize.
[2024-05-22 19:28:49] [INFO ] Deduced a trap composed of 4 places in 789 ms of which 1 ms to minimize.
[2024-05-22 19:28:50] [INFO ] Deduced a trap composed of 4 places in 876 ms of which 2 ms to minimize.
[2024-05-22 19:28:51] [INFO ] Deduced a trap composed of 4 places in 852 ms of which 2 ms to minimize.
[2024-05-22 19:28:51] [INFO ] Deduced a trap composed of 4 places in 806 ms of which 2 ms to minimize.
[2024-05-22 19:28:52] [INFO ] Deduced a trap composed of 4 places in 812 ms of which 1 ms to minimize.
[2024-05-22 19:28:53] [INFO ] Deduced a trap composed of 4 places in 832 ms of which 2 ms to minimize.
[2024-05-22 19:28:54] [INFO ] Deduced a trap composed of 4 places in 825 ms of which 1 ms to minimize.
[2024-05-22 19:28:55] [INFO ] Deduced a trap composed of 4 places in 840 ms of which 2 ms to minimize.
[2024-05-22 19:28:56] [INFO ] Deduced a trap composed of 4 places in 765 ms of which 2 ms to minimize.
[2024-05-22 19:28:56] [INFO ] Deduced a trap composed of 4 places in 854 ms of which 1 ms to minimize.
[2024-05-22 19:28:57] [INFO ] Deduced a trap composed of 4 places in 827 ms of which 1 ms to minimize.
[2024-05-22 19:28:58] [INFO ] Deduced a trap composed of 4 places in 797 ms of which 1 ms to minimize.
[2024-05-22 19:28:59] [INFO ] Deduced a trap composed of 4 places in 766 ms of which 1 ms to minimize.
[2024-05-22 19:29:00] [INFO ] Deduced a trap composed of 4 places in 754 ms of which 1 ms to minimize.
[2024-05-22 19:29:00] [INFO ] Deduced a trap composed of 4 places in 742 ms of which 1 ms to minimize.
[2024-05-22 19:29:01] [INFO ] Deduced a trap composed of 4 places in 749 ms of which 1 ms to minimize.
[2024-05-22 19:29:02] [INFO ] Deduced a trap composed of 4 places in 731 ms of which 1 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/424 variables, 20/716 constraints. Problems are: Problem set: 0 solved, 106 unsolved
[2024-05-22 19:29:03] [INFO ] Deduced a trap composed of 4 places in 737 ms of which 1 ms to minimize.
[2024-05-22 19:29:03] [INFO ] Deduced a trap composed of 4 places in 743 ms of which 1 ms to minimize.
[2024-05-22 19:29:04] [INFO ] Deduced a trap composed of 4 places in 720 ms of which 1 ms to minimize.
[2024-05-22 19:29:05] [INFO ] Deduced a trap composed of 4 places in 715 ms of which 1 ms to minimize.
[2024-05-22 19:29:06] [INFO ] Deduced a trap composed of 4 places in 772 ms of which 2 ms to minimize.
[2024-05-22 19:29:06] [INFO ] Deduced a trap composed of 4 places in 766 ms of which 1 ms to minimize.
[2024-05-22 19:29:07] [INFO ] Deduced a trap composed of 4 places in 780 ms of which 1 ms to minimize.
[2024-05-22 19:29:08] [INFO ] Deduced a trap composed of 4 places in 745 ms of which 1 ms to minimize.
[2024-05-22 19:29:09] [INFO ] Deduced a trap composed of 4 places in 696 ms of which 1 ms to minimize.
[2024-05-22 19:29:09] [INFO ] Deduced a trap composed of 4 places in 675 ms of which 2 ms to minimize.
[2024-05-22 19:29:10] [INFO ] Deduced a trap composed of 4 places in 669 ms of which 1 ms to minimize.
[2024-05-22 19:29:11] [INFO ] Deduced a trap composed of 4 places in 731 ms of which 2 ms to minimize.
[2024-05-22 19:29:12] [INFO ] Deduced a trap composed of 4 places in 756 ms of which 2 ms to minimize.
[2024-05-22 19:29:12] [INFO ] Deduced a trap composed of 4 places in 690 ms of which 2 ms to minimize.
[2024-05-22 19:29:13] [INFO ] Deduced a trap composed of 4 places in 667 ms of which 1 ms to minimize.
[2024-05-22 19:29:14] [INFO ] Deduced a trap composed of 4 places in 641 ms of which 1 ms to minimize.
[2024-05-22 19:29:14] [INFO ] Deduced a trap composed of 4 places in 660 ms of which 1 ms to minimize.
[2024-05-22 19:29:15] [INFO ] Deduced a trap composed of 4 places in 686 ms of which 1 ms to minimize.
[2024-05-22 19:29:16] [INFO ] Deduced a trap composed of 4 places in 681 ms of which 1 ms to minimize.
[2024-05-22 19:29:16] [INFO ] Deduced a trap composed of 4 places in 659 ms of which 2 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/424 variables, 20/736 constraints. Problems are: Problem set: 0 solved, 106 unsolved
[2024-05-22 19:29:17] [INFO ] Deduced a trap composed of 4 places in 761 ms of which 1 ms to minimize.
[2024-05-22 19:29:18] [INFO ] Deduced a trap composed of 4 places in 661 ms of which 1 ms to minimize.
[2024-05-22 19:29:19] [INFO ] Deduced a trap composed of 4 places in 750 ms of which 1 ms to minimize.
[2024-05-22 19:29:19] [INFO ] Deduced a trap composed of 4 places in 740 ms of which 2 ms to minimize.
[2024-05-22 19:29:20] [INFO ] Deduced a trap composed of 4 places in 646 ms of which 1 ms to minimize.
[2024-05-22 19:29:21] [INFO ] Deduced a trap composed of 4 places in 640 ms of which 1 ms to minimize.
[2024-05-22 19:29:21] [INFO ] Deduced a trap composed of 4 places in 687 ms of which 1 ms to minimize.
[2024-05-22 19:29:22] [INFO ] Deduced a trap composed of 4 places in 643 ms of which 1 ms to minimize.
[2024-05-22 19:29:23] [INFO ] Deduced a trap composed of 4 places in 603 ms of which 1 ms to minimize.
[2024-05-22 19:29:23] [INFO ] Deduced a trap composed of 4 places in 669 ms of which 1 ms to minimize.
[2024-05-22 19:29:24] [INFO ] Deduced a trap composed of 4 places in 655 ms of which 1 ms to minimize.
[2024-05-22 19:29:25] [INFO ] Deduced a trap composed of 4 places in 603 ms of which 1 ms to minimize.
[2024-05-22 19:29:25] [INFO ] Deduced a trap composed of 6 places in 638 ms of which 1 ms to minimize.
[2024-05-22 19:29:26] [INFO ] Deduced a trap composed of 4 places in 564 ms of which 1 ms to minimize.
[2024-05-22 19:29:27] [INFO ] Deduced a trap composed of 4 places in 621 ms of which 1 ms to minimize.
[2024-05-22 19:29:27] [INFO ] Deduced a trap composed of 4 places in 577 ms of which 1 ms to minimize.
[2024-05-22 19:29:28] [INFO ] Deduced a trap composed of 4 places in 607 ms of which 1 ms to minimize.
[2024-05-22 19:29:28] [INFO ] Deduced a trap composed of 4 places in 543 ms of which 1 ms to minimize.
[2024-05-22 19:29:29] [INFO ] Deduced a trap composed of 4 places in 567 ms of which 1 ms to minimize.
[2024-05-22 19:29:29] [INFO ] Deduced a trap composed of 4 places in 556 ms of which 1 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/424 variables, 20/756 constraints. Problems are: Problem set: 0 solved, 106 unsolved
[2024-05-22 19:29:30] [INFO ] Deduced a trap composed of 4 places in 676 ms of which 1 ms to minimize.
[2024-05-22 19:29:31] [INFO ] Deduced a trap composed of 4 places in 747 ms of which 1 ms to minimize.
[2024-05-22 19:29:32] [INFO ] Deduced a trap composed of 4 places in 666 ms of which 2 ms to minimize.
[2024-05-22 19:29:32] [INFO ] Deduced a trap composed of 4 places in 628 ms of which 1 ms to minimize.
[2024-05-22 19:29:33] [INFO ] Deduced a trap composed of 4 places in 694 ms of which 2 ms to minimize.
[2024-05-22 19:29:34] [INFO ] Deduced a trap composed of 4 places in 641 ms of which 1 ms to minimize.
[2024-05-22 19:29:34] [INFO ] Deduced a trap composed of 4 places in 630 ms of which 2 ms to minimize.
[2024-05-22 19:29:35] [INFO ] Deduced a trap composed of 4 places in 608 ms of which 1 ms to minimize.
[2024-05-22 19:29:35] [INFO ] Deduced a trap composed of 4 places in 598 ms of which 1 ms to minimize.
[2024-05-22 19:29:36] [INFO ] Deduced a trap composed of 4 places in 595 ms of which 2 ms to minimize.
[2024-05-22 19:29:37] [INFO ] Deduced a trap composed of 4 places in 653 ms of which 1 ms to minimize.
[2024-05-22 19:29:37] [INFO ] Deduced a trap composed of 4 places in 577 ms of which 1 ms to minimize.
[2024-05-22 19:29:38] [INFO ] Deduced a trap composed of 4 places in 579 ms of which 2 ms to minimize.
[2024-05-22 19:29:38] [INFO ] Deduced a trap composed of 4 places in 559 ms of which 1 ms to minimize.
[2024-05-22 19:29:39] [INFO ] Deduced a trap composed of 4 places in 582 ms of which 1 ms to minimize.
[2024-05-22 19:29:40] [INFO ] Deduced a trap composed of 4 places in 574 ms of which 1 ms to minimize.
[2024-05-22 19:29:40] [INFO ] Deduced a trap composed of 4 places in 576 ms of which 1 ms to minimize.
[2024-05-22 19:29:41] [INFO ] Deduced a trap composed of 4 places in 637 ms of which 1 ms to minimize.
[2024-05-22 19:29:42] [INFO ] Deduced a trap composed of 4 places in 616 ms of which 1 ms to minimize.
[2024-05-22 19:29:42] [INFO ] Deduced a trap composed of 4 places in 650 ms of which 1 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/424 variables, 20/776 constraints. Problems are: Problem set: 0 solved, 106 unsolved
[2024-05-22 19:29:43] [INFO ] Deduced a trap composed of 4 places in 597 ms of which 2 ms to minimize.
[2024-05-22 19:29:43] [INFO ] Deduced a trap composed of 4 places in 514 ms of which 1 ms to minimize.
[2024-05-22 19:29:44] [INFO ] Deduced a trap composed of 4 places in 567 ms of which 1 ms to minimize.
[2024-05-22 19:29:44] [INFO ] Deduced a trap composed of 4 places in 537 ms of which 1 ms to minimize.
[2024-05-22 19:29:45] [INFO ] Deduced a trap composed of 4 places in 536 ms of which 1 ms to minimize.
[2024-05-22 19:29:46] [INFO ] Deduced a trap composed of 4 places in 520 ms of which 1 ms to minimize.
[2024-05-22 19:29:46] [INFO ] Deduced a trap composed of 4 places in 529 ms of which 1 ms to minimize.
[2024-05-22 19:29:47] [INFO ] Deduced a trap composed of 4 places in 542 ms of which 0 ms to minimize.
[2024-05-22 19:29:47] [INFO ] Deduced a trap composed of 4 places in 521 ms of which 1 ms to minimize.
[2024-05-22 19:29:48] [INFO ] Deduced a trap composed of 4 places in 512 ms of which 1 ms to minimize.
[2024-05-22 19:29:48] [INFO ] Deduced a trap composed of 4 places in 539 ms of which 1 ms to minimize.
[2024-05-22 19:29:49] [INFO ] Deduced a trap composed of 4 places in 547 ms of which 1 ms to minimize.
[2024-05-22 19:29:49] [INFO ] Deduced a trap composed of 4 places in 529 ms of which 1 ms to minimize.
[2024-05-22 19:29:50] [INFO ] Deduced a trap composed of 4 places in 519 ms of which 1 ms to minimize.
[2024-05-22 19:29:50] [INFO ] Deduced a trap composed of 4 places in 505 ms of which 1 ms to minimize.
[2024-05-22 19:29:51] [INFO ] Deduced a trap composed of 4 places in 505 ms of which 1 ms to minimize.
[2024-05-22 19:29:51] [INFO ] Deduced a trap composed of 4 places in 491 ms of which 1 ms to minimize.
[2024-05-22 19:29:52] [INFO ] Deduced a trap composed of 4 places in 476 ms of which 0 ms to minimize.
[2024-05-22 19:29:52] [INFO ] Deduced a trap composed of 4 places in 467 ms of which 1 ms to minimize.
[2024-05-22 19:29:53] [INFO ] Deduced a trap composed of 4 places in 479 ms of which 1 ms to minimize.
At refinement iteration 11 (INCLUDED_ONLY) 0/424 variables, 20/796 constraints. Problems are: Problem set: 0 solved, 106 unsolved
[2024-05-22 19:29:53] [INFO ] Deduced a trap composed of 4 places in 462 ms of which 1 ms to minimize.
[2024-05-22 19:29:54] [INFO ] Deduced a trap composed of 4 places in 455 ms of which 1 ms to minimize.
[2024-05-22 19:29:54] [INFO ] Deduced a trap composed of 4 places in 455 ms of which 0 ms to minimize.
[2024-05-22 19:29:55] [INFO ] Deduced a trap composed of 4 places in 469 ms of which 1 ms to minimize.
[2024-05-22 19:29:55] [INFO ] Deduced a trap composed of 4 places in 443 ms of which 1 ms to minimize.
[2024-05-22 19:29:56] [INFO ] Deduced a trap composed of 4 places in 445 ms of which 1 ms to minimize.
[2024-05-22 19:29:56] [INFO ] Deduced a trap composed of 4 places in 436 ms of which 1 ms to minimize.
[2024-05-22 19:29:57] [INFO ] Deduced a trap composed of 4 places in 444 ms of which 1 ms to minimize.
[2024-05-22 19:29:57] [INFO ] Deduced a trap composed of 4 places in 433 ms of which 1 ms to minimize.
[2024-05-22 19:29:58] [INFO ] Deduced a trap composed of 4 places in 447 ms of which 1 ms to minimize.
[2024-05-22 19:29:58] [INFO ] Deduced a trap composed of 4 places in 456 ms of which 17 ms to minimize.
[2024-05-22 19:29:58] [INFO ] Deduced a trap composed of 4 places in 409 ms of which 1 ms to minimize.
[2024-05-22 19:29:59] [INFO ] Deduced a trap composed of 4 places in 417 ms of which 1 ms to minimize.
SMT process timed out in 160012ms, After SMT, problems are : Problem set: 0 solved, 106 unsolved
Fused 106 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 106 out of 1000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1000/1000 places, 40400/40400 transitions.
Applied a total of 0 rules in 841 ms. Remains 1000 /1000 variables (removed 0) and now considering 40400/40400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 841 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 912836 steps (0 resets) in 120004 ms. (7 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 299 ms. (133 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 105/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 104/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 103/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 312 ms. (127 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 408 ms. (97 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 390 ms. (102 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 390 ms. (102 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 498 ms. (80 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 291 ms. (137 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 258 ms. (154 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 102/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 101/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 291 ms. (137 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 100/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 303 ms. (131 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 253 ms. (157 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 296 ms. (134 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 296 ms. (134 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 317 ms. (125 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 100/100 properties
Interrupted probabilistic random walk after 1749102 steps, run timeout after 111003 ms. (steps per millisecond=15 ) properties seen :0 out of 100
Probabilistic random walk after 1749102 steps, saw 1664640 distinct states, run finished after 111003 ms. (steps per millisecond=15 ) properties seen :0
[2024-05-22 19:32:29] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2024-05-22 19:32:29] [INFO ] Invariant cache hit.
[2024-05-22 19:32:29] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 100/100 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/100 variables, 0/100 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 2 (OVERLAPS) 300/400 variables, 200/300 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/400 variables, 300/600 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/400 variables, 0/600 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 5 (OVERLAPS) 100/500 variables, 100/700 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/500 variables, 100/800 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/500 variables, 0/800 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 8 (OVERLAPS) 400/900 variables, 500/1300 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/900 variables, 0/1300 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 10 (OVERLAPS) 200/1100 variables, 200/1500 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1100 variables, 0/1500 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 12 (OVERLAPS) 600/1700 variables, 400/1900 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1700 variables, 400/2300 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1700 variables, 0/2300 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 15 (OVERLAPS) 100/1800 variables, 200/2500 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 100/2600 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 100/2700 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 100/2800 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 100 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 100 unsolved in 18983 ms.
Refiners :[Domain max(s): 1000/1000 constraints, Positive P Invariants (semi-flows): 400/400 constraints, Generalized P Invariants (flows): 200/200 constraints, State Equation: 1000/1000 constraints, ReadFeed: 200/200 constraints, PredecessorRefiner: 100/100 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 100 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 100/100 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/100 variables, 0/100 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 2 (OVERLAPS) 300/400 variables, 200/300 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/400 variables, 300/600 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2024-05-22 19:32:50] [INFO ] Deduced a trap composed of 4 places in 1252 ms of which 2 ms to minimize.
[2024-05-22 19:32:51] [INFO ] Deduced a trap composed of 4 places in 1169 ms of which 2 ms to minimize.
[2024-05-22 19:32:52] [INFO ] Deduced a trap composed of 4 places in 1270 ms of which 2 ms to minimize.
[2024-05-22 19:32:53] [INFO ] Deduced a trap composed of 4 places in 1232 ms of which 2 ms to minimize.
[2024-05-22 19:32:55] [INFO ] Deduced a trap composed of 4 places in 1259 ms of which 2 ms to minimize.
[2024-05-22 19:32:56] [INFO ] Deduced a trap composed of 4 places in 1214 ms of which 2 ms to minimize.
[2024-05-22 19:32:57] [INFO ] Deduced a trap composed of 4 places in 1196 ms of which 2 ms to minimize.
[2024-05-22 19:32:58] [INFO ] Deduced a trap composed of 4 places in 1189 ms of which 2 ms to minimize.
[2024-05-22 19:32:59] [INFO ] Deduced a trap composed of 4 places in 1071 ms of which 2 ms to minimize.
[2024-05-22 19:33:01] [INFO ] Deduced a trap composed of 4 places in 1063 ms of which 1 ms to minimize.
[2024-05-22 19:33:02] [INFO ] Deduced a trap composed of 4 places in 1069 ms of which 2 ms to minimize.
[2024-05-22 19:33:03] [INFO ] Deduced a trap composed of 4 places in 1047 ms of which 2 ms to minimize.
[2024-05-22 19:33:04] [INFO ] Deduced a trap composed of 4 places in 1063 ms of which 2 ms to minimize.
[2024-05-22 19:33:05] [INFO ] Deduced a trap composed of 4 places in 1020 ms of which 1 ms to minimize.
[2024-05-22 19:33:06] [INFO ] Deduced a trap composed of 4 places in 987 ms of which 2 ms to minimize.
[2024-05-22 19:33:07] [INFO ] Deduced a trap composed of 4 places in 990 ms of which 2 ms to minimize.
[2024-05-22 19:33:08] [INFO ] Deduced a trap composed of 4 places in 990 ms of which 2 ms to minimize.
[2024-05-22 19:33:09] [INFO ] Deduced a trap composed of 4 places in 981 ms of which 1 ms to minimize.
[2024-05-22 19:33:10] [INFO ] Deduced a trap composed of 4 places in 966 ms of which 2 ms to minimize.
[2024-05-22 19:33:11] [INFO ] Deduced a trap composed of 4 places in 962 ms of which 1 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/400 variables, 20/620 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2024-05-22 19:33:12] [INFO ] Deduced a trap composed of 4 places in 1169 ms of which 2 ms to minimize.
[2024-05-22 19:33:13] [INFO ] Deduced a trap composed of 4 places in 1158 ms of which 1 ms to minimize.
[2024-05-22 19:33:14] [INFO ] Deduced a trap composed of 4 places in 1210 ms of which 2 ms to minimize.
[2024-05-22 19:33:16] [INFO ] Deduced a trap composed of 4 places in 1164 ms of which 2 ms to minimize.
[2024-05-22 19:33:17] [INFO ] Deduced a trap composed of 4 places in 1104 ms of which 2 ms to minimize.
[2024-05-22 19:33:18] [INFO ] Deduced a trap composed of 4 places in 1117 ms of which 2 ms to minimize.
[2024-05-22 19:33:19] [INFO ] Deduced a trap composed of 4 places in 1112 ms of which 2 ms to minimize.
[2024-05-22 19:33:20] [INFO ] Deduced a trap composed of 4 places in 1129 ms of which 1 ms to minimize.
[2024-05-22 19:33:21] [INFO ] Deduced a trap composed of 4 places in 1099 ms of which 1 ms to minimize.
[2024-05-22 19:33:22] [INFO ] Deduced a trap composed of 4 places in 1093 ms of which 2 ms to minimize.
[2024-05-22 19:33:23] [INFO ] Deduced a trap composed of 4 places in 1078 ms of which 2 ms to minimize.
[2024-05-22 19:33:24] [INFO ] Deduced a trap composed of 4 places in 1054 ms of which 1 ms to minimize.
[2024-05-22 19:33:25] [INFO ] Deduced a trap composed of 4 places in 1036 ms of which 2 ms to minimize.
[2024-05-22 19:33:27] [INFO ] Deduced a trap composed of 4 places in 1066 ms of which 1 ms to minimize.
[2024-05-22 19:33:28] [INFO ] Deduced a trap composed of 4 places in 1055 ms of which 1 ms to minimize.
[2024-05-22 19:33:29] [INFO ] Deduced a trap composed of 4 places in 1010 ms of which 2 ms to minimize.
[2024-05-22 19:33:30] [INFO ] Deduced a trap composed of 4 places in 982 ms of which 2 ms to minimize.
[2024-05-22 19:33:31] [INFO ] Deduced a trap composed of 4 places in 912 ms of which 1 ms to minimize.
[2024-05-22 19:33:32] [INFO ] Deduced a trap composed of 4 places in 1019 ms of which 2 ms to minimize.
[2024-05-22 19:33:33] [INFO ] Deduced a trap composed of 4 places in 1005 ms of which 1 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/400 variables, 20/640 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2024-05-22 19:33:34] [INFO ] Deduced a trap composed of 4 places in 1053 ms of which 1 ms to minimize.
[2024-05-22 19:33:35] [INFO ] Deduced a trap composed of 4 places in 1073 ms of which 2 ms to minimize.
[2024-05-22 19:33:36] [INFO ] Deduced a trap composed of 4 places in 1061 ms of which 1 ms to minimize.
[2024-05-22 19:33:37] [INFO ] Deduced a trap composed of 4 places in 1041 ms of which 2 ms to minimize.
[2024-05-22 19:33:38] [INFO ] Deduced a trap composed of 4 places in 1034 ms of which 2 ms to minimize.
[2024-05-22 19:33:39] [INFO ] Deduced a trap composed of 6 places in 1012 ms of which 1 ms to minimize.
[2024-05-22 19:33:40] [INFO ] Deduced a trap composed of 4 places in 1002 ms of which 2 ms to minimize.
[2024-05-22 19:33:41] [INFO ] Deduced a trap composed of 4 places in 993 ms of which 2 ms to minimize.
[2024-05-22 19:33:42] [INFO ] Deduced a trap composed of 4 places in 1020 ms of which 1 ms to minimize.
[2024-05-22 19:33:43] [INFO ] Deduced a trap composed of 6 places in 973 ms of which 2 ms to minimize.
[2024-05-22 19:33:44] [INFO ] Deduced a trap composed of 4 places in 965 ms of which 1 ms to minimize.
[2024-05-22 19:33:45] [INFO ] Deduced a trap composed of 4 places in 953 ms of which 2 ms to minimize.
[2024-05-22 19:33:46] [INFO ] Deduced a trap composed of 4 places in 953 ms of which 2 ms to minimize.
[2024-05-22 19:33:47] [INFO ] Deduced a trap composed of 4 places in 874 ms of which 2 ms to minimize.
[2024-05-22 19:33:48] [INFO ] Deduced a trap composed of 4 places in 874 ms of which 1 ms to minimize.
[2024-05-22 19:33:49] [INFO ] Deduced a trap composed of 4 places in 945 ms of which 2 ms to minimize.
[2024-05-22 19:33:50] [INFO ] Deduced a trap composed of 4 places in 909 ms of which 1 ms to minimize.
[2024-05-22 19:33:50] [INFO ] Deduced a trap composed of 4 places in 855 ms of which 2 ms to minimize.
[2024-05-22 19:33:51] [INFO ] Deduced a trap composed of 4 places in 889 ms of which 2 ms to minimize.
[2024-05-22 19:33:52] [INFO ] Deduced a trap composed of 4 places in 886 ms of which 1 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/400 variables, 20/660 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2024-05-22 19:33:53] [INFO ] Deduced a trap composed of 4 places in 946 ms of which 1 ms to minimize.
[2024-05-22 19:33:54] [INFO ] Deduced a trap composed of 4 places in 972 ms of which 2 ms to minimize.
[2024-05-22 19:33:55] [INFO ] Deduced a trap composed of 4 places in 896 ms of which 1 ms to minimize.
[2024-05-22 19:33:56] [INFO ] Deduced a trap composed of 4 places in 952 ms of which 2 ms to minimize.
[2024-05-22 19:33:57] [INFO ] Deduced a trap composed of 4 places in 951 ms of which 2 ms to minimize.
[2024-05-22 19:33:58] [INFO ] Deduced a trap composed of 4 places in 960 ms of which 1 ms to minimize.
[2024-05-22 19:33:59] [INFO ] Deduced a trap composed of 4 places in 922 ms of which 2 ms to minimize.
[2024-05-22 19:34:00] [INFO ] Deduced a trap composed of 4 places in 947 ms of which 2 ms to minimize.
[2024-05-22 19:34:01] [INFO ] Deduced a trap composed of 4 places in 928 ms of which 2 ms to minimize.
[2024-05-22 19:34:02] [INFO ] Deduced a trap composed of 4 places in 923 ms of which 2 ms to minimize.
[2024-05-22 19:34:03] [INFO ] Deduced a trap composed of 4 places in 907 ms of which 2 ms to minimize.
[2024-05-22 19:34:04] [INFO ] Deduced a trap composed of 4 places in 881 ms of which 2 ms to minimize.
[2024-05-22 19:34:05] [INFO ] Deduced a trap composed of 4 places in 869 ms of which 1 ms to minimize.
[2024-05-22 19:34:05] [INFO ] Deduced a trap composed of 4 places in 904 ms of which 1 ms to minimize.
[2024-05-22 19:34:06] [INFO ] Deduced a trap composed of 4 places in 900 ms of which 2 ms to minimize.
[2024-05-22 19:34:07] [INFO ] Deduced a trap composed of 4 places in 885 ms of which 2 ms to minimize.
[2024-05-22 19:34:08] [INFO ] Deduced a trap composed of 4 places in 819 ms of which 1 ms to minimize.
[2024-05-22 19:34:09] [INFO ] Deduced a trap composed of 4 places in 832 ms of which 1 ms to minimize.
[2024-05-22 19:34:10] [INFO ] Deduced a trap composed of 4 places in 848 ms of which 2 ms to minimize.
[2024-05-22 19:34:11] [INFO ] Deduced a trap composed of 4 places in 839 ms of which 1 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/400 variables, 20/680 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2024-05-22 19:34:12] [INFO ] Deduced a trap composed of 4 places in 937 ms of which 2 ms to minimize.
[2024-05-22 19:34:13] [INFO ] Deduced a trap composed of 4 places in 932 ms of which 1 ms to minimize.
[2024-05-22 19:34:14] [INFO ] Deduced a trap composed of 4 places in 932 ms of which 1 ms to minimize.
[2024-05-22 19:34:14] [INFO ] Deduced a trap composed of 4 places in 924 ms of which 2 ms to minimize.
[2024-05-22 19:34:15] [INFO ] Deduced a trap composed of 4 places in 906 ms of which 2 ms to minimize.
[2024-05-22 19:34:16] [INFO ] Deduced a trap composed of 4 places in 1057 ms of which 1 ms to minimize.
[2024-05-22 19:34:17] [INFO ] Deduced a trap composed of 4 places in 842 ms of which 1 ms to minimize.
[2024-05-22 19:34:18] [INFO ] Deduced a trap composed of 4 places in 847 ms of which 2 ms to minimize.
[2024-05-22 19:34:19] [INFO ] Deduced a trap composed of 4 places in 825 ms of which 2 ms to minimize.
[2024-05-22 19:34:20] [INFO ] Deduced a trap composed of 4 places in 814 ms of which 2 ms to minimize.
[2024-05-22 19:34:21] [INFO ] Deduced a trap composed of 4 places in 851 ms of which 1 ms to minimize.
[2024-05-22 19:34:22] [INFO ] Deduced a trap composed of 4 places in 814 ms of which 1 ms to minimize.
[2024-05-22 19:34:22] [INFO ] Deduced a trap composed of 4 places in 813 ms of which 2 ms to minimize.
[2024-05-22 19:34:23] [INFO ] Deduced a trap composed of 4 places in 791 ms of which 1 ms to minimize.
[2024-05-22 19:34:24] [INFO ] Deduced a trap composed of 4 places in 785 ms of which 1 ms to minimize.
[2024-05-22 19:34:25] [INFO ] Deduced a trap composed of 4 places in 783 ms of which 1 ms to minimize.
[2024-05-22 19:34:26] [INFO ] Deduced a trap composed of 4 places in 775 ms of which 1 ms to minimize.
[2024-05-22 19:34:26] [INFO ] Deduced a trap composed of 4 places in 795 ms of which 1 ms to minimize.
[2024-05-22 19:34:27] [INFO ] Deduced a trap composed of 4 places in 783 ms of which 1 ms to minimize.
[2024-05-22 19:34:28] [INFO ] Deduced a trap composed of 4 places in 769 ms of which 2 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/400 variables, 20/700 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2024-05-22 19:34:29] [INFO ] Deduced a trap composed of 4 places in 916 ms of which 2 ms to minimize.
[2024-05-22 19:34:30] [INFO ] Deduced a trap composed of 4 places in 882 ms of which 1 ms to minimize.
[2024-05-22 19:34:31] [INFO ] Deduced a trap composed of 4 places in 864 ms of which 2 ms to minimize.
[2024-05-22 19:34:32] [INFO ] Deduced a trap composed of 4 places in 858 ms of which 2 ms to minimize.
[2024-05-22 19:34:32] [INFO ] Deduced a trap composed of 4 places in 844 ms of which 2 ms to minimize.
[2024-05-22 19:34:33] [INFO ] Deduced a trap composed of 4 places in 846 ms of which 1 ms to minimize.
[2024-05-22 19:34:34] [INFO ] Deduced a trap composed of 4 places in 782 ms of which 1 ms to minimize.
[2024-05-22 19:34:35] [INFO ] Deduced a trap composed of 4 places in 837 ms of which 2 ms to minimize.
[2024-05-22 19:34:36] [INFO ] Deduced a trap composed of 4 places in 799 ms of which 2 ms to minimize.
[2024-05-22 19:34:36] [INFO ] Deduced a trap composed of 4 places in 727 ms of which 2 ms to minimize.
[2024-05-22 19:34:37] [INFO ] Deduced a trap composed of 4 places in 721 ms of which 1 ms to minimize.
[2024-05-22 19:34:38] [INFO ] Deduced a trap composed of 4 places in 738 ms of which 2 ms to minimize.
[2024-05-22 19:34:39] [INFO ] Deduced a trap composed of 4 places in 749 ms of which 2 ms to minimize.
[2024-05-22 19:34:39] [INFO ] Deduced a trap composed of 4 places in 736 ms of which 1 ms to minimize.
[2024-05-22 19:34:40] [INFO ] Deduced a trap composed of 4 places in 730 ms of which 1 ms to minimize.
[2024-05-22 19:34:41] [INFO ] Deduced a trap composed of 4 places in 719 ms of which 2 ms to minimize.
[2024-05-22 19:34:42] [INFO ] Deduced a trap composed of 4 places in 706 ms of which 1 ms to minimize.
[2024-05-22 19:34:42] [INFO ] Deduced a trap composed of 4 places in 698 ms of which 1 ms to minimize.
[2024-05-22 19:34:43] [INFO ] Deduced a trap composed of 4 places in 682 ms of which 2 ms to minimize.
[2024-05-22 19:34:44] [INFO ] Deduced a trap composed of 4 places in 669 ms of which 1 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/400 variables, 20/720 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2024-05-22 19:34:44] [INFO ] Deduced a trap composed of 4 places in 691 ms of which 2 ms to minimize.
[2024-05-22 19:34:45] [INFO ] Deduced a trap composed of 4 places in 711 ms of which 1 ms to minimize.
[2024-05-22 19:34:46] [INFO ] Deduced a trap composed of 4 places in 676 ms of which 1 ms to minimize.
[2024-05-22 19:34:47] [INFO ] Deduced a trap composed of 4 places in 667 ms of which 2 ms to minimize.
[2024-05-22 19:34:47] [INFO ] Deduced a trap composed of 4 places in 661 ms of which 1 ms to minimize.
[2024-05-22 19:34:48] [INFO ] Deduced a trap composed of 4 places in 653 ms of which 2 ms to minimize.
[2024-05-22 19:34:49] [INFO ] Deduced a trap composed of 4 places in 659 ms of which 1 ms to minimize.
[2024-05-22 19:34:49] [INFO ] Deduced a trap composed of 4 places in 614 ms of which 1 ms to minimize.
[2024-05-22 19:34:50] [INFO ] Deduced a trap composed of 4 places in 634 ms of which 1 ms to minimize.
[2024-05-22 19:34:50] [INFO ] Deduced a trap composed of 4 places in 619 ms of which 1 ms to minimize.
[2024-05-22 19:34:51] [INFO ] Deduced a trap composed of 4 places in 622 ms of which 4 ms to minimize.
[2024-05-22 19:34:52] [INFO ] Deduced a trap composed of 4 places in 606 ms of which 1 ms to minimize.
[2024-05-22 19:34:52] [INFO ] Deduced a trap composed of 4 places in 601 ms of which 2 ms to minimize.
[2024-05-22 19:34:53] [INFO ] Deduced a trap composed of 4 places in 618 ms of which 1 ms to minimize.
[2024-05-22 19:34:54] [INFO ] Deduced a trap composed of 4 places in 603 ms of which 1 ms to minimize.
[2024-05-22 19:34:54] [INFO ] Deduced a trap composed of 4 places in 602 ms of which 1 ms to minimize.
[2024-05-22 19:34:55] [INFO ] Deduced a trap composed of 4 places in 593 ms of which 1 ms to minimize.
[2024-05-22 19:34:55] [INFO ] Deduced a trap composed of 4 places in 572 ms of which 1 ms to minimize.
[2024-05-22 19:34:56] [INFO ] Deduced a trap composed of 4 places in 580 ms of which 1 ms to minimize.
[2024-05-22 19:34:57] [INFO ] Deduced a trap composed of 4 places in 568 ms of which 2 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/400 variables, 20/740 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2024-05-22 19:34:57] [INFO ] Deduced a trap composed of 4 places in 664 ms of which 1 ms to minimize.
[2024-05-22 19:34:58] [INFO ] Deduced a trap composed of 4 places in 658 ms of which 1 ms to minimize.
[2024-05-22 19:34:59] [INFO ] Deduced a trap composed of 4 places in 645 ms of which 1 ms to minimize.
[2024-05-22 19:34:59] [INFO ] Deduced a trap composed of 4 places in 628 ms of which 1 ms to minimize.
[2024-05-22 19:35:00] [INFO ] Deduced a trap composed of 4 places in 638 ms of which 1 ms to minimize.
[2024-05-22 19:35:01] [INFO ] Deduced a trap composed of 4 places in 661 ms of which 2 ms to minimize.
[2024-05-22 19:35:01] [INFO ] Deduced a trap composed of 4 places in 654 ms of which 1 ms to minimize.
[2024-05-22 19:35:02] [INFO ] Deduced a trap composed of 4 places in 625 ms of which 1 ms to minimize.
[2024-05-22 19:35:02] [INFO ] Deduced a trap composed of 4 places in 611 ms of which 1 ms to minimize.
[2024-05-22 19:35:03] [INFO ] Deduced a trap composed of 4 places in 592 ms of which 1 ms to minimize.
[2024-05-22 19:35:04] [INFO ] Deduced a trap composed of 4 places in 583 ms of which 1 ms to minimize.
[2024-05-22 19:35:04] [INFO ] Deduced a trap composed of 4 places in 590 ms of which 1 ms to minimize.
[2024-05-22 19:35:05] [INFO ] Deduced a trap composed of 4 places in 579 ms of which 1 ms to minimize.
[2024-05-22 19:35:05] [INFO ] Deduced a trap composed of 4 places in 577 ms of which 1 ms to minimize.
[2024-05-22 19:35:06] [INFO ] Deduced a trap composed of 4 places in 579 ms of which 1 ms to minimize.
[2024-05-22 19:35:07] [INFO ] Deduced a trap composed of 4 places in 558 ms of which 1 ms to minimize.
[2024-05-22 19:35:07] [INFO ] Deduced a trap composed of 4 places in 576 ms of which 1 ms to minimize.
[2024-05-22 19:35:08] [INFO ] Deduced a trap composed of 4 places in 536 ms of which 1 ms to minimize.
[2024-05-22 19:35:08] [INFO ] Deduced a trap composed of 4 places in 517 ms of which 1 ms to minimize.
[2024-05-22 19:35:09] [INFO ] Deduced a trap composed of 4 places in 514 ms of which 1 ms to minimize.
At refinement iteration 11 (INCLUDED_ONLY) 0/400 variables, 20/760 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2024-05-22 19:35:09] [INFO ] Deduced a trap composed of 4 places in 597 ms of which 1 ms to minimize.
[2024-05-22 19:35:10] [INFO ] Deduced a trap composed of 4 places in 587 ms of which 1 ms to minimize.
[2024-05-22 19:35:11] [INFO ] Deduced a trap composed of 4 places in 589 ms of which 1 ms to minimize.
[2024-05-22 19:35:11] [INFO ] Deduced a trap composed of 4 places in 598 ms of which 1 ms to minimize.
[2024-05-22 19:35:12] [INFO ] Deduced a trap composed of 4 places in 559 ms of which 1 ms to minimize.
[2024-05-22 19:35:12] [INFO ] Deduced a trap composed of 4 places in 588 ms of which 1 ms to minimize.
[2024-05-22 19:35:13] [INFO ] Deduced a trap composed of 4 places in 594 ms of which 2 ms to minimize.
[2024-05-22 19:35:14] [INFO ] Deduced a trap composed of 4 places in 574 ms of which 1 ms to minimize.
[2024-05-22 19:35:14] [INFO ] Deduced a trap composed of 4 places in 561 ms of which 1 ms to minimize.
[2024-05-22 19:35:15] [INFO ] Deduced a trap composed of 4 places in 566 ms of which 1 ms to minimize.
[2024-05-22 19:35:15] [INFO ] Deduced a trap composed of 4 places in 568 ms of which 1 ms to minimize.
[2024-05-22 19:35:16] [INFO ] Deduced a trap composed of 4 places in 548 ms of which 1 ms to minimize.
[2024-05-22 19:35:16] [INFO ] Deduced a trap composed of 4 places in 534 ms of which 1 ms to minimize.
[2024-05-22 19:35:17] [INFO ] Deduced a trap composed of 4 places in 544 ms of which 1 ms to minimize.
[2024-05-22 19:35:18] [INFO ] Deduced a trap composed of 4 places in 536 ms of which 1 ms to minimize.
[2024-05-22 19:35:18] [INFO ] Deduced a trap composed of 4 places in 520 ms of which 1 ms to minimize.
[2024-05-22 19:35:19] [INFO ] Deduced a trap composed of 4 places in 516 ms of which 0 ms to minimize.
SMT process timed out in 169837ms, After SMT, problems are : Problem set: 0 solved, 100 unsolved
Fused 100 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 100 out of 1000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1000/1000 places, 40400/40400 transitions.
Applied a total of 0 rules in 930 ms. Remains 1000 /1000 variables (removed 0) and now considering 40400/40400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 930 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 898697 steps (0 resets) in 120004 ms. (7 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 290 ms. (137 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 308 ms. (129 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 284 ms. (140 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 297 ms. (134 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 299 ms. (133 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 320 ms. (124 steps per ms) remains 99/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 306 ms. (130 steps per ms) remains 99/99 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 99/99 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 98/99 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 97/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 299 ms. (133 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 96/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 96/96 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 96/96 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 96/96 properties
BEST_FIRST walk for 40004 steps (8 resets) in 291 ms. (137 steps per ms) remains 96/96 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 96/96 properties
BEST_FIRST walk for 40004 steps (8 resets) in 298 ms. (133 steps per ms) remains 95/96 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 258 ms. (154 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 284 ms. (140 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 94/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 93/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 93/93 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 93/93 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 93/93 properties
BEST_FIRST walk for 40004 steps (8 resets) in 290 ms. (137 steps per ms) remains 92/93 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 300 ms. (132 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 291 ms. (137 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 91/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 91/91 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 91/91 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 91/91 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 90/91 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 299 ms. (133 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 89/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 89/89 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 88/89 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 88/88 properties
[2024-05-22 19:35:57] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2024-05-22 19:35:57] [INFO ] Invariant cache hit.
[2024-05-22 19:35:57] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/88 variables, 88/88 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/88 variables, 0/88 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 2 (OVERLAPS) 264/352 variables, 176/264 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/352 variables, 264/528 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/352 variables, 0/528 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 5 (OVERLAPS) 88/440 variables, 88/616 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/440 variables, 88/704 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/440 variables, 0/704 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 8 (OVERLAPS) 352/792 variables, 440/1144 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/792 variables, 0/1144 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 10 (OVERLAPS) 224/1016 variables, 200/1344 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1016 variables, 0/1344 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 12 (OVERLAPS) 672/1688 variables, 448/1792 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1688 variables, 448/2240 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1688 variables, 0/2240 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 15 (OVERLAPS) 112/1800 variables, 224/2464 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 112/2576 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 112/2688 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 112/2800 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 88 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 88 unsolved in 17516 ms.
Refiners :[Domain max(s): 1000/1000 constraints, Positive P Invariants (semi-flows): 400/400 constraints, Generalized P Invariants (flows): 200/200 constraints, State Equation: 1000/1000 constraints, ReadFeed: 200/200 constraints, PredecessorRefiner: 88/88 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 88 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/88 variables, 88/88 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/88 variables, 0/88 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 2 (OVERLAPS) 264/352 variables, 176/264 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/352 variables, 264/528 constraints. Problems are: Problem set: 0 solved, 88 unsolved
[2024-05-22 19:36:16] [INFO ] Deduced a trap composed of 4 places in 1046 ms of which 2 ms to minimize.
[2024-05-22 19:36:17] [INFO ] Deduced a trap composed of 4 places in 1056 ms of which 1 ms to minimize.
[2024-05-22 19:36:18] [INFO ] Deduced a trap composed of 4 places in 1045 ms of which 2 ms to minimize.
[2024-05-22 19:36:19] [INFO ] Deduced a trap composed of 4 places in 1033 ms of which 2 ms to minimize.
[2024-05-22 19:36:20] [INFO ] Deduced a trap composed of 4 places in 1050 ms of which 1 ms to minimize.
[2024-05-22 19:36:21] [INFO ] Deduced a trap composed of 4 places in 1001 ms of which 1 ms to minimize.
[2024-05-22 19:36:22] [INFO ] Deduced a trap composed of 4 places in 1034 ms of which 2 ms to minimize.
[2024-05-22 19:36:24] [INFO ] Deduced a trap composed of 4 places in 1047 ms of which 2 ms to minimize.
[2024-05-22 19:36:25] [INFO ] Deduced a trap composed of 4 places in 1018 ms of which 2 ms to minimize.
[2024-05-22 19:36:26] [INFO ] Deduced a trap composed of 4 places in 1016 ms of which 2 ms to minimize.
[2024-05-22 19:36:27] [INFO ] Deduced a trap composed of 4 places in 981 ms of which 1 ms to minimize.
[2024-05-22 19:36:28] [INFO ] Deduced a trap composed of 4 places in 968 ms of which 1 ms to minimize.
[2024-05-22 19:36:28] [INFO ] Deduced a trap composed of 4 places in 934 ms of which 2 ms to minimize.
[2024-05-22 19:36:29] [INFO ] Deduced a trap composed of 4 places in 941 ms of which 1 ms to minimize.
[2024-05-22 19:36:30] [INFO ] Deduced a trap composed of 4 places in 935 ms of which 2 ms to minimize.
[2024-05-22 19:36:31] [INFO ] Deduced a trap composed of 4 places in 914 ms of which 1 ms to minimize.
[2024-05-22 19:36:32] [INFO ] Deduced a trap composed of 4 places in 925 ms of which 1 ms to minimize.
[2024-05-22 19:36:33] [INFO ] Deduced a trap composed of 4 places in 889 ms of which 1 ms to minimize.
[2024-05-22 19:36:34] [INFO ] Deduced a trap composed of 4 places in 869 ms of which 1 ms to minimize.
[2024-05-22 19:36:35] [INFO ] Deduced a trap composed of 4 places in 867 ms of which 2 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/352 variables, 20/548 constraints. Problems are: Problem set: 0 solved, 88 unsolved
[2024-05-22 19:36:36] [INFO ] Deduced a trap composed of 4 places in 965 ms of which 2 ms to minimize.
[2024-05-22 19:36:37] [INFO ] Deduced a trap composed of 4 places in 950 ms of which 2 ms to minimize.
[2024-05-22 19:36:38] [INFO ] Deduced a trap composed of 4 places in 902 ms of which 1 ms to minimize.
[2024-05-22 19:36:39] [INFO ] Deduced a trap composed of 4 places in 921 ms of which 1 ms to minimize.
[2024-05-22 19:36:40] [INFO ] Deduced a trap composed of 4 places in 903 ms of which 2 ms to minimize.
[2024-05-22 19:36:41] [INFO ] Deduced a trap composed of 4 places in 904 ms of which 2 ms to minimize.
[2024-05-22 19:36:41] [INFO ] Deduced a trap composed of 4 places in 878 ms of which 1 ms to minimize.
[2024-05-22 19:36:42] [INFO ] Deduced a trap composed of 4 places in 862 ms of which 2 ms to minimize.
[2024-05-22 19:36:43] [INFO ] Deduced a trap composed of 4 places in 835 ms of which 1 ms to minimize.
[2024-05-22 19:36:44] [INFO ] Deduced a trap composed of 4 places in 815 ms of which 1 ms to minimize.
[2024-05-22 19:36:45] [INFO ] Deduced a trap composed of 4 places in 830 ms of which 2 ms to minimize.
[2024-05-22 19:36:46] [INFO ] Deduced a trap composed of 4 places in 805 ms of which 2 ms to minimize.
[2024-05-22 19:36:46] [INFO ] Deduced a trap composed of 4 places in 790 ms of which 1 ms to minimize.
[2024-05-22 19:36:47] [INFO ] Deduced a trap composed of 4 places in 862 ms of which 2 ms to minimize.
[2024-05-22 19:36:48] [INFO ] Deduced a trap composed of 4 places in 854 ms of which 2 ms to minimize.
[2024-05-22 19:36:49] [INFO ] Deduced a trap composed of 4 places in 839 ms of which 1 ms to minimize.
[2024-05-22 19:36:50] [INFO ] Deduced a trap composed of 4 places in 838 ms of which 1 ms to minimize.
[2024-05-22 19:36:51] [INFO ] Deduced a trap composed of 4 places in 766 ms of which 1 ms to minimize.
[2024-05-22 19:36:51] [INFO ] Deduced a trap composed of 4 places in 754 ms of which 1 ms to minimize.
[2024-05-22 19:36:52] [INFO ] Deduced a trap composed of 4 places in 740 ms of which 2 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/352 variables, 20/568 constraints. Problems are: Problem set: 0 solved, 88 unsolved
[2024-05-22 19:36:53] [INFO ] Deduced a trap composed of 4 places in 816 ms of which 2 ms to minimize.
[2024-05-22 19:36:54] [INFO ] Deduced a trap composed of 4 places in 809 ms of which 2 ms to minimize.
[2024-05-22 19:36:55] [INFO ] Deduced a trap composed of 4 places in 791 ms of which 1 ms to minimize.
[2024-05-22 19:36:55] [INFO ] Deduced a trap composed of 4 places in 754 ms of which 1 ms to minimize.
[2024-05-22 19:36:56] [INFO ] Deduced a trap composed of 4 places in 812 ms of which 2 ms to minimize.
[2024-05-22 19:36:57] [INFO ] Deduced a trap composed of 4 places in 816 ms of which 1 ms to minimize.
[2024-05-22 19:36:58] [INFO ] Deduced a trap composed of 4 places in 796 ms of which 2 ms to minimize.
[2024-05-22 19:36:59] [INFO ] Deduced a trap composed of 4 places in 864 ms of which 1 ms to minimize.
[2024-05-22 19:36:59] [INFO ] Deduced a trap composed of 4 places in 788 ms of which 1 ms to minimize.
[2024-05-22 19:37:00] [INFO ] Deduced a trap composed of 4 places in 789 ms of which 2 ms to minimize.
[2024-05-22 19:37:01] [INFO ] Deduced a trap composed of 4 places in 775 ms of which 1 ms to minimize.
[2024-05-22 19:37:02] [INFO ] Deduced a trap composed of 4 places in 770 ms of which 1 ms to minimize.
[2024-05-22 19:37:03] [INFO ] Deduced a trap composed of 4 places in 761 ms of which 1 ms to minimize.
[2024-05-22 19:37:03] [INFO ] Deduced a trap composed of 4 places in 736 ms of which 1 ms to minimize.

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool greatspnxred"
echo " Input is Dekker-PT-200, 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 r144-tall-171631143400078"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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