About the Execution of LTSMin+red for MultiCrashLeafsetExtension-PT-S24C05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3017.048 | 1800000.00 | 3014944.00 | 2724.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r510-tall-171654364500053.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool ltsminxred
Input is MultiCrashLeafsetExtension-PT-S24C05, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r510-tall-171654364500053
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 19 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 19 18:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Apr 12 06:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Apr 12 06:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 12M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1717221579844
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C05
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 05:59:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-06-01 05:59:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 05:59:41] [INFO ] Load time of PNML (sax parser for PT used): 650 ms
[2024-06-01 05:59:42] [INFO ] Transformed 11106 places.
[2024-06-01 05:59:42] [INFO ] Transformed 16561 transitions.
[2024-06-01 05:59:42] [INFO ] Parsed PT model containing 11106 places and 16561 transitions and 65150 arcs in 903 ms.
RANDOM walk for 40000 steps (772 resets) in 6668 ms. (5 steps per ms) remains 7021/11106 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 115 ms. (1 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 121 ms. (1 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 89 ms. (1 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 75 ms. (1 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 84 ms. (1 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7021/7021 properties
[2024-06-01 05:59:44] [INFO ] Flow matrix only has 15961 transitions (discarded 600 similar events)
// Phase 1: matrix 15961 rows 11106 cols
[2024-06-01 05:59:45] [INFO ] Computed 975 invariants in 1049 ms
[2024-06-01 05:59:46] [INFO ] State equation strengthened by 5002 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/7021 variables, 113/113 constraints. Problems are: Problem set: 0 solved, 7021 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 7021/27067 variables, and 113 constraints, problems are : Problem set: 0 solved, 7021 unsolved in 5331 ms.
Refiners :[Positive P Invariants (semi-flows): 0/64 constraints, Generalized P Invariants (flows): 113/911 constraints, State Equation: 0/11106 constraints, ReadFeed: 0/5002 constraints, PredecessorRefiner: 7021/7021 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 7021 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/7021 variables, 113/113 constraints. Problems are: Problem set: 0 solved, 7021 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 7021/27067 variables, and 113 constraints, problems are : Problem set: 0 solved, 7021 unsolved in 5140 ms.
Refiners :[Positive P Invariants (semi-flows): 0/64 constraints, Generalized P Invariants (flows): 113/911 constraints, State Equation: 0/11106 constraints, ReadFeed: 0/5002 constraints, PredecessorRefiner: 0/7021 constraints, Known Traps: 0/0 constraints]
After SMT, in 22265ms problems are : Problem set: 0 solved, 7021 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 7021 out of 11106 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11106/11106 places, 16561/16561 transitions.
Graph (complete) has 37715 edges and 11106 vertex of which 11068 are kept as prefixes of interest. Removing 38 places using SCC suffix rule.40 ms
Discarding 38 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 501 transitions
Trivial Post-agglo rules discarded 501 transitions
Performed 501 trivial Post agglomeration. Transition count delta: 501
Iterating post reduction 0 with 501 rules applied. Total rules applied 502 place count 11068 transition count 16060
Reduce places removed 501 places and 0 transitions.
Performed 194 Post agglomeration using F-continuation condition.Transition count delta: 194
Iterating post reduction 1 with 695 rules applied. Total rules applied 1197 place count 10567 transition count 15866
Reduce places removed 194 places and 0 transitions.
Iterating post reduction 2 with 194 rules applied. Total rules applied 1391 place count 10373 transition count 15866
Performed 169 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 169 Pre rules applied. Total rules applied 1391 place count 10373 transition count 15697
Deduced a syphon composed of 169 places in 14 ms
Reduce places removed 169 places and 0 transitions.
Iterating global reduction 3 with 338 rules applied. Total rules applied 1729 place count 10204 transition count 15697
Discarding 329 places :
Symmetric choice reduction at 3 with 329 rule applications. Total rules 2058 place count 9875 transition count 15368
Iterating global reduction 3 with 329 rules applied. Total rules applied 2387 place count 9875 transition count 15368
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 13 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 2391 place count 9873 transition count 15366
Free-agglomeration rule (complex) applied 386 times.
Iterating global reduction 3 with 386 rules applied. Total rules applied 2777 place count 9873 transition count 14980
Reduce places removed 386 places and 0 transitions.
Iterating post reduction 3 with 386 rules applied. Total rules applied 3163 place count 9487 transition count 14980
Partial Free-agglomeration rule applied 172 times.
Drop transitions (Partial Free agglomeration) removed 172 transitions
Iterating global reduction 4 with 172 rules applied. Total rules applied 3335 place count 9487 transition count 14980
Applied a total of 3335 rules in 3177 ms. Remains 9487 /11106 variables (removed 1619) and now considering 14980/16561 (removed 1581) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3190 ms. Remains : 9487/11106 places, 14980/16561 transitions.
RANDOM walk for 448711 steps (11076 resets) in 120004 ms. (3 steps per ms) remains 2835/7021 properties
BEST_FIRST walk for 4004 steps (12 resets) in 142 ms. (28 steps per ms) remains 2835/2835 properties
BEST_FIRST walk for 4004 steps (12 resets) in 173 ms. (23 steps per ms) remains 2835/2835 properties
BEST_FIRST walk for 4001 steps (12 resets) in 120 ms. (33 steps per ms) remains 2835/2835 properties
BEST_FIRST walk for 4003 steps (12 resets) in 105 ms. (37 steps per ms) remains 2835/2835 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2833/2835 properties
BEST_FIRST walk for 4003 steps (12 resets) in 119 ms. (33 steps per ms) remains 2833/2833 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2833/2833 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2833/2833 properties
BEST_FIRST walk for 4003 steps (12 resets) in 105 ms. (37 steps per ms) remains 2833/2833 properties
BEST_FIRST walk for 4004 steps (12 resets) in 130 ms. (30 steps per ms) remains 2831/2833 properties
BEST_FIRST walk for 4002 steps (12 resets) in 103 ms. (38 steps per ms) remains 2831/2831 properties
BEST_FIRST walk for 4003 steps (12 resets) in 103 ms. (38 steps per ms) remains 2831/2831 properties
BEST_FIRST walk for 4004 steps (12 resets) in 139 ms. (28 steps per ms) remains 2831/2831 properties
BEST_FIRST walk for 4003 steps (12 resets) in 140 ms. (28 steps per ms) remains 2831/2831 properties
BEST_FIRST walk for 4004 steps (12 resets) in 153 ms. (26 steps per ms) remains 2831/2831 properties
BEST_FIRST walk for 4004 steps (12 resets) in 165 ms. (24 steps per ms) remains 2829/2831 properties
BEST_FIRST walk for 4004 steps (12 resets) in 168 ms. (23 steps per ms) remains 2827/2829 properties
BEST_FIRST walk for 4003 steps (12 resets) in 160 ms. (24 steps per ms) remains 2827/2827 properties
BEST_FIRST walk for 4004 steps (12 resets) in 171 ms. (23 steps per ms) remains 2825/2827 properties
BEST_FIRST walk for 4004 steps (12 resets) in 160 ms. (24 steps per ms) remains 2825/2825 properties
BEST_FIRST walk for 4002 steps (12 resets) in 125 ms. (31 steps per ms) remains 2825/2825 properties
BEST_FIRST walk for 4003 steps (12 resets) in 118 ms. (33 steps per ms) remains 2823/2825 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2821/2823 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2821/2821 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2821/2821 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2821/2821 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2821/2821 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2821/2821 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2821/2821 properties
BEST_FIRST walk for 4002 steps (12 resets) in 98 ms. (40 steps per ms) remains 2819/2821 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2817/2819 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2817/2817 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2815/2817 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2815/2815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2815/2815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2815/2815 properties
BEST_FIRST walk for 4003 steps (12 resets) in 103 ms. (38 steps per ms) remains 2815/2815 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2815/2815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2815/2815 properties
BEST_FIRST walk for 4002 steps (12 resets) in 101 ms. (39 steps per ms) remains 2815/2815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2815/2815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2815/2815 properties
BEST_FIRST walk for 4003 steps (12 resets) in 104 ms. (38 steps per ms) remains 2815/2815 properties
BEST_FIRST walk for 4003 steps (12 resets) in 103 ms. (38 steps per ms) remains 2813/2815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2813/2813 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2813/2813 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2813/2813 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2813/2813 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2813/2813 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2813/2813 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2813/2813 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2811/2813 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2809/2811 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2807/2809 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2807/2807 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2807/2807 properties
BEST_FIRST walk for 4002 steps (12 resets) in 99 ms. (40 steps per ms) remains 2805/2807 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2805/2805 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2805/2805 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2805/2805 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2805/2805 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2805/2805 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2803/2805 properties
BEST_FIRST walk for 4003 steps (12 resets) in 113 ms. (35 steps per ms) remains 2803/2803 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2803/2803 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2803/2803 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2801/2803 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2801/2801 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2801/2801 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2801/2801 properties
BEST_FIRST walk for 4002 steps (12 resets) in 98 ms. (40 steps per ms) remains 2799/2801 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2799/2799 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2799/2799 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2799/2799 properties
BEST_FIRST walk for 4002 steps (12 resets) in 98 ms. (40 steps per ms) remains 2799/2799 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2799/2799 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2795/2799 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2795/2795 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2795/2795 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2795/2795 properties
BEST_FIRST walk for 4003 steps (12 resets) in 109 ms. (36 steps per ms) remains 2795/2795 properties
BEST_FIRST walk for 4003 steps (12 resets) in 102 ms. (38 steps per ms) remains 2793/2795 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2793/2793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2793/2793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2793/2793 properties
BEST_FIRST walk for 4002 steps (12 resets) in 98 ms. (40 steps per ms) remains 2791/2793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2791/2791 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2791/2791 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2791/2791 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2791/2791 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2791/2791 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2791/2791 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2791/2791 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2790/2791 properties
BEST_FIRST walk for 4003 steps (12 resets) in 120 ms. (33 steps per ms) remains 2790/2790 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2790/2790 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2788/2790 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2788/2788 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2788/2788 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2788/2788 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2788/2788 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2788/2788 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2788/2788 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2788/2788 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2786/2788 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2782/2786 properties
BEST_FIRST walk for 4004 steps (12 resets) in 127 ms. (31 steps per ms) remains 2782/2782 properties
BEST_FIRST walk for 4004 steps (12 resets) in 107 ms. (37 steps per ms) remains 2782/2782 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2778/2782 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2778/2778 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2776/2778 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2774/2776 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2774/2774 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2772/2774 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2772/2772 properties
BEST_FIRST walk for 4002 steps (12 resets) in 95 ms. (41 steps per ms) remains 2770/2772 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4003 steps (12 resets) in 102 ms. (38 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4003 steps (12 resets) in 102 ms. (38 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4002 steps (12 resets) in 104 ms. (38 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4002 steps (12 resets) in 98 ms. (40 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2770/2770 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2768/2770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2768/2768 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2768/2768 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2766/2768 properties
BEST_FIRST walk for 4002 steps (12 resets) in 102 ms. (38 steps per ms) remains 2765/2766 properties
BEST_FIRST walk for 4002 steps (12 resets) in 100 ms. (39 steps per ms) remains 2765/2765 properties
BEST_FIRST walk for 4002 steps (12 resets) in 97 ms. (40 steps per ms) remains 2765/2765 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2765/2765 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2765/2765 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2765/2765 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2765/2765 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2765/2765 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2765/2765 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2765/2765 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2763/2765 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2763/2763 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2763/2763 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2763/2763 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2761/2763 properties
BEST_FIRST walk for 4004 steps (12 resets) in 115 ms. (34 steps per ms) remains 2761/2761 properties
BEST_FIRST walk for 4003 steps (12 resets) in 112 ms. (35 steps per ms) remains 2761/2761 properties
BEST_FIRST walk for 4003 steps (12 resets) in 104 ms. (38 steps per ms) remains 2761/2761 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2761/2761 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2761/2761 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2761/2761 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2761/2761 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2759/2761 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2759/2759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2757/2759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2757/2757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2757/2757 properties
BEST_FIRST walk for 4002 steps (12 resets) in 99 ms. (40 steps per ms) remains 2757/2757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2757/2757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2757/2757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 108 ms. (36 steps per ms) remains 2755/2757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2755/2755 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2754/2755 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2754/2754 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2754/2754 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2751/2754 properties
BEST_FIRST walk for 4004 steps (12 resets) in 127 ms. (31 steps per ms) remains 2749/2751 properties
BEST_FIRST walk for 4004 steps (12 resets) in 111 ms. (35 steps per ms) remains 2749/2749 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2749/2749 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2749/2749 properties
BEST_FIRST walk for 4004 steps (12 resets) in 108 ms. (36 steps per ms) remains 2749/2749 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2747/2749 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2746/2747 properties
BEST_FIRST walk for 4002 steps (12 resets) in 97 ms. (40 steps per ms) remains 2746/2746 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2746/2746 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2746/2746 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2746/2746 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2746/2746 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2746/2746 properties
BEST_FIRST walk for 4003 steps (12 resets) in 102 ms. (38 steps per ms) remains 2746/2746 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2746/2746 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2745/2746 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2745/2745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2745/2745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2745/2745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2745/2745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2745/2745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2745/2745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2745/2745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2745/2745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2743/2745 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2743/2743 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2743/2743 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2743/2743 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2743/2743 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2743/2743 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2743/2743 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2739/2743 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2739/2739 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2739/2739 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2739/2739 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2737/2739 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2737/2737 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2737/2737 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2735/2737 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2735/2735 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2735/2735 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2735/2735 properties
BEST_FIRST walk for 4002 steps (12 resets) in 101 ms. (39 steps per ms) remains 2735/2735 properties
BEST_FIRST walk for 4003 steps (12 resets) in 110 ms. (36 steps per ms) remains 2735/2735 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2735/2735 properties
BEST_FIRST walk for 4003 steps (12 resets) in 102 ms. (38 steps per ms) remains 2735/2735 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2733/2735 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2733/2733 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2733/2733 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2733/2733 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2733/2733 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2731/2733 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2731/2731 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2731/2731 properties
BEST_FIRST walk for 4002 steps (12 resets) in 97 ms. (40 steps per ms) remains 2731/2731 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2731/2731 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2731/2731 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2731/2731 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2731/2731 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2729/2731 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4003 steps (12 resets) in 114 ms. (34 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4004 steps (12 resets) in 108 ms. (36 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4002 steps (12 resets) in 99 ms. (40 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4002 steps (12 resets) in 98 ms. (40 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4004 steps (12 resets) in 112 ms. (35 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4003 steps (12 resets) in 102 ms. (38 steps per ms) remains 2729/2729 properties
BEST_FIRST walk for 4002 steps (12 resets) in 131 ms. (30 steps per ms) remains 2727/2729 properties
BEST_FIRST walk for 4004 steps (12 resets) in 111 ms. (35 steps per ms) remains 2727/2727 properties
BEST_FIRST walk for 4002 steps (12 resets) in 97 ms. (40 steps per ms) remains 2727/2727 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2727/2727 properties
BEST_FIRST walk for 4002 steps (12 resets) in 102 ms. (38 steps per ms) remains 2727/2727 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2725/2727 properties
BEST_FIRST walk for 4004 steps (12 resets) in 157 ms. (25 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4004 steps (12 resets) in 162 ms. (24 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4003 steps (12 resets) in 148 ms. (26 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4003 steps (12 resets) in 167 ms. (23 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4002 steps (12 resets) in 169 ms. (23 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4004 steps (12 resets) in 150 ms. (26 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4004 steps (12 resets) in 167 ms. (23 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4003 steps (12 resets) in 116 ms. (34 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4002 steps (12 resets) in 98 ms. (40 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2725/2725 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2723/2725 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2723/2723 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2723/2723 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2723/2723 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2723/2723 properties
BEST_FIRST walk for 4002 steps (12 resets) in 100 ms. (39 steps per ms) remains 2723/2723 properties
BEST_FIRST walk for 4003 steps (12 resets) in 118 ms. (33 steps per ms) remains 2723/2723 properties
BEST_FIRST walk for 4004 steps (12 resets) in 108 ms. (36 steps per ms) remains 2723/2723 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2723/2723 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2719/2723 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2715/2719 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4003 steps (12 resets) in 104 ms. (38 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2715/2715 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2713/2715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2713/2713 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2713/2713 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2713/2713 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2713/2713 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2713/2713 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2713/2713 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2713/2713 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2713/2713 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2713/2713 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2711/2713 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2711/2711 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2711/2711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2711/2711 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2711/2711 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2709/2711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2709/2709 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2709/2709 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2707/2709 properties
BEST_FIRST walk for 4002 steps (12 resets) in 99 ms. (40 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4003 steps (12 resets) in 103 ms. (38 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4002 steps (12 resets) in 95 ms. (41 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2707/2707 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2705/2707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2705/2705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2703/2705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2701/2703 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2701/2701 properties
BEST_FIRST walk for 4003 steps (12 resets) in 105 ms. (37 steps per ms) remains 2701/2701 properties
BEST_FIRST walk for 4002 steps (12 resets) in 94 ms. (42 steps per ms) remains 2701/2701 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2701/2701 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2701/2701 properties
BEST_FIRST walk for 4004 steps (12 resets) in 112 ms. (35 steps per ms) remains 2699/2701 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2699/2699 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2699/2699 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2699/2699 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2699/2699 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2697/2699 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2697/2697 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2697/2697 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2697/2697 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2697/2697 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2695/2697 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2693/2695 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2693/2693 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2693/2693 properties
BEST_FIRST walk for 4004 steps (12 resets) in 108 ms. (36 steps per ms) remains 2693/2693 properties
BEST_FIRST walk for 4004 steps (12 resets) in 107 ms. (37 steps per ms) remains 2693/2693 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2693/2693 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2693/2693 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2693/2693 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2693/2693 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2693/2693 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2693/2693 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2689/2693 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2689/2689 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2687/2689 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2687/2687 properties
BEST_FIRST walk for 4003 steps (12 resets) in 105 ms. (37 steps per ms) remains 2687/2687 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2687/2687 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2687/2687 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2687/2687 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2687/2687 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2687/2687 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2686/2687 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2686/2686 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2686/2686 properties
BEST_FIRST walk for 4004 steps (12 resets) in 107 ms. (37 steps per ms) remains 2686/2686 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2686/2686 properties
BEST_FIRST walk for 4004 steps (12 resets) in 91 ms. (43 steps per ms) remains 2686/2686 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2684/2686 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2684/2684 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2684/2684 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2684/2684 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2684/2684 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2684/2684 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2684/2684 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2684/2684 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2682/2684 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2680/2682 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2680/2680 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2680/2680 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2678/2680 properties
BEST_FIRST walk for 4004 steps (12 resets) in 115 ms. (34 steps per ms) remains 2678/2678 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2678/2678 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2678/2678 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2676/2678 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2676/2676 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2676/2676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2676/2676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2672/2676 properties
BEST_FIRST walk for 4002 steps (12 resets) in 91 ms. (43 steps per ms) remains 2672/2672 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2671/2672 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2671/2671 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2671/2671 properties
BEST_FIRST walk for 4004 steps (12 resets) in 90 ms. (44 steps per ms) remains 2671/2671 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2671/2671 properties
BEST_FIRST walk for 4002 steps (12 resets) in 96 ms. (41 steps per ms) remains 2671/2671 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2670/2671 properties
BEST_FIRST walk for 4002 steps (12 resets) in 91 ms. (43 steps per ms) remains 2670/2670 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2670/2670 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2670/2670 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2670/2670 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2670/2670 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2670/2670 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2668/2670 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2668/2668 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2668/2668 properties
BEST_FIRST walk for 4002 steps (12 resets) in 91 ms. (43 steps per ms) remains 2668/2668 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2668/2668 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2668/2668 properties
BEST_FIRST walk for 4002 steps (12 resets) in 92 ms. (43 steps per ms) remains 2668/2668 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2668/2668 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2668/2668 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2664/2668 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2664/2664 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2662/2664 properties
BEST_FIRST walk for 4004 steps (12 resets) in 108 ms. (36 steps per ms) remains 2662/2662 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2659/2662 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2659/2659 properties
BEST_FIRST walk for 4004 steps (12 resets) in 110 ms. (36 steps per ms) remains 2659/2659 properties
BEST_FIRST walk for 4004 steps (12 resets) in 108 ms. (36 steps per ms) remains 2659/2659 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2659/2659 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2659/2659 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2658/2659 properties
BEST_FIRST walk for 4004 steps (12 resets) in 90 ms. (44 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4002 steps (12 resets) in 93 ms. (42 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4004 steps (12 resets) in 114 ms. (34 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4003 steps (12 resets) in 103 ms. (38 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4003 steps (12 resets) in 89 ms. (44 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4002 steps (12 resets) in 93 ms. (42 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4002 steps (12 resets) in 108 ms. (36 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2658/2658 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2656/2658 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2656/2656 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2656/2656 properties
BEST_FIRST walk for 4002 steps (12 resets) in 94 ms. (42 steps per ms) remains 2656/2656 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2654/2656 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2650/2654 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4003 steps (12 resets) in 90 ms. (43 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4003 steps (12 resets) in 89 ms. (44 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4004 steps (12 resets) in 91 ms. (43 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4003 steps (12 resets) in 90 ms. (43 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4003 steps (12 resets) in 90 ms. (43 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4002 steps (12 resets) in 94 ms. (42 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2650/2650 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2648/2650 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2648/2648 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2646/2648 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2646/2646 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2646/2646 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2644/2646 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2644/2644 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2644/2644 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2644/2644 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2644/2644 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2642/2644 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2642/2642 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2640/2642 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2640/2640 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2640/2640 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2640/2640 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2640/2640 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2638/2640 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4003 steps (12 resets) in 92 ms. (43 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2638/2638 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2635/2638 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2635/2635 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2635/2635 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2635/2635 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2635/2635 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2635/2635 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2635/2635 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2633/2635 properties
BEST_FIRST walk for 4004 steps (12 resets) in 91 ms. (43 steps per ms) remains 2633/2633 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2631/2633 properties
BEST_FIRST walk for 4004 steps (12 resets) in 111 ms. (35 steps per ms) remains 2629/2631 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2629/2629 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2629/2629 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2629/2629 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2627/2629 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2627/2627 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2627/2627 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2627/2627 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2627/2627 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2627/2627 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2627/2627 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2627/2627 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2625/2627 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2625/2625 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2625/2625 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2625/2625 properties
BEST_FIRST walk for 4002 steps (12 resets) in 94 ms. (42 steps per ms) remains 2625/2625 properties
BEST_FIRST walk for 4003 steps (12 resets) in 105 ms. (37 steps per ms) remains 2625/2625 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2625/2625 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2625/2625 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2623/2625 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2623/2623 properties
BEST_FIRST walk for 4003 steps (12 resets) in 110 ms. (36 steps per ms) remains 2623/2623 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2623/2623 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2621/2623 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2619/2621 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2619/2619 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2619/2619 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2619/2619 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2619/2619 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2619/2619 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2617/2619 properties
BEST_FIRST walk for 4003 steps (12 resets) in 112 ms. (35 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 110 ms. (36 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4002 steps (12 resets) in 109 ms. (36 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 123 ms. (32 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 122 ms. (32 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 119 ms. (33 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 121 ms. (32 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 116 ms. (34 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 121 ms. (32 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2617/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2615/2617 properties
BEST_FIRST walk for 4003 steps (12 resets) in 121 ms. (32 steps per ms) remains 2615/2615 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2615/2615 properties
BEST_FIRST walk for 4004 steps (12 resets) in 122 ms. (32 steps per ms) remains 2615/2615 properties
BEST_FIRST walk for 4004 steps (12 resets) in 123 ms. (32 steps per ms) remains 2615/2615 properties
BEST_FIRST walk for 4003 steps (12 resets) in 112 ms. (35 steps per ms) remains 2613/2615 properties
BEST_FIRST walk for 4004 steps (12 resets) in 123 ms. (32 steps per ms) remains 2613/2613 properties
BEST_FIRST walk for 4002 steps (12 resets) in 97 ms. (40 steps per ms) remains 2613/2613 properties
BEST_FIRST walk for 4002 steps (12 resets) in 102 ms. (38 steps per ms) remains 2613/2613 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2609/2613 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2609/2609 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2609/2609 properties
BEST_FIRST walk for 4004 steps (12 resets) in 114 ms. (34 steps per ms) remains 2609/2609 properties
BEST_FIRST walk for 4003 steps (12 resets) in 124 ms. (32 steps per ms) remains 2609/2609 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2609/2609 properties
BEST_FIRST walk for 4003 steps (12 resets) in 121 ms. (32 steps per ms) remains 2609/2609 properties
BEST_FIRST walk for 4003 steps (12 resets) in 117 ms. (33 steps per ms) remains 2609/2609 properties
BEST_FIRST walk for 4001 steps (12 resets) in 112 ms. (35 steps per ms) remains 2609/2609 properties
BEST_FIRST walk for 4003 steps (12 resets) in 113 ms. (35 steps per ms) remains 2609/2609 properties
BEST_FIRST walk for 4003 steps (12 resets) in 117 ms. (33 steps per ms) remains 2607/2609 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2607/2607 properties
BEST_FIRST walk for 4004 steps (12 resets) in 122 ms. (32 steps per ms) remains 2605/2607 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2605/2605 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2605/2605 properties
BEST_FIRST walk for 4003 steps (12 resets) in 110 ms. (36 steps per ms) remains 2603/2605 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2603/2603 properties
BEST_FIRST walk for 4004 steps (12 resets) in 124 ms. (32 steps per ms) remains 2603/2603 properties
BEST_FIRST walk for 4004 steps (12 resets) in 129 ms. (30 steps per ms) remains 2603/2603 properties
BEST_FIRST walk for 4003 steps (12 resets) in 125 ms. (31 steps per ms) remains 2603/2603 properties
BEST_FIRST walk for 4003 steps (12 resets) in 115 ms. (34 steps per ms) remains 2603/2603 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2599/2603 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2599/2599 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2597/2599 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2597/2597 properties
BEST_FIRST walk for 4004 steps (12 resets) in 112 ms. (35 steps per ms) remains 2597/2597 properties
BEST_FIRST walk for 4004 steps (12 resets) in 123 ms. (32 steps per ms) remains 2597/2597 properties
BEST_FIRST walk for 4003 steps (12 resets) in 119 ms. (33 steps per ms) remains 2597/2597 properties
BEST_FIRST walk for 4004 steps (12 resets) in 126 ms. (31 steps per ms) remains 2597/2597 properties
BEST_FIRST walk for 4003 steps (12 resets) in 122 ms. (32 steps per ms) remains 2595/2597 properties
BEST_FIRST walk for 4004 steps (12 resets) in 125 ms. (31 steps per ms) remains 2595/2595 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2595/2595 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2595/2595 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2594/2595 properties
BEST_FIRST walk for 4004 steps (12 resets) in 114 ms. (34 steps per ms) remains 2594/2594 properties
BEST_FIRST walk for 4004 steps (12 resets) in 108 ms. (36 steps per ms) remains 2594/2594 properties
BEST_FIRST walk for 4004 steps (12 resets) in 125 ms. (31 steps per ms) remains 2594/2594 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2594/2594 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2594/2594 properties
BEST_FIRST walk for 4004 steps (12 resets) in 117 ms. (33 steps per ms) remains 2592/2594 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 122 ms. (32 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 123 ms. (32 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 123 ms. (32 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 120 ms. (33 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 117 ms. (33 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 123 ms. (32 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 123 ms. (32 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4002 steps (12 resets) in 100 ms. (39 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 102 ms. (38 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 104 ms. (38 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 126 ms. (31 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2592/2592 properties
BEST_FIRST walk for 4003 steps (12 resets) in 104 ms. (38 steps per ms) remains 2590/2592 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2588/2590 properties
BEST_FIRST walk for 4003 steps (12 resets) in 117 ms. (33 steps per ms) remains 2588/2588 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2588/2588 properties
BEST_FIRST walk for 4003 steps (12 resets) in 132 ms. (30 steps per ms) remains 2588/2588 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2588/2588 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2588/2588 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2588/2588 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2588/2588 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2588/2588 properties
BEST_FIRST walk for 4004 steps (12 resets) in 129 ms. (30 steps per ms) remains 2587/2588 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2587/2587 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2587/2587 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2587/2587 properties
BEST_FIRST walk for 4003 steps (12 resets) in 107 ms. (37 steps per ms) remains 2587/2587 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2587/2587 properties
BEST_FIRST walk for 4002 steps (12 resets) in 119 ms. (33 steps per ms) remains 2587/2587 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2585/2587 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2585/2585 properties
BEST_FIRST walk for 4004 steps (12 resets) in 123 ms. (32 steps per ms) remains 2585/2585 properties
BEST_FIRST walk for 4004 steps (12 resets) in 123 ms. (32 steps per ms) remains 2585/2585 properties
BEST_FIRST walk for 4003 steps (12 resets) in 103 ms. (38 steps per ms) remains 2585/2585 properties
BEST_FIRST walk for 4003 steps (12 resets) in 119 ms. (33 steps per ms) remains 2585/2585 properties
BEST_FIRST walk for 4004 steps (12 resets) in 131 ms. (30 steps per ms) remains 2585/2585 properties
BEST_FIRST walk for 4003 steps (12 resets) in 126 ms. (31 steps per ms) remains 2585/2585 properties
BEST_FIRST walk for 4003 steps (12 resets) in 117 ms. (33 steps per ms) remains 2585/2585 properties
BEST_FIRST walk for 4004 steps (12 resets) in 99 ms. (40 steps per ms) remains 2585/2585 properties
BEST_FIRST walk for 4004 steps (12 resets) in 127 ms. (31 steps per ms) remains 2583/2585 properties
BEST_FIRST walk for 4002 steps (12 resets) in 119 ms. (33 steps per ms) remains 2583/2583 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2583/2583 properties
BEST_FIRST walk for 4003 steps (12 resets) in 115 ms. (34 steps per ms) remains 2583/2583 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2583/2583 properties
BEST_FIRST walk for 4004 steps (12 resets) in 133 ms. (29 steps per ms) remains 2583/2583 properties
BEST_FIRST walk for 4004 steps (12 resets) in 125 ms. (31 steps per ms) remains 2583/2583 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2583/2583 properties
BEST_FIRST walk for 4004 steps (12 resets) in 117 ms. (33 steps per ms) remains 2583/2583 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2583/2583 properties
BEST_FIRST walk for 4002 steps (12 resets) in 93 ms. (42 steps per ms) remains 2583/2583 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2582/2583 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4004 steps (12 resets) in 92 ms. (43 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4002 steps (12 resets) in 92 ms. (43 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4004 steps (12 resets) in 111 ms. (35 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4003 steps (12 resets) in 116 ms. (34 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2582/2582 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2581/2582 properties
BEST_FIRST walk for 4004 steps (12 resets) in 115 ms. (34 steps per ms) remains 2579/2581 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2579/2579 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2579/2579 properties
BEST_FIRST walk for 4004 steps (12 resets) in 126 ms. (31 steps per ms) remains 2579/2579 properties
BEST_FIRST walk for 4003 steps (12 resets) in 121 ms. (32 steps per ms) remains 2579/2579 properties
BEST_FIRST walk for 4003 steps (12 resets) in 116 ms. (34 steps per ms) remains 2579/2579 properties
BEST_FIRST walk for 4003 steps (12 resets) in 115 ms. (34 steps per ms) remains 2578/2579 properties
BEST_FIRST walk for 4004 steps (12 resets) in 125 ms. (31 steps per ms) remains 2578/2578 properties
BEST_FIRST walk for 4004 steps (12 resets) in 122 ms. (32 steps per ms) remains 2578/2578 properties
BEST_FIRST walk for 4003 steps (12 resets) in 124 ms. (32 steps per ms) remains 2576/2578 properties
BEST_FIRST walk for 4003 steps (12 resets) in 120 ms. (33 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 117 ms. (33 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 122 ms. (32 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4003 steps (12 resets) in 122 ms. (32 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4002 steps (12 resets) in 111 ms. (35 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4003 steps (12 resets) in 116 ms. (34 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 125 ms. (31 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 133 ms. (29 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 112 ms. (35 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2576/2576 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2574/2576 properties
BEST_FIRST walk for 4003 steps (12 resets) in 124 ms. (32 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4003 steps (12 resets) in 103 ms. (38 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4004 steps (12 resets) in 124 ms. (32 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4004 steps (12 resets) in 123 ms. (32 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4003 steps (12 resets) in 119 ms. (33 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4002 steps (12 resets) in 110 ms. (36 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4003 steps (12 resets) in 101 ms. (39 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4002 steps (12 resets) in 107 ms. (37 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4004 steps (12 resets) in 115 ms. (34 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4004 steps (12 resets) in 93 ms. (42 steps per ms) remains 2574/2574 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2572/2574 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2572/2572 properties
BEST_FIRST walk for 4003 steps (12 resets) in 113 ms. (35 steps per ms) remains 2572/2572 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2572/2572 properties
BEST_FIRST walk for 4002 steps (12 resets) in 115 ms. (34 steps per ms) remains 2572/2572 properties
BEST_FIRST walk for 4003 steps (12 resets) in 120 ms. (33 steps per ms) remains 2572/2572 properties
BEST_FIRST walk for 4003 steps (12 resets) in 122 ms. (32 steps per ms) remains 2572/2572 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2572/2572 properties
BEST_FIRST walk for 4003 steps (12 resets) in 113 ms. (35 steps per ms) remains 2570/2572 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2570/2570 properties
BEST_FIRST walk for 4003 steps (12 resets) in 120 ms. (33 steps per ms) remains 2568/2570 properties
BEST_FIRST walk for 4003 steps (12 resets) in 118 ms. (33 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4004 steps (12 resets) in 124 ms. (32 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4004 steps (12 resets) in 128 ms. (31 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4003 steps (12 resets) in 107 ms. (37 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4003 steps (12 resets) in 120 ms. (33 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4003 steps (12 resets) in 125 ms. (31 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4003 steps (12 resets) in 108 ms. (36 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4003 steps (12 resets) in 108 ms. (36 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2568/2568 properties
BEST_FIRST walk for 4004 steps (12 resets) in 115 ms. (34 steps per ms) remains 2566/2568 properties
BEST_FIRST walk for 4003 steps (12 resets) in 120 ms. (33 steps per ms) remains 2566/2566 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2566/2566 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2564/2566 properties
BEST_FIRST walk for 4003 steps (12 resets) in 102 ms. (38 steps per ms) remains 2564/2564 properties
BEST_FIRST walk for 4001 steps (12 resets) in 112 ms. (35 steps per ms) remains 2564/2564 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2562/2564 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2562/2562 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2562/2562 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2562/2562 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2560/2562 properties
BEST_FIRST walk for 4003 steps (12 resets) in 118 ms. (33 steps per ms) remains 2560/2560 properties
BEST_FIRST walk for 4003 steps (12 resets) in 119 ms. (33 steps per ms) remains 2560/2560 properties
BEST_FIRST walk for 4003 steps (12 resets) in 115 ms. (34 steps per ms) remains 2560/2560 properties
BEST_FIRST walk for 4004 steps (12 resets) in 117 ms. (33 steps per ms) remains 2560/2560 properties
BEST_FIRST walk for 4004 steps (12 resets) in 115 ms. (34 steps per ms) remains 2559/2560 properties
BEST_FIRST walk for 4004 steps (12 resets) in 122 ms. (32 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4003 steps (12 resets) in 120 ms. (33 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4003 steps (12 resets) in 126 ms. (31 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4004 steps (12 resets) in 107 ms. (37 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4003 steps (12 resets) in 105 ms. (37 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4004 steps (12 resets) in 117 ms. (33 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2559/2559 properties
BEST_FIRST walk for 4003 steps (12 resets) in 105 ms. (37 steps per ms) remains 2557/2559 properties
BEST_FIRST walk for 4003 steps (12 resets) in 108 ms. (36 steps per ms) remains 2557/2557 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2557/2557 properties
BEST_FIRST walk for 4004 steps (12 resets) in 121 ms. (32 steps per ms) remains 2557/2557 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2557/2557 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2557/2557 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2557/2557 properties
BEST_FIRST walk for 4003 steps (12 resets) in 121 ms. (32 steps per ms) remains 2557/2557 properties
BEST_FIRST walk for 4004 steps (12 resets) in 116 ms. (34 steps per ms) remains 2553/2557 properties
BEST_FIRST walk for 4002 steps (12 resets) in 119 ms. (33 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 144 ms. (27 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4002 steps (12 resets) in 103 ms. (38 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4002 steps (12 resets) in 100 ms. (39 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 104 ms. (38 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 115 ms. (34 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4002 steps (12 resets) in 121 ms. (32 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 121 ms. (32 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 122 ms. (32 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4002 steps (12 resets) in 115 ms. (34 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 131 ms. (30 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 120 ms. (33 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 96 ms. (41 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 112 ms. (35 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 102 ms. (38 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 91 ms. (43 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 94 ms. (42 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 118 ms. (33 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 116 ms. (34 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 117 ms. (33 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 103 ms. (38 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4002 steps (12 resets) in 95 ms. (41 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 102 ms. (38 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2553/2553 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2553/2553 properties
[2024-06-01 06:01:09] [INFO ] Flow matrix only has 14366 transitions (discarded 614 similar events)
// Phase 1: matrix 14366 rows 9487 cols
[2024-06-01 06:01:10] [INFO ] Computed 937 invariants in 825 ms
[2024-06-01 06:01:10] [INFO ] State equation strengthened by 5002 read => feed constraints.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2553/23853 variables, and 0 constraints, problems are : Problem set: 0 solved, 2553 unsolved in 45048 ms.
Refiners :[Positive P Invariants (semi-flows): 0/47 constraints, Generalized P Invariants (flows): 0/890 constraints, State Equation: 0/9487 constraints, ReadFeed: 0/5002 constraints, PredecessorRefiner: 2553/2553 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2553 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2553/23853 variables, and 0 constraints, problems are : Problem set: 0 solved, 2553 unsolved in 45045 ms.
Refiners :[Positive P Invariants (semi-flows): 0/47 constraints, Generalized P Invariants (flows): 0/890 constraints, State Equation: 0/9487 constraints, ReadFeed: 0/5002 constraints, PredecessorRefiner: 0/2553 constraints, Known Traps: 0/0 constraints]
After SMT, in 94401ms problems are : Problem set: 0 solved, 2553 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2553 out of 9487 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9487/9487 places, 14980/14980 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2123 transitions
Trivial Post-agglo rules discarded 2123 transitions
Performed 2123 trivial Post agglomeration. Transition count delta: 2123
Iterating post reduction 0 with 2123 rules applied. Total rules applied 2123 place count 9487 transition count 12857
Reduce places removed 2123 places and 0 transitions.
Iterating post reduction 1 with 2123 rules applied. Total rules applied 4246 place count 7364 transition count 12857
Performed 81 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 81 Pre rules applied. Total rules applied 4246 place count 7364 transition count 12776
Deduced a syphon composed of 81 places in 7 ms
Reduce places removed 81 places and 0 transitions.
Iterating global reduction 2 with 162 rules applied. Total rules applied 4408 place count 7283 transition count 12776
Discarding 2066 places :
Symmetric choice reduction at 2 with 2066 rule applications. Total rules 6474 place count 5217 transition count 10710
Iterating global reduction 2 with 2066 rules applied. Total rules applied 8540 place count 5217 transition count 10710
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 8584 place count 5173 transition count 10490
Iterating global reduction 2 with 44 rules applied. Total rules applied 8628 place count 5173 transition count 10490
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 8632 place count 5171 transition count 10488
Free-agglomeration rule (complex) applied 244 times.
Iterating global reduction 2 with 244 rules applied. Total rules applied 8876 place count 5171 transition count 10420
Reduce places removed 244 places and 0 transitions.
Iterating post reduction 2 with 244 rules applied. Total rules applied 9120 place count 4927 transition count 10420
Discarding 169 places :
Symmetric choice reduction at 3 with 169 rule applications. Total rules 9289 place count 4758 transition count 10251
Iterating global reduction 3 with 169 rules applied. Total rules applied 9458 place count 4758 transition count 10251
Partial Free-agglomeration rule applied 50 times.
Drop transitions (Partial Free agglomeration) removed 50 transitions
Iterating global reduction 3 with 50 rules applied. Total rules applied 9508 place count 4758 transition count 10251
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 9511 place count 4755 transition count 10248
Iterating global reduction 3 with 3 rules applied. Total rules applied 9514 place count 4755 transition count 10248
Applied a total of 9514 rules in 2068 ms. Remains 4755 /9487 variables (removed 4732) and now considering 10248/14980 (removed 4732) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2069 ms. Remains : 4755/9487 places, 10248/14980 transitions.
RANDOM walk for 801962 steps (25658 resets) in 120004 ms. (6 steps per ms) remains 2251/2553 properties
BEST_FIRST walk for 4003 steps (12 resets) in 80 ms. (49 steps per ms) remains 2251/2251 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2251/2251 properties
BEST_FIRST walk for 4003 steps (12 resets) in 72 ms. (54 steps per ms) remains 2251/2251 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2251/2251 properties
BEST_FIRST walk for 4003 steps (12 resets) in 77 ms. (51 steps per ms) remains 2251/2251 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2251/2251 properties
BEST_FIRST walk for 4004 steps (12 resets) in 77 ms. (51 steps per ms) remains 2251/2251 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2251/2251 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2251/2251 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2251/2251 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2249/2251 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2249/2249 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2249/2249 properties
BEST_FIRST walk for 4002 steps (12 resets) in 76 ms. (51 steps per ms) remains 2248/2249 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4002 steps (12 resets) in 76 ms. (51 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4002 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4002 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4002 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4002 steps (12 resets) in 74 ms. (53 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 77 ms. (51 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2248/2248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2246/2248 properties
BEST_FIRST walk for 4003 steps (12 resets) in 81 ms. (48 steps per ms) remains 2244/2246 properties
BEST_FIRST walk for 4004 steps (12 resets) in 77 ms. (51 steps per ms) remains 2240/2244 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2240 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4002 steps (12 resets) in 74 ms. (53 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 72 ms. (54 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4002 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4002 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 78 ms. (50 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2239/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2239 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 78 ms. (50 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4002 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4002 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4002 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4002 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 76 ms. (52 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4004 steps (12 resets) in 75 ms. (52 steps per ms) remains 2237/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2237 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4002 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4002 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 71 ms. (55 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4002 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4002 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 75 ms. (52 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 76 ms. (51 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 72 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 81 ms. (48 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 73 ms. (54 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 74 ms. (53 steps per ms) remains 2235/2235 properties
[2024-06-01 06:03:19] [INFO ] Flow matrix only has 9582 transitions (discarded 666 similar events)
// Phase 1: matrix 9582 rows 4755 cols
[2024-06-01 06:03:19] [INFO ] Computed 937 invariants in 299 ms
[2024-06-01 06:03:19] [INFO ] State equation strengthened by 5002 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2235/14337 variables, and 0 constraints, problems are : Problem set: 0 solved, 2235 unsolved in 75046 ms.
Refiners :[Positive P Invariants (semi-flows): 0/49 constraints, Generalized P Invariants (flows): 0/888 constraints, State Equation: 0/4755 constraints, ReadFeed: 0/5002 constraints, PredecessorRefiner: 2235/2235 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2235 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2235 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2235 unsolved
SMT process timed out in 152551ms, After SMT, problems are : Problem set: 0 solved, 2235 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2235 out of 4755 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4755/4755 places, 10248/10248 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 146 transitions
Trivial Post-agglo rules discarded 146 transitions
Performed 146 trivial Post agglomeration. Transition count delta: 146
Iterating post reduction 0 with 146 rules applied. Total rules applied 146 place count 4755 transition count 10102
Reduce places removed 146 places and 0 transitions.
Iterating post reduction 1 with 146 rules applied. Total rules applied 292 place count 4609 transition count 10102
Discarding 99 places :
Symmetric choice reduction at 2 with 99 rule applications. Total rules 391 place count 4510 transition count 10003
Iterating global reduction 2 with 99 rules applied. Total rules applied 490 place count 4510 transition count 10003
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 492 place count 4510 transition count 10001
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 494 place count 4508 transition count 10001
Partial Free-agglomeration rule applied 48 times.
Drop transitions (Partial Free agglomeration) removed 48 transitions
Iterating global reduction 3 with 48 rules applied. Total rules applied 542 place count 4508 transition count 10001
Discarding 48 places :
Symmetric choice reduction at 3 with 48 rule applications. Total rules 590 place count 4460 transition count 9953
Iterating global reduction 3 with 48 rules applied. Total rules applied 638 place count 4460 transition count 9953
Applied a total of 638 rules in 1187 ms. Remains 4460 /4755 variables (removed 295) and now considering 9953/10248 (removed 295) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1187 ms. Remains : 4460/4755 places, 9953/10248 transitions.
RANDOM walk for 880351 steps (28177 resets) in 120004 ms. (7 steps per ms) remains 2168/2235 properties
BEST_FIRST walk for 4004 steps (12 resets) in 95 ms. (41 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4002 steps (12 resets) in 121 ms. (32 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 122 ms. (32 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 142 ms. (28 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 135 ms. (29 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 137 ms. (29 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 108 ms. (36 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 122 ms. (32 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4001 steps (12 resets) in 112 ms. (35 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 157 ms. (25 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 141 ms. (28 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 117 ms. (33 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 139 ms. (28 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 140 ms. (28 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 137 ms. (29 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 162 ms. (24 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 136 ms. (29 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 136 ms. (29 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 137 ms. (29 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 129 ms. (30 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 113 ms. (35 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4002 steps (12 resets) in 104 ms. (38 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 161 ms. (24 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 139 ms. (28 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 138 ms. (28 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 128 ms. (31 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 126 ms. (31 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 141 ms. (28 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 129 ms. (30 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 135 ms. (29 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4002 steps (12 resets) in 99 ms. (40 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 139 ms. (28 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 107 ms. (37 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 114 ms. (34 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 145 ms. (27 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 141 ms. (28 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 135 ms. (29 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 136 ms. (29 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 108 ms. (36 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 139 ms. (28 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4002 steps (12 resets) in 149 ms. (26 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 133 ms. (29 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 148 ms. (26 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 131 ms. (30 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 144 ms. (27 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4004 steps (12 resets) in 120 ms. (33 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2168/2168 properties
Interrupted probabilistic random walk after 461369 steps, run timeout after 96001 ms. (steps per millisecond=4 ) properties seen :10 out of 2168
Probabilistic random walk after 461369 steps, saw 203181 distinct states, run finished after 96009 ms. (steps per millisecond=4 ) properties seen :10
[2024-06-01 06:08:01] [INFO ] Flow matrix only has 9285 transitions (discarded 668 similar events)
// Phase 1: matrix 9285 rows 4460 cols
[2024-06-01 06:08:01] [INFO ] Computed 937 invariants in 254 ms
[2024-06-01 06:08:01] [INFO ] State equation strengthened by 5002 read => feed constraints.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2158/13745 variables, and 0 constraints, problems are : Problem set: 0 solved, 2158 unsolved in 90043 ms.
Refiners :[Positive P Invariants (semi-flows): 0/49 constraints, Generalized P Invariants (flows): 0/888 constraints, State Equation: 0/4460 constraints, ReadFeed: 0/5002 constraints, PredecessorRefiner: 2158/2158 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2158 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2158 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2158 unsolved
At refinement iteration 1 (OVERLAPS) 983/3141 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 2158 unsolved
[2024-06-01 06:10:47] [INFO ] Deduced a trap composed of 907 places in 1889 ms of which 196 ms to minimize.
[2024-06-01 06:10:49] [INFO ] Deduced a trap composed of 854 places in 1539 ms of which 12 ms to minimize.
[2024-06-01 06:10:50] [INFO ] Deduced a trap composed of 1026 places in 1703 ms of which 13 ms to minimize.
[2024-06-01 06:10:52] [INFO ] Deduced a trap composed of 814 places in 1685 ms of which 12 ms to minimize.
[2024-06-01 06:10:54] [INFO ] Deduced a trap composed of 793 places in 1718 ms of which 12 ms to minimize.
[2024-06-01 06:10:55] [INFO ] Deduced a trap composed of 841 places in 1691 ms of which 13 ms to minimize.
[2024-06-01 06:10:57] [INFO ] Deduced a trap composed of 894 places in 1678 ms of which 12 ms to minimize.
[2024-06-01 06:11:01] [INFO ] Deduced a trap composed of 774 places in 1616 ms of which 13 ms to minimize.
[2024-06-01 06:11:03] [INFO ] Deduced a trap composed of 819 places in 1693 ms of which 12 ms to minimize.
SMT process timed out in 182377ms, After SMT, problems are : Problem set: 0 solved, 2158 unsolved
Fused 2158 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2158 out of 4460 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4460/4460 places, 9953/9953 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 31 transitions
Trivial Post-agglo rules discarded 31 transitions
Performed 31 trivial Post agglomeration. Transition count delta: 31
Iterating post reduction 0 with 31 rules applied. Total rules applied 31 place count 4460 transition count 9922
Reduce places removed 31 places and 0 transitions.
Iterating post reduction 1 with 31 rules applied. Total rules applied 62 place count 4429 transition count 9922
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 68 place count 4423 transition count 9916
Iterating global reduction 2 with 6 rules applied. Total rules applied 74 place count 4423 transition count 9916
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 2 with 3 rules applied. Total rules applied 77 place count 4423 transition count 9913
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 80 place count 4420 transition count 9913
Partial Free-agglomeration rule applied 25 times.
Drop transitions (Partial Free agglomeration) removed 25 transitions
Iterating global reduction 3 with 25 rules applied. Total rules applied 105 place count 4420 transition count 9913
Discarding 25 places :
Symmetric choice reduction at 3 with 25 rule applications. Total rules 130 place count 4395 transition count 9888
Iterating global reduction 3 with 25 rules applied. Total rules applied 155 place count 4395 transition count 9888
Applied a total of 155 rules in 1198 ms. Remains 4395 /4460 variables (removed 65) and now considering 9888/9953 (removed 65) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1198 ms. Remains : 4395/4460 places, 9888/9953 transitions.
RANDOM walk for 736208 steps (23569 resets) in 120004 ms. (6 steps per ms) remains 2147/2158 properties
BEST_FIRST walk for 4003 steps (12 resets) in 87 ms. (45 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 137 ms. (29 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 144 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 146 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 98 ms. (40 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 143 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4002 steps (12 resets) in 137 ms. (29 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 143 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4002 steps (12 resets) in 167 ms. (23 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 107 ms. (37 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4002 steps (12 resets) in 146 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 140 ms. (28 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 166 ms. (23 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 150 ms. (26 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 151 ms. (26 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 138 ms. (28 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 146 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 139 ms. (28 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4002 steps (12 resets) in 95 ms. (41 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 145 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 143 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 161 ms. (24 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 120 ms. (33 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 137 ms. (29 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 154 ms. (25 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 110 ms. (36 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 144 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 143 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 144 ms. (27 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 100 ms. (39 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 107 ms. (37 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 163 ms. (24 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 151 ms. (26 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 150 ms. (26 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 134 ms. (29 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4002 steps (12 resets) in 134 ms. (29 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4002 steps (12 resets) in 101 ms. (39 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4002 steps (12 resets) in 139 ms. (28 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4002 steps (12 resets) in 99 ms. (40 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 135 ms. (29 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 164 ms. (24 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 109 ms. (36 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 148 ms. (26 steps per ms) remains 2147/2147 properties
BEST_FIRST walk for 4004 steps (12 resets) in 94 ms. (42 steps per ms) remains 2147/2147 properties
Interrupted probabilistic random walk after 466723 steps, run timeout after 96002 ms. (steps per millisecond=4 ) properties seen :0 out of 2147
Probabilistic random walk after 466723 steps, saw 205359 distinct states, run finished after 96004 ms. (steps per millisecond=4 ) properties seen :0
[2024-06-01 06:13:13] [INFO ] Flow matrix only has 9217 transitions (discarded 671 similar events)
// Phase 1: matrix 9217 rows 4395 cols
[2024-06-01 06:13:13] [INFO ] Computed 937 invariants in 241 ms
[2024-06-01 06:13:13] [INFO ] State equation strengthened by 5002 read => feed constraints.
Error getting values : (error "ParserException while parsing response: ((s5 (/ 1.0 2.0))
(s7 (/ 1.0 2.0))
(s10 (/ 1.0 2.0))
(s18 (/ 1.0 2.0))
(s19 (/ 1.0 2.0))
(s20 (/ 1.0 2.0))
(s23 (/ 1.0 2.0))
(s24 (/ 1.0 2.0))
(s25 (/ 1.0 2.0))
(s26 (/ 1.0 2.0))
(s27 (/ 1.0 2.0))
(s30 (/ 1.0 2.0))
(s31 (/ 1.0 2.0))
(s32 (/ 1.0 2.0))
(s33 (/ 1.0 2.0))
(s34 (/ 1.0 2.0))
(s35 (/ 1.0 2.0))
(s36 (/ 1.0 2.0))
(s39 (/ 1.0 2.0))
(s40 (/ 1.0 2.0))
(s41 (/ 1.0 2.0))
(s42 (/ 1.0 2.0))
(s43 (/ 1.0 2.0))
(s44 (/ 1.0 2.0))
(s45 (/ 1.0 2.0))
(s46 (/ 1.0 2.0))
(s47 (/ 1.0 2.0))
(s50 (/ 1.0 2.0))
(s51 (/ 1.0 2.0))
(s52 (/ 1.0 2.0))
(s53 (/ 1.0 2.0))
(s54 (/ 1.0 2.0))
(s55 (/ 1.0 2.0))
(s56 (/ 1.0 2.0))
(s57 (/ 1.0 2.0))
(s58 (/ 1.0 2.0))
(s59 (/ 1.0 2.0))
(s60 (/ 1.0 2.0))
(s63 (/ 1.0 2.0))
(s64 (/ 1.0 2.0))
(s65 (/ 1.0 2.0))
(s66 (/ 1.0 2.0))
(s67 (/ 1.0 2.0))
(s68 (/ 1.0 2.0))
(s69 (/ 1.0 2.0))
(s70 (/ 1.0 2.0))
(s71 (/ 1.0 2.0))
(s72 (/ 1.0 2.0))
(s73 (/ 1.0 2.0))
(s74 (/ 1.0 2.0))
(s75 (/ 1.0 2.0))
(s78 (/ 1.0 2.0))
(s79 (/ 1.0 2.0))
(s80 (/ 1.0 2.0))
(s81 (/ 1.0 2.0))
(s82 (/ 1.0 2.0))
(s83 (/ 1.0 2.0))
(s84 (/ 1.0 2.0))
(s85 (/ 1.0 2.0))
(s86 (/ 1.0 2.0))
(s87 (/ 1.0 2.0))
(s88 (/ 1.0 2.0))
(s89 (/ 1.0 2.0))
(s90 (/ 1.0 2.0))
(s91 (/ 1.0 2.0))
(s92 (/ 1.0 2.0))
(s95 (/ 1.0 2.0))
(s96 (/ 1.0 2.0))
(s97 (/ 1.0 2.0))
(s98 (/ 1.0 2.0))
(s99 (/ 1.0 2.0))
(s100 (/ 1.0 2.0))
(s101 (/ 1.0 2.0))
(s102 (/ 1.0 2.0))
(s103 (/ 1.0 2.0))
(s104 (/ 1.0 2.0))
(s105 (/ 1.0 2.0))
(s106 (/ 1.0 2.0))
(s107 (/ 1.0 2.0))
(s108 (/ 1.0 2.0))
(s109 (/ 1.0 2.0))
(s110 (/ 1.0 2.0))
(s111 (/ 1.0 2.0))
(s114 (/ 1.0 2.0))
(s115 (/ 1.0 2.0))
(s116 (/ 1.0 2.0))
(s117 (/ 1.0 2.0))
(s118 (/ 1.0 2.0))
(s119 (/ 1.0 2.0))
(s120 (/ 1.0 2.0))
(s121 (/ 1.0 2.0))
(s122 (/ 1.0 2.0))
(s123 (/ 1.0 2.0))
(s124 (/ 1.0 2.0))
(s125 (/ 1.0 2.0))
(s126 (/ 1.0 2.0))
(s127 (/ 1.0 2.0))
(s128 (/ 1.0 2.0))
(s129 (/ 1.0 2.0))
(s130 (/ 1.0 2.0))
(s131 (/ 1.0 2.0))
(s132 (/ 1.0 2.0))
(s137 (/ 1.0 2.0))
(s138 (/ 1.0 2.0))
(s139 (/ 1.0 2.0))
(s140 (/ 1.0 2.0))
(s141 (/ 1.0 2.0))
(s142 (/ 1.0 2.0))
(s143 (/ 1.0 2.0))
(s144 (/ 1.0 2.0))
(s145 (/ 1.0 2.0))
(s146 (/ 1.0 2.0))
(s147 (/ 1.0 2.0))
(s148 (/ 1.0 2.0))
(s149 (/ 1.0 2.0))
(s150 (/ 1.0 2.0))
(s151 (/ 1.0 2.0))
(s152 (/ 1.0 2.0))
(s153 (/ 1.0 2.0))
(s154 (/ 1.0 2.0))
(s159 (/ 1.0 2.0))
(s160 (/ 1.0 2.0))
(s161 (/ 1.0 2.0))
(s162 (/ 1.0 2.0))
(s163 (/ 1.0 2.0))
(s164 (/ 1.0 2.0))
(s165 (/ 1.0 2.0))
(s166 (/ 1.0 2.0))
(s167 (/ 1.0 2.0))
(s168 (/ 1.0 2.0))
(s169 (/ 1.0 2.0))
(s170 (/ 1.0 2.0))
(s171 (/ 1.0 2.0))
(s172 (/ 1.0 2.0))
(s173 (/ 1.0 2.0))
(s174 (/ 1.0 2.0))
(s175 (/ 1.0 2.0))
(s176 (/ 1.0 2.0))
(s177 (/ 1.0 2.0))
(s183 (/ 1.0 2.0))
(s184 (/ 1.0 2.0))
(s185 (/ 1.0 2.0))
(s186 (/ 1.0 2.0))
(s187 (/ 1.0 2.0))
(s188 (/ 1.0 2.0))
(s189 (/ 1.0 2.0))
(s190 (/ 1.0 2.0))
(s191 (/ 1.0 2.0))
(s192 (/ 1.0 2.0))
(s193 (/ 1.0 2.0))
(s194 (/ 1.0 2.0))
(s195 (/ 1.0 2.0))
(s196 (/ 1.0 2.0))
(s197 (/ 1.0 2.0))
(s198 (/ 1.0 2.0))
(s199 (/ 1.0 2.0))
(s200 (/ 1.0 2.0))
(s201 (/ 1.0 2.0))
(s209 (/ 1.0 2.0))
(s210 (/ 1.0 2.0))
(s211 (/ 1.0 2.0))
(s212 (/ 1.0 2.0))
(s213 (/ 1.0 2.0))
(s214 (/ 1.0 2.0))
(s215 (/ 1.0 2.0))
(s216 (/ 1.0 2.0))
(s217 (/ 1.0 2.0))
(s218 (/ 1.0 2.0))
(s219 (/ 1.0 2.0))
(s220 (/ 1.0 2.0))
(s221 (/ 1.0 2.0))
(s222 (/ 1.0 2.0))
(s223 (/ 1.0 2.0))
(s224 (/ 1.0 2.0))
(s225 (/ 1.0 2.0))
(s226 (/ 1.0 2.0))
(s227 (/ 1.0 2.0))
(s230 (/ 1.0 2.0))
(s231 (/ 1.0 2.0))
(s232 (/ 1.0 2.0))
(s233 (/ 1.0 2.0))
(s234 (/ 1.0 2.0))
(s235 (/ 1.0 2.0))
(s236 (/ 1.0 2.0))
(s237 (/ 1.0 2.0))
(s238 (/ 1.0 2.0))
(s239 (/ 1.0 2.0))
(s240 (/ 1.0 2.0))
(s241 (/ 1.0 2.0))
(s242 (/ 1.0 2.0))
(s243 (/ 1.0 2.0))
(s244 (/ 1.0 2.0))
(s245 (/ 1.0 2.0))
(s246 (/ 1.0 2.0))
(s249 (/ 1.0 2.0))
(s250 (/ 1.0 2.0))
(s251 (/ 1.0 2.0))
(s252 (/ 1.0 2.0))
(s253 (/ 1.0 2.0))
(s254 (/ 1.0 2.0))
(s255 (/ 1.0 2.0))
(s256 (/ 1.0 2.0))
(s257 (/ 1.0 2.0))
(s258 (/ 1.0 2.0))
(s259 (/ 1.0 2.0))
(s260 (/ 1.0 2.0))
(s261 (/ 1.0 2.0))
(s262 (/ 1.0 2.0))
(s263 (/ 1.0 2.0))
(s266 (/ 1.0 2.0))
(s267 (/ 1.0 2.0))
(s268 (/ 1.0 2.0))
(s269 (/ 1.0 2.0))
(s270 (/ 1.0 2.0))
(s271 (/ 1.0 2.0))
(s272 (/ 1.0 2.0))
(s273 (/ 1.0 2.0))
(s274 (/ 1.0 2.0))
(s275 (/ 1.0 2.0))
(s276 (/ 1.0 2.0))
(s277 (/ 1.0 2.0))
(s278 (/ 1.0 2.0))
(s281 (/ 1.0 2.0))
(s282 (/ 1.0 2.0))
(s283 (/ 1.0 2.0))
(s284 (/ 1.0 2.0))
(s285 (/ 1.0 2.0))
(s286 (/ 1.0 2.0))
(s287 (/ 1.0 2.0))
(s288 (/ 1.0 2.0))
(s289 (/ 1.0 2.0))
(s290 (/ 1.0 2.0))
(s291 (/ 1.0 2.0))
(s294 (/ 1.0 2.0))
(s295 (/ 1.0 2.0))
(s296 (/ 1.0 2.0))
(s297 (/ 1.0 2.0))
(s298 (/ 1.0 2.0))
(s299 (/ 1.0 2.0))
(s300 (/ 1.0 2.0))
(s301 (/ 1.0 2.0))
(s302 (/ 1.0 2.0))
(s305 (/ 1.0 2.0))
(s306 (/ 1.0 2.0))
(s307 (/ 1.0 2.0))
(s308 (/ 1.0 2.0))
(s309 (/ 1.0 2.0))
(s310 (/ 1.0 2.0))
(s311 (/ 1.0 2.0))
(s314 (/ 1.0 2.0))
(s315 (/ 1.0 2.0))
(s316 (/ 1.0 2.0))
(s317 (/ 1.0 2.0))
(s318 (/ 1.0 2.0))
(s321 (/ 1.0 2.0))
(s322 (/ 1.0 2.0))
(s323 (/ 1.0 2.0))
(s326 (/ 1.0 2.0))
(s344 (/ 1.0 2.0))
(s346 (/ 1.0 2.0))
(s356 (/ 1.0 2.0))
(s359 (/ 1.0 2.0))
(s360 (/ 1.0 2.0))
(s361 (/ 1.0 2.0))
(s364 (/ 1.0 2.0))
(s365 (/ 1.0 2.0))
(s366 (/ 1.0 2.0))
(s367 (/ 1.0 2.0))
(s368 (/ 1.0 2.0))
(s371 (/ 1.0 2.0))
(s372 (/ 1.0 2.0))
(s373 (/ 1.0 2.0))
(s374 (/ 1.0 2.0))
(s375 (/ 1.0 2.0))
(s376 (/ 1.0 2.0))
(s377 (/ 1.0 2.0))
(s380 (/ 1.0 2.0))
(s381 (/ 1.0 2.0))
(s382 (/ 1.0 2.0))
(s383 (/ 1.0 2.0))
(s384 (/ 1.0 2.0))
(s385 (/ 1.0 2.0))
(s386 (/ 1.0 2.0))
(s387 (/ 1.0 2.0))
(s388 (/ 1.0 2.0))
(s391 (/ 1.0 2.0))
(s392 (/ 1.0 2.0))
(s393 (/ 1.0 2.0))
(s394 (/ 1.0 2.0))
(s395 (/ 1.0 2.0))
(s396 (/ 1.0 2.0))
(s397 (/ 1.0 2.0))
(s398 (/ 1.0 2.0))
(s399 (/ 1.0 2.0))
(s400 (/ 1.0 2.0))
(s401 (/ 1.0 2.0))
(s404 (/ 1.0 2.0))
(s405 (/ 1.0 2.0))
(s406 (/ 1.0 2.0))
(s407 (/ 1.0 2.0))
(s408 (/ 1.0 2.0))
(s409 (/ 1.0 2.0))
(s410 (/ 1.0 2.0))
(s411 (/ 1.0 2.0))
(s412 (/ 1.0 2.0))
(s413 (/ 1.0 2.0))
(s414 (/ 1.0 2.0))
(s415 (/ 1.0 2.0))
(s416 (/ 1.0 2.0))
(s419 (/ 1.0 2.0))
(s420 (/ 1.0 2.0))
(s421 (/ 1.0 2.0))
(s422 (/ 1.0 2.0))
(s423 (/ 1.0 2.0))
(s424 (/ 1.0 2.0))
(s425 (/ 1.0 2.0))
(s426 (/ 1.0 2.0))
(s427 (/ 1.0 2.0))
(s428 (/ 1.0 2.0))
(s429 (/ 1.0 2.0))
(s430 (/ 1.0 2.0))
(s431 (/ 1.0 2.0))
(s432 (/ 1.0 2.0))
(s433 (/ 1.0 2.0))
(s436 (/ 1.0 2.0))
(s437 (/ 1.0 2.0))
(s438 (/ 1.0 2.0))
(s439 (/ 1.0 2.0))
(s440 (/ 1.0 2.0))
(s441 (/ 1.0 2.0))
(s442 (/ 1.0 2.0))
(s443 (/ 1.0 2.0))
(s444 (/ 1.0 2.0))
(s445 (/ 1.0 2.0))
(s446 (/ 1.0 2.0))
(s447 (/ 1.0 2.0))
(s448 (/ 1.0 2.0))
(s449 (/ 1.0 2.0))
(s450 (/ 1.0 2.0))
(s451 (/ 1.0 2.0))
(s452 (/ 1.0 2.0))
(s457 (/ 1.0 2.0))
(s458 (/ 1.0 2.0))
(s459 (/ 1.0 2.0))
(s460 (/ 1.0 2.0))
(s461 (/ 1.0 2.0))
(s462 (/ 1.0 2.0))
(s463 (/ 1.0 2.0))
(s464 (/ 1.0 2.0))
(s465 (/ 1.0 2.0))
(s466 (/ 1.0 2.0))
(s467 (/ 1.0 2.0))
(s468 (/ 1.0 2.0))
(s469 (/ 1.0 2.0))
(s470 (/ 1.0 2.0))
(s471 (/ 1.0 2.0))
(s472 (/ 1.0 2.0))
(s478 (/ 1.0 2.0))
(s479 (/ 1.0 2.0))
(s480 (/ 1.0 2.0))
(s481 (/ 1.0 2.0))
(s482 (/ 1.0 2.0))
(s483 (/ 1.0 2.0))
(s484 (/ 1.0 2.0))
(s485 (/ 1.0 2.0))
(s486 (/ 1.0 2.0))
(s487 (/ 1.0 2.0))
(s488 (/ 1.0 2.0))
(s489 (/ 1.0 2.0))
(s490 (/ 1.0 2.0))
(s491 (/ 1.0 2.0))
(s492 (/ 1.0 2.0))
(s493 (/ 1.0 2.0))
(s497 (/ 1.0 2.0))
(s498 (/ 1.0 2.0))
(s499 (/ 1.0 2.0))
(s500 (/ 1.0 2.0))
(s501 (/ 1.0 2.0))
(s502 (/ 1.0 2.0))
(s503 (/ 1.0 2.0))
(s504 (/ 1.0 2.0))
(s505 (/ 1.0 2.0))
(s506 (/ 1.0 2.0))
(s507 (/ 1.0 2.0))
(s508 (/ 1.0 2.0))
(s509 (/ 1.0 2.0))
(s510 (/ 1.0 2.0))
(s511 (/ 1.0 2.0))
(s512 (/ 1.0 2.0))
(s513 (/ 1.0 2.0))
(s521 (/ 1.0 2.0))
(s522 (/ 1.0 2.0))
(s523 (/ 1.0 2.0))
(s524 (/ 1.0 2.0))
(s525 (/ 1.0 2.0))
(s526 (/ 1.0 2.0))
(s527 (/ 1.0 2.0))
(s528 (/ 1.0 2.0))
(s529 (/ 1.0 2.0))
(s530 (/ 1.0 2.0))
(s531 (/ 1.0 2.0))
(s532 (/ 1.0 2.0))
(s533 (/ 1.0 2.0))
(s534 (/ 1.0 2.0))
(s535 (/ 1.0 2.0))
(s536 (/ 1.0 2.0))
(s537 (/ 1.0 2.0))
(s540 (/ 1.0 2.0))
(s541 (/ 1.0 2.0))
(s542 (/ 1.0 2.0))
(s543 (/ 1.0 2.0))
(s544 (/ 1.0 2.0))
(s545 (/ 1.0 2.0))
(s546 (/ 1.0 2.0))
(s547 (/ 1.0 2.0))
(s548 (/ 1.0 2.0))
(s549 (/ 1.0 2.0))
(s550 (/ 1.0 2.0))
(s551 (/ 1.0 2.0))
(s552 (/ 1.0 2.0))
(s553 (/ 1.0 2.0))
(s554 (/ 1.0 2.0))
(s557 (/ 1.0 2.0))
(s558 (/ 1.0 2.0))
(s559 (/ 1.0 2.0))
(s560 (/ 1.0 2.0))
(s561 (/ 1.0 2.0))
(s562 (/ 1.0 2.0))
(s563 (/ 1.0 2.0))
(s564 (/ 1.0 2.0))
(s565 (/ 1.0 2.0))
(s566 (/ 1.0 2.0))
(s567 (/ 1.0 2.0))
(s568 (/ 1.0 2.0))
(s569 (/ 1.0 2.0))
(s572 (/ 1.0 2.0))
(s573 (/ 1.0 2.0))
(s574 (/ 1.0 2.0))
(s575 (/ 1.0 2.0))
(s576 (/ 1.0 2.0))
(s577 (/ 1.0 2.0))
(s578 (/ 1.0 2.0))
(s579 (/ 1.0 2.0))
(s580 (/ 1.0 2.0))
(s581 (/ 1.0 2.0))
(s582 (/ 1.0 2.0))
(s585 (/ 1.0 2.0))
(s586 (/ 1.0 2.0))
(s587 (/ 1.0 2.0))
(s588 (/ 1.0 2.0))
(s589 (/ 1.0 2.0))
(s590 (/ 1.0 2.0))
(s591 (/ 1.0 2.0))
(s592 (/ 1.0 2.0))
(s593 (/ 1.0 2.0))
(s596 (/ 1.0 2.0))
(s597 (/ 1.0 2.0))
(s598 (/ 1.0 2.0))
(s599 (/ 1.0 2.0))
(s600 (/ 1.0 2.0))
(s601 (/ 1.0 2.0))
(s602 (/ 1.0 2.0))
(s605 (/ 1.0 2.0))
(s606 (/ 1.0 2.0))
(s607 (/ 1.0 2.0))
(s608 (/ 1.0 2.0))
(s609 (/ 1.0 2.0))
(s612 (/ 1.0 2.0))
(s613 (/ 1.0 2.0))
(s614 (/ 1.0 2.0))
(s617 (/ 1.0 2.0))
(s637 (/ 1.0 2.0))
(s639 (/ 1.0 2.0))
(s651 (/ 1.0 2.0))
(s654 (/ 1.0 2.0))
(s655 (/ 1.0 2.0))
(s656 (/ 1.0 2.0))
(s659 (/ 1.0 2.0))
(s660 (/ 1.0 2.0))
(s661 (/ 1.0 2.0))
(s662 (/ 1.0 2.0))
(s663 (/ 1.0 2.0))
(s666 (/ 1.0 2.0))
(s667 (/ 1.0 2.0))
(s668 (/ 1.0 2.0))
(s669 (/ 1.0 2.0))
(s670 (/ 1.0 2.0))
(s671 (/ 1.0 2.0))
(s672 (/ 1.0 2.0))
(s675 (/ 1.0 2.0))
(s676 (/ 1.0 2.0))
(s677 (/ 1.0 2.0))
(s678 (/ 1.0 2.0))
(s679 (/ 1.0 2.0))
(s680 (/ 1.0 2.0))
(s681 (/ 1.0 2.0))
(s682 (/ 1.0 2.0))
(s683 (/ 1.0 2.0))
(s686 (/ 1.0 2.0))
(s687 (/ 1.0 2.0))
(s688 (/ 1.0 2.0))
(s689 (/ 1.0 2.0))
(s690 (/ 1.0 2.0))
(s691 (/ 1.0 2.0))
(s692 (/ 1.0 2.0))
(s693 (/ 1.0 2.0))
(s694 (/ 1.0 2.0))
(s695 (/ 1.0 2.0))
(s696 (/ 1.0 2.0))
(s699 (/ 1.0 2.0))
(s700 (/ 1.0 2.0))
(s701 (/ 1.0 2.0))
(s702 (/ 1.0 2.0))
(s703 (/ 1.0 2.0))
(s704 (/ 1.0 2.0))
(s705 (/ 1.0 2.0))
(s706 (/ 1.0 2.0))
(s707 (/ 1.0 2.0))
(s708 (/ 1.0 2.0))
(s709 (/ 1.0 2.0))
(s710 (/ 1.0 2.0))
(s711 (/ 1.0 2.0))
(s714 (/ 1.0 2.0))
(s715 (/ 1.0 2.0))
(s716 (/ 1.0 2.0))
(s717 (/ 1.0 2.0))
(s718 (/ 1.0 2.0))
(s719 (/ 1.0 2.0))
(s720 (/ 1.0 2.0))
(s721 (/ 1.0 2.0))
(s722 (/ 1.0 2.0))
(s723 (/ 1.0 2.0))
(s724 (/ 1.0 2.0))
(s725 (/ 1.0 2.0))
(s726 (/ 1.0 2.0))
(s727 (/ 1.0 2.0))
(s728 (/ 1.0 2.0))
(s732 (/ 1.0 2.0))
(s733 (/ 1.0 2.0))
(s734 (/ 1.0 2.0))
(s735 (/ 1.0 2.0))
(s736 (/ 1.0 2.0))
(s737 (/ 1.0 2.0))
(s738 (/ 1.0 2.0))
(s739 (/ 1.0 2.0))
(s740 (/ 1.0 2.0))
(s741 (/ 1.0 2.0))
(s742 (/ 1.0 2.0))
(s743 (/ 1.0 2.0))
(s744 (/ 1.0 2.0))
(s745 (/ 1.0 2.0))
(s746 (/ 1.0 2.0))
(s751 (/ 1.0 2.0))
(s752 (/ 1.0 2.0))
(s753 (/ 1.0 2.0))
(s754 (/ 1.0 2.0))
(s755 (/ 1.0 2.0))
(s756 (/ 1.0 2.0))
(s757 (/ 1.0 2.0))
(s758 (/ 1.0 2.0))
(s759 (/ 1.0 2.0))
(s760 (/ 1.0 2.0))
(s761 (/ 1.0 2.0))
(s762 (/ 1.0 2.0))
(s763 (/ 1.0 2.0))
(s764 (/ 1.0 2.0))
(s765 (/ 1.0 2.0))
(s769 (/ 1.0 2.0))
(s770 (/ 1.0 2.0))
(s771 (/ 1.0 2.0))
(s772 (/ 1.0 2.0))
(s773 (/ 1.0 2.0))
(s774 (/ 1.0 2.0))
(s775 (/ 1.0 2.0))
(s776 (/ 1.0 2.0))
(s777 (/ 1.0 2.0))
(s778 (/ 1.0 2.0))
(s779 (/ 1.0 2.0))
(s780 (/ 1.0 2.0))
(s781 (/ 1.0 2.0))
(s782 (/ 1.0 2.0))
(s783 (/ 1.0 2.0))
(s791 (/ 1.0 2.0))
(s792 (/ 1.0 2.0))
(s793 (/ 1.0 2.0))
(s794 (/ 1.0 2.0))
(s795 (/ 1.0 2.0))
(s796 (/ 1.0 2.0))
(s797 (/ 1.0 2.0))
(s798 (/ 1.0 2.0))
(s799 (/ 1.0 2.0))
(s800 (/ 1.0 2.0))
(s801 (/ 1.0 2.0))
(s802 (/ 1.0 2.0))
(s803 (/ 1.0 2.0))
(s804 (/ 1.0 2.0))
(s807 (/ 1.0 2.0))
(s808 (/ 1.0 2.0))
(s809 (/ 1.0 2.0))
(s810 (/ 1.0 2.0))
(s811 (/ 1.0 2.0))
(s812 (/ 1.0 2.0))
(s813 (/ 1.0 2.0))
(s814 (/ 1.0 2.0))
(s815 (/ 1.0 2.0))
(s816 (/ 1.0 2.0))
(s817 (/ 1.0 2.0))
(s818 (/ 1.0 2.0))
(s819 (/ 1.0 2.0))
(s822 (/ 1.0 2.0))
(s823 (/ 1.0 2.0))
(s824 (/ 1.0 2.0))
(s825 (/ 1.0 2.0))
(s826 (/ 1.0 2.0))
(s827 (/ 1.0 2.0))
(s828 (/ 1.0 2.0))
(s829 (/ 1.0 2.0))
(s830 (/ 1.0 2.0))
(s831 (/ 1.0 2.0))
(s832 (/ 1.0 2.0))
(s835 (/ 1.0 2.0))
(s836 (/ 1.0 2.0))
(s837 (/ 1.0 2.0))
(s838 (/ 1.0 2.0))
(s839 (/ 1.0 2.0))
(s840 (/ 1.0 2.0))
(s841 (/ 1.0 2.0))
(s842 (/ 1.0 2.0))
(s843 (/ 1.0 2.0))
(s846 (/ 1.0 2.0))
(s847 (/ 1.0 2.0))
(s848 (/ 1.0 2.0))
(s849 (/ 1.0 2.0))
(s850 (/ 1.0 2.0))
(s851 (/ 1.0 2.0))
(s852 (/ 1.0 2.0))
(s855 (/ 1.0 2.0))
(s856 (/ 1.0 2.0))
(s857 (/ 1.0 2.0))
(s858 (/ 1.0 2.0))
(s859 (/ 1.0 2.0))
(s862 (/ 1.0 2.0))
(s863 (/ 1.0 2.0))
(s864 (/ 1.0 2.0))
(s867 (/ 1.0 2.0))
(s889 (/ 1.0 2.0))
(s891 (/ 1.0 2.0))
(s905 (/ 1.0 2.0))
(s908 (/ 1.0 2.0))
(s909 (/ 1.0 2.0))
(s910 (/ 1.0 2.0))
(s913 (/ 1.0 2.0))
(s914 (/ 1.0 2.0))
(s915 (/ 1.0 2.0))
(s916 (/ 1.0 2.0))
(s917 (/ 1.0 2.0))
(s920 (/ 1.0 2.0))
(s921 (/ 1.0 2.0))
(s922 (/ 1.0 2.0))
(s923 (/ 1.0 2.0))
(s924 (/ 1.0 2.0))
(s925 (/ 1.0 2.0))
(s926 (/ 1.0 2.0))
(s929 (/ 1.0 2.0))
(s930 (/ 1.0 2.0))
(s931 (/ 1.0 2.0))
(s932 (/ 1.0 2.0))
(s933 (/ 1.0 2.0))
(s934 (/ 1.0 2.0))
(s935 (/ 1.0 2.0))
(s936 (/ 1.0 2.0))
(s937 (/ 1.0 2.0))
(s940 (/ 1.0 2.0))
(s941 (/ 1.0 2.0))
(s942 (/ 1.0 2.0))
(s943 (/ 1.0 2.0))
(s944 (/ 1.0 2.0))
(s945 (/ 1.0 2.0))
(s946 (/ 1.0 2.0))
(s947 (/ 1.0 2.0))
(s948 (/ 1.0 2.0))
(s949 (/ 1.0 2.0))
(s950 (/ 1.0 2.0))
(s953 (/ 1.0 2.0))
(s954 (/ 1.0 2.0))
(s955 (/ 1.0 2.0))
(s956 (/ 1.0 2.0))
(s957 (/ 1.0 2.0))
(s958 (/ 1.0 2.0))
(s959 (/ 1.0 2.0))
(s960 (/ 1.0 2.0))
(s961 (/ 1.0 2.0))
(s962 (/ 1.0 2.0))
(s963 (/ 1.0 2.0))
(s964 (/ 1.0 2.0))
(s965 (/ 1.0 2.0))
(s969 (/ 1.0 2.0))
(s970 (/ 1.0 2.0))
(s971 (/ 1.0 2.0))
(s972 (/ 1.0 2.0))
(s973 (/ 1.0 2.0))
(s974 (/ 1.0 2.0))
(s975 (/ 1.0 2.0))
(s976 (/ 1.0 2.0))
(s977 (/ 1.0 2.0))
(s978 (/ 1.0 2.0))
(s979 (/ 1.0 2.0))
(s980 (/ 1.0 2.0))
(s981 (/ 1.0 2.0))
(s987 (/ 1.0 2.0))
(s988 (/ 1.0 2.0))
(s989 (/ 1.0 2.0))
(s990 (/ 1.0 2.0))
(s991 (/ 1.0 2.0))
(s992 (/ 1.0 2.0))
(s993 (/ 1.0 2.0))
(s994 (/ 1.0 2.0))
(s995 (/ 1.0 2.0))
(s996 (/ 1.0 2.0))
(s997 (/ 1.0 2.0))
(s998 (/ 1.0 2.0))
(s1002 (/ 1.0 2.0))
(s1003 (/ 1.0 2.0))
(s1004 (/ 1.0 2.0))
(s1005 (/ 1.0 2.0))
(s1006 (/ 1.0 2.0))
(s1007 (/ 1.0 2.0))
(s1008 (/ 1.0 2.0))
(s1009 (/ 1.0 2.0))
(s1010 (/ 1.0 2.0))
(s1011 (/ 1.0 2.0))
(s1012 (/ 1.0 2.0))
(s1013 (/ 1.0 2.0))
(s1014 (/ 1.0 2.0))
(s1022 (/ 1.0 2.0))
(s1023 (/ 1.0 2.0))
(s1024 (/ 1.0 2.0))
(s1025 (/ 1.0 2.0))
(s1026 (/ 1.0 2.0))
(s1027 (/ 1.0 2.0))
(s1028 (/ 1.0 2.0))
(s1029 (/ 1.0 2.0))
(s1030 (/ 1.0 2.0))
(s1031 (/ 1.0 2.0))
(s1032 (/ 1.0 2.0))
(s1033 (/ 1.0 2.0))
(s1034 (/ 1.0 2.0))
(s1037 (/ 1.0 2.0))
(s1038 (/ 1.0 2.0))
(s1039 (/ 1.0 2.0))
(s1040 (/ 1.0 2.0))
(s1041 (/ 1.0 2.0))
(s1042 (/ 1.0 2.0))
(s1043 (/ 1.0 2.0))
(s1044 (/ 1.0 2.0))
(s1045 (/ 1.0 2.0))
(s1046 (/ 1.0 2.0))
(s1047 (/ 1.0 2.0))
(s1050 (/ 1.0 2.0))
(s1051 (/ 1.0 2.0))
(s1052 (/ 1.0 2.0))
(s1053 (/ 1.0 2.0))
(s1054 (/ 1.0 2.0))
(s1055 (/ 1.0 2.0))
(s1056 (/ 1.0 2.0))
(s1057 (/ 1.0 2.0))
(s1058 (/ 1.0 2.0))
(s1061 (/ 1.0 2.0))
(s1062 (/ 1.0 2.0))
(s1063 (/ 1.0 2.0))
(s1064 (/ 1.0 2.0))
(s1065 (/ 1.0 2.0))
(s1066 (/ 1.0 2.0))
(s1067 (/ 1.0 2.0))
(s1070 (/ 1.0 2.0))
(s1071 (/ 1.0 2.0))
(s1072 (/ 1.0 2.0))
(s1073 (/ 1.0 2.0))
(s1074 (/ 1.0 2.0))
(s1077 (/ 1.0 2.0))
(s1078 (/ 1.0 2.0))
(s1079 (/ 1.0 2.0))
(s1082 (/ 1.0 2.0))
(s1106 (/ 1.0 2.0))
(s1108 (/ 1.0 2.0))
(s1126 (/ 1.0 2.0))
(s1129 (/ 1.0 2.0))
(s1130 (/ 1.0 2.0))
(s1131 (/ 1.0 2.0))
(s1134 (/ 1.0 2.0))
(s1135 (/ 1.0 2.0))
(s1136 (/ 1.0 2.0))
(s1137 (/ 1.0 2.0))
(s1138 (/ 1.0 2.0))
(s1141 (/ 1.0 2.0))
(s1142 (/ 1.0 2.0))
(s1143 (/ 1.0 2.0))
(s1144 (/ 1.0 2.0))
(s1145 (/ 1.0 2.0))
(s1146 (/ 1.0 2.0))
(s1147 (/ 1.0 2.0))
(s1150 (/ 1.0 2.0))
(s1151 (/ 1.0 2.0))
(s1152 (/ 1.0 2.0))
(s1153 (/ 1.0 2.0))
(s1154 (/ 1.0 2.0))
(s1155 (/ 1.0 2.0))
(s1156 (/ 1.0 2.0))
(s1157 (/ 1.0 2.0))
(s1158 (/ 1.0 2.0))
(s1161 (/ 1.0 2.0))
(s1162 (/ 1.0 2.0))
(s1163 (/ 1.0 2.0))
(s1164 (/ 1.0 2.0))
(s1165 (/ 1.0 2.0))
(s1166 (/ 1.0 2.0))
(s1167 (/ 1.0 2.0))
(s1168 (/ 1.0 2.0))
(s1169 (/ 1.0 2.0))
(s1170 (/ 1.0 2.0))
(s1171 (/ 1.0 2.0))
(s1175 (/ 1.0 2.0))
(s1176 (/ 1.0 2.0))
(s1177 (/ 1.0 2.0))
(s1178 (/ 1.0 2.0))
(s1179 (/ 1.0 2.0))
(s1180 (/ 1.0 2.0))
(s1181 (/ 1.0 2.0))
(s1182 (/ 1.0 2.0))
(s1183 (/ 1.0 2.0))
(s1184 (/ 1.0 2.0))
(s1185 (/ 1.0 2.0))
(s1191 (/ 1.0 2.0))
(s1192 (/ 1.0 2.0))
(s1193 (/ 1.0 2.0))
(s1194 (/ 1.0 2.0))
(s1195 (/ 1.0 2.0))
(s1196 (/ 1.0 2.0))
(s1197 (/ 1.0 2.0))
(s1198 (/ 1.0 2.0))
(s1199 (/ 1.0 2.0))
(s1200 (/ 1.0 2.0))
(s1204 (/ 1.0 2.0))
(s1205 (/ 1.0 2.0))
(s1206 (/ 1.0 2.0))
(s1207 (/ 1.0 2.0))
(s1208 (/ 1.0 2.0))
(s1209 (/ 1.0 2.0))
(s1210 (/ 1.0 2.0))
(s1211 (/ 1.0 2.0))
(s1212 (/ 1.0 2.0))
(s1213 (/ 1.0 2.0))
(s1214 (/ 1.0 2.0))
(s1222 (/ 1.0 2.0))
(s1223 (/ 1.0 2.0))
(s1224 (/ 1.0 2.0))
(s1225 (/ 1.0 2.0))
(s1226 (/ 1.0 2.0))
(s1227 (/ 1.0 2.0))
(s1228 (/ 1.0 2.0))
(s1229 (/ 1.0 2.0))
(s1230 (/ 1.0 2.0))
(s1231 (/ 1.0 2.0))
(s1232 (/ 1.0 2.0))
(s1235 (/ 1.0 2.0))
(s1236 (/ 1.0 2.0))
(s1237 (/ 1.0 2.0))
(s1238 (/ 1.0 2.0))
(s1239 (/ 1.0 2.0))
(s1240 (/ 1.0 2.0))
(s1241 (/ 1.0 2.0))
(s1242 (/ 1.0 2.0))
(s1243 (/ 1.0 2.0))
(s1246 (/ 1.0 2.0))
(s1247 (/ 1.0 2.0))
(s1248 (/ 1.0 2.0))
(s1249 (/ 1.0 2.0))
(s1250 (/ 1.0 2.0))
(s1251 (/ 1.0 2.0))
(s1252 (/ 1.0 2.0))
(s1255 (/ 1.0 2.0))
(s1256 (/ 1.0 2.0))
(s1257 (/ 1.0 2.0))
(s1258 (/ 1.0 2.0))
(s1259 (/ 1.0 2.0))
(s1262 (/ 1.0 2.0))
(s1263 (/ 1.0 2.0))
(s1264 (/ 1.0 2.0))
(s1267 (/ 1.0 2.0))
(s1293 (/ 1.0 2.0))
(s1295 (/ 1.0 2.0))
(s1313 (/ 1.0 2.0))
(s1316 (/ 1.0 2.0))
(s1317 (/ 1.0 2.0))
(s1318 (/ 1.0 2.0))
(s1321 (/ 1.0 2.0))
(s1322 (/ 1.0 2.0))
(s1323 (/ 1.0 2.0))
(s1324 (/ 1.0 2.0))
(s1325 (/ 1.0 2.0))
(s1328 (/ 1.0 2.0))
(s1329 (/ 1.0 2.0))
(s1330 (/ 1.0 2.0))
(s1331 (/ 1.0 2.0))
(s1332 (/ 1.0 2.0))
(s1333 (/ 1.0 2.0))
(s1334 (/ 1.0 2.0))
(s1337 (/ 1.0 2.0))
(s1338 (/ 1.0 2.0))
(s1339 (/ 1.0 2.0))
(s1340 (/ 1.0 2.0))
(s1341 (/ 1.0 2.0))
(s1342 (/ 1.0 2.0))
(s1343 (/ 1.0 2.0))
(s1344 (/ 1.0 2.0))
(s1349 (/ 1.0 2.0))
(s1350 (/ 1.0 2.0))
(s1351 (/ 1.0 2.0))
(s1352 (/ 1.0 2.0))
(s1353 (/ 1.0 2.0))
(s1354 (/ 1.0 2.0))
(s1355 (/ 1.0 2.0))
(s1356 (/ 1.0 2.0))
(s1361 (/ 1.0 2.0))
(s1362 (/ 1.0 2.0))
(s1363 (/ 1.0 2.0))
(s1364 (/ 1.0 2.0))
(s1365 (/ 1.0 2.0))
(s1366 (/ 1.0 2.0))
(s1367 (/ 1.0 2.0))
(s1368 (/ 1.0 2.0))
(s1369 (/ 1.0 2.0))
(s1373 (/ 1.0 2.0))
(s1374 (/ 1.0 2.0))
(s1375 (/ 1.0 2.0))
(s1376 (/ 1.0 2.0))
(s1377 (/ 1.0 2.0))
(s1378 (/ 1.0 2.0))
(s1379 (/ 1.0 2.0))
(s1380 (/ 1.0 2.0))
(s1381 (/ 1.0 2.0))
(s1389 (/ 1.0 2.0))
(s1390 (/ 1.0 2.0))
(s1391 (/ 1.0 2.0))
(s1392 (/ 1.0 2.0))
(s1393 (/ 1.0 2.0))
(s1394 (/ 1.0 2.0))
(s1395 (/ 1.0 2.0))
(s1396 (/ 1.0 2.0))
(s1397 (/ 1.0 2.0))
(s1400 (/ 1.0 2.0))
(s1401 (/ 1.0 2.0))
(s1402 (/ 1.0 2.0))
(s1403 (/ 1.0 2.0))
(s1404 (/ 1.0 2.0))
(s1405 (/ 1.0 2.0))
(s1406 (/ 1.0 2.0))
(s1409 (/ 1.0 2.0))
(s1410 (/ 1.0 2.0))
(s1411 (/ 1.0 2.0))
(s1412 (/ 1.0 2.0))
(s1413 (/ 1.0 2.0))
(s1416 (/ 1.0 2.0))
(s1417 (/ 1.0 2.0))
(s1418 (/ 1.0 2.0))
(s1421 (/ 1.0 2.0))
(s1449 (/ 1.0 2.0))
(s1451 (/ 1.0 2.0))
(s1471 (/ 1.0 2.0))
(s1474 (/ 1.0 2.0))
(s1475 (/ 1.0 2.0))
(s1476 (/ 1.0 2.0))
(s1479 (/ 1.0 2.0))
(s1480 (/ 1.0 2.0))
(s1481 (/ 1.0 2.0))
(s1482 (/ 1.0 2.0))
(s1483 (/ 1.0 2.0))
(s1486 (/ 1.0 2.0))
(s1487 (/ 1.0 2.0))
(s1488 (/ 1.0 2.0))
(s1489 (/ 1.0 2.0))
(s1490 (/ 1.0 2.0))
(s1491 (/ 1.0 2.0))
(s1492 (/ 1.0 2.0))
(s1496 (/ 1.0 2.0))
(s1497 (/ 1.0 2.0))
(s1498 (/ 1.0 2.0))
(s1499 (/ 1.0 2.0))
(s1500 (/ 1.0 2.0))
(s1501 (/ 1.0 2.0))
(s1502 (/ 1.0 2.0))
(s1507 (/ 1.0 2.0))
(s1508 (/ 1.0 2.0))
(s1509 (/ 1.0 2.0))
(s1510 (/ 1.0 2.0))
(s1511 (/ 1.0 2.0))
(s1512 (/ 1.0 2.0))
(s1513 (/ 1.0 2.0))
(s1517 (/ 1.0 2.0))
(s1518 (/ 1.0 2.0))
(s1519 (/ 1.0 2.0))
(s1520 (/ 1.0 2.0))
(s1521 (/ 1.0 2.0))
(s1522 (/ 1.0 2.0))
(s1523 (/ 1.0 2.0))
(s1532 (/ 1.0 2.0))
(s1533 (/ 1.0 2.0))
(s1534 (/ 1.0 2.0))
(s1535 (/ 1.0 2.0))
(s1536 (/ 1.0 2.0))
(s1537 (/ 1.0 2.0))
(s1540 (/ 1.0 2.0))
(s1541 (/ 1.0 2.0))
(s1542 (/ 1.0 2.0))
(s1543 (/ 1.0 2.0))
(s1544 (/ 1.0 2.0))
(s1547 (/ 1.0 2.0))
(s1548 (/ 1.0 2.0))
(s1549 (/ 1.0 2.0))
(s1552 (/ 1.0 2.0))
(s1582 (/ 1.0 2.0))
(s1584 (/ 1.0 2.0))
(s1606 (/ 1.0 2.0))
(s1609 (/ 1.0 2.0))
(s1610 (/ 1.0 2.0))
(s1611 (/ 1.0 2.0))
(s1614 (/ 1.0 2.0))
(s1615 (/ 1.0 2.0))
(s1616 (/ 1.0 2.0))
(s1617 (/ 1.0 2.0))
(s1621 (/ 1.0 2.0))
(s1622 (/ 1.0 2.0))
(s1623 (/ 1.0 2.0))
(s1624 (/ 1.0 2.0))
(s1625 (/ 1.0 2.0))
(s1630 (/ 1.0 2.0))
(s1631 (/ 1.0 2.0))
(s1632 (/ 1.0 2.0))
(s1633 (/ 1.0 2.0))
(s1634 (/ 1.0 2.0))
(s1639 (/ 1.0 2.0))
(s1640 (/ 1.0 2.0))
(s1641 (/ 1.0 2.0))
(s1642 (/ 1.0 2.0))
(s1650 (/ 1.0 2.0))
(s1651 (/ 1.0 2.0))
(s1652 (/ 1.0 2.0))
(s1653 (/ 1.0 2.0))
(s1654 (/ 1.0 2.0))
(s1657 (/ 1.0 2.0))
(s1658 (/ 1.0 2.0))
(s1659 (/ 1.0 2.0))
(s1662 (/ 1.0 2.0))
(s1694 (/ 1.0 2.0))
(s1696 (/ 1.0 2.0))
(s1720 (/ 1.0 2.0))
(s1723 (/ 1.0 2.0))
(s1724 (/ 1.0 2.0))
(s1725 (/ 1.0 2.0))
(s1729 (/ 1.0 2.0))
(s1730 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2147/13612 variables, and 0 constraints, problems are : Problem set: 0 solved, 2147 unsolved in 105048 ms.
Refiners :[Positive P Invariants (semi-flows): 0/49 constraints, Generalized P Invariants (flows): 0/888 constraints, State Equation: 0/4395 constraints, ReadFeed: 0/5002 constraints, PredecessorRefiner: 2147/2147 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2147 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2147 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2147 unsolved
At refinement iteration 1 (OVERLAPS) 911/3058 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 2147 unsolved
[2024-06-01 06:16:11] [INFO ] Deduced a trap composed of 671 places in 1074 ms of which 9 ms to minimize.
[2024-06-01 06:16:12] [INFO ] Deduced a trap composed of 651 places in 1029 ms of which 8 ms to minimize.
[2024-06-01 06:16:13] [INFO ] Deduced a trap composed of 648 places in 1050 ms of which 8 ms to minimize.
[2024-06-01 06:16:14] [INFO ] Deduced a trap composed of 658 places in 1095 ms of which 9 ms to minimize.
[2024-06-01 06:16:16] [INFO ] Deduced a trap composed of 643 places in 1023 ms of which 9 ms to minimize.
[2024-06-01 06:16:17] [INFO ] Deduced a trap composed of 643 places in 1053 ms of which 9 ms to minimize.
[2024-06-01 06:16:18] [INFO ] Deduced a trap composed of 665 places in 1063 ms of which 11 ms to minimize.
[2024-06-01 06:16:19] [INFO ] Deduced a trap composed of 661 places in 1088 ms of which 9 ms to minimize.
[2024-06-01 06:16:20] [INFO ] Deduced a trap composed of 669 places in 1082 ms of which 9 ms to minimize.
[2024-06-01 06:16:21] [INFO ] Deduced a trap composed of 631 places in 1060 ms of which 9 ms to minimize.
[2024-06-01 06:16:22] [INFO ] Deduced a trap composed of 684 places in 1035 ms of which 9 ms to minimize.
[2024-06-01 06:16:23] [INFO ] Deduced a trap composed of 693 places in 1034 ms of which 9 ms to minimize.
[2024-06-01 06:16:32] [INFO ] Deduced a trap composed of 687 places in 1097 ms of which 9 ms to minimize.
[2024-06-01 06:16:34] [INFO ] Deduced a trap composed of 906 places in 1114 ms of which 8 ms to minimize.
[2024-06-01 06:16:35] [INFO ] Deduced a trap composed of 793 places in 1121 ms of which 9 ms to minimize.
[2024-06-01 06:16:36] [INFO ] Deduced a trap composed of 705 places in 1087 ms of which 9 ms to minimize.
[2024-06-01 06:16:37] [INFO ] Deduced a trap composed of 847 places in 1107 ms of which 9 ms to minimize.
[2024-06-01 06:16:46] [INFO ] Deduced a trap composed of 838 places in 1143 ms of which 9 ms to minimize.
SMT process timed out in 213096ms, After SMT, problems are : Problem set: 0 solved, 2147 unsolved
Fused 2147 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2147 out of 4395 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4395/4395 places, 9888/9888 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 4395 transition count 9885
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 4392 transition count 9885
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 7 place count 4392 transition count 9884
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 8 place count 4391 transition count 9884
Partial Free-agglomeration rule applied 3 times.
Drop transitions (Partial Free agglomeration) removed 3 transitions
Iterating global reduction 3 with 3 rules applied. Total rules applied 11 place count 4391 transition count 9884
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 14 place count 4388 transition count 9881
Iterating global reduction 3 with 3 rules applied. Total rules applied 17 place count 4388 transition count 9881
Applied a total of 17 rules in 1138 ms. Remains 4388 /4395 variables (removed 7) and now considering 9881/9888 (removed 7) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1138 ms. Remains : 4388/4395 places, 9881/9888 transitions.
RANDOM walk for 886992 steps (28396 resets) in 120004 ms. (7 steps per ms) remains 2136/2147 properties
BEST_FIRST walk for 4003 steps (12 resets) in 99 ms. (40 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4002 steps (12 resets) in 157 ms. (25 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 146 ms. (27 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 146 ms. (27 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 144 ms. (27 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 139 ms. (28 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 127 ms. (31 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 148 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 146 ms. (27 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 131 ms. (30 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 154 ms. (25 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 146 ms. (27 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 148 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 150 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 152 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 118 ms. (33 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 147 ms. (27 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 110 ms. (36 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 152 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 153 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 171 ms. (23 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 175 ms. (22 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 149 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 98 ms. (40 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 156 ms. (25 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 162 ms. (24 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 124 ms. (32 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 157 ms. (25 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 131 ms. (30 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 151 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 114 ms. (34 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 166 ms. (23 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 143 ms. (27 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 134 ms. (29 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 161 ms. (24 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 151 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 150 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 116 ms. (34 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 148 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 148 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4001 steps (12 resets) in 123 ms. (32 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 157 ms. (25 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 151 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4002 steps (12 resets) in 150 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4002 steps (12 resets) in 151 ms. (26 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 109 ms. (36 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 136 ms. (29 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4002 steps (12 resets) in 158 ms. (25 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4003 steps (12 resets) in 146 ms. (27 steps per ms) remains 2136/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 147 ms. (27 steps per ms) remains 2136/2136 properties
Interrupted probabilistic random walk after 477754 steps, run timeout after 96001 ms. (steps per millisecond=4 ) properties seen :0 out of 2136
Probabilistic random walk after 477754 steps, saw 210201 distinct states, run finished after 96002 ms. (steps per millisecond=4 ) properties seen :0
[2024-06-01 06:18:55] [INFO ] Flow matrix only has 9209 transitions (discarded 672 similar events)
// Phase 1: matrix 9209 rows 4388 cols
[2024-06-01 06:18:55] [INFO ] Computed 937 invariants in 238 ms
[2024-06-01 06:18:55] [INFO ] State equation strengthened by 5002 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/2136 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2136 unsolved
SMT process timed out in 122383ms, After SMT, problems are : Problem set: 0 solved, 2136 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2136 out of 4388 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4388/4388 places, 9881/9881 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4388 transition count 9880
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 4387 transition count 9880
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 2 with 7 rules applied. Total rules applied 9 place count 4387 transition count 9873
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 2 with 7 rules applied. Total rules applied 16 place count 4380 transition count 9873
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 17 place count 4379 transition count 9872
Iterating global reduction 3 with 1 rules applied. Total rules applied 18 place count 4379 transition count 9872
Applied a total of 18 rules in 817 ms. Remains 4379 /4388 variables (removed 9) and now considering 9872/9881 (removed 9) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 817 ms. Remains : 4379/4388 places, 9872/9881 transitions.
RANDOM walk for 432403 steps (13838 resets) in 120004 ms. (3 steps per ms) remains 2130/2136 properties
BEST_FIRST walk for 4004 steps (12 resets) in 128 ms. (31 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 140 ms. (28 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 95 ms. (41 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4002 steps (12 resets) in 156 ms. (25 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 93 ms. (42 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 152 ms. (26 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 150 ms. (26 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 119 ms. (33 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 155 ms. (25 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 148 ms. (26 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 152 ms. (26 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 107 ms. (37 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 141 ms. (28 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4002 steps (12 resets) in 152 ms. (26 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 106 ms. (37 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 146 ms. (27 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 148 ms. (26 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4002 steps (12 resets) in 108 ms. (36 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 160 ms. (24 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 101 ms. (39 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4002 steps (12 resets) in 106 ms. (37 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 153 ms. (25 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 144 ms. (27 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 142 ms. (27 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 129 ms. (30 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 136 ms. (29 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 117 ms. (33 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 146 ms. (27 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4002 steps (12 resets) in 146 ms. (27 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 118 ms. (33 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 157 ms. (25 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 153 ms. (26 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 108 ms. (36 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 147 ms. (27 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 145 ms. (27 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 122 ms. (32 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 153 ms. (26 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 145 ms. (27 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 100 ms. (39 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 146 ms. (27 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 154 ms. (25 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 102 ms. (38 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 157 ms. (25 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 150 ms. (26 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 154 ms. (25 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 145 ms. (27 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 137 ms. (29 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 97 ms. (40 steps per ms) remains 2130/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 162 ms. (24 steps per ms) remains 2130/2130 properties
Interrupted probabilistic random walk after 458716 steps, run timeout after 93004 ms. (steps per millisecond=4 ) properties seen :0 out of 2130
Probabilistic random walk after 458716 steps, saw 201845 distinct states, run finished after 93005 ms. (steps per millisecond=4 ) properties seen :0
[2024-06-01 06:23:03] [INFO ] Flow matrix only has 9194 transitions (discarded 678 similar events)
// Phase 1: matrix 9194 rows 4379 cols
[2024-06-01 06:23:03] [INFO ] Computed 937 invariants in 299 ms
[2024-06-01 06:23:03] [INFO ] State equation strengthened by 5002 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/2130 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2130 unsolved
SMT process timed out in 137153ms, After SMT, problems are : Problem set: 0 solved, 2130 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2130 out of 4379 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4379/4379 places, 9872/9872 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 4379 transition count 9870
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 4377 transition count 9870
Applied a total of 4 rules in 676 ms. Remains 4377 /4379 variables (removed 2) and now considering 9870/9872 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 677 ms. Remains : 4377/4379 places, 9870/9872 transitions.
RANDOM walk for 921810 steps (29506 resets) in 120004 ms. (7 steps per ms) remains 2123/2130 properties
BEST_FIRST walk for 4003 steps (12 resets) in 106 ms. (37 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 153 ms. (26 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 97 ms. (40 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 138 ms. (28 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 152 ms. (26 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4002 steps (12 resets) in 124 ms. (32 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 145 ms. (27 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 159 ms. (25 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 146 ms. (27 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 113 ms. (35 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4002 steps (12 resets) in 149 ms. (26 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 146 ms. (27 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 148 ms. (26 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4002 steps (12 resets) in 126 ms. (31 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 142 ms. (28 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 143 ms. (27 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4002 steps (12 resets) in 145 ms. (27 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 146 ms. (27 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 104 ms. (38 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 145 ms. (27 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 136 ms. (29 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 122 ms. (32 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 155 ms. (25 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 128 ms. (31 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4002 steps (12 resets) in 150 ms. (26 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 118 ms. (33 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 148 ms. (26 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 150 ms. (26 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 125 ms. (31 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 148 ms. (26 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 105 ms. (37 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 162 ms. (24 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 142 ms. (28 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4002 steps (12 resets) in 155 ms. (25 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 146 ms. (27 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 128 ms. (31 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4002 steps (12 resets) in 109 ms. (36 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 155 ms. (25 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 154 ms. (25 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 114 ms. (34 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 154 ms. (25 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 142 ms. (28 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 146 ms. (27 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4003 steps (12 resets) in 105 ms. (37 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 150 ms. (26 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 147 ms. (27 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 119 ms. (33 steps per ms) remains 2123/2123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 152 ms. (26 steps per ms) remains 2123/2123 properties
Interrupted probabilistic random walk after 453389 steps, run timeout after 93001 ms. (steps per millisecond=4 ) properties seen :0 out of 2123
Probabilistic random walk after 453389 steps, saw 199542 distinct states, run finished after 93001 ms. (steps per millisecond=4 ) properties seen :0
[2024-06-01 06:27:26] [INFO ] Flow matrix only has 9190 transitions (discarded 680 similar events)
// Phase 1: matrix 9190 rows 4377 cols
[2024-06-01 06:27:26] [INFO ] Computed 937 invariants in 226 ms
[2024-06-01 06:27:26] [INFO ] State equation strengthened by 5002 read => feed constraints.
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C05"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool ltsminxred"
echo " Input is MultiCrashLeafsetExtension-PT-S24C05, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r510-tall-171654364500053"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C05.tgz
mv MultiCrashLeafsetExtension-PT-S24C05 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;