About the Execution of 2024-gold for Dekker-PT-200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15688.360 | 1800000.00 | 3400213.00 | 3446.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r070-smll-174854076300133.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool gold2024
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 r070-smll-174854076300133
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 25M
-rw-r--r-- 1 mcc users 6.7K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 25M May 29 14:32 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 1748649130763
Invoking MCC driver with
BK_TOOL=gold2024
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
[2025-05-30 23:52:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2025-05-30 23:52:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-05-30 23:52:15] [INFO ] Load time of PNML (sax parser for PT used): 1930 ms
[2025-05-30 23:52:15] [INFO ] Transformed 1000 places.
[2025-05-30 23:52:15] [INFO ] Transformed 40400 transitions.
[2025-05-30 23:52:15] [INFO ] Found NUPN structural information;
[2025-05-30 23:52:15] [INFO ] Parsed PT model containing 1000 places and 40400 transitions and 320400 arcs in 2296 ms.
RANDOM walk for 40000 steps (8 resets) in 7790 ms. (5 steps per ms) remains 200/1000 properties
BEST_FIRST walk for 404 steps (0 resets) in 14 ms. (26 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 11 ms. (33 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 13 ms. (28 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 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 12 ms. (31 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 13 ms. (28 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 12 ms. (31 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 13 ms. (28 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 12 ms. (31 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 13 ms. (28 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 12 ms. (31 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 9 ms. (40 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 12 ms. (31 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 12 ms. (31 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
BEST_FIRST walk for 404 steps (0 resets) in 12 ms. (31 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 16 ms. (23 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 12 ms. (31 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 9 ms. (40 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 13 ms. (28 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 9 ms. (40 steps per ms) remains 200/200 properties
BEST_FIRST walk for 404 steps (0 resets) in 12 ms. (31 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 11 ms. (33 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 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 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 11 ms. (33 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 9 ms. (40 steps per ms) remains 200/200 properties
[2025-05-30 23:52:18] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
// Phase 1: matrix 800 rows 1000 cols
[2025-05-30 23:52:18] [INFO ] Computed 600 invariants in 64 ms
[2025-05-30 23:52:18] [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
SMT process timed out in 6330ms, After SMT, problems are : Problem set: 0 solved, 200 unsolved
Fused 200 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
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 2578 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 2608 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1165848 steps (0 resets) in 120005 ms. (9 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 441 ms. (90 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 473 ms. (84 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 488 ms. (81 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 560 ms. (71 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 543 ms. (73 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 471 ms. (84 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 450 ms. (88 steps per ms) remains 199/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 448 ms. (89 steps per ms) remains 199/199 properties
BEST_FIRST walk for 40004 steps (8 resets) in 445 ms. (89 steps per ms) remains 199/199 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 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 350 ms. (113 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 396 ms. (100 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 431 ms. (92 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 434 ms. (91 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 445 ms. (89 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 376 ms. (106 steps per ms) remains 198/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 197/198 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 197/197 properties
BEST_FIRST walk for 40004 steps (8 resets) in 362 ms. (110 steps per ms) remains 196/197 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 362 ms. (110 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 431 ms. (92 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 433 ms. (92 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 438 ms. (91 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 415 ms. (96 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 394 ms. (101 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 441 ms. (90 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 381 ms. (104 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 196/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 391 ms. (102 steps per ms) remains 195/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 398 ms. (100 steps per ms) remains 195/195 properties
BEST_FIRST walk for 40004 steps (8 resets) in 592 ms. (67 steps per ms) remains 195/195 properties
BEST_FIRST walk for 40004 steps (8 resets) in 523 ms. (76 steps per ms) remains 195/195 properties
BEST_FIRST walk for 40004 steps (8 resets) in 484 ms. (82 steps per ms) remains 195/195 properties
BEST_FIRST walk for 40004 steps (8 resets) in 515 ms. (77 steps per ms) remains 194/195 properties
BEST_FIRST walk for 40004 steps (8 resets) in 504 ms. (79 steps per ms) remains 194/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 514 ms. (77 steps per ms) remains 194/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 502 ms. (79 steps per ms) remains 194/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 416 ms. (95 steps per ms) remains 194/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 425 ms. (93 steps per ms) remains 193/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 413 ms. (96 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 413 ms. (96 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 417 ms. (95 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 413 ms. (96 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 398 ms. (100 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 365 ms. (109 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 354 ms. (112 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 423 ms. (94 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 432 ms. (92 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 434 ms. (91 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 377 ms. (105 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 193/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 192/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 473 ms. (84 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 434 ms. (91 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 439 ms. (90 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 391 ms. (102 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 354 ms. (112 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 435 ms. (91 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 462 ms. (86 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 433 ms. (92 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 414 ms. (96 steps per ms) remains 191/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 418 ms. (95 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40004 steps (8 resets) in 414 ms. (96 steps per ms) remains 190/191 properties
BEST_FIRST walk for 40004 steps (8 resets) in 414 ms. (96 steps per ms) remains 190/190 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 189/190 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 188/189 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 188/188 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 187/188 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 186/187 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 186/186 properties
BEST_FIRST walk for 40004 steps (8 resets) in 433 ms. (92 steps per ms) remains 186/186 properties
BEST_FIRST walk for 40004 steps (8 resets) in 432 ms. (92 steps per ms) remains 185/186 properties
BEST_FIRST walk for 40004 steps (8 resets) in 439 ms. (90 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 398 ms. (100 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 184/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 455 ms. (87 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 448 ms. (89 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 448 ms. (89 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 423 ms. (94 steps per ms) remains 184/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 183/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 183/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 183/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 183/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 183/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 403 ms. (99 steps per ms) remains 183/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 435 ms. (91 steps per ms) remains 183/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 433 ms. (92 steps per ms) remains 183/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 183/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 378 ms. (105 steps per ms) remains 183/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 182/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 181/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 180/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 389 ms. (102 steps per ms) remains 179/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 391 ms. (102 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 421 ms. (94 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 370 ms. (107 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 439 ms. (90 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 403 ms. (99 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 403 ms. (99 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 438 ms. (91 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 179/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 178/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 178/178 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 178/178 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 178/178 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 177/178 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 176/177 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 424 ms. (94 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 382 ms. (104 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 175/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 174/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 399 ms. (100 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 174/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 173/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 413 ms. (96 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 439 ms. (90 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 362 ms. (110 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 173/173 properties
[2025-05-30 23:53:18] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2025-05-30 23:53:18] [INFO ] Invariant cache hit.
[2025-05-30 23:53:18] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/173 variables, 173/173 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/173 variables, 0/173 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 2 (OVERLAPS) 519/692 variables, 346/519 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/692 variables, 519/1038 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/692 variables, 0/1038 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 5 (OVERLAPS) 173/865 variables, 173/1211 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/865 variables, 173/1384 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/865 variables, 0/1384 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 8 (OVERLAPS) 692/1557 variables, 865/2249 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1557 variables, 0/2249 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 10 (OVERLAPS) 54/1611 variables, 200/2449 constraints. Problems are: Problem set: 0 solved, 173 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1611 variables, 0/2449 constraints. Problems are: Problem set: 0 solved, 173 unsolved
SMT process timed out in 45811ms, After SMT, problems are : Problem set: 0 solved, 173 unsolved
Fused 173 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 173 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 1951 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 1951 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1205904 steps (0 resets) in 120004 ms. (10 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 386 ms. (103 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 173/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 172/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 435 ms. (91 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 388 ms. (102 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 171/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 170/171 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 376 ms. (106 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 395 ms. (101 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 168/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 417 ms. (95 steps per ms) remains 167/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 373 ms. (106 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 166/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 166/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 166/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 166/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 166/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 166/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 442 ms. (90 steps per ms) remains 166/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 408 ms. (97 steps per ms) remains 166/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 165/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 164/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 410 ms. (97 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 163/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 377 ms. (105 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 391 ms. (102 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 409 ms. (97 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 365 ms. (109 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 419 ms. (95 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 360 ms. (110 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 162/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 399 ms. (100 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 432 ms. (92 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 362 ms. (110 steps per ms) remains 162/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 161/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 438 ms. (91 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 390 ms. (102 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 397 ms. (100 steps per ms) remains 161/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 160/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 362 ms. (110 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 411 ms. (97 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 160/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 360 ms. (110 steps per ms) remains 159/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 412 ms. (96 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 413 ms. (96 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 439 ms. (90 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 159/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 158/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 362 ms. (110 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 401 ms. (99 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 422 ms. (94 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 410 ms. (97 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 414 ms. (96 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 421 ms. (94 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 385 ms. (103 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 158/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 344 ms. (115 steps per ms) remains 157/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 423 ms. (94 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 439 ms. (90 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 354 ms. (112 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 391 ms. (102 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 156/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 433 ms. (92 steps per ms) remains 156/156 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 156/156 properties
BEST_FIRST walk for 40004 steps (8 resets) in 494 ms. (80 steps per ms) remains 156/156 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 156/156 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 156/156 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 156/156 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 156/156 properties
[2025-05-30 23:54:54] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2025-05-30 23:54:54] [INFO ] Invariant cache hit.
[2025-05-30 23:54:54] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/156 variables, 156/156 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/156 variables, 0/156 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 2 (OVERLAPS) 468/624 variables, 312/468 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/624 variables, 468/936 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/624 variables, 0/936 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 5 (OVERLAPS) 156/780 variables, 156/1092 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/780 variables, 156/1248 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/780 variables, 0/1248 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 8 (OVERLAPS) 624/1404 variables, 780/2028 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1404 variables, 0/2028 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 10 (OVERLAPS) 88/1492 variables, 200/2228 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1492 variables, 0/2228 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 12 (OVERLAPS) 264/1756 variables, 176/2404 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1756 variables, 176/2580 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1756 variables, 0/2580 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 15 (OVERLAPS) 44/1800 variables, 88/2668 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 44/2712 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 44/2756 constraints. Problems are: Problem set: 0 solved, 156 unsolved
SMT process timed out in 75578ms, After SMT, problems are : Problem set: 0 solved, 156 unsolved
Fused 156 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 156 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 1693 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 1693 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1230196 steps (0 resets) in 120004 ms. (10 steps per ms) remains 156/156 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 155/156 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 354 ms. (112 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 394 ms. (101 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 431 ms. (92 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 441 ms. (90 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 383 ms. (104 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 154/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 154/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 153/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 152/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 152/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 151/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 151/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 151/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 151/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 151/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 151/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 151/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 150/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 149/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 149/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 148/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 148/148 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 147/148 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 146/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 145/146 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 145/145 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 145/145 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 144/145 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 144/144 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 143/144 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 143/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 142/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 142/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 141/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 141/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 140/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 139/140 properties
BEST_FIRST walk for 40004 steps (8 resets) in 421 ms. (94 steps per ms) remains 138/139 properties
BEST_FIRST walk for 40004 steps (8 resets) in 434 ms. (91 steps per ms) remains 138/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 138/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 138/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 137/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 425 ms. (93 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 416 ms. (95 steps per ms) remains 137/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 136/137 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 395 ms. (101 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 432 ms. (92 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 381 ms. (104 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 423 ms. (94 steps per ms) remains 136/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 135/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 431 ms. (92 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 135/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 134/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 134/134 properties
BEST_FIRST walk for 40004 steps (8 resets) in 409 ms. (97 steps per ms) remains 134/134 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 134/134 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 133/134 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 399 ms. (100 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 432 ms. (92 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 442 ms. (90 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 133/133 properties
[2025-05-30 23:56:55] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2025-05-30 23:56:55] [INFO ] Invariant cache hit.
[2025-05-30 23:56:56] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/133 variables, 133/133 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/133 variables, 0/133 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 2 (OVERLAPS) 399/532 variables, 266/399 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/532 variables, 399/798 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/532 variables, 0/798 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 5 (OVERLAPS) 133/665 variables, 133/931 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/665 variables, 133/1064 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/665 variables, 0/1064 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 8 (OVERLAPS) 532/1197 variables, 665/1729 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1197 variables, 0/1729 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 10 (OVERLAPS) 134/1331 variables, 200/1929 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1331 variables, 0/1929 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 12 (OVERLAPS) 402/1733 variables, 268/2197 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1733 variables, 268/2465 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1733 variables, 0/2465 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 15 (OVERLAPS) 67/1800 variables, 134/2599 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 67/2666 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 67/2733 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 67/2800 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 133 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 133 unsolved in 86879 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: 133/133 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 133 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/133 variables, 133/133 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/133 variables, 0/133 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 2 (OVERLAPS) 399/532 variables, 266/399 constraints. Problems are: Problem set: 0 solved, 133 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/532 variables, 399/798 constraints. Problems are: Problem set: 0 solved, 133 unsolved
[2025-05-30 23:58:28] [INFO ] Deduced a trap composed of 4 places in 3655 ms of which 60 ms to minimize.
[2025-05-30 23:58:31] [INFO ] Deduced a trap composed of 4 places in 3333 ms of which 5 ms to minimize.
[2025-05-30 23:58:34] [INFO ] Deduced a trap composed of 4 places in 2989 ms of which 5 ms to minimize.
[2025-05-30 23:58:38] [INFO ] Deduced a trap composed of 4 places in 3183 ms of which 7 ms to minimize.
[2025-05-30 23:58:41] [INFO ] Deduced a trap composed of 4 places in 3238 ms of which 5 ms to minimize.
[2025-05-30 23:58:44] [INFO ] Deduced a trap composed of 4 places in 2919 ms of which 6 ms to minimize.
[2025-05-30 23:58:47] [INFO ] Deduced a trap composed of 4 places in 3456 ms of which 5 ms to minimize.
[2025-05-30 23:58:50] [INFO ] Deduced a trap composed of 4 places in 2931 ms of which 5 ms to minimize.
[2025-05-30 23:58:53] [INFO ] Deduced a trap composed of 4 places in 2858 ms of which 5 ms to minimize.
[2025-05-30 23:58:56] [INFO ] Deduced a trap composed of 4 places in 2921 ms of which 6 ms to minimize.
[2025-05-30 23:58:59] [INFO ] Deduced a trap composed of 4 places in 2915 ms of which 6 ms to minimize.
[2025-05-30 23:59:02] [INFO ] Deduced a trap composed of 4 places in 2904 ms of which 5 ms to minimize.
[2025-05-30 23:59:05] [INFO ] Deduced a trap composed of 4 places in 2830 ms of which 5 ms to minimize.
[2025-05-30 23:59:07] [INFO ] Deduced a trap composed of 4 places in 2694 ms of which 3 ms to minimize.
[2025-05-30 23:59:10] [INFO ] Deduced a trap composed of 4 places in 2597 ms of which 4 ms to minimize.
[2025-05-30 23:59:13] [INFO ] Deduced a trap composed of 4 places in 2794 ms of which 5 ms to minimize.
[2025-05-30 23:59:16] [INFO ] Deduced a trap composed of 4 places in 2731 ms of which 5 ms to minimize.
[2025-05-30 23:59:18] [INFO ] Deduced a trap composed of 4 places in 2751 ms of which 5 ms to minimize.
[2025-05-30 23:59:21] [INFO ] Deduced a trap composed of 4 places in 2470 ms of which 6 ms to minimize.
[2025-05-30 23:59:24] [INFO ] Deduced a trap composed of 4 places in 2854 ms of which 4 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/532 variables, 20/818 constraints. Problems are: Problem set: 0 solved, 133 unsolved
[2025-05-30 23:59:27] [INFO ] Deduced a trap composed of 4 places in 3276 ms of which 4 ms to minimize.
[2025-05-30 23:59:30] [INFO ] Deduced a trap composed of 4 places in 2759 ms of which 5 ms to minimize.
[2025-05-30 23:59:33] [INFO ] Deduced a trap composed of 4 places in 2954 ms of which 4 ms to minimize.
[2025-05-30 23:59:36] [INFO ] Deduced a trap composed of 4 places in 2939 ms of which 4 ms to minimize.
[2025-05-30 23:59:38] [INFO ] Deduced a trap composed of 4 places in 2553 ms of which 5 ms to minimize.
[2025-05-30 23:59:41] [INFO ] Deduced a trap composed of 4 places in 2717 ms of which 4 ms to minimize.
[2025-05-30 23:59:44] [INFO ] Deduced a trap composed of 4 places in 2710 ms of which 4 ms to minimize.
[2025-05-30 23:59:46] [INFO ] Deduced a trap composed of 4 places in 2537 ms of which 5 ms to minimize.
[2025-05-30 23:59:49] [INFO ] Deduced a trap composed of 4 places in 2734 ms of which 4 ms to minimize.
[2025-05-30 23:59:52] [INFO ] Deduced a trap composed of 4 places in 2512 ms of which 4 ms to minimize.
[2025-05-30 23:59:54] [INFO ] Deduced a trap composed of 4 places in 2692 ms of which 4 ms to minimize.
SMT process timed out in 178969ms, After SMT, problems are : Problem set: 0 solved, 133 unsolved
Fused 133 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 133 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 1531 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 1531 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1129077 steps (0 resets) in 120004 ms. (9 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 370 ms. (107 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 354 ms. (112 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 398 ms. (100 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 476 ms. (83 steps per ms) remains 133/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 132/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 496 ms. (80 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 443 ms. (90 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 433 ms. (92 steps per ms) remains 132/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 434 ms. (91 steps per ms) remains 131/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 362 ms. (110 steps per ms) remains 131/131 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 131/131 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 131/131 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 131/131 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 131/131 properties
BEST_FIRST walk for 40004 steps (8 resets) in 447 ms. (89 steps per ms) remains 131/131 properties
BEST_FIRST walk for 40004 steps (8 resets) in 458 ms. (87 steps per ms) remains 130/131 properties
BEST_FIRST walk for 40004 steps (8 resets) in 473 ms. (84 steps per ms) remains 130/130 properties
BEST_FIRST walk for 40004 steps (8 resets) in 433 ms. (92 steps per ms) remains 130/130 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 130/130 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 130/130 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 130/130 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 130/130 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 130/130 properties
BEST_FIRST walk for 40004 steps (8 resets) in 509 ms. (78 steps per ms) remains 130/130 properties
BEST_FIRST walk for 40004 steps (8 resets) in 456 ms. (87 steps per ms) remains 129/130 properties
BEST_FIRST walk for 40004 steps (8 resets) in 457 ms. (87 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 420 ms. (95 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 385 ms. (103 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 378 ms. (105 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 384 ms. (103 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 663 ms. (60 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 614 ms. (65 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 400 ms. (99 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 373 ms. (106 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 461 ms. (86 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 455 ms. (87 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 389 ms. (102 steps per ms) remains 129/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 128/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 373 ms. (106 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 395 ms. (101 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 417 ms. (95 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 455 ms. (87 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 454 ms. (87 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 354 ms. (112 steps per ms) remains 128/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 365 ms. (109 steps per ms) remains 127/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 127/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 398 ms. (100 steps per ms) remains 126/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 124/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 123/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 454 ms. (87 steps per ms) remains 123/123 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 123/123 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 122/123 properties
BEST_FIRST walk for 40004 steps (8 resets) in 365 ms. (109 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 403 ms. (99 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 454 ms. (87 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 376 ms. (106 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 122/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 121/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 454 ms. (87 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 378 ms. (105 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 354 ms. (112 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 365 ms. (109 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 397 ms. (100 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 121/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 382 ms. (104 steps per ms) remains 120/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 387 ms. (103 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 401 ms. (99 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 466 ms. (85 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 373 ms. (106 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 363 ms. (109 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 370 ms. (107 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 417 ms. (95 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 451 ms. (88 steps per ms) remains 120/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 119/120 properties
BEST_FIRST walk for 40004 steps (8 resets) in 377 ms. (105 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 365 ms. (109 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 410 ms. (97 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 354 ms. (112 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 417 ms. (95 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 456 ms. (87 steps per ms) remains 119/119 properties
[2025-05-31 00:00:41] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2025-05-31 00:00:41] [INFO ] Invariant cache hit.
[2025-05-31 00:00:41] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/119 variables, 119/119 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/119 variables, 0/119 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 2 (OVERLAPS) 357/476 variables, 238/357 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/476 variables, 357/714 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/476 variables, 0/714 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 5 (OVERLAPS) 119/595 variables, 119/833 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/595 variables, 119/952 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/595 variables, 0/952 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 8 (OVERLAPS) 476/1071 variables, 595/1547 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1071 variables, 0/1547 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 10 (OVERLAPS) 162/1233 variables, 200/1747 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1233 variables, 0/1747 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 12 (OVERLAPS) 486/1719 variables, 324/2071 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1719 variables, 324/2395 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1719 variables, 0/2395 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 15 (OVERLAPS) 81/1800 variables, 162/2557 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 81/2638 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 81/2719 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 81/2800 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 119 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 119 unsolved in 67230 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: 119/119 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 119 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/119 variables, 119/119 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/119 variables, 0/119 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 2 (OVERLAPS) 357/476 variables, 238/357 constraints. Problems are: Problem set: 0 solved, 119 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/476 variables, 357/714 constraints. Problems are: Problem set: 0 solved, 119 unsolved
[2025-05-31 00:01:52] [INFO ] Deduced a trap composed of 4 places in 2881 ms of which 4 ms to minimize.
[2025-05-31 00:01:55] [INFO ] Deduced a trap composed of 4 places in 2694 ms of which 4 ms to minimize.
[2025-05-31 00:01:58] [INFO ] Deduced a trap composed of 4 places in 2679 ms of which 6 ms to minimize.
[2025-05-31 00:02:00] [INFO ] Deduced a trap composed of 4 places in 2656 ms of which 5 ms to minimize.
[2025-05-31 00:02:03] [INFO ] Deduced a trap composed of 4 places in 2654 ms of which 5 ms to minimize.
[2025-05-31 00:02:06] [INFO ] Deduced a trap composed of 4 places in 2722 ms of which 5 ms to minimize.
[2025-05-31 00:02:08] [INFO ] Deduced a trap composed of 4 places in 2417 ms of which 3 ms to minimize.
[2025-05-31 00:02:11] [INFO ] Deduced a trap composed of 4 places in 2462 ms of which 6 ms to minimize.
[2025-05-31 00:02:13] [INFO ] Deduced a trap composed of 4 places in 2640 ms of which 8 ms to minimize.
[2025-05-31 00:02:16] [INFO ] Deduced a trap composed of 4 places in 2649 ms of which 5 ms to minimize.
[2025-05-31 00:02:19] [INFO ] Deduced a trap composed of 4 places in 3041 ms of which 4 ms to minimize.
[2025-05-31 00:02:21] [INFO ] Deduced a trap composed of 4 places in 2419 ms of which 4 ms to minimize.
[2025-05-31 00:02:24] [INFO ] Deduced a trap composed of 4 places in 2249 ms of which 3 ms to minimize.
[2025-05-31 00:02:26] [INFO ] Deduced a trap composed of 4 places in 2661 ms of which 4 ms to minimize.
[2025-05-31 00:02:29] [INFO ] Deduced a trap composed of 4 places in 2081 ms of which 4 ms to minimize.
[2025-05-31 00:02:31] [INFO ] Deduced a trap composed of 6 places in 2062 ms of which 4 ms to minimize.
[2025-05-31 00:02:33] [INFO ] Deduced a trap composed of 4 places in 2689 ms of which 4 ms to minimize.
[2025-05-31 00:02:36] [INFO ] Deduced a trap composed of 4 places in 2626 ms of which 4 ms to minimize.
[2025-05-31 00:02:39] [INFO ] Deduced a trap composed of 4 places in 2892 ms of which 3 ms to minimize.
[2025-05-31 00:02:42] [INFO ] Deduced a trap composed of 4 places in 2840 ms of which 6 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/476 variables, 20/734 constraints. Problems are: Problem set: 0 solved, 119 unsolved
[2025-05-31 00:02:44] [INFO ] Deduced a trap composed of 4 places in 2611 ms of which 4 ms to minimize.
[2025-05-31 00:02:47] [INFO ] Deduced a trap composed of 4 places in 2062 ms of which 3 ms to minimize.
[2025-05-31 00:02:49] [INFO ] Deduced a trap composed of 4 places in 2529 ms of which 3 ms to minimize.
[2025-05-31 00:02:52] [INFO ] Deduced a trap composed of 4 places in 2428 ms of which 5 ms to minimize.
[2025-05-31 00:02:54] [INFO ] Deduced a trap composed of 6 places in 2342 ms of which 8 ms to minimize.
[2025-05-31 00:02:56] [INFO ] Deduced a trap composed of 4 places in 2342 ms of which 5 ms to minimize.
[2025-05-31 00:02:59] [INFO ] Deduced a trap composed of 4 places in 2331 ms of which 4 ms to minimize.
[2025-05-31 00:03:01] [INFO ] Deduced a trap composed of 4 places in 2377 ms of which 4 ms to minimize.
[2025-05-31 00:03:03] [INFO ] Deduced a trap composed of 4 places in 2336 ms of which 4 ms to minimize.
[2025-05-31 00:03:06] [INFO ] Deduced a trap composed of 4 places in 2332 ms of which 3 ms to minimize.
[2025-05-31 00:03:08] [INFO ] Deduced a trap composed of 4 places in 2320 ms of which 3 ms to minimize.
[2025-05-31 00:03:10] [INFO ] Deduced a trap composed of 4 places in 2323 ms of which 4 ms to minimize.
[2025-05-31 00:03:13] [INFO ] Deduced a trap composed of 4 places in 2319 ms of which 4 ms to minimize.
[2025-05-31 00:03:15] [INFO ] Deduced a trap composed of 4 places in 2531 ms of which 4 ms to minimize.
[2025-05-31 00:03:17] [INFO ] Deduced a trap composed of 4 places in 2028 ms of which 3 ms to minimize.
[2025-05-31 00:03:19] [INFO ] Deduced a trap composed of 4 places in 2104 ms of which 3 ms to minimize.
[2025-05-31 00:03:22] [INFO ] Deduced a trap composed of 4 places in 2109 ms of which 4 ms to minimize.
[2025-05-31 00:03:24] [INFO ] Deduced a trap composed of 4 places in 2256 ms of which 3 ms to minimize.
[2025-05-31 00:03:26] [INFO ] Deduced a trap composed of 4 places in 2304 ms of which 3 ms to minimize.
[2025-05-31 00:03:28] [INFO ] Deduced a trap composed of 4 places in 2163 ms of which 3 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/476 variables, 20/754 constraints. Problems are: Problem set: 0 solved, 119 unsolved
[2025-05-31 00:03:31] [INFO ] Deduced a trap composed of 4 places in 2476 ms of which 3 ms to minimize.
[2025-05-31 00:03:33] [INFO ] Deduced a trap composed of 4 places in 2191 ms of which 4 ms to minimize.
[2025-05-31 00:03:35] [INFO ] Deduced a trap composed of 4 places in 2249 ms of which 3 ms to minimize.
SMT process timed out in 174886ms, After SMT, problems are : Problem set: 0 solved, 119 unsolved
Fused 119 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 119 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 1412 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 1413 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1271105 steps (0 resets) in 120004 ms. (10 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 441 ms. (90 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 425 ms. (93 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 422 ms. (94 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 344 ms. (115 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 119/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 118/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 395 ms. (101 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 413 ms. (96 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 118/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 117/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 344 ms. (115 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 117/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 116/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 424 ms. (94 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 425 ms. (93 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 411 ms. (97 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 422 ms. (94 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 411 ms. (97 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 435 ms. (91 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 434 ms. (91 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 407 ms. (98 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 398 ms. (100 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 443 ms. (90 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 379 ms. (105 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 116/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 115/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 420 ms. (95 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 443 ms. (90 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 115/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 114/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 436 ms. (91 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 414 ms. (96 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 422 ms. (94 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 459 ms. (86 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 448 ms. (89 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 444 ms. (89 steps per ms) remains 114/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 113/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 344 ms. (115 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 438 ms. (91 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 403 ms. (99 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 113/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 344 ms. (115 steps per ms) remains 112/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 410 ms. (97 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 376 ms. (106 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 112/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 111/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 111/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 110/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 110/110 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 110/110 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 110/110 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 110/110 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 110/110 properties
Interrupted probabilistic random walk after 1972614 steps, run timeout after 126013 ms. (steps per millisecond=15 ) properties seen :0 out of 110
Probabilistic random walk after 1972614 steps, saw 1875075 distinct states, run finished after 126024 ms. (steps per millisecond=15 ) properties seen :0
[2025-05-31 00:06:25] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2025-05-31 00:06:25] [INFO ] Invariant cache hit.
[2025-05-31 00:06:25] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/110 variables, 110/110 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/110 variables, 0/110 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 2 (OVERLAPS) 330/440 variables, 220/330 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/440 variables, 330/660 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/440 variables, 0/660 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 5 (OVERLAPS) 110/550 variables, 110/770 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/550 variables, 110/880 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/550 variables, 0/880 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 8 (OVERLAPS) 440/990 variables, 550/1430 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/990 variables, 0/1430 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 10 (OVERLAPS) 180/1170 variables, 200/1630 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1170 variables, 0/1630 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 12 (OVERLAPS) 540/1710 variables, 360/1990 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1710 variables, 360/2350 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1710 variables, 0/2350 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 15 (OVERLAPS) 90/1800 variables, 180/2530 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 90/2620 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 90/2710 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 90/2800 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 110 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 110 unsolved in 44345 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: 110/110 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 110 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/110 variables, 110/110 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/110 variables, 0/110 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 2 (OVERLAPS) 330/440 variables, 220/330 constraints. Problems are: Problem set: 0 solved, 110 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/440 variables, 330/660 constraints. Problems are: Problem set: 0 solved, 110 unsolved
[2025-05-31 00:07:14] [INFO ] Deduced a trap composed of 4 places in 2984 ms of which 5 ms to minimize.
[2025-05-31 00:07:16] [INFO ] Deduced a trap composed of 4 places in 2556 ms of which 5 ms to minimize.
[2025-05-31 00:07:19] [INFO ] Deduced a trap composed of 4 places in 2506 ms of which 3 ms to minimize.
[2025-05-31 00:07:21] [INFO ] Deduced a trap composed of 4 places in 2353 ms of which 4 ms to minimize.
[2025-05-31 00:07:24] [INFO ] Deduced a trap composed of 4 places in 2842 ms of which 6 ms to minimize.
[2025-05-31 00:07:27] [INFO ] Deduced a trap composed of 4 places in 2911 ms of which 5 ms to minimize.
[2025-05-31 00:07:29] [INFO ] Deduced a trap composed of 4 places in 2221 ms of which 5 ms to minimize.
[2025-05-31 00:07:32] [INFO ] Deduced a trap composed of 4 places in 2847 ms of which 3 ms to minimize.
[2025-05-31 00:07:35] [INFO ] Deduced a trap composed of 4 places in 2687 ms of which 5 ms to minimize.
[2025-05-31 00:07:37] [INFO ] Deduced a trap composed of 4 places in 2232 ms of which 5 ms to minimize.
[2025-05-31 00:07:40] [INFO ] Deduced a trap composed of 4 places in 2738 ms of which 4 ms to minimize.
[2025-05-31 00:07:43] [INFO ] Deduced a trap composed of 4 places in 2943 ms of which 5 ms to minimize.
[2025-05-31 00:07:46] [INFO ] Deduced a trap composed of 4 places in 2963 ms of which 5 ms to minimize.
[2025-05-31 00:07:48] [INFO ] Deduced a trap composed of 4 places in 2533 ms of which 6 ms to minimize.
[2025-05-31 00:07:51] [INFO ] Deduced a trap composed of 4 places in 2521 ms of which 3 ms to minimize.
[2025-05-31 00:07:53] [INFO ] Deduced a trap composed of 4 places in 2497 ms of which 4 ms to minimize.
[2025-05-31 00:07:56] [INFO ] Deduced a trap composed of 4 places in 2487 ms of which 4 ms to minimize.
[2025-05-31 00:07:58] [INFO ] Deduced a trap composed of 4 places in 2407 ms of which 4 ms to minimize.
[2025-05-31 00:08:01] [INFO ] Deduced a trap composed of 4 places in 2419 ms of which 3 ms to minimize.
[2025-05-31 00:08:03] [INFO ] Deduced a trap composed of 4 places in 2241 ms of which 4 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/440 variables, 20/680 constraints. Problems are: Problem set: 0 solved, 110 unsolved
[2025-05-31 00:08:06] [INFO ] Deduced a trap composed of 4 places in 2490 ms of which 5 ms to minimize.
[2025-05-31 00:08:08] [INFO ] Deduced a trap composed of 4 places in 2775 ms of which 5 ms to minimize.
[2025-05-31 00:08:11] [INFO ] Deduced a trap composed of 4 places in 2570 ms of which 4 ms to minimize.
[2025-05-31 00:08:13] [INFO ] Deduced a trap composed of 4 places in 2426 ms of which 5 ms to minimize.
[2025-05-31 00:08:15] [INFO ] Deduced a trap composed of 4 places in 1993 ms of which 3 ms to minimize.
[2025-05-31 00:08:18] [INFO ] Deduced a trap composed of 4 places in 2494 ms of which 4 ms to minimize.
[2025-05-31 00:08:20] [INFO ] Deduced a trap composed of 4 places in 2175 ms of which 4 ms to minimize.
[2025-05-31 00:08:22] [INFO ] Deduced a trap composed of 4 places in 2261 ms of which 4 ms to minimize.
[2025-05-31 00:08:25] [INFO ] Deduced a trap composed of 4 places in 2642 ms of which 4 ms to minimize.
[2025-05-31 00:08:27] [INFO ] Deduced a trap composed of 4 places in 2369 ms of which 4 ms to minimize.
[2025-05-31 00:08:30] [INFO ] Deduced a trap composed of 4 places in 2072 ms of which 3 ms to minimize.
[2025-05-31 00:08:31] [INFO ] Deduced a trap composed of 4 places in 1747 ms of which 4 ms to minimize.
[2025-05-31 00:08:34] [INFO ] Deduced a trap composed of 4 places in 2607 ms of which 4 ms to minimize.
[2025-05-31 00:08:36] [INFO ] Deduced a trap composed of 4 places in 2126 ms of which 3 ms to minimize.
[2025-05-31 00:08:38] [INFO ] Deduced a trap composed of 4 places in 1720 ms of which 3 ms to minimize.
[2025-05-31 00:08:40] [INFO ] Deduced a trap composed of 4 places in 2355 ms of which 3 ms to minimize.
[2025-05-31 00:08:42] [INFO ] Deduced a trap composed of 4 places in 2019 ms of which 3 ms to minimize.
[2025-05-31 00:08:44] [INFO ] Deduced a trap composed of 4 places in 1713 ms of which 3 ms to minimize.
[2025-05-31 00:08:46] [INFO ] Deduced a trap composed of 4 places in 2036 ms of which 4 ms to minimize.
[2025-05-31 00:08:48] [INFO ] Deduced a trap composed of 4 places in 2178 ms of which 3 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/440 variables, 20/700 constraints. Problems are: Problem set: 0 solved, 110 unsolved
[2025-05-31 00:08:51] [INFO ] Deduced a trap composed of 4 places in 2467 ms of which 4 ms to minimize.
[2025-05-31 00:08:53] [INFO ] Deduced a trap composed of 4 places in 1885 ms of which 4 ms to minimize.
[2025-05-31 00:08:55] [INFO ] Deduced a trap composed of 4 places in 2235 ms of which 3 ms to minimize.
[2025-05-31 00:08:57] [INFO ] Deduced a trap composed of 4 places in 2035 ms of which 3 ms to minimize.
[2025-05-31 00:08:59] [INFO ] Deduced a trap composed of 4 places in 2076 ms of which 4 ms to minimize.
[2025-05-31 00:09:01] [INFO ] Deduced a trap composed of 4 places in 1992 ms of which 4 ms to minimize.
[2025-05-31 00:09:03] [INFO ] Deduced a trap composed of 4 places in 2262 ms of which 3 ms to minimize.
[2025-05-31 00:09:05] [INFO ] Deduced a trap composed of 4 places in 1598 ms of which 3 ms to minimize.
[2025-05-31 00:09:07] [INFO ] Deduced a trap composed of 4 places in 1577 ms of which 3 ms to minimize.
[2025-05-31 00:09:08] [INFO ] Deduced a trap composed of 4 places in 1576 ms of which 2 ms to minimize.
[2025-05-31 00:09:10] [INFO ] Deduced a trap composed of 4 places in 1796 ms of which 3 ms to minimize.
[2025-05-31 00:09:12] [INFO ] Deduced a trap composed of 4 places in 1605 ms of which 2 ms to minimize.
SMT process timed out in 166435ms, After SMT, problems are : Problem set: 0 solved, 110 unsolved
Fused 110 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 110 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 1401 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 1404 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 1264237 steps (0 resets) in 120004 ms. (10 steps per ms) remains 110/110 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 109/110 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 109/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 108/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 108/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 107/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 387 ms. (103 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 436 ms. (91 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 386 ms. (103 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 107/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 106/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 106/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 105/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 439 ms. (90 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 451 ms. (88 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 441 ms. (90 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 376 ms. (106 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 383 ms. (104 steps per ms) remains 105/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 384 ms. (103 steps per ms) remains 104/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 365 ms. (109 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 382 ms. (104 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 375 ms. (106 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 401 ms. (99 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 379 ms. (105 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 373 ms. (106 steps per ms) remains 104/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 389 ms. (102 steps per ms) remains 103/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 373 ms. (106 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 420 ms. (95 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 454 ms. (87 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 462 ms. (86 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 452 ms. (88 steps per ms) remains 103/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 397 ms. (100 steps per ms) remains 102/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 377 ms. (105 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 370 ms. (107 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 375 ms. (106 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 390 ms. (102 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 423 ms. (94 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 458 ms. (87 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 468 ms. (85 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 459 ms. (86 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 439 ms. (90 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 431 ms. (92 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 432 ms. (92 steps per ms) remains 102/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 378 ms. (105 steps per ms) remains 101/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 375 ms. (106 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 382 ms. (104 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 436 ms. (91 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 466 ms. (85 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 458 ms. (87 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 101/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 442 ms. (90 steps per ms) remains 100/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 429 ms. (93 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 438 ms. (91 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 415 ms. (96 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 373 ms. (106 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 388 ms. (102 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 383 ms. (104 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 385 ms. (103 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 467 ms. (85 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 457 ms. (87 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 475 ms. (84 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 431 ms. (92 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 385 ms. (103 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 385 ms. (103 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 384 ms. (103 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 423 ms. (94 steps per ms) remains 100/100 properties
Interrupted probabilistic random walk after 1140273 steps, run timeout after 123014 ms. (steps per millisecond=9 ) properties seen :0 out of 100
Probabilistic random walk after 1140273 steps, saw 1088017 distinct states, run finished after 123015 ms. (steps per millisecond=9 ) properties seen :0
[2025-05-31 00:11:57] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2025-05-31 00:11:57] [INFO ] Invariant cache hit.
[2025-05-31 00:11:58] [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 41070 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
[2025-05-31 00:12:42] [INFO ] Deduced a trap composed of 4 places in 1913 ms of which 3 ms to minimize.
[2025-05-31 00:12:44] [INFO ] Deduced a trap composed of 4 places in 2418 ms of which 5 ms to minimize.
[2025-05-31 00:12:47] [INFO ] Deduced a trap composed of 4 places in 2423 ms of which 4 ms to minimize.
[2025-05-31 00:12:49] [INFO ] Deduced a trap composed of 4 places in 2207 ms of which 3 ms to minimize.
[2025-05-31 00:12:51] [INFO ] Deduced a trap composed of 4 places in 2343 ms of which 3 ms to minimize.
[2025-05-31 00:12:54] [INFO ] Deduced a trap composed of 4 places in 2595 ms of which 5 ms to minimize.
[2025-05-31 00:12:56] [INFO ] Deduced a trap composed of 4 places in 2199 ms of which 4 ms to minimize.
[2025-05-31 00:12:58] [INFO ] Deduced a trap composed of 4 places in 2269 ms of which 3 ms to minimize.
[2025-05-31 00:13:01] [INFO ] Deduced a trap composed of 4 places in 2213 ms of which 4 ms to minimize.
[2025-05-31 00:13:03] [INFO ] Deduced a trap composed of 4 places in 2186 ms of which 4 ms to minimize.
[2025-05-31 00:13:05] [INFO ] Deduced a trap composed of 4 places in 2100 ms of which 3 ms to minimize.
[2025-05-31 00:13:07] [INFO ] Deduced a trap composed of 4 places in 2160 ms of which 4 ms to minimize.
[2025-05-31 00:13:09] [INFO ] Deduced a trap composed of 4 places in 2123 ms of which 4 ms to minimize.
[2025-05-31 00:13:11] [INFO ] Deduced a trap composed of 4 places in 1898 ms of which 3 ms to minimize.
[2025-05-31 00:13:13] [INFO ] Deduced a trap composed of 4 places in 2196 ms of which 2 ms to minimize.
[2025-05-31 00:13:15] [INFO ] Deduced a trap composed of 4 places in 1893 ms of which 3 ms to minimize.
[2025-05-31 00:13:17] [INFO ] Deduced a trap composed of 4 places in 1786 ms of which 3 ms to minimize.
[2025-05-31 00:13:19] [INFO ] Deduced a trap composed of 4 places in 2041 ms of which 3 ms to minimize.
[2025-05-31 00:13:21] [INFO ] Deduced a trap composed of 4 places in 2039 ms of which 4 ms to minimize.
[2025-05-31 00:13:23] [INFO ] Deduced a trap composed of 6 places in 2148 ms of which 3 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/400 variables, 20/620 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2025-05-31 00:13:25] [INFO ] Deduced a trap composed of 4 places in 1949 ms of which 3 ms to minimize.
[2025-05-31 00:13:27] [INFO ] Deduced a trap composed of 4 places in 2011 ms of which 3 ms to minimize.
[2025-05-31 00:13:29] [INFO ] Deduced a trap composed of 4 places in 1882 ms of which 3 ms to minimize.
[2025-05-31 00:13:31] [INFO ] Deduced a trap composed of 4 places in 1830 ms of which 4 ms to minimize.
[2025-05-31 00:13:33] [INFO ] Deduced a trap composed of 4 places in 1779 ms of which 4 ms to minimize.
[2025-05-31 00:13:35] [INFO ] Deduced a trap composed of 4 places in 1843 ms of which 2 ms to minimize.
[2025-05-31 00:13:37] [INFO ] Deduced a trap composed of 4 places in 1909 ms of which 3 ms to minimize.
[2025-05-31 00:13:39] [INFO ] Deduced a trap composed of 4 places in 1829 ms of which 3 ms to minimize.
[2025-05-31 00:13:41] [INFO ] Deduced a trap composed of 4 places in 1981 ms of which 4 ms to minimize.
[2025-05-31 00:13:43] [INFO ] Deduced a trap composed of 4 places in 2100 ms of which 4 ms to minimize.
[2025-05-31 00:13:45] [INFO ] Deduced a trap composed of 4 places in 1817 ms of which 4 ms to minimize.
[2025-05-31 00:13:46] [INFO ] Deduced a trap composed of 4 places in 1855 ms of which 3 ms to minimize.
[2025-05-31 00:13:48] [INFO ] Deduced a trap composed of 4 places in 1680 ms of which 3 ms to minimize.
[2025-05-31 00:13:50] [INFO ] Deduced a trap composed of 4 places in 1981 ms of which 4 ms to minimize.
[2025-05-31 00:13:52] [INFO ] Deduced a trap composed of 4 places in 1747 ms of which 3 ms to minimize.
[2025-05-31 00:13:53] [INFO ] Deduced a trap composed of 4 places in 1521 ms of which 3 ms to minimize.
[2025-05-31 00:13:55] [INFO ] Deduced a trap composed of 4 places in 1491 ms of which 3 ms to minimize.
[2025-05-31 00:13:56] [INFO ] Deduced a trap composed of 4 places in 1452 ms of which 2 ms to minimize.
[2025-05-31 00:13:58] [INFO ] Deduced a trap composed of 4 places in 1635 ms of which 4 ms to minimize.
[2025-05-31 00:14:00] [INFO ] Deduced a trap composed of 4 places in 1767 ms of which 2 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/400 variables, 20/640 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2025-05-31 00:14:02] [INFO ] Deduced a trap composed of 4 places in 2201 ms of which 3 ms to minimize.
[2025-05-31 00:14:04] [INFO ] Deduced a trap composed of 4 places in 1837 ms of which 2 ms to minimize.
[2025-05-31 00:14:06] [INFO ] Deduced a trap composed of 4 places in 1915 ms of which 4 ms to minimize.
[2025-05-31 00:14:08] [INFO ] Deduced a trap composed of 4 places in 1782 ms of which 2 ms to minimize.
[2025-05-31 00:14:09] [INFO ] Deduced a trap composed of 4 places in 1795 ms of which 3 ms to minimize.
[2025-05-31 00:14:11] [INFO ] Deduced a trap composed of 4 places in 1729 ms of which 4 ms to minimize.
[2025-05-31 00:14:13] [INFO ] Deduced a trap composed of 4 places in 1816 ms of which 3 ms to minimize.
[2025-05-31 00:14:15] [INFO ] Deduced a trap composed of 4 places in 1619 ms of which 3 ms to minimize.
[2025-05-31 00:14:16] [INFO ] Deduced a trap composed of 4 places in 1728 ms of which 3 ms to minimize.
[2025-05-31 00:14:18] [INFO ] Deduced a trap composed of 4 places in 1770 ms of which 4 ms to minimize.
[2025-05-31 00:14:20] [INFO ] Deduced a trap composed of 4 places in 1723 ms of which 4 ms to minimize.
[2025-05-31 00:14:22] [INFO ] Deduced a trap composed of 4 places in 1732 ms of which 4 ms to minimize.
[2025-05-31 00:14:24] [INFO ] Deduced a trap composed of 4 places in 1874 ms of which 4 ms to minimize.
[2025-05-31 00:14:25] [INFO ] Deduced a trap composed of 4 places in 1650 ms of which 3 ms to minimize.
[2025-05-31 00:14:27] [INFO ] Deduced a trap composed of 4 places in 1644 ms of which 2 ms to minimize.
[2025-05-31 00:14:28] [INFO ] Deduced a trap composed of 4 places in 1485 ms of which 2 ms to minimize.
[2025-05-31 00:14:30] [INFO ] Deduced a trap composed of 4 places in 1347 ms of which 3 ms to minimize.
[2025-05-31 00:14:31] [INFO ] Deduced a trap composed of 4 places in 1597 ms of which 3 ms to minimize.
[2025-05-31 00:14:33] [INFO ] Deduced a trap composed of 4 places in 1336 ms of which 2 ms to minimize.
[2025-05-31 00:14:34] [INFO ] Deduced a trap composed of 4 places in 1426 ms of which 3 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/400 variables, 20/660 constraints. Problems are: Problem set: 0 solved, 100 unsolved
[2025-05-31 00:14:36] [INFO ] Deduced a trap composed of 4 places in 2047 ms of which 3 ms to minimize.
[2025-05-31 00:14:38] [INFO ] Deduced a trap composed of 4 places in 1764 ms of which 3 ms to minimize.
[2025-05-31 00:14:40] [INFO ] Deduced a trap composed of 4 places in 1554 ms of which 2 ms to minimize.
[2025-05-31 00:14:41] [INFO ] Deduced a trap composed of 4 places in 1405 ms of which 2 ms to minimize.
[2025-05-31 00:14:43] [INFO ] Deduced a trap composed of 4 places in 1645 ms of which 3 ms to minimize.
[2025-05-31 00:14:45] [INFO ] Deduced a trap composed of 4 places in 2010 ms of which 4 ms to minimize.
[2025-05-31 00:14:46] [INFO ] Deduced a trap composed of 4 places in 1687 ms of which 3 ms to minimize.
[2025-05-31 00:14:48] [INFO ] Deduced a trap composed of 4 places in 1580 ms of which 4 ms to minimize.
[2025-05-31 00:14:50] [INFO ] Deduced a trap composed of 4 places in 1608 ms of which 3 ms to minimize.
[2025-05-31 00:14:51] [INFO ] Deduced a trap composed of 4 places in 1725 ms of which 3 ms to minimize.
[2025-05-31 00:14:53] [INFO ] Deduced a trap composed of 4 places in 1861 ms of which 2 ms to minimize.
[2025-05-31 00:14:55] [INFO ] Deduced a trap composed of 4 places in 1674 ms of which 3 ms to minimize.
SMT process timed out in 177525ms, 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 1520 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 1520 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 584518 steps (0 resets) in 120004 ms. (4 steps per ms) remains 100/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 404 ms. (98 steps per ms) remains 99/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 386 ms. (103 steps per ms) remains 98/99 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 463 ms. (86 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 449 ms. (88 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 448 ms. (89 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 427 ms. (93 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 381 ms. (104 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 465 ms. (85 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 470 ms. (84 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 484 ms. (82 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 384 ms. (103 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 98/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 379 ms. (105 steps per ms) remains 97/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 381 ms. (104 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 369 ms. (108 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 378 ms. (105 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 400 ms. (99 steps per ms) remains 97/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 384 ms. (103 steps per ms) remains 95/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 383 ms. (104 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 385 ms. (103 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 377 ms. (105 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 370 ms. (107 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 393 ms. (101 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 447 ms. (89 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 467 ms. (85 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 450 ms. (88 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 475 ms. (84 steps per ms) remains 95/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 441 ms. (90 steps per ms) remains 94/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 448 ms. (89 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 435 ms. (91 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 385 ms. (103 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 418 ms. (95 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 373 ms. (106 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 383 ms. (104 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 455 ms. (87 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 466 ms. (85 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 492 ms. (81 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 467 ms. (85 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 460 ms. (86 steps per ms) remains 94/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 93/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 431 ms. (92 steps per ms) remains 93/93 properties
BEST_FIRST walk for 40004 steps (8 resets) in 409 ms. (97 steps per ms) remains 92/93 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 377 ms. (105 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 390 ms. (102 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 391 ms. (102 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 414 ms. (96 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 493 ms. (80 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 491 ms. (81 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 470 ms. (84 steps per ms) remains 92/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 478 ms. (83 steps per ms) remains 90/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 481 ms. (82 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 459 ms. (86 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 451 ms. (88 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 447 ms. (89 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 424 ms. (94 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 376 ms. (106 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 387 ms. (103 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 385 ms. (103 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 485 ms. (82 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 485 ms. (82 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 502 ms. (79 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 478 ms. (83 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 445 ms. (89 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 446 ms. (89 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 442 ms. (90 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 393 ms. (101 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 365 ms. (109 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 399 ms. (100 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 386 ms. (103 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 393 ms. (101 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 407 ms. (98 steps per ms) remains 90/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 89/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 89/89 properties
BEST_FIRST walk for 40004 steps (8 resets) in 381 ms. (104 steps per ms) remains 88/89 properties
BEST_FIRST walk for 40004 steps (8 resets) in 376 ms. (106 steps per ms) remains 88/88 properties
BEST_FIRST walk for 40004 steps (8 resets) in 473 ms. (84 steps per ms) remains 88/88 properties
BEST_FIRST walk for 40004 steps (8 resets) in 465 ms. (85 steps per ms) remains 88/88 properties
BEST_FIRST walk for 40004 steps (8 resets) in 459 ms. (86 steps per ms) remains 88/88 properties
BEST_FIRST walk for 40004 steps (8 resets) in 456 ms. (87 steps per ms) remains 88/88 properties
BEST_FIRST walk for 40004 steps (8 resets) in 442 ms. (90 steps per ms) remains 88/88 properties
BEST_FIRST walk for 40004 steps (8 resets) in 450 ms. (88 steps per ms) remains 88/88 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 88/88 properties
BEST_FIRST walk for 40004 steps (8 resets) in 417 ms. (95 steps per ms) remains 88/88 properties
BEST_FIRST walk for 40004 steps (8 resets) in 400 ms. (99 steps per ms) remains 87/88 properties
[2025-05-31 00:15:38] [INFO ] Flow matrix only has 800 transitions (discarded 39600 similar events)
[2025-05-31 00:15:38] [INFO ] Invariant cache hit.
[2025-05-31 00:15:38] [INFO ] State equation strengthened by 200 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/87 variables, 87/87 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/87 variables, 0/87 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 2 (OVERLAPS) 261/348 variables, 174/261 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/348 variables, 261/522 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/348 variables, 0/522 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 5 (OVERLAPS) 87/435 variables, 87/609 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/435 variables, 87/696 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/435 variables, 0/696 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 8 (OVERLAPS) 348/783 variables, 435/1131 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/783 variables, 0/1131 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 10 (OVERLAPS) 226/1009 variables, 200/1331 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1009 variables, 0/1331 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 12 (OVERLAPS) 678/1687 variables, 452/1783 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1687 variables, 452/2235 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1687 variables, 0/2235 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 15 (OVERLAPS) 113/1800 variables, 226/2461 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1800 variables, 113/2574 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1800 variables, 113/2687 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1800 variables, 113/2800 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 20 (OVERLAPS) 0/1800 variables, 0/2800 constraints. Problems are: Problem set: 0 solved, 87 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1800/1800 variables, and 2800 constraints, problems are : Problem set: 0 solved, 87 unsolved in 39897 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: 87/87 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 87 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/87 variables, 87/87 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/87 variables, 0/87 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 2 (OVERLAPS) 261/348 variables, 174/261 constraints. Problems are: Problem set: 0 solved, 87 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/348 variables, 261/522 constraints. Problems are: Problem set: 0 solved, 87 unsolved
[2025-05-31 00:16:22] [INFO ] Deduced a trap composed of 4 places in 2547 ms of which 5 ms to minimize.
[2025-05-31 00:16:24] [INFO ] Deduced a trap composed of 4 places in 2076 ms of which 4 ms to minimize.
[2025-05-31 00:16:26] [INFO ] Deduced a trap composed of 4 places in 1843 ms of which 3 ms to minimize.
[2025-05-31 00:16:27] [INFO ] Deduced a trap composed of 4 places in 1784 ms of which 2 ms to minimize.
[2025-05-31 00:16:30] [INFO ] Deduced a trap composed of 4 places in 2331 ms of which 3 ms to minimize.
[2025-05-31 00:16:32] [INFO ] Deduced a trap composed of 4 places in 1982 ms of which 3 ms to minimize.
[2025-05-31 00:16:34] [INFO ] Deduced a trap composed of 4 places in 2143 ms of which 4 ms to minimize.
[2025-05-31 00:16:35] [INFO ] Deduced a trap composed of 4 places in 1595 ms of which 3 ms to minimize.
[2025-05-31 00:16:37] [INFO ] Deduced a trap composed of 4 places in 1954 ms of which 5 ms to minimize.
[2025-05-31 00:16:39] [INFO ] Deduced a trap composed of 4 places in 2002 ms of which 2 ms to minimize.
[2025-05-31 00:16:41] [INFO ] Deduced a trap composed of 4 places in 1795 ms of which 3 ms to minimize.
[2025-05-31 00:16:43] [INFO ] Deduced a trap composed of 4 places in 1740 ms of which 3 ms to minimize.
[2025-05-31 00:16:45] [INFO ] Deduced a trap composed of 4 places in 1955 ms of which 2 ms to minimize.
[2025-05-31 00:16:47] [INFO ] Deduced a trap composed of 4 places in 1856 ms of which 4 ms to minimize.
[2025-05-31 00:16:49] [INFO ] Deduced a trap composed of 4 places in 1815 ms of which 3 ms to minimize.
[2025-05-31 00:16:51] [INFO ] Deduced a trap composed of 4 places in 1853 ms of which 3 ms to minimize.
[2025-05-31 00:16:53] [INFO ] Deduced a trap composed of 4 places in 2268 ms of which 3 ms to minimize.
[2025-05-31 00:16:55] [INFO ] Deduced a trap composed of 4 places in 1819 ms of which 3 ms to minimize.
[2025-05-31 00:16:56] [INFO ] Deduced a trap composed of 4 places in 1878 ms of which 3 ms to minimize.
[2025-05-31 00:16:58] [INFO ] Deduced a trap composed of 5 places in 1761 ms of which 3 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/348 variables, 20/542 constraints. Problems are: Problem set: 0 solved, 87 unsolved
[2025-05-31 00:17:00] [INFO ] Deduced a trap composed of 4 places in 1849 ms of which 4 ms to minimize.
[2025-05-31 00:17:02] [INFO ] Deduced a trap composed of 4 places in 1839 ms of which 4 ms to minimize.
[2025-05-31 00:17:04] [INFO ] Deduced a trap composed of 4 places in 1759 ms of which 4 ms to minimize.
[2025-05-31 00:17:06] [INFO ] Deduced a trap composed of 6 places in 1761 ms of which 4 ms to minimize.
[2025-05-31 00:17:07] [INFO ] Deduced a trap composed of 4 places in 1661 ms of which 2 ms to minimize.
[2025-05-31 00:17:09] [INFO ] Deduced a trap composed of 4 places in 1619 ms of which 4 ms to minimize.
[2025-05-31 00:17:11] [INFO ] Deduced a trap composed of 4 places in 1714 ms of which 4 ms to minimize.
[2025-05-31 00:17:12] [INFO ] Deduced a trap composed of 4 places in 1733 ms of which 3 ms to minimize.
[2025-05-31 00:17:14] [INFO ] Deduced a trap composed of 4 places in 1669 ms of which 3 ms to minimize.
[2025-05-31 00:17:16] [INFO ] Deduced a trap composed of 4 places in 1658 ms of which 4 ms to minimize.
[2025-05-31 00:17:17] [INFO ] Deduced a trap composed of 4 places in 1634 ms of which 3 ms to minimize.
[2025-05-31 00:17:19] [INFO ] Deduced a trap composed of 4 places in 1765 ms of which 2 ms to minimize.
[2025-05-31 00:17:21] [INFO ] Deduced a trap composed of 4 places in 1936 ms of which 3 ms to minimize.
[2025-05-31 00:17:23] [INFO ] Deduced a trap composed of 4 places in 1589 ms of which 4 ms to minimize.
[2025-05-31 00:17:24] [INFO ] Deduced a trap composed of 4 places in 1470 ms of which 4 ms to minimize.
[2025-05-31 00:17:26] [INFO ] Deduced a trap composed of 4 places in 1633 ms of which 3 ms to minimize.
[2025-05-31 00:17:27] [INFO ] Deduced a trap composed of 4 places in 1655 ms of which 3 ms to minimize.
[2025-05-31 00:17:29] [INFO ] Deduced a trap composed of 4 places in 1368 ms of which 2 ms to minimize.
[2025-05-31 00:17:30] [INFO ] Deduced a trap composed of 4 places in 1533 ms of which 3 ms to minimize.
[2025-05-31 00:17:32] [INFO ] Deduced a trap composed of 4 places in 1464 ms of which 2 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/348 variables, 20/562 constraints. Problems are: Problem set: 0 solved, 87 unsolved
[2025-05-31 00:17:33] [INFO ] Deduced a trap composed of 4 places in 1506 ms of which 4 ms to minimize.
[2025-05-31 00:17:35] [INFO ] Deduced a trap composed of 4 places in 1769 ms of which 2 ms to minimize.
[2025-05-31 00:17:37] [INFO ] Deduced a trap composed of 4 places in 1750 ms of which 2 ms to minimize.
[2025-05-31 00:17:39] [INFO ] Deduced a trap composed of 4 places in 1760 ms of which 3 ms to minimize.
[2025-05-31 00:17:40] [INFO ] Deduced a trap composed of 4 places in 1560 ms of which 3 ms to minimize.
[2025-05-31 00:17:42] [INFO ] Deduced a trap composed of 4 places in 1915 ms of which 2 ms to minimize.
[2025-05-31 00:17:44] [INFO ] Deduced a trap composed of 4 places in 1441 ms of which 2 ms to minimize.
[2025-05-31 00:17:45] [INFO ] Deduced a trap composed of 4 places in 1395 ms of which 2 ms to minimize.
[2025-05-31 00:17:47] [INFO ] Deduced a trap composed of 4 places in 1621 ms of which 3 ms to minimize.
[2025-05-31 00:17:48] [INFO ] Deduced a trap composed of 4 places in 1654 ms of which 2 ms to minimize.
[2025-05-31 00:17:50] [INFO ] Deduced a trap composed of 4 places in 1453 ms of which 3 ms to minimize.
[2025-05-31 00:17:52] [INFO ] Deduced a trap composed of 4 places in 1700 ms of which 2 ms to minimize.
[2025-05-31 00:17:53] [INFO ] Deduced a trap composed of 4 places in 1612 ms of which 3 ms to minimize.
[2025-05-31 00:17:55] [INFO ] Deduced a trap composed of 4 places in 1577 ms of which 3 ms to minimize.
[2025-05-31 00:17:56] [INFO ] Deduced a trap composed of 4 places in 1249 ms of which 2 ms to minimize.
[2025-05-31 00:17:58] [INFO ] Deduced a trap composed of 4 places in 1485 ms of which 3 ms to minimize.
[2025-05-31 00:17:59] [INFO ] Deduced a trap composed of 4 places in 1415 ms of which 3 ms to minimize.
[2025-05-31 00:18:00] [INFO ] Deduced a trap composed of 4 places in 1479 ms of which 3 ms to minimize.
[2025-05-31 00:18:02] [INFO ] Deduced a trap composed of 6 places in 1631 ms of which 2 ms to minimize.
[2025-05-31 00:18:04] [INFO ] Deduced a trap composed of 4 places in 1595 ms of which 2 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/348 variables, 20/582 constraints. Problems are: Problem set: 0 solved, 87 unsolved
[2025-05-31 00:18:05] [INFO ] Deduced a trap composed of 4 places in 1499 ms of which 3 ms to minimize.
[2025-05-31 00:18:07] [INFO ] Deduced a trap composed of 4 places in 1497 ms of which 3 ms to minimize.
[2025-05-31 00:18:08] [INFO ] Deduced a trap composed of 4 places in 1481 ms of which 3 ms to minimize.
[2025-05-31 00:18:10] [INFO ] Deduced a trap composed of 4 places in 1725 ms of which 3 ms to minimize.
[2025-05-31 00:18:11] [INFO ] Deduced a trap composed of 4 places in 1435 ms of which 3 ms to minimize.
[2025-05-31 00:18:13] [INFO ] Deduced a trap composed of 4 places in 1305 ms of which 2 ms to minimize.
[2025-05-31 00:18:14] [INFO ] Deduced a trap composed of 4 places in 1407 ms of which 3 ms to minimize.
[2025-05-31 00:18:16] [INFO ] Deduced a trap composed of 4 places in 1425 ms of which 3 ms to minimize.
[2025-05-31 00:18:17] [INFO ] Deduced a trap composed of 4 places in 1389 ms of which 3 ms to minimize.
[2025-05-31 00:18:18] [INFO ] Deduced a trap composed of 4 places in 1370 ms of which 3 ms to minimize.
[2025-05-31 00:18:20] [INFO ] Deduced a trap composed of 4 places in 1348 ms of which 3 ms to minimize.
[2025-05-31 00:18:21] [INFO ] Deduced a trap composed of 4 places in 1557 ms of which 3 ms to minimize.
[2025-05-31 00:18:23] [INFO ] Deduced a trap composed of 4 places in 1357 ms of which 3 ms to minimize.
[2025-05-31 00:18:24] [INFO ] Deduced a trap composed of 4 places in 1103 ms of which 2 ms to minimize.
[2025-05-31 00:18:25] [INFO ] Deduced a trap composed of 4 places in 1477 ms of which 2 ms to minimize.
[2025-05-31 00:18:27] [INFO ] Deduced a trap composed of 4 places in 1265 ms of which 2 ms to minimize.
[2025-05-31 00:18:28] [INFO ] Deduced a trap composed of 4 places in 1496 ms of which 2 ms to minimize.
[2025-05-31 00:18:29] [INFO ] Deduced a trap composed of 4 places in 1363 ms of which 3 ms to minimize.
[2025-05-31 00:18:31] [INFO ] Deduced a trap composed of 4 places in 1247 ms of which 2 ms to minimize.
[2025-05-31 00:18:32] [INFO ] Deduced a trap composed of 4 places in 1481 ms of which 2 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/348 variables, 20/602 constraints. Problems are: Problem set: 0 solved, 87 unsolved
[2025-05-31 00:18:34] [INFO ] Deduced a trap composed of 4 places in 1537 ms of which 2 ms to minimize.
[2025-05-31 00:18:35] [INFO ] Deduced a trap composed of 4 places in 1363 ms of which 4 ms to minimize.
[2025-05-31 00:18:36] [INFO ] Deduced a trap composed of 4 places in 1155 ms of which 2 ms to minimize.
[2025-05-31 00:18:38] [INFO ] Deduced a trap composed of 4 places in 1159 ms of which 2 ms to minimize.
[2025-05-31 00:18:39] [INFO ] Deduced a trap composed of 4 places in 1426 ms of which 3 ms to minimize.
[2025-05-31 00:18:40] [INFO ] Deduced a trap composed of 4 places in 1336 ms of which 3 ms to minimize.
[2025-05-31 00:18:42] [INFO ] Deduced a trap composed of 4 places in 1263 ms of which 2 ms to minimize.
[2025-05-31 00:18:43] [INFO ] Deduced a trap composed of 4 places in 1192 ms of which 3 ms to minimize.
[2025-05-31 00:18:44] [INFO ] Deduced a trap composed of 4 places in 1261 ms of which 2 ms to minimize.
[2025-05-31 00:18:45] [INFO ] Deduced a trap composed of 4 places in 1286 ms of which 3 ms to minimize.
[2025-05-31 00:18:47] [INFO ] Deduced a trap composed of 4 places in 1234 ms of which 3 ms to minimize.
[2025-05-31 00:18:48] [INFO ] Deduced a trap composed of 4 places in 1365 ms of which 3 ms to minimize.
[2025-05-31 00:18:49] [INFO ] Deduced a trap composed of 4 places in 1280 ms of which 2 ms to minimize.
SMT process timed out in 191396ms, After SMT, problems are : Problem set: 0 solved, 87 unsolved
Fused 87 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 87 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 1972 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 1973 ms. Remains : 1000/1000 places, 40400/40400 transitions.
RANDOM walk for 625475 steps (0 resets) in 120004 ms. (5 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3739 ms. (106 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3718 ms. (107 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3681 ms. (108 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3697 ms. (108 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3695 ms. (108 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3689 ms. (108 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3680 ms. (108 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3690 ms. (108 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3683 ms. (108 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3978 ms. (100 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3694 ms. (108 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3681 ms. (108 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3683 ms. (108 steps per ms) remains 87/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3718 ms. (107 steps per ms) remains 86/87 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3715 ms. (107 steps per ms) remains 85/86 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3714 ms. (107 steps per ms) remains 85/85 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3713 ms. (107 steps per ms) remains 85/85 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3694 ms. (108 steps per ms) remains 85/85 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3697 ms. (108 steps per ms) remains 85/85 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3719 ms. (107 steps per ms) remains 85/85 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3705 ms. (107 steps per ms) remains 84/85 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3688 ms. (108 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3691 ms. (108 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3650 ms. (109 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3693 ms. (108 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3695 ms. (108 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3705 ms. (107 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3704 ms. (107 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3710 ms. (107 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3702 ms. (108 steps per ms) remains 83/84 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3707 ms. (107 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3685 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3689 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3707 ms. (107 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3697 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3708 ms. (107 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3700 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3711 ms. (107 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3673 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3680 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3693 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3728 ms. (107 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3689 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3685 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3689 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3673 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3678 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3727 ms. (107 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3702 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3693 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3673 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3675 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3696 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3708 ms. (107 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3703 ms. (107 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3702 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3689 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3673 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3682 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3690 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3682 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3691 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3994 ms. (100 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3693 ms. (108 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3702 ms. (108 steps per ms) remains 82/83 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3712 ms. (107 steps per ms) remains 81/82 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3716 ms. (107 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3674 ms. (108 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3688 ms. (108 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3682 ms. (108 steps per ms) remains 80/81 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3706 ms. (107 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3667 ms. (109 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3703 ms. (107 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3693 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3693 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3693 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3674 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3688 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3699 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3691 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3716 ms. (107 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3694 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3680 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3689 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3679 ms. (108 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3995 ms. (100 steps per ms) remains 80/80 properties
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="gold2024"
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-5832"
echo " Executing tool gold2024"
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 r070-smll-174854076300133"
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.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 '
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 ;