About the Execution of 2024-gold for TokenRing-PT-020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15687.880 | 1800000.00 | 3462803.00 | 3738.20 | [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.r252-tall-174915605600224.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 TokenRing-PT-020, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r252-tall-174915605600224
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 103M
-rw-r--r-- 1 mcc users 303K May 29 14:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.4M May 29 14:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4M May 29 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 16M May 29 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 252K May 29 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 892K May 29 14:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5M May 29 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7M May 29 14:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 975K May 29 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 4.7M May 29 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13M May 29 14:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45M May 29 14:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 47K May 29 14:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K May 29 14:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 29 14:33 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 14:33 instance
-rw-r--r-- 1 mcc users 6 May 29 14:33 iscolored
-rw-r--r-- 1 mcc users 4.0M May 29 14:33 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 Liveness
=== Now, execution of the tool begins
BK_START 1749200759676
Invoking MCC driver with
BK_TOOL=gold2024
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=TokenRing-PT-020
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2025-06-06 09:06:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -timeout, 180, -rebuildPNML]
[2025-06-06 09:06:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-06 09:06:01] [INFO ] Load time of PNML (sax parser for PT used): 287 ms
[2025-06-06 09:06:01] [INFO ] Transformed 441 places.
[2025-06-06 09:06:01] [INFO ] Transformed 8421 transitions.
[2025-06-06 09:06:01] [INFO ] Found NUPN structural information;
[2025-06-06 09:06:01] [INFO ] Parsed PT model containing 441 places and 8421 transitions and 33684 arcs in 423 ms.
Built sparse matrix representations for Structural reductions in 22 ms.38054KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 253 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 267 ms. Remains : 441/441 places, 8421/8421 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 169 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
// Phase 1: matrix 8421 rows 441 cols
[2025-06-06 09:06:02] [INFO ] Computed 21 invariants in 45 ms
[2025-06-06 09:06:02] [INFO ] Implicit Places using invariants in 291 ms returned []
[2025-06-06 09:06:02] [INFO ] Invariant cache hit.
[2025-06-06 09:06:04] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2025-06-06 09:06:04] [INFO ] Implicit Places using invariants and state equation in 2077 ms returned []
Implicit Place search using SMT with State Equation took 2466 ms to find 0 implicit places.
[2025-06-06 09:06:06] [INFO ] Redundant transitions in 1293 ms returned []
Running 8401 sub problems to find dead transitions.
[2025-06-06 09:06:06] [INFO ] Invariant cache hit.
[2025-06-06 09:06:06] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 8401 unsolved
SMT process timed out in 47153ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 47251ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 51238 ms. Remains : 441/441 places, 8421/8421 transitions.
Random walk for 1250000 steps, including 0 resets, run took 7703 ms (no deadlock found). (steps per millisecond=162 )
Random directed walk for 1250000 steps, including 0 resets, run took 7349 ms (no deadlock found). (steps per millisecond=170 )
[2025-06-06 09:07:08] [INFO ] Invariant cache hit.
[2025-06-06 09:07:09] [INFO ] [Real]Absence check using 21 positive place invariants in 38 ms returned unsat
Starting structural reductions in LIVENESS mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 42 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
[2025-06-06 09:07:09] [INFO ] Invariant cache hit.
[2025-06-06 09:07:10] [INFO ] Implicit Places using invariants in 650 ms returned []
[2025-06-06 09:07:10] [INFO ] Invariant cache hit.
[2025-06-06 09:07:11] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2025-06-06 09:07:42] [INFO ] Performed 411/441 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-06 09:07:43] [INFO ] Implicit Places using invariants and state equation in 33761 ms returned []
Implicit Place search using SMT with State Equation took 34413 ms to find 0 implicit places.
Running 8401 sub problems to find dead transitions.
[2025-06-06 09:07:44] [INFO ] Invariant cache hit.
[2025-06-06 09:07:44] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 8401 unsolved
SMT process timed out in 46093ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 46172ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 80653 ms. Remains : 441/441 places, 8421/8421 transitions.
Initial state reduction rules removed 20 formulas.
RANDOM walk for 40000 steps (8 resets) in 41439 ms. (0 steps per ms) remains 7490/8401 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 49 ms. (2 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 56 ms. (2 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 37 ms. (3 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7490/7490 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7490/7490 properties
[2025-06-06 09:08:41] [INFO ] Invariant cache hit.
[2025-06-06 09:08:41] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 7490 unsolved
SMT process timed out in 19147ms, After SMT, problems are : Problem set: 0 solved, 7490 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 194 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 195 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 220435 steps (0 resets) in 120004 ms. (1 steps per ms) remains 7426/7490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7399/7426 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7373/7399 properties
BEST_FIRST walk for 4003 steps (8 resets) in 171 ms. (23 steps per ms) remains 7363/7373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7353/7363 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7344/7353 properties
BEST_FIRST walk for 4002 steps (8 resets) in 157 ms. (25 steps per ms) remains 7341/7344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 7332/7341 properties
BEST_FIRST walk for 4002 steps (8 resets) in 188 ms. (21 steps per ms) remains 7318/7332 properties
BEST_FIRST walk for 4003 steps (8 resets) in 163 ms. (24 steps per ms) remains 7298/7318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 162 ms. (24 steps per ms) remains 7286/7298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 7279/7286 properties
BEST_FIRST walk for 4002 steps (8 resets) in 161 ms. (24 steps per ms) remains 7269/7279 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7266/7269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7264/7266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7258/7264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7257/7258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7255/7257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7255/7255 properties
BEST_FIRST walk for 4003 steps (8 resets) in 163 ms. (24 steps per ms) remains 7247/7255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7246/7247 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7242/7246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 7241/7242 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 7241/7241 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7239/7241 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7236/7239 properties
BEST_FIRST walk for 4002 steps (8 resets) in 160 ms. (24 steps per ms) remains 7230/7236 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 7229/7230 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 7228/7229 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 7222/7228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 7221/7222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7220/7221 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 7220/7220 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 7216/7220 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 7212/7216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7212/7212 properties
BEST_FIRST walk for 4002 steps (8 resets) in 157 ms. (25 steps per ms) remains 7208/7212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 7200/7208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7200/7200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7197/7200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 7196/7197 properties
BEST_FIRST walk for 4002 steps (8 resets) in 152 ms. (26 steps per ms) remains 7195/7196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7194/7195 properties
BEST_FIRST walk for 4002 steps (8 resets) in 157 ms. (25 steps per ms) remains 7194/7194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 7194/7194 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 7194/7194 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7192/7194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7191/7192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7187/7191 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 7185/7187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7182/7185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 7182/7182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7181/7182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7181/7181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 7178/7181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 7178/7178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7177/7178 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 7173/7177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 7173/7173 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7173/7173 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7173/7173 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7171/7173 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7171/7171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7171/7171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7171/7171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 7171/7171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7171/7171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7171/7171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7170/7171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7168/7170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7165/7168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 7160/7165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 167 ms. (23 steps per ms) remains 7160/7160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7159/7160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 7158/7159 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 7158/7158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7157/7158 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 7156/7157 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7156/7156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 7153/7156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7153/7153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7151/7153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7151/7151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7149/7151 properties
BEST_FIRST walk for 4002 steps (8 resets) in 164 ms. (24 steps per ms) remains 7143/7149 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 7141/7143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 7140/7141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7139/7140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7138/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7138/7138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 7131/7138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7130/7131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7130/7130 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 7129/7130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 7126/7129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 7123/7126 properties
BEST_FIRST walk for 4002 steps (8 resets) in 151 ms. (26 steps per ms) remains 7123/7123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 7123/7123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7123/7123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7123/7123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 7123/7123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7123/7123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7123/7123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 163 ms. (24 steps per ms) remains 7122/7123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7122/7122 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7122/7122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7122/7122 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 7121/7122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 7120/7121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7120/7120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7116/7120 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7115/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 7115/7115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 164 ms. (24 steps per ms) remains 7104/7115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7104/7104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 7103/7104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 7099/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7098/7099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 163 ms. (24 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 154 ms. (25 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 147 ms. (27 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 150 ms. (26 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7097/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 162 ms. (24 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4002 steps (8 resets) in 153 ms. (25 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7095/7097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7093/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 165 ms. (24 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4002 steps (8 resets) in 158 ms. (25 steps per ms) remains 7090/7093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 163 ms. (24 steps per ms) remains 7090/7090 properties
BEST_FIRST walk for 4003 steps (8 resets) in 366 ms. (10 steps per ms) remains 7089/7090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 164 ms. (24 steps per ms) remains 7088/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 7088/7088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 7087/7088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 170 ms. (23 steps per ms) remains 7086/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 166 ms. (23 steps per ms) remains 7082/7086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 7080/7082 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 171 ms. (23 steps per ms) remains 7072/7080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4002 steps (8 resets) in 159 ms. (25 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4002 steps (8 resets) in 158 ms. (25 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7069/7072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4002 steps (8 resets) in 159 ms. (25 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 165 ms. (24 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 7065/7069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7064/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7063/7064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 7061/7063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4002 steps (8 resets) in 159 ms. (25 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4002 steps (8 resets) in 160 ms. (24 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 7060/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4002 steps (8 resets) in 154 ms. (25 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4002 steps (8 resets) in 159 ms. (25 steps per ms) remains 7058/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 7058/7058 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 7056/7058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 7051/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7051/7051 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 7051/7051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7050/7051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7049/7050 properties
BEST_FIRST walk for 4002 steps (8 resets) in 158 ms. (25 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7047/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 7041/7047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7041/7041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 7040/7041 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 7040/7040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7040/7040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 7039/7040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 167 ms. (23 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4002 steps (8 resets) in 156 ms. (25 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4002 steps (8 resets) in 165 ms. (24 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7038/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 166 ms. (23 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4002 steps (8 resets) in 151 ms. (26 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 7037/7038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 7035/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4002 steps (8 resets) in 152 ms. (26 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7034/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4002 steps (8 resets) in 154 ms. (25 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7032/7034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 7032/7032 properties
BEST_FIRST walk for 4003 steps (8 resets) in 168 ms. (23 steps per ms) remains 7024/7032 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7023/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7023/7023 properties
BEST_FIRST walk for 4002 steps (8 resets) in 160 ms. (24 steps per ms) remains 7022/7023 properties
BEST_FIRST walk for 4002 steps (8 resets) in 166 ms. (23 steps per ms) remains 7022/7022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 7022/7022 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 7022/7022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7022/7022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7018/7022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4001 steps (8 resets) in 174 ms. (22 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 7017/7018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 7015/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 7011/7015 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7010/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7009/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7008/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7007/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 7004/7007 properties
BEST_FIRST walk for 4002 steps (8 resets) in 149 ms. (26 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7003/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4002 steps (8 resets) in 154 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4002 steps (8 resets) in 153 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4002 steps (8 resets) in 167 ms. (23 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 7002/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 162 ms. (24 steps per ms) remains 7000/7002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4002 steps (8 resets) in 145 ms. (27 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 6999/7000 properties
BEST_FIRST walk for 4002 steps (8 resets) in 157 ms. (25 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4002 steps (8 resets) in 153 ms. (25 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4002 steps (8 resets) in 152 ms. (26 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 6998/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6995/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4002 steps (8 resets) in 165 ms. (24 steps per ms) remains 6994/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 6989/6994 properties
BEST_FIRST walk for 4001 steps (8 resets) in 158 ms. (25 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4002 steps (8 resets) in 162 ms. (24 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4001 steps (8 resets) in 156 ms. (25 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 6988/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 170 ms. (23 steps per ms) remains 6986/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 168 ms. (23 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6985/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4002 steps (8 resets) in 161 ms. (24 steps per ms) remains 6983/6985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 6980/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 6979/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6978/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 168 ms. (23 steps per ms) remains 6976/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 142 ms. (27 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 157 ms. (25 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 6975/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4002 steps (8 resets) in 164 ms. (24 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 164 ms. (24 steps per ms) remains 6970/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 157 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4001 steps (8 resets) in 154 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 152 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4001 steps (8 resets) in 150 ms. (26 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4001 steps (8 resets) in 145 ms. (27 steps per ms) remains 6970/6970 properties
Probabilistic random walk after 1000000 steps, saw 175695 distinct states, run finished after 121691 ms. (steps per millisecond=8 ) properties seen :111
[2025-06-06 09:11:54] [INFO ] Invariant cache hit.
[2025-06-06 09:11:54] [INFO ] State equation strengthened by 8020 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6859 unsolved
SMT process timed out in 57930ms, After SMT, problems are : Problem set: 0 solved, 6859 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 134 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 134 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 236183 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6849/6859 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6849/6849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6849/6849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6849/6849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6849/6849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6849/6849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6849/6849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6849/6849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 6849/6849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6849/6849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6848/6849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 144 ms. (27 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 144 ms. (27 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6848/6848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6847/6848 properties
BEST_FIRST walk for 4002 steps (8 resets) in 152 ms. (26 steps per ms) remains 6846/6847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6844/6846 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4002 steps (8 resets) in 158 ms. (25 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6844/6844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6843/6844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6843/6843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6843/6843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6843/6843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6842/6843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 6842/6842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6842/6842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6841/6842 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 150 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 143 ms. (27 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 143 ms. (27 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 150 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 167 ms. (23 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6841/6841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6840/6841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6840/6840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6833/6840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6833/6833 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6833/6833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6833/6833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6833/6833 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 6833/6833 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6833/6833 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 6833/6833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6833/6833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 6832/6833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4002 steps (8 resets) in 161 ms. (24 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4002 steps (8 resets) in 154 ms. (25 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4001 steps (8 resets) in 148 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4002 steps (8 resets) in 142 ms. (27 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4002 steps (8 resets) in 151 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4002 steps (8 resets) in 150 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 142 ms. (27 steps per ms) remains 6832/6832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6832/6832 properties
Interrupted probabilistic random walk after 854214 steps, run timeout after 105001 ms. (steps per millisecond=8 ) properties seen :0 out of 6832
Probabilistic random walk after 854214 steps, saw 153407 distinct states, run finished after 105006 ms. (steps per millisecond=8 ) properties seen :0
[2025-06-06 09:15:13] [INFO ] Invariant cache hit.
[2025-06-06 09:15:13] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6832 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6832 unsolved
[2025-06-06 09:16:30] [INFO ] Deduced a trap composed of 244 places in 541 ms of which 25 ms to minimize.
[2025-06-06 09:16:30] [INFO ] Deduced a trap composed of 245 places in 561 ms of which 3 ms to minimize.
[2025-06-06 09:16:31] [INFO ] Deduced a trap composed of 247 places in 510 ms of which 3 ms to minimize.
[2025-06-06 09:16:31] [INFO ] Deduced a trap composed of 247 places in 504 ms of which 5 ms to minimize.
[2025-06-06 09:16:32] [INFO ] Deduced a trap composed of 245 places in 512 ms of which 3 ms to minimize.
[2025-06-06 09:16:33] [INFO ] Deduced a trap composed of 245 places in 506 ms of which 3 ms to minimize.
[2025-06-06 09:16:33] [INFO ] Deduced a trap composed of 245 places in 518 ms of which 3 ms to minimize.
[2025-06-06 09:16:34] [INFO ] Deduced a trap composed of 245 places in 505 ms of which 3 ms to minimize.
[2025-06-06 09:16:34] [INFO ] Deduced a trap composed of 243 places in 515 ms of which 2 ms to minimize.
[2025-06-06 09:16:35] [INFO ] Deduced a trap composed of 243 places in 514 ms of which 3 ms to minimize.
[2025-06-06 09:16:35] [INFO ] Deduced a trap composed of 243 places in 493 ms of which 3 ms to minimize.
[2025-06-06 09:16:36] [INFO ] Deduced a trap composed of 243 places in 517 ms of which 3 ms to minimize.
[2025-06-06 09:16:36] [INFO ] Deduced a trap composed of 250 places in 518 ms of which 3 ms to minimize.
[2025-06-06 09:16:37] [INFO ] Deduced a trap composed of 250 places in 507 ms of which 3 ms to minimize.
[2025-06-06 09:16:37] [INFO ] Deduced a trap composed of 249 places in 509 ms of which 4 ms to minimize.
[2025-06-06 09:16:38] [INFO ] Deduced a trap composed of 242 places in 507 ms of which 2 ms to minimize.
[2025-06-06 09:16:38] [INFO ] Deduced a trap composed of 249 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:16:39] [INFO ] Deduced a trap composed of 245 places in 503 ms of which 3 ms to minimize.
[2025-06-06 09:16:39] [INFO ] Deduced a trap composed of 247 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:16:40] [INFO ] Deduced a trap composed of 243 places in 505 ms of which 3 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 0 solved, 6832 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 441/8862 variables, and 482 constraints, problems are : Problem set: 0 solved, 6832 unsolved in 75139 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 6832/6832 constraints, Known Traps: 20/20 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6832 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6832 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6832 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 0 solved, 6832 unsolved
[2025-06-06 09:16:59] [INFO ] Deduced a trap composed of 246 places in 508 ms of which 3 ms to minimize.
[2025-06-06 09:16:59] [INFO ] Deduced a trap composed of 244 places in 523 ms of which 3 ms to minimize.
[2025-06-06 09:17:00] [INFO ] Deduced a trap composed of 243 places in 515 ms of which 4 ms to minimize.
[2025-06-06 09:17:00] [INFO ] Deduced a trap composed of 245 places in 507 ms of which 2 ms to minimize.
[2025-06-06 09:17:01] [INFO ] Deduced a trap composed of 243 places in 497 ms of which 3 ms to minimize.
[2025-06-06 09:17:01] [INFO ] Deduced a trap composed of 242 places in 512 ms of which 3 ms to minimize.
[2025-06-06 09:17:02] [INFO ] Deduced a trap composed of 243 places in 529 ms of which 3 ms to minimize.
[2025-06-06 09:17:02] [INFO ] Deduced a trap composed of 247 places in 512 ms of which 3 ms to minimize.
[2025-06-06 09:17:03] [INFO ] Deduced a trap composed of 248 places in 514 ms of which 3 ms to minimize.
[2025-06-06 09:17:03] [INFO ] Deduced a trap composed of 248 places in 513 ms of which 3 ms to minimize.
[2025-06-06 09:17:04] [INFO ] Deduced a trap composed of 249 places in 512 ms of which 3 ms to minimize.
[2025-06-06 09:17:04] [INFO ] Deduced a trap composed of 247 places in 506 ms of which 3 ms to minimize.
[2025-06-06 09:17:05] [INFO ] Deduced a trap composed of 248 places in 526 ms of which 3 ms to minimize.
[2025-06-06 09:17:06] [INFO ] Deduced a trap composed of 246 places in 510 ms of which 2 ms to minimize.
[2025-06-06 09:17:06] [INFO ] Deduced a trap composed of 248 places in 511 ms of which 4 ms to minimize.
[2025-06-06 09:17:07] [INFO ] Deduced a trap composed of 247 places in 528 ms of which 3 ms to minimize.
[2025-06-06 09:17:07] [INFO ] Deduced a trap composed of 241 places in 504 ms of which 2 ms to minimize.
[2025-06-06 09:17:08] [INFO ] Deduced a trap composed of 257 places in 512 ms of which 3 ms to minimize.
[2025-06-06 09:17:08] [INFO ] Deduced a trap composed of 258 places in 518 ms of which 3 ms to minimize.
[2025-06-06 09:17:09] [INFO ] Deduced a trap composed of 246 places in 502 ms of which 3 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/441 variables, 20/502 constraints. Problems are: Problem set: 0 solved, 6832 unsolved
[2025-06-06 09:17:28] [INFO ] Deduced a trap composed of 244 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:17:29] [INFO ] Deduced a trap composed of 246 places in 513 ms of which 3 ms to minimize.
[2025-06-06 09:17:29] [INFO ] Deduced a trap composed of 243 places in 510 ms of which 3 ms to minimize.
[2025-06-06 09:17:30] [INFO ] Deduced a trap composed of 245 places in 517 ms of which 3 ms to minimize.
[2025-06-06 09:17:30] [INFO ] Deduced a trap composed of 244 places in 517 ms of which 3 ms to minimize.
[2025-06-06 09:17:31] [INFO ] Deduced a trap composed of 244 places in 513 ms of which 3 ms to minimize.
[2025-06-06 09:17:31] [INFO ] Deduced a trap composed of 245 places in 508 ms of which 3 ms to minimize.
[2025-06-06 09:17:32] [INFO ] Deduced a trap composed of 245 places in 518 ms of which 2 ms to minimize.
[2025-06-06 09:17:32] [INFO ] Deduced a trap composed of 243 places in 501 ms of which 2 ms to minimize.
[2025-06-06 09:17:33] [INFO ] Deduced a trap composed of 243 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:17:33] [INFO ] Deduced a trap composed of 246 places in 509 ms of which 2 ms to minimize.
[2025-06-06 09:17:34] [INFO ] Deduced a trap composed of 248 places in 508 ms of which 3 ms to minimize.
[2025-06-06 09:17:35] [INFO ] Deduced a trap composed of 246 places in 493 ms of which 3 ms to minimize.
[2025-06-06 09:17:35] [INFO ] Deduced a trap composed of 249 places in 505 ms of which 3 ms to minimize.
[2025-06-06 09:17:36] [INFO ] Deduced a trap composed of 242 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:17:36] [INFO ] Deduced a trap composed of 245 places in 520 ms of which 6 ms to minimize.
[2025-06-06 09:17:37] [INFO ] Deduced a trap composed of 250 places in 513 ms of which 5 ms to minimize.
[2025-06-06 09:17:37] [INFO ] Deduced a trap composed of 253 places in 510 ms of which 2 ms to minimize.
[2025-06-06 09:17:38] [INFO ] Deduced a trap composed of 252 places in 516 ms of which 3 ms to minimize.
[2025-06-06 09:17:38] [INFO ] Deduced a trap composed of 249 places in 505 ms of which 2 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/441 variables, 20/522 constraints. Problems are: Problem set: 0 solved, 6832 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 441/8862 variables, and 522 constraints, problems are : Problem set: 0 solved, 6832 unsolved in 75097 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 0/6832 constraints, Known Traps: 60/60 constraints]
After SMT, in 163781ms problems are : Problem set: 0 solved, 6832 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 129 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 129 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 232404 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6822/6832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6822/6822 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6822/6822 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 6822/6822 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6822/6822 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6822/6822 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6822/6822 properties
BEST_FIRST walk for 4002 steps (8 resets) in 158 ms. (25 steps per ms) remains 6822/6822 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6822/6822 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6822/6822 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6822/6822 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 6821/6822 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6821/6821 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6820/6821 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 163 ms. (24 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4002 steps (8 resets) in 153 ms. (25 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 6820/6820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6818/6820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 141 ms. (28 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4002 steps (8 resets) in 151 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4001 steps (8 resets) in 162 ms. (24 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 162 ms. (24 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6818/6818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 6815/6818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6814/6815 properties
BEST_FIRST walk for 4002 steps (8 resets) in 147 ms. (27 steps per ms) remains 6814/6814 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6814/6814 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6814/6814 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6814/6814 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6814/6814 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6812/6814 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4002 steps (8 resets) in 151 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6812/6812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6809/6812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4002 steps (8 resets) in 145 ms. (27 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 162 ms. (24 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4000 steps (8 resets) in 153 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4002 steps (8 resets) in 149 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 144 ms. (27 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4002 steps (8 resets) in 146 ms. (27 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6807/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4002 steps (8 resets) in 152 ms. (26 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 168 ms. (23 steps per ms) remains 6802/6807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4002 steps (8 resets) in 145 ms. (27 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6801/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6800/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 139 ms. (28 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6798/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4002 steps (8 resets) in 142 ms. (27 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4002 steps (8 resets) in 150 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4002 steps (8 resets) in 152 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6798/6798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 141 ms. (28 steps per ms) remains 6797/6798 properties
BEST_FIRST walk for 4002 steps (8 resets) in 150 ms. (26 steps per ms) remains 6797/6797 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6797/6797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 6796/6797 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4002 steps (8 resets) in 173 ms. (23 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4002 steps (8 resets) in 149 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4002 steps (8 resets) in 149 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 143 ms. (27 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6794/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 143 ms. (27 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 162 ms. (24 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 143 ms. (27 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 142 ms. (27 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6792/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 144 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4002 steps (8 resets) in 147 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6792/6792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6792/6792 properties
Probabilistic random walk after 1000000 steps, saw 175695 distinct states, run finished after 120857 ms. (steps per millisecond=8 ) properties seen :0
[2025-06-06 09:20:42] [INFO ] Invariant cache hit.
[2025-06-06 09:20:42] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6792 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6792 unsolved
[2025-06-06 09:21:59] [INFO ] Deduced a trap composed of 244 places in 524 ms of which 3 ms to minimize.
[2025-06-06 09:21:59] [INFO ] Deduced a trap composed of 245 places in 518 ms of which 3 ms to minimize.
[2025-06-06 09:22:00] [INFO ] Deduced a trap composed of 245 places in 504 ms of which 3 ms to minimize.
[2025-06-06 09:22:00] [INFO ] Deduced a trap composed of 243 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:22:01] [INFO ] Deduced a trap composed of 246 places in 512 ms of which 2 ms to minimize.
[2025-06-06 09:22:02] [INFO ] Deduced a trap composed of 245 places in 510 ms of which 3 ms to minimize.
[2025-06-06 09:22:02] [INFO ] Deduced a trap composed of 245 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:22:03] [INFO ] Deduced a trap composed of 244 places in 508 ms of which 2 ms to minimize.
[2025-06-06 09:22:03] [INFO ] Deduced a trap composed of 241 places in 514 ms of which 3 ms to minimize.
[2025-06-06 09:22:04] [INFO ] Deduced a trap composed of 240 places in 515 ms of which 3 ms to minimize.
[2025-06-06 09:22:04] [INFO ] Deduced a trap composed of 239 places in 520 ms of which 3 ms to minimize.
[2025-06-06 09:22:05] [INFO ] Deduced a trap composed of 240 places in 519 ms of which 3 ms to minimize.
[2025-06-06 09:22:05] [INFO ] Deduced a trap composed of 241 places in 525 ms of which 3 ms to minimize.
[2025-06-06 09:22:06] [INFO ] Deduced a trap composed of 243 places in 526 ms of which 2 ms to minimize.
[2025-06-06 09:22:06] [INFO ] Deduced a trap composed of 242 places in 548 ms of which 3 ms to minimize.
[2025-06-06 09:22:07] [INFO ] Deduced a trap composed of 241 places in 519 ms of which 2 ms to minimize.
[2025-06-06 09:22:08] [INFO ] Deduced a trap composed of 244 places in 522 ms of which 3 ms to minimize.
[2025-06-06 09:22:08] [INFO ] Deduced a trap composed of 242 places in 519 ms of which 3 ms to minimize.
[2025-06-06 09:22:09] [INFO ] Deduced a trap composed of 243 places in 515 ms of which 3 ms to minimize.
[2025-06-06 09:22:10] [INFO ] Deduced a trap composed of 241 places in 523 ms of which 3 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 0 solved, 6792 unsolved
[2025-06-06 09:22:22] [INFO ] Deduced a trap composed of 243 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:22:23] [INFO ] Deduced a trap composed of 247 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:22:23] [INFO ] Deduced a trap composed of 245 places in 490 ms of which 3 ms to minimize.
[2025-06-06 09:22:24] [INFO ] Deduced a trap composed of 246 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:22:24] [INFO ] Deduced a trap composed of 240 places in 515 ms of which 3 ms to minimize.
[2025-06-06 09:22:25] [INFO ] Deduced a trap composed of 245 places in 508 ms of which 3 ms to minimize.
[2025-06-06 09:22:25] [INFO ] Deduced a trap composed of 245 places in 508 ms of which 2 ms to minimize.
[2025-06-06 09:22:26] [INFO ] Deduced a trap composed of 243 places in 510 ms of which 3 ms to minimize.
SMT process timed out in 103873ms, After SMT, problems are : Problem set: 0 solved, 6792 unsolved
Fused 6792 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 114 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 114 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 268360 steps (0 resets) in 120004 ms. (2 steps per ms) remains 6774/6792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 173 ms. (23 steps per ms) remains 6773/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 170 ms. (23 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6772/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4002 steps (8 resets) in 257 ms. (15 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4002 steps (8 resets) in 249 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6770/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4001 steps (8 resets) in 235 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 190 ms. (20 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 6770/6770 properties
Interrupted probabilistic random walk after 852057 steps, run timeout after 105001 ms. (steps per millisecond=8 ) properties seen :0 out of 6770
Probabilistic random walk after 852057 steps, saw 153028 distinct states, run finished after 105001 ms. (steps per millisecond=8 ) properties seen :0
[2025-06-06 09:24:47] [INFO ] Invariant cache hit.
[2025-06-06 09:24:47] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6770 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6770 unsolved
[2025-06-06 09:25:59] [INFO ] Deduced a trap composed of 244 places in 507 ms of which 3 ms to minimize.
[2025-06-06 09:26:00] [INFO ] Deduced a trap composed of 244 places in 499 ms of which 3 ms to minimize.
[2025-06-06 09:26:01] [INFO ] Deduced a trap composed of 244 places in 504 ms of which 2 ms to minimize.
[2025-06-06 09:26:01] [INFO ] Deduced a trap composed of 243 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:26:02] [INFO ] Deduced a trap composed of 244 places in 500 ms of which 3 ms to minimize.
[2025-06-06 09:26:02] [INFO ] Deduced a trap composed of 250 places in 512 ms of which 2 ms to minimize.
[2025-06-06 09:26:03] [INFO ] Deduced a trap composed of 251 places in 513 ms of which 3 ms to minimize.
[2025-06-06 09:26:03] [INFO ] Deduced a trap composed of 251 places in 498 ms of which 2 ms to minimize.
[2025-06-06 09:26:04] [INFO ] Deduced a trap composed of 242 places in 492 ms of which 3 ms to minimize.
[2025-06-06 09:26:04] [INFO ] Deduced a trap composed of 243 places in 505 ms of which 3 ms to minimize.
[2025-06-06 09:26:05] [INFO ] Deduced a trap composed of 253 places in 507 ms of which 2 ms to minimize.
[2025-06-06 09:26:05] [INFO ] Deduced a trap composed of 245 places in 506 ms of which 3 ms to minimize.
[2025-06-06 09:26:06] [INFO ] Deduced a trap composed of 254 places in 508 ms of which 3 ms to minimize.
[2025-06-06 09:26:06] [INFO ] Deduced a trap composed of 250 places in 516 ms of which 2 ms to minimize.
[2025-06-06 09:26:07] [INFO ] Deduced a trap composed of 245 places in 516 ms of which 3 ms to minimize.
[2025-06-06 09:26:07] [INFO ] Deduced a trap composed of 247 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:26:08] [INFO ] Deduced a trap composed of 250 places in 508 ms of which 3 ms to minimize.
[2025-06-06 09:26:08] [INFO ] Deduced a trap composed of 244 places in 509 ms of which 3 ms to minimize.
[2025-06-06 09:26:09] [INFO ] Deduced a trap composed of 246 places in 503 ms of which 3 ms to minimize.
[2025-06-06 09:26:09] [INFO ] Deduced a trap composed of 241 places in 500 ms of which 3 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 0 solved, 6770 unsolved
[2025-06-06 09:26:21] [INFO ] Deduced a trap composed of 245 places in 503 ms of which 3 ms to minimize.
[2025-06-06 09:26:22] [INFO ] Deduced a trap composed of 241 places in 497 ms of which 2 ms to minimize.
[2025-06-06 09:26:22] [INFO ] Deduced a trap composed of 243 places in 497 ms of which 3 ms to minimize.
[2025-06-06 09:26:23] [INFO ] Deduced a trap composed of 252 places in 494 ms of which 2 ms to minimize.
[2025-06-06 09:26:23] [INFO ] Deduced a trap composed of 242 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:26:24] [INFO ] Deduced a trap composed of 245 places in 496 ms of which 3 ms to minimize.
[2025-06-06 09:26:24] [INFO ] Deduced a trap composed of 254 places in 499 ms of which 2 ms to minimize.
[2025-06-06 09:26:25] [INFO ] Deduced a trap composed of 241 places in 505 ms of which 3 ms to minimize.
[2025-06-06 09:26:26] [INFO ] Deduced a trap composed of 240 places in 507 ms of which 2 ms to minimize.
[2025-06-06 09:26:26] [INFO ] Deduced a trap composed of 243 places in 502 ms of which 2 ms to minimize.
[2025-06-06 09:26:27] [INFO ] Deduced a trap composed of 247 places in 504 ms of which 3 ms to minimize.
[2025-06-06 09:26:27] [INFO ] Deduced a trap composed of 245 places in 504 ms of which 3 ms to minimize.
[2025-06-06 09:26:28] [INFO ] Deduced a trap composed of 246 places in 509 ms of which 3 ms to minimize.
[2025-06-06 09:26:28] [INFO ] Deduced a trap composed of 242 places in 513 ms of which 2 ms to minimize.
[2025-06-06 09:26:29] [INFO ] Deduced a trap composed of 246 places in 506 ms of which 3 ms to minimize.
[2025-06-06 09:26:29] [INFO ] Deduced a trap composed of 242 places in 513 ms of which 2 ms to minimize.
[2025-06-06 09:26:30] [INFO ] Deduced a trap composed of 245 places in 502 ms of which 2 ms to minimize.
[2025-06-06 09:26:30] [INFO ] Deduced a trap composed of 242 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:26:31] [INFO ] Deduced a trap composed of 244 places in 509 ms of which 2 ms to minimize.
[2025-06-06 09:26:31] [INFO ] Deduced a trap composed of 242 places in 508 ms of which 3 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/441 variables, 20/502 constraints. Problems are: Problem set: 0 solved, 6770 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 441/8862 variables, and 502 constraints, problems are : Problem set: 0 solved, 6770 unsolved in 105121 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 6770/6770 constraints, Known Traps: 40/40 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6770 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6770 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6770 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 40/502 constraints. Problems are: Problem set: 0 solved, 6770 unsolved
[2025-06-06 09:27:08] [INFO ] Deduced a trap composed of 241 places in 499 ms of which 3 ms to minimize.
[2025-06-06 09:27:08] [INFO ] Deduced a trap composed of 244 places in 514 ms of which 2 ms to minimize.
[2025-06-06 09:27:09] [INFO ] Deduced a trap composed of 247 places in 507 ms of which 3 ms to minimize.
[2025-06-06 09:27:09] [INFO ] Deduced a trap composed of 245 places in 504 ms of which 3 ms to minimize.
[2025-06-06 09:27:10] [INFO ] Deduced a trap composed of 247 places in 506 ms of which 3 ms to minimize.
[2025-06-06 09:27:10] [INFO ] Deduced a trap composed of 244 places in 504 ms of which 3 ms to minimize.
[2025-06-06 09:27:11] [INFO ] Deduced a trap composed of 247 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:27:12] [INFO ] Deduced a trap composed of 249 places in 495 ms of which 3 ms to minimize.
[2025-06-06 09:27:12] [INFO ] Deduced a trap composed of 240 places in 495 ms of which 2 ms to minimize.
[2025-06-06 09:27:13] [INFO ] Deduced a trap composed of 252 places in 499 ms of which 2 ms to minimize.
[2025-06-06 09:27:13] [INFO ] Deduced a trap composed of 244 places in 508 ms of which 3 ms to minimize.
[2025-06-06 09:27:14] [INFO ] Deduced a trap composed of 250 places in 499 ms of which 3 ms to minimize.
[2025-06-06 09:27:14] [INFO ] Deduced a trap composed of 254 places in 500 ms of which 3 ms to minimize.
[2025-06-06 09:27:15] [INFO ] Deduced a trap composed of 248 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:27:15] [INFO ] Deduced a trap composed of 247 places in 500 ms of which 3 ms to minimize.
[2025-06-06 09:27:16] [INFO ] Deduced a trap composed of 246 places in 512 ms of which 3 ms to minimize.
[2025-06-06 09:27:16] [INFO ] Deduced a trap composed of 251 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:27:17] [INFO ] Deduced a trap composed of 251 places in 509 ms of which 3 ms to minimize.
[2025-06-06 09:27:17] [INFO ] Deduced a trap composed of 241 places in 513 ms of which 3 ms to minimize.
[2025-06-06 09:27:18] [INFO ] Deduced a trap composed of 247 places in 498 ms of which 3 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/441 variables, 20/522 constraints. Problems are: Problem set: 0 solved, 6770 unsolved
[2025-06-06 09:27:43] [INFO ] Deduced a trap composed of 248 places in 508 ms of which 2 ms to minimize.
[2025-06-06 09:27:44] [INFO ] Deduced a trap composed of 247 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:27:44] [INFO ] Deduced a trap composed of 244 places in 499 ms of which 3 ms to minimize.
[2025-06-06 09:27:45] [INFO ] Deduced a trap composed of 245 places in 504 ms of which 3 ms to minimize.
[2025-06-06 09:27:45] [INFO ] Deduced a trap composed of 251 places in 505 ms of which 3 ms to minimize.
[2025-06-06 09:27:46] [INFO ] Deduced a trap composed of 244 places in 522 ms of which 3 ms to minimize.
[2025-06-06 09:27:46] [INFO ] Deduced a trap composed of 248 places in 505 ms of which 3 ms to minimize.
[2025-06-06 09:27:47] [INFO ] Deduced a trap composed of 253 places in 501 ms of which 3 ms to minimize.
[2025-06-06 09:27:47] [INFO ] Deduced a trap composed of 244 places in 490 ms of which 3 ms to minimize.
[2025-06-06 09:27:48] [INFO ] Deduced a trap composed of 249 places in 507 ms of which 3 ms to minimize.
[2025-06-06 09:27:48] [INFO ] Deduced a trap composed of 241 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:27:49] [INFO ] Deduced a trap composed of 241 places in 504 ms of which 3 ms to minimize.
[2025-06-06 09:27:49] [INFO ] Deduced a trap composed of 245 places in 499 ms of which 2 ms to minimize.
[2025-06-06 09:27:50] [INFO ] Deduced a trap composed of 250 places in 500 ms of which 3 ms to minimize.
[2025-06-06 09:27:51] [INFO ] Deduced a trap composed of 243 places in 504 ms of which 3 ms to minimize.
[2025-06-06 09:27:51] [INFO ] Deduced a trap composed of 247 places in 493 ms of which 3 ms to minimize.
[2025-06-06 09:27:52] [INFO ] Deduced a trap composed of 246 places in 496 ms of which 2 ms to minimize.
[2025-06-06 09:27:52] [INFO ] Deduced a trap composed of 245 places in 505 ms of which 3 ms to minimize.
[2025-06-06 09:27:53] [INFO ] Deduced a trap composed of 248 places in 497 ms of which 2 ms to minimize.
[2025-06-06 09:27:53] [INFO ] Deduced a trap composed of 242 places in 498 ms of which 3 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/441 variables, 20/542 constraints. Problems are: Problem set: 0 solved, 6770 unsolved
[2025-06-06 09:28:25] [INFO ] Deduced a trap composed of 250 places in 509 ms of which 3 ms to minimize.
[2025-06-06 09:28:26] [INFO ] Deduced a trap composed of 242 places in 510 ms of which 3 ms to minimize.
[2025-06-06 09:28:26] [INFO ] Deduced a trap composed of 243 places in 506 ms of which 3 ms to minimize.
[2025-06-06 09:28:27] [INFO ] Deduced a trap composed of 244 places in 494 ms of which 3 ms to minimize.
[2025-06-06 09:28:27] [INFO ] Deduced a trap composed of 247 places in 497 ms of which 3 ms to minimize.
[2025-06-06 09:28:28] [INFO ] Deduced a trap composed of 248 places in 498 ms of which 3 ms to minimize.
[2025-06-06 09:28:28] [INFO ] Deduced a trap composed of 247 places in 492 ms of which 2 ms to minimize.
[2025-06-06 09:28:29] [INFO ] Deduced a trap composed of 250 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:28:29] [INFO ] Deduced a trap composed of 244 places in 505 ms of which 3 ms to minimize.
[2025-06-06 09:28:30] [INFO ] Deduced a trap composed of 250 places in 488 ms of which 5 ms to minimize.
SMT process timed out in 223084ms, After SMT, problems are : Problem set: 0 solved, 6770 unsolved
Fused 6770 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 114 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 114 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 256667 steps (0 resets) in 120004 ms. (2 steps per ms) remains 6766/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6764/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6763/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4002 steps (8 resets) in 260 ms. (15 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4002 steps (8 resets) in 237 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4002 steps (8 resets) in 231 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4002 steps (8 resets) in 245 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4002 steps (8 resets) in 218 ms. (18 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4002 steps (8 resets) in 244 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4002 steps (8 resets) in 245 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6763/6763 properties
Interrupted probabilistic random walk after 830492 steps, run timeout after 105001 ms. (steps per millisecond=7 ) properties seen :0 out of 6763
Probabilistic random walk after 830492 steps, saw 149691 distinct states, run finished after 105001 ms. (steps per millisecond=7 ) properties seen :0
[2025-06-06 09:30:50] [INFO ] Invariant cache hit.
[2025-06-06 09:30:50] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6763 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6763 unsolved
[2025-06-06 09:32:07] [INFO ] Deduced a trap composed of 244 places in 511 ms of which 3 ms to minimize.
[2025-06-06 09:32:07] [INFO ] Deduced a trap composed of 245 places in 497 ms of which 3 ms to minimize.
[2025-06-06 09:32:08] [INFO ] Deduced a trap composed of 245 places in 487 ms of which 3 ms to minimize.
[2025-06-06 09:32:08] [INFO ] Deduced a trap composed of 246 places in 505 ms of which 3 ms to minimize.
[2025-06-06 09:32:09] [INFO ] Deduced a trap composed of 247 places in 490 ms of which 2 ms to minimize.
[2025-06-06 09:32:09] [INFO ] Deduced a trap composed of 245 places in 499 ms of which 3 ms to minimize.
[2025-06-06 09:32:10] [INFO ] Deduced a trap composed of 241 places in 496 ms of which 2 ms to minimize.
[2025-06-06 09:32:10] [INFO ] Deduced a trap composed of 252 places in 495 ms of which 2 ms to minimize.
[2025-06-06 09:32:11] [INFO ] Deduced a trap composed of 251 places in 490 ms of which 2 ms to minimize.
[2025-06-06 09:32:11] [INFO ] Deduced a trap composed of 252 places in 499 ms of which 2 ms to minimize.
[2025-06-06 09:32:12] [INFO ] Deduced a trap composed of 245 places in 494 ms of which 3 ms to minimize.
[2025-06-06 09:32:12] [INFO ] Deduced a trap composed of 247 places in 489 ms of which 3 ms to minimize.
[2025-06-06 09:32:13] [INFO ] Deduced a trap composed of 244 places in 499 ms of which 3 ms to minimize.
[2025-06-06 09:32:13] [INFO ] Deduced a trap composed of 246 places in 500 ms of which 3 ms to minimize.
[2025-06-06 09:32:14] [INFO ] Deduced a trap composed of 243 places in 492 ms of which 2 ms to minimize.
[2025-06-06 09:32:14] [INFO ] Deduced a trap composed of 246 places in 495 ms of which 3 ms to minimize.
[2025-06-06 09:32:15] [INFO ] Deduced a trap composed of 250 places in 498 ms of which 3 ms to minimize.
[2025-06-06 09:32:15] [INFO ] Deduced a trap composed of 253 places in 493 ms of which 2 ms to minimize.
[2025-06-06 09:32:16] [INFO ] Deduced a trap composed of 248 places in 497 ms of which 3 ms to minimize.
[2025-06-06 09:32:16] [INFO ] Deduced a trap composed of 252 places in 498 ms of which 3 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 0 solved, 6763 unsolved
[2025-06-06 09:32:29] [INFO ] Deduced a trap composed of 244 places in 498 ms of which 2 ms to minimize.
[2025-06-06 09:32:29] [INFO ] Deduced a trap composed of 243 places in 494 ms of which 3 ms to minimize.
[2025-06-06 09:32:30] [INFO ] Deduced a trap composed of 243 places in 492 ms of which 2 ms to minimize.
[2025-06-06 09:32:30] [INFO ] Deduced a trap composed of 255 places in 494 ms of which 3 ms to minimize.
[2025-06-06 09:32:31] [INFO ] Deduced a trap composed of 248 places in 491 ms of which 3 ms to minimize.
[2025-06-06 09:32:31] [INFO ] Deduced a trap composed of 252 places in 493 ms of which 3 ms to minimize.
[2025-06-06 09:32:32] [INFO ] Deduced a trap composed of 249 places in 488 ms of which 2 ms to minimize.
[2025-06-06 09:32:32] [INFO ] Deduced a trap composed of 249 places in 498 ms of which 2 ms to minimize.
[2025-06-06 09:32:33] [INFO ] Deduced a trap composed of 247 places in 500 ms of which 3 ms to minimize.
[2025-06-06 09:32:33] [INFO ] Deduced a trap composed of 242 places in 495 ms of which 3 ms to minimize.
[2025-06-06 09:32:34] [INFO ] Deduced a trap composed of 247 places in 499 ms of which 2 ms to minimize.
[2025-06-06 09:32:34] [INFO ] Deduced a trap composed of 246 places in 496 ms of which 2 ms to minimize.
[2025-06-06 09:32:35] [INFO ] Deduced a trap composed of 248 places in 522 ms of which 3 ms to minimize.
[2025-06-06 09:32:35] [INFO ] Deduced a trap composed of 248 places in 493 ms of which 2 ms to minimize.
[2025-06-06 09:32:36] [INFO ] Deduced a trap composed of 248 places in 481 ms of which 3 ms to minimize.
[2025-06-06 09:32:36] [INFO ] Deduced a trap composed of 243 places in 489 ms of which 3 ms to minimize.
[2025-06-06 09:32:37] [INFO ] Deduced a trap composed of 251 places in 495 ms of which 3 ms to minimize.
[2025-06-06 09:32:37] [INFO ] Deduced a trap composed of 248 places in 493 ms of which 3 ms to minimize.
[2025-06-06 09:32:38] [INFO ] Deduced a trap composed of 252 places in 494 ms of which 2 ms to minimize.
[2025-06-06 09:32:38] [INFO ] Deduced a trap composed of 247 places in 502 ms of which 3 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/441 variables, 20/502 constraints. Problems are: Problem set: 0 solved, 6763 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 441/8862 variables, and 502 constraints, problems are : Problem set: 0 solved, 6763 unsolved in 120100 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 6763/6763 constraints, Known Traps: 40/40 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6763 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6763 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6763 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 40/502 constraints. Problems are: Problem set: 0 solved, 6763 unsolved
[2025-06-06 09:33:29] [INFO ] Deduced a trap composed of 253 places in 516 ms of which 2 ms to minimize.
[2025-06-06 09:33:30] [INFO ] Deduced a trap composed of 242 places in 512 ms of which 3 ms to minimize.
[2025-06-06 09:33:30] [INFO ] Deduced a trap composed of 244 places in 519 ms of which 2 ms to minimize.
[2025-06-06 09:33:31] [INFO ] Deduced a trap composed of 252 places in 502 ms of which 2 ms to minimize.
[2025-06-06 09:33:31] [INFO ] Deduced a trap composed of 248 places in 509 ms of which 3 ms to minimize.
[2025-06-06 09:33:32] [INFO ] Deduced a trap composed of 249 places in 523 ms of which 3 ms to minimize.
[2025-06-06 09:33:32] [INFO ] Deduced a trap composed of 245 places in 513 ms of which 3 ms to minimize.
[2025-06-06 09:33:33] [INFO ] Deduced a trap composed of 249 places in 510 ms of which 3 ms to minimize.
[2025-06-06 09:33:33] [INFO ] Deduced a trap composed of 249 places in 504 ms of which 2 ms to minimize.
[2025-06-06 09:33:34] [INFO ] Deduced a trap composed of 244 places in 504 ms of which 4 ms to minimize.
[2025-06-06 09:33:34] [INFO ] Deduced a trap composed of 240 places in 503 ms of which 3 ms to minimize.
[2025-06-06 09:33:35] [INFO ] Deduced a trap composed of 241 places in 518 ms of which 3 ms to minimize.
[2025-06-06 09:33:35] [INFO ] Deduced a trap composed of 242 places in 504 ms of which 2 ms to minimize.
[2025-06-06 09:33:36] [INFO ] Deduced a trap composed of 244 places in 493 ms of which 2 ms to minimize.
[2025-06-06 09:33:37] [INFO ] Deduced a trap composed of 234 places in 506 ms of which 2 ms to minimize.
[2025-06-06 09:33:37] [INFO ] Deduced a trap composed of 244 places in 507 ms of which 3 ms to minimize.
[2025-06-06 09:33:38] [INFO ] Deduced a trap composed of 245 places in 513 ms of which 3 ms to minimize.
[2025-06-06 09:33:38] [INFO ] Deduced a trap composed of 244 places in 506 ms of which 3 ms to minimize.
[2025-06-06 09:33:39] [INFO ] Deduced a trap composed of 247 places in 508 ms of which 2 ms to minimize.
[2025-06-06 09:33:39] [INFO ] Deduced a trap composed of 248 places in 503 ms of which 3 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/441 variables, 20/522 constraints. Problems are: Problem set: 0 solved, 6763 unsolved
[2025-06-06 09:34:06] [INFO ] Deduced a trap composed of 243 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:34:07] [INFO ] Deduced a trap composed of 243 places in 510 ms of which 3 ms to minimize.
[2025-06-06 09:34:07] [INFO ] Deduced a trap composed of 255 places in 505 ms of which 2 ms to minimize.
[2025-06-06 09:34:08] [INFO ] Deduced a trap composed of 246 places in 488 ms of which 3 ms to minimize.
[2025-06-06 09:34:08] [INFO ] Deduced a trap composed of 250 places in 491 ms of which 3 ms to minimize.
[2025-06-06 09:34:09] [INFO ] Deduced a trap composed of 252 places in 479 ms of which 3 ms to minimize.
[2025-06-06 09:34:09] [INFO ] Deduced a trap composed of 250 places in 495 ms of which 3 ms to minimize.
[2025-06-06 09:34:10] [INFO ] Deduced a trap composed of 250 places in 494 ms of which 3 ms to minimize.
[2025-06-06 09:34:10] [INFO ] Deduced a trap composed of 250 places in 504 ms of which 3 ms to minimize.
[2025-06-06 09:34:11] [INFO ] Deduced a trap composed of 248 places in 488 ms of which 3 ms to minimize.
[2025-06-06 09:34:11] [INFO ] Deduced a trap composed of 251 places in 504 ms of which 4 ms to minimize.
[2025-06-06 09:34:12] [INFO ] Deduced a trap composed of 251 places in 508 ms of which 3 ms to minimize.
[2025-06-06 09:34:12] [INFO ] Deduced a trap composed of 247 places in 505 ms of which 3 ms to minimize.
[2025-06-06 09:34:13] [INFO ] Deduced a trap composed of 248 places in 509 ms of which 3 ms to minimize.
[2025-06-06 09:34:14] [INFO ] Deduced a trap composed of 247 places in 502 ms of which 2 ms to minimize.
[2025-06-06 09:34:14] [INFO ] Deduced a trap composed of 249 places in 493 ms of which 3 ms to minimize.
[2025-06-06 09:34:15] [INFO ] Deduced a trap composed of 246 places in 497 ms of which 3 ms to minimize.
[2025-06-06 09:34:15] [INFO ] Deduced a trap composed of 247 places in 503 ms of which 5 ms to minimize.
[2025-06-06 09:34:16] [INFO ] Deduced a trap composed of 252 places in 494 ms of which 3 ms to minimize.
[2025-06-06 09:34:16] [INFO ] Deduced a trap composed of 249 places in 500 ms of which 2 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/441 variables, 20/542 constraints. Problems are: Problem set: 0 solved, 6763 unsolved
[2025-06-06 09:34:49] [INFO ] Deduced a trap composed of 244 places in 506 ms of which 3 ms to minimize.
[2025-06-06 09:34:50] [INFO ] Deduced a trap composed of 248 places in 503 ms of which 3 ms to minimize.
[2025-06-06 09:34:51] [INFO ] Deduced a trap composed of 251 places in 503 ms of which 2 ms to minimize.
[2025-06-06 09:34:51] [INFO ] Deduced a trap composed of 254 places in 491 ms of which 3 ms to minimize.
[2025-06-06 09:34:52] [INFO ] Deduced a trap composed of 257 places in 496 ms of which 3 ms to minimize.
[2025-06-06 09:34:52] [INFO ] Deduced a trap composed of 252 places in 494 ms of which 3 ms to minimize.
[2025-06-06 09:34:53] [INFO ] Deduced a trap composed of 249 places in 495 ms of which 2 ms to minimize.
[2025-06-06 09:34:53] [INFO ] Deduced a trap composed of 252 places in 494 ms of which 3 ms to minimize.
[2025-06-06 09:34:54] [INFO ] Deduced a trap composed of 248 places in 501 ms of which 3 ms to minimize.
[2025-06-06 09:34:54] [INFO ] Deduced a trap composed of 250 places in 503 ms of which 3 ms to minimize.
[2025-06-06 09:34:55] [INFO ] Deduced a trap composed of 246 places in 502 ms of which 3 ms to minimize.
[2025-06-06 09:34:55] [INFO ] Deduced a trap composed of 249 places in 497 ms of which 2 ms to minimize.
[2025-06-06 09:34:56] [INFO ] Deduced a trap composed of 251 places in 495 ms of which 3 ms to minimize.
[2025-06-06 09:34:56] [INFO ] Deduced a trap composed of 255 places in 496 ms of which 3 ms to minimize.
[2025-06-06 09:34:57] [INFO ] Deduced a trap composed of 254 places in 499 ms of which 3 ms to minimize.
[2025-06-06 09:34:57] [INFO ] Deduced a trap composed of 250 places in 503 ms of which 2 ms to minimize.
[2025-06-06 09:34:58] [INFO ] Deduced a trap composed of 244 places in 515 ms of which 3 ms to minimize.
[2025-06-06 09:34:58] [INFO ] Deduced a trap composed of 246 places in 496 ms of which 2 ms to minimize.
[2025-06-06 09:34:59] [INFO ] Deduced a trap composed of 246 places in 497 ms of which 2 ms to minimize.
[2025-06-06 09:35:00] [INFO ] Deduced a trap composed of 251 places in 498 ms of which 2 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/441 variables, 20/562 constraints. Problems are: Problem set: 0 solved, 6763 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 441/8862 variables, and 562 constraints, problems are : Problem set: 0 solved, 6763 unsolved in 120130 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 0/6763 constraints, Known Traps: 100/100 constraints]
After SMT, in 253293ms problems are : Problem set: 0 solved, 6763 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 123 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 123 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 159006 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6753/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6752/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4002 steps (8 resets) in 212 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4002 steps (8 resets) in 213 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4002 steps (8 resets) in 237 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4002 steps (8 resets) in 242 ms. (16 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6752/6752 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination Liveness -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="TokenRing-PT-020"
export BK_EXAMINATION="Liveness"
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 TokenRing-PT-020, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r252-tall-174915605600224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-020.tgz
mv TokenRing-PT-020 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "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 [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "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 "Liveness.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 [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] ; then
echo "FORMULA_NAME Liveness"
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 ;