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-171654364600098.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-S32C03, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r510-tall-171654364600098
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 19M
-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 13K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Apr 22 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Apr 22 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 22 14:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K Apr 12 07:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 176K Apr 12 07:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 22 14:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:53 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 18M 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 1717225591864

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-S32C03
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 07:06:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-06-01 07:06:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 07:06:34] [INFO ] Load time of PNML (sax parser for PT used): 808 ms
[2024-06-01 07:06:34] [INFO ] Transformed 15862 places.
[2024-06-01 07:06:34] [INFO ] Transformed 25109 transitions.
[2024-06-01 07:06:34] [INFO ] Parsed PT model containing 15862 places and 25109 transitions and 104566 arcs in 1082 ms.
RANDOM walk for 40000 steps (1277 resets) in 6678 ms. (5 steps per ms) remains 12411/15862 properties
BEST_FIRST walk for 124 steps (0 resets) in 20 ms. (5 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 47 ms. (2 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 63 ms. (1 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 52 ms. (2 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 34 ms. (3 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 7 ms. (15 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 7 ms. (15 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 9 ms. (12 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 5 ms. (20 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 9 ms. (12 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 5 ms. (20 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 6 ms. (17 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 9 ms. (12 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 7 ms. (15 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 9 ms. (12 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 7 ms. (15 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
BEST_FIRST walk for 124 steps (0 resets) in 8 ms. (13 steps per ms) remains 12411/12411 properties
[2024-06-01 07:06:37] [INFO ] Flow matrix only has 24053 transitions (discarded 1056 similar events)
// Phase 1: matrix 24053 rows 15862 cols
[2024-06-01 07:06:39] [INFO ] Computed 1403 invariants in 2446 ms
[2024-06-01 07:06:40] [INFO ] State equation strengthened by 8098 read => feed constraints.
SMT process timed out in 34301ms, After SMT, problems are : Problem set: 0 solved, 12411 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 12411 out of 15862 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 15862/15862 places, 25109/25109 transitions.
Graph (complete) has 59447 edges and 15862 vertex of which 15820 are kept as prefixes of interest. Removing 42 places using SCC suffix rule.50 ms
Discarding 42 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 223 transitions
Trivial Post-agglo rules discarded 223 transitions
Performed 223 trivial Post agglomeration. Transition count delta: 223
Iterating post reduction 0 with 223 rules applied. Total rules applied 224 place count 15820 transition count 24886
Reduce places removed 223 places and 0 transitions.
Performed 207 Post agglomeration using F-continuation condition.Transition count delta: 207
Iterating post reduction 1 with 430 rules applied. Total rules applied 654 place count 15597 transition count 24679
Reduce places removed 207 places and 0 transitions.
Iterating post reduction 2 with 207 rules applied. Total rules applied 861 place count 15390 transition count 24679
Performed 126 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 126 Pre rules applied. Total rules applied 861 place count 15390 transition count 24553
Deduced a syphon composed of 126 places in 22 ms
Reduce places removed 126 places and 0 transitions.
Iterating global reduction 3 with 252 rules applied. Total rules applied 1113 place count 15264 transition count 24553
Discarding 116 places :
Symmetric choice reduction at 3 with 116 rule applications. Total rules 1229 place count 15148 transition count 24437
Iterating global reduction 3 with 116 rules applied. Total rules applied 1345 place count 15148 transition count 24437
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 40 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 1349 place count 15146 transition count 24435
Free-agglomeration rule (complex) applied 163 times.
Iterating global reduction 3 with 163 rules applied. Total rules applied 1512 place count 15146 transition count 24272
Reduce places removed 163 places and 0 transitions.
Iterating post reduction 3 with 163 rules applied. Total rules applied 1675 place count 14983 transition count 24272
Partial Free-agglomeration rule applied 107 times.
Drop transitions (Partial Free agglomeration) removed 107 transitions
Iterating global reduction 4 with 107 rules applied. Total rules applied 1782 place count 14983 transition count 24272
Applied a total of 1782 rules in 2686 ms. Remains 14983 /15862 variables (removed 879) and now considering 24272/25109 (removed 837) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2702 ms. Remains : 14983/15862 places, 24272/25109 transitions.
RANDOM walk for 720007 steps (26303 resets) in 120004 ms. (5 steps per ms) remains 5665/12411 properties
BEST_FIRST walk for 4004 steps (16 resets) in 255 ms. (15 steps per ms) remains 5664/5665 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5664/5664 properties
BEST_FIRST walk for 4002 steps (16 resets) in 156 ms. (25 steps per ms) remains 5664/5664 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5664/5664 properties
BEST_FIRST walk for 4003 steps (16 resets) in 160 ms. (24 steps per ms) remains 5662/5664 properties
BEST_FIRST walk for 4003 steps (16 resets) in 166 ms. (23 steps per ms) remains 5662/5662 properties
BEST_FIRST walk for 4002 steps (16 resets) in 158 ms. (25 steps per ms) remains 5662/5662 properties
BEST_FIRST walk for 4004 steps (16 resets) in 171 ms. (23 steps per ms) remains 5662/5662 properties
BEST_FIRST walk for 4004 steps (16 resets) in 168 ms. (23 steps per ms) remains 5662/5662 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5662/5662 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5661/5662 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5660/5661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 215 ms. (18 steps per ms) remains 5659/5660 properties
BEST_FIRST walk for 4003 steps (16 resets) in 199 ms. (20 steps per ms) remains 5659/5659 properties
BEST_FIRST walk for 4004 steps (16 resets) in 243 ms. (16 steps per ms) remains 5658/5659 properties
BEST_FIRST walk for 4003 steps (16 resets) in 247 ms. (16 steps per ms) remains 5657/5658 properties
BEST_FIRST walk for 4001 steps (16 resets) in 215 ms. (18 steps per ms) remains 5657/5657 properties
BEST_FIRST walk for 4003 steps (16 resets) in 256 ms. (15 steps per ms) remains 5657/5657 properties
BEST_FIRST walk for 4004 steps (16 resets) in 254 ms. (15 steps per ms) remains 5657/5657 properties
BEST_FIRST walk for 4004 steps (16 resets) in 238 ms. (16 steps per ms) remains 5657/5657 properties
BEST_FIRST walk for 4004 steps (16 resets) in 228 ms. (17 steps per ms) remains 5657/5657 properties
BEST_FIRST walk for 4004 steps (16 resets) in 223 ms. (17 steps per ms) remains 5657/5657 properties
BEST_FIRST walk for 4004 steps (16 resets) in 234 ms. (17 steps per ms) remains 5656/5657 properties
BEST_FIRST walk for 4004 steps (16 resets) in 229 ms. (17 steps per ms) remains 5652/5656 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5651/5652 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5649/5651 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5649/5649 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5648/5649 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5648/5648 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5646/5648 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5646/5646 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5646/5646 properties
BEST_FIRST walk for 4004 steps (16 resets) in 176 ms. (22 steps per ms) remains 5645/5646 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5643/5645 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5642/5643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5641/5642 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5639/5641 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5639/5639 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5639/5639 properties
BEST_FIRST walk for 4002 steps (16 resets) in 152 ms. (26 steps per ms) remains 5638/5639 properties
BEST_FIRST walk for 4002 steps (16 resets) in 154 ms. (25 steps per ms) remains 5638/5638 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5638/5638 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5637/5638 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 5635/5637 properties
BEST_FIRST walk for 4002 steps (16 resets) in 153 ms. (25 steps per ms) remains 5635/5635 properties
BEST_FIRST walk for 4001 steps (16 resets) in 153 ms. (25 steps per ms) remains 5635/5635 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5631/5635 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5631/5631 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5630/5631 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5628/5630 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5628/5628 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 5628/5628 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5627/5628 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5625/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5623/5625 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5621/5623 properties
BEST_FIRST walk for 4002 steps (16 resets) in 199 ms. (20 steps per ms) remains 5621/5621 properties
BEST_FIRST walk for 4003 steps (16 resets) in 167 ms. (23 steps per ms) remains 5619/5621 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5619/5619 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5619/5619 properties
BEST_FIRST walk for 4002 steps (16 resets) in 154 ms. (25 steps per ms) remains 5618/5619 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5617/5618 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5617/5617 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5616/5617 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5616/5616 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5613/5616 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5611/5613 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5610/5611 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5608/5610 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5607/5608 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5607/5607 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5606/5607 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5606/5606 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5605/5606 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5605/5605 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5604/5605 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5603/5604 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5602/5603 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5600/5602 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5599/5600 properties
BEST_FIRST walk for 4002 steps (16 resets) in 156 ms. (25 steps per ms) remains 5599/5599 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5599/5599 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5599/5599 properties
BEST_FIRST walk for 4003 steps (16 resets) in 168 ms. (23 steps per ms) remains 5598/5599 properties
BEST_FIRST walk for 4002 steps (16 resets) in 157 ms. (25 steps per ms) remains 5598/5598 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5598/5598 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5597/5598 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5597/5597 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5597/5597 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5596/5597 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5596/5596 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5596/5596 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5595/5596 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5595/5595 properties
BEST_FIRST walk for 4002 steps (16 resets) in 151 ms. (26 steps per ms) remains 5595/5595 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5595/5595 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5595/5595 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5595/5595 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5594/5595 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5594/5594 properties
BEST_FIRST walk for 4002 steps (16 resets) in 151 ms. (26 steps per ms) remains 5592/5594 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5592/5592 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5592/5592 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5591/5592 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5590/5591 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5590/5590 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5589/5590 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5587/5589 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5585/5587 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5585/5585 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5583/5585 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5583/5583 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5582/5583 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5581/5582 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5580/5581 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5579/5580 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5579/5579 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5579/5579 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5578/5579 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5578/5578 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5578/5578 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5578/5578 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5578/5578 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5577/5578 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5577/5577 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5577/5577 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5576/5577 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5576/5576 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5576/5576 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5575/5576 properties
BEST_FIRST walk for 4003 steps (16 resets) in 164 ms. (24 steps per ms) remains 5573/5575 properties
BEST_FIRST walk for 4002 steps (16 resets) in 156 ms. (25 steps per ms) remains 5573/5573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5573/5573 properties
BEST_FIRST walk for 4002 steps (16 resets) in 151 ms. (26 steps per ms) remains 5572/5573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5572/5572 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5572/5572 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5571/5572 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5571/5571 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5571/5571 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5571/5571 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5571/5571 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5571/5571 properties
BEST_FIRST walk for 4002 steps (16 resets) in 152 ms. (26 steps per ms) remains 5571/5571 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5569/5571 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5569/5569 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5569/5569 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5569/5569 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5568/5569 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5568/5568 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 5568/5568 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 5566/5568 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5566/5566 properties
BEST_FIRST walk for 4001 steps (16 resets) in 150 ms. (26 steps per ms) remains 5566/5566 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5566/5566 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5565/5566 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5565/5565 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5564/5565 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4002 steps (16 resets) in 149 ms. (26 steps per ms) remains 5563/5564 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5563/5563 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5563/5563 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5562/5563 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5561/5562 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5560/5561 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5559/5560 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5559/5559 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5559/5559 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5558/5559 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5558/5558 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5557/5558 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5557/5557 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5556/5557 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5556/5556 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5556/5556 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5556/5556 properties
BEST_FIRST walk for 4002 steps (16 resets) in 153 ms. (25 steps per ms) remains 5555/5556 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5554/5555 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 5554/5554 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5554/5554 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5552/5554 properties
BEST_FIRST walk for 4002 steps (16 resets) in 158 ms. (25 steps per ms) remains 5552/5552 properties
BEST_FIRST walk for 4003 steps (16 resets) in 169 ms. (23 steps per ms) remains 5552/5552 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5552/5552 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5550/5552 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5550/5550 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5548/5550 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5548/5548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5548/5548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5546/5548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5546/5546 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5546/5546 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 5545/5546 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5545/5545 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5545/5545 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5544/5545 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5543/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5541/5543 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5540/5541 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5540/5540 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5540/5540 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5540/5540 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5538/5540 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 5536/5538 properties
BEST_FIRST walk for 4003 steps (16 resets) in 161 ms. (24 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5535/5536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5535/5535 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5533/5535 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5531/5533 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5530/5531 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5530/5530 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5530/5530 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5530/5530 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5530/5530 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5529/5530 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5528/5529 properties
BEST_FIRST walk for 4002 steps (16 resets) in 152 ms. (26 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5527/5528 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5527/5527 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5527/5527 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5527/5527 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5526/5527 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5526/5526 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5526/5526 properties
BEST_FIRST walk for 4002 steps (16 resets) in 164 ms. (24 steps per ms) remains 5526/5526 properties
BEST_FIRST walk for 4002 steps (16 resets) in 154 ms. (25 steps per ms) remains 5526/5526 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5526/5526 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5526/5526 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5526/5526 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5526/5526 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5525/5526 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5525/5525 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5525/5525 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5525/5525 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5525/5525 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5524/5525 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5524/5524 properties
BEST_FIRST walk for 4002 steps (16 resets) in 196 ms. (20 steps per ms) remains 5524/5524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 5524/5524 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5523/5524 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5523/5523 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5523/5523 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5522/5523 properties
BEST_FIRST walk for 4002 steps (16 resets) in 154 ms. (25 steps per ms) remains 5522/5522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5522/5522 properties
BEST_FIRST walk for 4002 steps (16 resets) in 151 ms. (26 steps per ms) remains 5522/5522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5522/5522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5522/5522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5521/5522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5520/5521 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5520/5520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5519/5520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5519/5519 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5518/5519 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5516/5518 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5516/5516 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5515/5516 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5514/5515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5513/5514 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5513/5513 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5512/5513 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5511/5512 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5511/5511 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5509/5511 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5509/5509 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5509/5509 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5508/5509 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5506/5508 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5505/5506 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5505/5505 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5504/5505 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5503/5504 properties
BEST_FIRST walk for 4003 steps (16 resets) in 163 ms. (24 steps per ms) remains 5502/5503 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5502/5502 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5502/5502 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5501/5502 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5501/5501 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5501/5501 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5501/5501 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5501/5501 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5501/5501 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5501/5501 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5501/5501 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5501/5501 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5501/5501 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5500/5501 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5499/5500 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5499/5499 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 5499/5499 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5499/5499 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5499/5499 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5498/5499 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5497/5498 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5496/5497 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5495/5496 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5495/5495 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5495/5495 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5495/5495 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5495/5495 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5495/5495 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5495/5495 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5495/5495 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5495/5495 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5495/5495 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5493/5495 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5493/5493 properties
BEST_FIRST walk for 4002 steps (16 resets) in 152 ms. (26 steps per ms) remains 5493/5493 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 5491/5493 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5491/5491 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5491/5491 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5491/5491 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5491/5491 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5491/5491 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5491/5491 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5490/5491 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4001 steps (16 resets) in 149 ms. (26 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5489/5490 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5488/5489 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5488/5488 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 5487/5488 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5486/5487 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5486/5486 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5486/5486 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5486/5486 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5486/5486 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5486/5486 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5486/5486 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5485/5486 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5484/5485 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5483/5484 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5482/5483 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5480/5482 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5480/5480 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5480/5480 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5479/5480 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5478/5479 properties
BEST_FIRST walk for 4002 steps (16 resets) in 152 ms. (26 steps per ms) remains 5478/5478 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5478/5478 properties
BEST_FIRST walk for 4001 steps (16 resets) in 144 ms. (27 steps per ms) remains 5478/5478 properties
BEST_FIRST walk for 4002 steps (16 resets) in 149 ms. (26 steps per ms) remains 5478/5478 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5478/5478 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5478/5478 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5478/5478 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5477/5478 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 5477/5477 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5476/5477 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4002 steps (16 resets) in 147 ms. (27 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5475/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 5475/5475 properties
BEST_FIRST walk for 4002 steps (16 resets) in 146 ms. (27 steps per ms) remains 5475/5475 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5474/5475 properties
BEST_FIRST walk for 4002 steps (16 resets) in 144 ms. (27 steps per ms) remains 5474/5474 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5474/5474 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5474/5474 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5474/5474 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5473/5474 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5472/5473 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5471/5472 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5471/5471 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5471/5471 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5471/5471 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5470/5471 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5469/5470 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5469/5469 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5469/5469 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5468/5469 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4002 steps (16 resets) in 155 ms. (25 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5467/5468 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5466/5467 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5465/5466 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4001 steps (16 resets) in 151 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4002 steps (16 resets) in 151 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4002 steps (16 resets) in 146 ms. (27 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5465/5465 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5464/5465 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5464/5464 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5463/5464 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5463/5463 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5463/5463 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5463/5463 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5463/5463 properties
BEST_FIRST walk for 4003 steps (16 resets) in 161 ms. (24 steps per ms) remains 5463/5463 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5462/5463 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5461/5462 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5461/5461 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5459/5461 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5459/5459 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5459/5459 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5459/5459 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5459/5459 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5459/5459 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5458/5459 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5458/5458 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5458/5458 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5458/5458 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5457/5458 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5457/5457 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5457/5457 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5457/5457 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5457/5457 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5457/5457 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5457/5457 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5457/5457 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5457/5457 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5456/5457 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4001 steps (16 resets) in 149 ms. (26 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5456/5456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5455/5456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5455/5455 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5455/5455 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5455/5455 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5455/5455 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5455/5455 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5455/5455 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5455/5455 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5455/5455 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5454/5455 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4002 steps (16 resets) in 154 ms. (25 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4004 steps (16 resets) in 170 ms. (23 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5454/5454 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5453/5454 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5452/5453 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5452/5452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5452/5452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5452/5452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5452/5452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5452/5452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5452/5452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5451/5452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5451/5451 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5451/5451 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5451/5451 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5451/5451 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5451/5451 properties
BEST_FIRST walk for 4002 steps (16 resets) in 147 ms. (27 steps per ms) remains 5451/5451 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5450/5451 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5449/5450 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5449/5449 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5448/5449 properties
BEST_FIRST walk for 4002 steps (16 resets) in 147 ms. (27 steps per ms) remains 5448/5448 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5448/5448 properties
BEST_FIRST walk for 4002 steps (16 resets) in 154 ms. (25 steps per ms) remains 5448/5448 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5448/5448 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5448/5448 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5448/5448 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5448/5448 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5448/5448 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5448/5448 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5447/5448 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5447/5447 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5447/5447 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5447/5447 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5447/5447 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5446/5447 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5446/5446 properties
BEST_FIRST walk for 4002 steps (16 resets) in 149 ms. (26 steps per ms) remains 5445/5446 properties
BEST_FIRST walk for 4002 steps (16 resets) in 147 ms. (27 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4002 steps (16 resets) in 151 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4002 steps (16 resets) in 152 ms. (26 steps per ms) remains 5445/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5444/5445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5444/5444 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5444/5444 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5444/5444 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5444/5444 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5444/5444 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5444/5444 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5444/5444 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5444/5444 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5443/5444 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5443/5443 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5443/5443 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5443/5443 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5443/5443 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5443/5443 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5443/5443 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5442/5443 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4001 steps (16 resets) in 146 ms. (27 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4002 steps (16 resets) in 151 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5442/5442 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5441/5442 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5440/5441 properties
BEST_FIRST walk for 4002 steps (16 resets) in 147 ms. (27 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4002 steps (16 resets) in 144 ms. (27 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5440/5440 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5439/5440 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5439/5439 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5438/5439 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5438/5438 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5438/5438 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5438/5438 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5438/5438 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5438/5438 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5438/5438 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5437/5438 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5436/5437 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5436/5436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5436/5436 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5436/5436 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5435/5436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4002 steps (16 resets) in 146 ms. (27 steps per ms) remains 5435/5435 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5434/5435 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5432/5434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4002 steps (16 resets) in 149 ms. (26 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5432/5432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5431/5432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4002 steps (16 resets) in 153 ms. (25 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5431/5431 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5430/5431 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5430/5430 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5430/5430 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5430/5430 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5430/5430 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5429/5430 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4002 steps (16 resets) in 145 ms. (27 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5428/5429 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5427/5428 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5426/5427 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5426/5426 properties
BEST_FIRST walk for 4003 steps (16 resets) in 161 ms. (24 steps per ms) remains 5426/5426 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5426/5426 properties
BEST_FIRST walk for 4002 steps (16 resets) in 145 ms. (27 steps per ms) remains 5425/5426 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5424/5425 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5424/5424 properties
BEST_FIRST walk for 4002 steps (16 resets) in 149 ms. (26 steps per ms) remains 5424/5424 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5424/5424 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5424/5424 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5424/5424 properties
BEST_FIRST walk for 4002 steps (16 resets) in 145 ms. (27 steps per ms) remains 5424/5424 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5424/5424 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5424/5424 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5423/5424 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5422/5423 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4002 steps (16 resets) in 147 ms. (27 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4002 steps (16 resets) in 144 ms. (27 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5422/5422 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5421/5422 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4002 steps (16 resets) in 144 ms. (27 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4003 steps (16 resets) in 143 ms. (27 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4003 steps (16 resets) in 141 ms. (28 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4002 steps (16 resets) in 161 ms. (24 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5421/5421 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5420/5421 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5420/5420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5420/5420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5420/5420 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5420/5420 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5420/5420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5420/5420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5420/5420 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5420/5420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5419/5420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4002 steps (16 resets) in 146 ms. (27 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5419/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5418/5419 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5418/5418 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5418/5418 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5418/5418 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5418/5418 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5418/5418 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5418/5418 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5418/5418 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5418/5418 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5418/5418 properties
BEST_FIRST walk for 4001 steps (16 resets) in 145 ms. (27 steps per ms) remains 5418/5418 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5417/5418 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5417/5417 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5417/5417 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5416/5417 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4002 steps (16 resets) in 147 ms. (27 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4002 steps (16 resets) in 146 ms. (27 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4002 steps (16 resets) in 146 ms. (27 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4002 steps (16 resets) in 147 ms. (27 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5416/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5415/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5415/5415 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5415/5415 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5415/5415 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5415/5415 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5415/5415 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5415/5415 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5415/5415 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5415/5415 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5415/5415 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5414/5415 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4003 steps (16 resets) in 218 ms. (18 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4001 steps (16 resets) in 186 ms. (21 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4002 steps (16 resets) in 143 ms. (27 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5414/5414 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5412/5414 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 143 ms. (27 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 143 ms. (27 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5412/5412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5411/5412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5411/5411 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5410/5411 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5410/5410 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5409/5410 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5409/5409 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5409/5409 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5409/5409 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5409/5409 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5409/5409 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5407/5409 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4002 steps (16 resets) in 143 ms. (27 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4002 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4002 steps (16 resets) in 154 ms. (25 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4002 steps (16 resets) in 146 ms. (27 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4001 steps (16 resets) in 145 ms. (27 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5407/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5406/5407 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4002 steps (16 resets) in 141 ms. (28 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5406/5406 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5405/5406 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 5405/5405 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5405/5405 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5405/5405 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5405/5405 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5405/5405 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5405/5405 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5405/5405 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5405/5405 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5405/5405 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5405/5405 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 5404/5405 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4002 steps (16 resets) in 150 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4002 steps (16 resets) in 149 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 5404/5404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5403/5404 properties
BEST_FIRST walk for 4002 steps (16 resets) in 142 ms. (27 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4002 steps (16 resets) in 149 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5403/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5402/5403 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5402/5402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5401/5402 properties
BEST_FIRST walk for 4003 steps (16 resets) in 160 ms. (24 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4003 steps (16 resets) in 161 ms. (24 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4002 steps (16 resets) in 158 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4002 steps (16 resets) in 155 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4003 steps (16 resets) in 166 ms. (23 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5401/5401 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5400/5401 properties
BEST_FIRST walk for 4003 steps (16 resets) in 166 ms. (23 steps per ms) remains 5400/5400 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 5400/5400 properties
BEST_FIRST walk for 4002 steps (16 resets) in 159 ms. (25 steps per ms) remains 5400/5400 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 5400/5400 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5400/5400 properties
BEST_FIRST walk for 4003 steps (16 resets) in 160 ms. (24 steps per ms) remains 5399/5400 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4002 steps (16 resets) in 160 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 156 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4002 steps (16 resets) in 161 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 162 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 166 ms. (23 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 160 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 162 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 160 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 160 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4002 steps (16 resets) in 156 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 160 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 162 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 176 ms. (22 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4002 steps (16 resets) in 156 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4002 steps (16 resets) in 156 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5399/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5399/5399 properties
[2024-06-01 07:08:32] [INFO ] Flow matrix only has 23210 transitions (discarded 1062 similar events)
// Phase 1: matrix 23210 rows 14983 cols
[2024-06-01 07:08:34] [INFO ] Computed 1361 invariants in 1890 ms
[2024-06-01 07:08:34] [INFO ] State equation strengthened by 8098 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 5399/38193 variables, and 0 constraints, problems are : Problem set: 0 solved, 5399 unsolved in 45078 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, Generalized P Invariants (flows): 0/1298 constraints, State Equation: 0/14983 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 5399/5399 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5399 unsolved
Error getting values : (error "ParserException while parsing response: ((s5 1)
(s7 1)
(s11 1)
(s21 1)
(s22 1)
(s23 1)
(s32 1)
(s33 1)
(s34 1)
(s35 1)
(s36 1)
(s45 1)
(s46 1)
(s47 1)
(s48 1)
(s49 1)
(s50 1)
(s51 1)
(s61 1)
(s62 1)
(s63 1)
(s64 1)
(s65 1)
(s66 1)
(s67 1)
(s68 1)
(s69 1)
(s78 1)
(s79 1)
(s80 1)
(s81 1)
(s82 1)
(s83 1)
(s84 1)
(s85 1)
(s86 1)
(s87 1)
(s88 1)
(s98 1)
(s99 1)
(s100 1)
(s101 1)
(s102 1)
(s103 1)
(s104 1)
(s105 1)
(s106 1)
(s107 1)
(s108 1)
(s109 1)
(s110 1)
(s120 1)
(s121 1)
(s122 1)
(s123 1)
(s124 1)
(s125 1)
(s126 1)
(s127 1)
(s128 1)
(s129 1)
(s130 1)
(s131 1)
(s132 1)
(s133 1)
(s134 1)
(s142 1)
(s143 1)
(s144 1)
(s145 1)
(s146 1)
(s147 1)
(s148 1)
(s149 1)
(s150 1)
(s151 1)
(s152 1)
(s153 1)
(s154 1)
(s155 1)
(s156 1)
(s157 1)
(s158 1)
(s168 1)
(s169 1)
(s170 1)
(s171 1)
(s172 1)
(s173 1)
(s174 1)
(s175 1)
(s176 1)
(s177 1)
(s178 1)
(s179 1)
(s180 1)
(s181 1)
(s182 1)
(s183 1)
(s184 1)
(s185 1)
(s186 1)
(s196 1)
(s197 1)
(s198 1)
(s199 1)
(s200 1)
(s201 1)
(s202 1)
(s203 1)
(s204 1)
(s205 1)
(s206 1)
(s207 1)
(s208 1)
(s209 1)
(s210 1)
(s211 1)
(s212 1)
(s213 1)
(s214 1)
(s215 1)
(s216 1)
(s226 1)
(s227 1)
(s228 1)
(s229 1)
(s230 1)
(s231 1)
(s232 1)
(s233 1)
(s234 1)
(s235 1)
(s236 1)
(s237 1)
(s238 1)
(s239 1)
(s240 1)
(s241 1)
(s242 1)
(s243 1)
(s244 1)
(s245 1)
(s246 1)
(s247 1)
(s248 1)
(s257 1)
(s258 1)
(s259 1)
(s260 1)
(s261 1)
(s262 1)
(s263 1)
(s264 1)
(s265 1)
(s266 1)
(s267 1)
(s268 1)
(s269 1)
(s270 1)
(s271 1)
(s272 1)
(s273 1)
(s274 1)
(s275 1)
(s276 1)
(s277 1)
(s278 1)
(s279 1)
(s280 1)
(s281 1)
(s291 1)
(s292 1)
(s293 1)
(s294 1)
(s295 1)
(s296 1)
(s297 1)
(s298 1)
(s299 1)
(s300 1)
(s301 1)
(s302 1)
(s303 1)
(s304 1)
(s305 1)
(s306 1)
(s307 1)
(s308 1)
(s309 1)
(s310 1)
(s311 1)
(s312 1)
(s313 1)
(s314 1)
(s315 1)
(s316 1)
(s317 1)
(s325 1)
(s326 1)
(s327 1)
(s328 1)
(s329 1)
(s330 1)
(s331 1)
(s332 1)
(s333 1)
(s334 1)
(s335 1)
(s336 1)
(s337 1)
(s338 1)
(s339 1)
(s340 1)
(s341 1)
(s342 1)
(s343 1)
(s344 1)
(s345 1)
(s346 1)
(s347 1)
(s348 1)
(s349 1)
(s350 1)
(s351 1)
(s352 1)
(s353 1)
(s363 1)
(s364 1)
(s365 1)
(s366 1)
(s367 1)
(s368 1)
(s369 1)
(s370 1)
(s371 1)
(s372 1)
(s373 1)
(s374 1)
(s375 1)
(s376 1)
(s377 1)
(s378 1)
(s379 1)
(s380 1)
(s381 1)
(s382 1)
(s383 1)
(s384 1)
(s385 1)
(s386 1)
(s387 1)
(s388 1)
(s389 1)
(s390 1)
(s400 1)
(s401 1)
(s402 1)
(s403 1)
(s404 1)
(s405 1)
(s406 1)
(s407 1)
(s408 1)
(s409 1)
(s410 1)
(s411 1)
(s412 1)
(s413 1)
(s414 1)
(s415 1)
(s416 1)
(s417 1)
(s418 1)
(s419 1)
(s420 1)
(s421 1)
(s422 1)
(s423 1)
(s424 1)
(s425 1)
(s426 1)
(s434 1)
(s435 1)
(s436 1)
(s437 1)
(s438 1)
(s439 1)
(s440 1)
(s441 1)
(s442 1)
(s443 1)
(s444 1)
(s445 1)
(s446 1)
(s447 1)
(s448 1)
(s449 1)
(s450 1)
(s451 1)
(s452 1)
(s453 1)
(s454 1)
(s455 1)
(s456 1)
(s457 1)
(s458 1)
(s459 1)
(s460 1)
(s468 1)
(s469 1)
(s470 1)
(s471 1)
(s472 1)
(s473 1)
(s474 1)
(s475 1)
(s476 1)
(s477 1)
(s478 1)
(s479 1)
(s480 1)
(s481 1)
(s482 1)
(s483 1)
(s484 1)
(s485 1)
(s486 1)
(s487 1)
(s488 1)
(s489 1)
(s490 1)
(s491 1)
(s492 1)
(s501 1)
(s502 1)
(s503 1)
(s504 1)
(s505 1)
(s506 1)
(s507 1)
(s508 1)
(s509 1)
(s510 1)
(s511 1)
(s512 1)
(s513 1)
(s514 1)
(s515 1)
(s516 1)
(s517 1)
(s518 1)
(s519 1)
(s520 1)
(s521 1)
(s522 1)
(s523 1)
(s533 1)
(s534 1)
(s535 1)
(s536 1)
(s537 1)
(s538 1)
(s539 1)
(s540 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5399/38193 variables, and 0 constraints, problems are : Problem set: 0 solved, 5399 unsolved in 45077 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, Generalized P Invariants (flows): 0/1298 constraints, State Equation: 0/14983 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 0/5399 constraints, Known Traps: 0/0 constraints]
After SMT, in 105254ms problems are : Problem set: 0 solved, 5399 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5399 out of 14983 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 14983/14983 places, 24272/24272 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2737 transitions
Trivial Post-agglo rules discarded 2737 transitions
Performed 2737 trivial Post agglomeration. Transition count delta: 2737
Iterating post reduction 0 with 2737 rules applied. Total rules applied 2737 place count 14983 transition count 21535
Reduce places removed 2737 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 2738 rules applied. Total rules applied 5475 place count 12246 transition count 21534
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 5476 place count 12245 transition count 21534
Performed 72 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 72 Pre rules applied. Total rules applied 5476 place count 12245 transition count 21462
Deduced a syphon composed of 72 places in 17 ms
Reduce places removed 72 places and 0 transitions.
Iterating global reduction 3 with 144 rules applied. Total rules applied 5620 place count 12173 transition count 21462
Discarding 2746 places :
Symmetric choice reduction at 3 with 2746 rule applications. Total rules 8366 place count 9427 transition count 18716
Iterating global reduction 3 with 2746 rules applied. Total rules applied 11112 place count 9427 transition count 18716
Discarding 734 places :
Symmetric choice reduction at 3 with 734 rule applications. Total rules 11846 place count 8693 transition count 16514
Iterating global reduction 3 with 734 rules applied. Total rules applied 12580 place count 8693 transition count 16514
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 16 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 12584 place count 8691 transition count 16512
Free-agglomeration rule (complex) applied 232 times.
Iterating global reduction 3 with 232 rules applied. Total rules applied 12816 place count 8691 transition count 17748
Reduce places removed 232 places and 0 transitions.
Iterating post reduction 3 with 232 rules applied. Total rules applied 13048 place count 8459 transition count 17748
Discarding 104 places :
Symmetric choice reduction at 4 with 104 rule applications. Total rules 13152 place count 8355 transition count 17644
Iterating global reduction 4 with 104 rules applied. Total rules applied 13256 place count 8355 transition count 17644
Partial Free-agglomeration rule applied 33 times.
Drop transitions (Partial Free agglomeration) removed 33 transitions
Iterating global reduction 4 with 33 rules applied. Total rules applied 13289 place count 8355 transition count 17644
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 13292 place count 8352 transition count 17641
Iterating global reduction 4 with 3 rules applied. Total rules applied 13295 place count 8352 transition count 17641
Applied a total of 13295 rules in 5101 ms. Remains 8352 /14983 variables (removed 6631) and now considering 17641/24272 (removed 6631) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5101 ms. Remains : 8352/14983 places, 17641/24272 transitions.
RANDOM walk for 380154 steps (19908 resets) in 120004 ms. (3 steps per ms) remains 5380/5399 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 113 ms. (35 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 169 ms. (23 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 169 ms. (23 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 190 ms. (20 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 174 ms. (22 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 172 ms. (23 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 176 ms. (22 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 194 ms. (20 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 228 ms. (17 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 5378/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 180 ms. (22 steps per ms) remains 5377/5378 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 192 ms. (20 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 189 ms. (21 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 183 ms. (21 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 195 ms. (20 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 204 ms. (19 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 188 ms. (21 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 191 ms. (20 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 188 ms. (21 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 263 ms. (15 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 190 ms. (20 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 261 ms. (15 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 199 ms. (20 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 217 ms. (18 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 208 ms. (19 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 192 ms. (20 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 168 ms. (23 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 229 ms. (17 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 195 ms. (20 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 171 ms. (23 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 199 ms. (20 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 189 ms. (21 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 178 ms. (22 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 187 ms. (21 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 181 ms. (22 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 189 ms. (21 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 175 ms. (22 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 176 ms. (22 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 264 ms. (15 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 203 ms. (19 steps per ms) remains 5377/5377 properties
BEST_FIRST walk for 4004 steps (16 resets) in 208 ms. (19 steps per ms) remains 5377/5377 properties
Interrupted probabilistic random walk after 235578 steps, run timeout after 102001 ms. (steps per millisecond=2 ) properties seen :7 out of 5377
Probabilistic random walk after 235578 steps, saw 104176 distinct states, run finished after 102009 ms. (steps per millisecond=2 ) properties seen :7
[2024-06-01 07:12:39] [INFO ] Flow matrix only has 16517 transitions (discarded 1124 similar events)
// Phase 1: matrix 16517 rows 8352 cols
[2024-06-01 07:12:39] [INFO ] Computed 1361 invariants in 795 ms
[2024-06-01 07:12:40] [INFO ] State equation strengthened by 8098 read => feed constraints.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5370/24869 variables, and 0 constraints, problems are : Problem set: 0 solved, 5370 unsolved in 75072 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 0/1296 constraints, State Equation: 0/8352 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 5370/5370 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5370 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5370/24869 variables, and 0 constraints, problems are : Problem set: 0 solved, 5370 unsolved in 75069 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 0/1296 constraints, State Equation: 0/8352 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 0/5370 constraints, Known Traps: 0/0 constraints]
After SMT, in 159500ms problems are : Problem set: 0 solved, 5370 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5370 out of 8352 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8352/8352 places, 17641/17641 transitions.
Free-agglomeration rule (complex) applied 23 times.
Iterating global reduction 0 with 23 rules applied. Total rules applied 23 place count 8352 transition count 17618
Reduce places removed 23 places and 0 transitions.
Iterating post reduction 0 with 23 rules applied. Total rules applied 46 place count 8329 transition count 17618
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 47 place count 8328 transition count 17617
Iterating global reduction 1 with 1 rules applied. Total rules applied 48 place count 8328 transition count 17617
Applied a total of 48 rules in 2009 ms. Remains 8328 /8352 variables (removed 24) and now considering 17617/17641 (removed 24) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2009 ms. Remains : 8328/8352 places, 17617/17641 transitions.
RANDOM walk for 379087 steps (19849 resets) in 120004 ms. (3 steps per ms) remains 5364/5370 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 118 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 120 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 120 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 118 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 121 ms. (32 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 118 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 118 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 120 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 121 ms. (32 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 120 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 118 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 120 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 118 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 117 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 117 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 120 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 118 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 118 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 118 ms. (33 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 121 ms. (32 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 168 ms. (23 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 169 ms. (23 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 184 ms. (21 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 187 ms. (21 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 5364/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 176 ms. (22 steps per ms) remains 5364/5364 properties
Interrupted probabilistic random walk after 215314 steps, run timeout after 93001 ms. (steps per millisecond=2 ) properties seen :0 out of 5364
Probabilistic random walk after 215314 steps, saw 95194 distinct states, run finished after 93005 ms. (steps per millisecond=2 ) properties seen :0
[2024-06-01 07:17:25] [INFO ] Flow matrix only has 16471 transitions (discarded 1146 similar events)
// Phase 1: matrix 16471 rows 8328 cols
[2024-06-01 07:17:26] [INFO ] Computed 1361 invariants in 803 ms
[2024-06-01 07:17:26] [INFO ] State equation strengthened by 8098 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5364/24799 variables, and 0 constraints, problems are : Problem set: 0 solved, 5364 unsolved in 90073 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 0/1296 constraints, State Equation: 0/8328 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 5364/5364 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5364 unsolved
(s5765 1timeout
^^^^^^^^
(error "Invalid token: 1timeout")
Error getting values : (error "ParserException while parsing response: ((s5 1)
(s7 1)
(s10 1)
(s16 1)
(s17 1)
(s18 1)
(s21 1)
(s22 1)
(s23 1)
(s24 1)
(s25 1)
(s28 1)
(s29 1)
(s30 1)
(s31 1)
(s32 1)
(s33 1)
(s34 1)
(s37 1)
(s38 1)
(s39 1)
(s40 1)
(s41 1)
(s42 1)
(s43 1)
(s44 1)
(s45 1)
(s48 1)
(s49 1)
(s50 1)
(s51 1)
(s52 1)
(s53 1)
(s54 1)
(s55 1)
(s56 1)
(s57 1)
(s58 1)
(s61 1)
(s62 1)
(s63 1)
(s64 1)
(s65 1)
(s66 1)
(s67 1)
(s68 1)
(s69 1)
(s70 1)
(s71 1)
(s72 1)
(s73 1)
(s76 1)
(s77 1)
(s78 1)
(s79 1)
(s80 1)
(s81 1)
(s82 1)
(s83 1)
(s84 1)
(s85 1)
(s86 1)
(s87 1)
(s88 1)
(s89 1)
(s90 1)
(s93 1)
(s94 1)
(s95 1)
(s96 1)
(s97 1)
(s98 1)
(s99 1)
(s100 1)
(s101 1)
(s102 1)
(s103 1)
(s104 1)
(s105 1)
(s106 1)
(s107 1)
(s108 1)
(s109 1)
(s112 1)
(s113 1)
(s114 1)
(s115 1)
(s116 1)
(s117 1)
(s118 1)
(s119 1)
(s120 1)
(s121 1)
(s122 1)
(s123 1)
(s124 1)
(s125 1)
(s126 1)
(s127 1)
(s128 1)
(s129 1)
(s130 1)
(s133 1)
(s134 1)
(s135 1)
(s136 1)
(s137 1)
(s138 1)
(s139 1)
(s140 1)
(s141 1)
(s142 1)
(s143 1)
(s144 1)
(s145 1)
(s146 1)
(s147 1)
(s148 1)
(s149 1)
(s150 1)
(s151 1)
(s152 1)
(s153 1)
(s156 1)
(s157 1)
(s158 1)
(s159 1)
(s160 1)
(s161 1)
(s162 1)
(s163 1)
(s164 1)
(s165 1)
(s166 1)
(s167 1)
(s168 1)
(s169 1)
(s170 1)
(s171 1)
(s172 1)
(s173 1)
(s174 1)
(s175 1)
(s176 1)
(s177 1)
(s178 1)
(s181 1)
(s182 1)
(s183 1)
(s184 1)
(s185 1)
(s186 1)
(s187 1)
(s188 1)
(s189 1)
(s190 1)
(s191 1)
(s192 1)
(s193 1)
(s194 1)
(s195 1)
(s196 1)
(s197 1)
(s198 1)
(s199 1)
(s200 1)
(s201 1)
(s202 1)
(s203 1)
(s204 1)
(s205 1)
(s208 1)
(s209 1)
(s210 1)
(s211 1)
(s212 1)
(s213 1)
(s214 1)
(s215 1)
(s216 1)
(s217 1)
(s218 1)
(s219 1)
(s220 1)
(s221 1)
(s222 1)
(s223 1)
(s224 1)
(s225 1)
(s226 1)
(s227 1)
(s228 1)
(s229 1)
(s230 1)
(s231 1)
(s232 1)
(s233 1)
(s234 1)
(s237 1)
(s238 1)
(s239 1)
(s240 1)
(s241 1)
(s242 1)
(s243 1)
(s244 1)
(s245 1)
(s246 1)
(s247 1)
(s248 1)
(s249 1)
(s250 1)
(s251 1)
(s252 1)
(s253 1)
(s254 1)
(s255 1)
(s256 1)
(s257 1)
(s258 1)
(s259 1)
(s260 1)
(s261 1)
(s262 1)
(s263 1)
(s264 1)
(s268 1)
(s269 1)
(s270 1)
(s271 1)
(s272 1)
(s273 1)
(s274 1)
(s275 1)
(s276 1)
(s277 1)
(s278 1)
(s279 1)
(s280 1)
(s281 1)
(s282 1)
(s283 1)
(s284 1)
(s285 1)
(s286 1)
(s287 1)
(s288 1)
(s289 1)
(s290 1)
(s291 1)
(s292 1)
(s293 1)
(s294 1)
(s295 1)
(s299 1)
(s300 1)
(s301 1)
(s302 1)
(s303 1)
(s304 1)
(s305 1)
(s306 1)
(s307 1)
(s308 1)
(s309 1)
(s310 1)
(s311 1)
(s312 1)
(s313 1)
(s314 1)
(s315 1)
(s316 1)
(s317 1)
(s318 1)
(s319 1)
(s320 1)
(s321 1)
(s322 1)
(s323 1)
(s324 1)
(s325 1)
(s331 1)
(s332 1)
(s333 1)
(s334 1)
(s335 1)
(s336 1)
(s337 1)
(s338 1)
(s339 1)
(s340 1)
(s341 1)
(s342 1)
(s343 1)
(s344 1)
(s345 1)
(s346 1)
(s347 1)
(s348 1)
(s349 1)
(s350 1)
(s351 1)
(s352 1)
(s353 1)
(s354 1)
(s355 1)
(s356 1)
(s357 1)
(s360 1)
(s361 1)
(s362 1)
(s363 1)
(s364 1)
(s365 1)
(s366 1)
(s367 1)
(s368 1)
(s369 1)
(s370 1)
(s371 1)
(s372 1)
(s373 1)
(s374 1)
(s375 1)
(s376 1)
(s377 1)
(s378 1)
(s379 1)
(s380 1)
(s381 1)
(s382 1)
(s383 1)
(s384 1)
(s387 1)
(s388 1)
(s389 1)
(s390 1)
(s391 1)
(s392 1)
(s393 1)
(s394 1)
(s395 1)
(s396 1)
(s397 1)
(s398 1)
(s399 1)
(s400 1)
(s401 1)
(s402 1)
(s403 1)
(s404 1)
(s405 1)
(s406 1)
(s407 1)
(s408 1)
(s409 1)
(s412 1)
(s413 1)
(s414 1)
(s415 1)
(s416 1)
(s417 1)
(s418 1)
(s419 1)
(s420 1)
(s421 1)
(s422 1)
(s423 1)
(s424 1)
(s425 1)
(s426 1)
(s427 1)
(s428 1)
(s429 1)
(s430 1)
(s431 1)
(s432 1)
(s435 1)
(s436 1)
(s437 1)
(s438 1)
(s439 1)
(s440 1)
(s441 1)
(s442 1)
(s443 1)
(s444 1)
(s445 1)
(s446 1)
(s447 1)
(s448 1)
(s449 1)
(s450 1)
(s451 1)
(s452 1)
(s453 1)
(s456 1)
(s457 1)
(s458 1)
(s459 1)
(s460 1)
(s461 1)
(s462 1)
(s463 1)
(s464 1)
(s465 1)
(s466 1)
(s467 1)
(s468 1)
(s469 1)
(s470 1)
(s471 1)
(s472 1)
(s475 1)
(s476 1)
(s477 1)
(s478 1)
(s479 1)
(s480 1)
(s481 1)
(s482 1)
(s483 1)
(s484 1)
(s485 1)
(s486 1)
(s487 1)
(s488 1)
(s489 1)
(s492 1)
(s493 1)
(s494 1)
(s495 1)
(s496 1)
(s497 1)
(s498 1)
(s499 1)
(s500 1)
(s501 1)
(s502 1)
(s503 1)
(s504 1)
(s507 1)
(s508 1)
(s509 1)
(s510 1)
(s511 1)
(s512 1)
(s513 1)
(s514 1)
(s515 1)
(s516 1)
(s517 1)
(s520 1)
(s521 1)
(s522 1)
(s523 1)
(s524 1)
(s525 1)
(s526 1)
(s527 1)
(s528 1)
(s531 1)
(s532 1)
(s533 1)
(s534 1)
(s535 1)
(s536 1)
(s537 1)
(s540 1)
(s541 1)
(s542 1)
(s543 1)
(s544 1)
(s547 1)
(s548 1)
(s549 1)
(s552 1)
(s566 1)
(s568 1)
(s576 1)
(s579 1)
(s580 1)
(s581 1)
(s584 1)
(s585 1)
(s586 1)
(s587 1)
(s588 1)
(s591 1)
(s592 1)
(s593 1)
(s594 1)
(s595 1)
(s596 1)
(s597 1)
(s600 1)
(s601 1)
(s602 1)
(s603 1)
(s604 1)
(s605 1)
(s606 1)
(s607 1)
(s608 1)
(s611 1)
(s612 1)
(s613 1)
(s614 1)
(s615 1)
(s616 1)
(s617 1)
(s618 1)
(s619 1)
(s620 1)
(s621 1)
(s624 1)
(s625 1)
(s626 1)
(s627 1)
(s628 1)
(s629 1)
(s630 1)
(s631 1)
(s632 1)
(s633 1)
(s634 1)
(s635 1)
(s636 1)
(s639 1)
(s640 1)
(s641 1)
(s642 1)
(s643 1)
(s644 1)
(s645 1)
(s646 1)
(s647 1)
(s648 1)
(s649 1)
(s650 1)
(s651 1)
(s652 1)
(s653 1)
(s656 1)
(s657 1)
(s658 1)
(s659 1)
(s660 1)
(s661 1)
(s662 1)
(s663 1)
(s664 1)
(s665 1)
(s666 1)
(s667 1)
(s668 1)
(s669 1)
(s670 1)
(s671 1)
(s672 1)
(s675 1)
(s676 1)
(s677 1)
(s678 1)
(s679 1)
(s680 1)
(s681 1)
(s682 1)
(s683 1)
(s684 1)
(s685 1)
(s686 1)
(s687 1)
(s688 1)
(s689 1)
(s690 1)
(s691 1)
(s692 1)
(s693 1)
(s696 1)
(s697 1)
(s698 1)
(s699 1)
(s700 1)
(s701 1)
(s702 1)
(s703 1)
(s704 1)
(s705 1)
(s706 1)
(s707 1)
(s708 1)
(s709 1)
(s710 1)
(s711 1)
(s712 1)
(s713 1)
(s714 1)
(s715 1)
(s716 1)
(s719 1)
(s720 1)
(s721 1)
(s722 1)
(s723 1)
(s724 1)
(s725 1)
(s726 1)
(s727 1)
(s728 1)
(s729 1)
(s730 1)
(s731 1)
(s732 1)
(s733 1)
(s734 1)
(s735 1)
(s736 1)
(s737 1)
(s738 1)
(s739 1)
(s740 1)
(s741 1)
(s744 1)
(s745 1)
(s746 1)
(s747 1)
(s748 1)
(s749 1)
(s750 1)
(s751 1)
(s752 1)
(s753 1)
(s754 1)
(s755 1)
(s756 1)
(s757 1)
(s758 1)
(s759 1)
(s760 1)
(s761 1)
(s762 1)
(s763 1)
(s764 1)
(s765 1)
(s766 1)
(s767 1)
(s768 1)
(s771 1)
(s772 1)
(s773 1)
(s774 1)
(s775 1)
(s776 1)
(s777 1)
(s778 1)
(s779 1)
(s780 1)
(s781 1)
(s782 1)
(s783 1)
(s784 1)
(s785 1)
(s786 1)
(s787 1)
(s788 1)
(s789 1)
(s790 1)
(s791 1)
(s792 1)
(s793 1)
(s794 1)
(s795 1)
(s796 1)
(s800 1)
(s801 1)
(s802 1)
(s803 1)
(s804 1)
(s805 1)
(s806 1)
(s807 1)
(s808 1)
(s809 1)
(s810 1)
(s811 1)
(s812 1)
(s813 1)
(s814 1)
(s815 1)
(s816 1)
(s817 1)
(s818 1)
(s819 1)
(s820 1)
(s821 1)
(s822 1)
(s823 1)
(s824 1)
(s825 1)
(s829 1)
(s830 1)
(s831 1)
(s832 1)
(s833 1)
(s834 1)
(s835 1)
(s836 1)
(s837 1)
(s838 1)
(s839 1)
(s840 1)
(s841 1)
(s842 1)
(s843 1)
(s844 1)
(s845 1)
(s846 1)
(s847 1)
(s848 1)
(s849 1)
(s850 1)
(s851 1)
(s852 1)
(s853 1)
(s859 1)
(s860 1)
(s861 1)
(s862 1)
(s863 1)
(s864 1)
(s865 1)
(s866 1)
(s867 1)
(s868 1)
(s869 1)
(s870 1)
(s871 1)
(s872 1)
(s873 1)
(s874 1)
(s875 1)
(s876 1)
(s877 1)
(s878 1)
(s879 1)
(s880 1)
(s881 1)
(s882 1)
(s883 1)
(s886 1)
(s887 1)
(s888 1)
(s889 1)
(s890 1)
(s891 1)
(s892 1)
(s893 1)
(s894 1)
(s895 1)
(s896 1)
(s897 1)
(s898 1)
(s899 1)
(s900 1)
(s901 1)
(s902 1)
(s903 1)
(s904 1)
(s905 1)
(s906 1)
(s907 1)
(s908 1)
(s911 1)
(s912 1)
(s913 1)
(s914 1)
(s915 1)
(s916 1)
(s917 1)
(s918 1)
(s919 1)
(s920 1)
(s921 1)
(s922 1)
(s923 1)
(s924 1)
(s925 1)
(s926 1)
(s927 1)
(s928 1)
(s929 1)
(s930 1)
(s931 1)
(s934 1)
(s935 1)
(s936 1)
(s937 1)
(s938 1)
(s939 1)
(s940 1)
(s941 1)
(s942 1)
(s943 1)
(s944 1)
(s945 1)
(s946 1)
(s947 1)
(s948 1)
(s949 1)
(s950 1)
(s951 1)
(s952 1)
(s955 1)
(s956 1)
(s957 1)
(s958 1)
(s959 1)
(s960 1)
(s961 1)
(s962 1)
(s963 1)
(s964 1)
(s965 1)
(s966 1)
(s967 1)
(s968 1)
(s969 1)
(s970 1)
(s971 1)
(s974 1)
(s975 1)
(s976 1)
(s977 1)
(s978 1)
(s979 1)
(s980 1)
(s981 1)
(s982 1)
(s983 1)
(s984 1)
(s985 1)
(s986 1)
(s987 1)
(s988 1)
(s991 1)
(s992 1)
(s993 1)
(s994 1)
(s995 1)
(s996 1)
(s997 1)
(s998 1)
(s999 1)
(s1000 1)
(s1001 1)
(s1002 1)
(s1003 1)
(s1006 1)
(s1007 1)
(s1008 1)
(s1009 1)
(s1010 1)
(s1011 1)
(s1012 1)
(s1013 1)
(s1014 1)
(s1015 1)
(s1016 1)
(s1019 1)
(s1020 1)
(s1021 1)
(s1022 1)
(s1023 1)
(s1024 1)
(s1025 1)
(s1026 1)
(s1027 1)
(s1030 1)
(s1031 1)
(s1032 1)
(s1033 1)
(s1034 1)
(s1035 1)
(s1036 1)
(s1039 1)
(s1040 1)
(s1041 1)
(s1042 1)
(s1043 1)
(s1046 1)
(s1047 1)
(s1048 1)
(s1051 1)
(s1067 1)
(s1069 1)
(s1079 1)
(s1082 1)
(s1083 1)
(s1084 1)
(s1087 1)
(s1088 1)
(s1089 1)
(s1090 1)
(s1091 1)
(s1094 1)
(s1095 1)
(s1096 1)
(s1097 1)
(s1098 1)
(s1099 1)
(s1100 1)
(s1103 1)
(s1104 1)
(s1105 1)
(s1106 1)
(s1107 1)
(s1108 1)
(s1109 1)
(s1110 1)
(s1111 1)
(s1114 1)
(s1115 1)
(s1116 1)
(s1117 1)
(s1118 1)
(s1119 1)
(s1120 1)
(s1121 1)
(s1122 1)
(s1123 1)
(s1124 1)
(s1127 1)
(s1128 1)
(s1129 1)
(s1130 1)
(s1131 1)
(s1132 1)
(s1133 1)
(s1134 1)
(s1135 1)
(s1136 1)
(s1137 1)
(s1138 1)
(s1139 1)
(s1142 1)
(s1143 1)
(s1144 1)
(s1145 1)
(s1146 1)
(s1147 1)
(s1148 1)
(s1149 1)
(s1150 1)
(s1151 1)
(s1152 1)
(s1153 1)
(s1154 1)
(s1155 1)
(s1156 1)
(s1159 1)
(s1160 1)
(s1161 1)
(s1162 1)
(s1163 1)
(s1164 1)
(s1165 1)
(s1166 1)
(s1167 1)
(s1168 1)
(s1169 1)
(s1170 1)
(s1171 1)
(s1172 1)
(s1173 1)
(s1174 1)
(s1175 1)
(s1178 1)
(s1179 1)
(s1180 1)
(s1181 1)
(s1182 1)
(s1183 1)
(s1184 1)
(s1185 1)
(s1186 1)
(s1187 1)
(s1188 1)
(s1189 1)
(s1190 1)
(s1191 1)
(s1192 1)
(s1193 1)
(s1194 1)
(s1195 1)
(s1196 1)
(s1199 1)
(s1200 1)
(s1201 1)
(s1202 1)
(s1203 1)
(s1204 1)
(s1205 1)
(s1206 1)
(s1207 1)
(s1208 1)
(s1209 1)
(s1210 1)
(s1211 1)
(s1212 1)
(s1213 1)
(s1214 1)
(s1215 1)
(s1216 1)
(s1217 1)
(s1218 1)
(s1219 1)
(s1222 1)
(s1223 1)
(s1224 1)
(s1225 1)
(s1226 1)
(s1227 1)
(s1228 1)
(s1229 1)
(s1230 1)
(s1231 1)
(s1232 1)
(s1233 1)
(s1234 1)
(s1235 1)
(s1236 1)
(s1237 1)
(s1238 1)
(s1239 1)
(s1240 1)
(s1241 1)
(s1242 1)
(s1243 1)
(s1244 1)
(s1248 1)
(s1249 1)
(s1250 1)
(s1251 1)
(s1252 1)
(s1253 1)
(s1254 1)
(s1255 1)
(s1256 1)
(s1257 1)
(s1258 1)
(s1259 1)
(s1260 1)
(s1261 1)
(s1262 1)
(s1263 1)
(s1264 1)
(s1265 1)
(s1266 1)
(s1267 1)
(s1268 1)
(s1269 1)
(s1270 1)
(s1274 1)
(s1275 1)
(s1276 1)
(s1277 1)
(s1278 1)
(s1279 1)
(s1280 1)
(s1281 1)
(s1282 1)
(s1283 1)
(s1284 1)
(s1285 1)
(s1286 1)
(s1287 1)
(s1288 1)
(s1289 1)
(s1290 1)
(s1291 1)
(s1292 1)
(s1293 1)
(s1294 1)
(s1295 1)
(s1296 1)
(s1297 1)
(s1300 1)
(s1301 1)
(s1302 1)
(s1303 1)
(s1304 1)
(s1305 1)
(s1306 1)
(s1307 1)
(s1308 1)
(s1309 1)
(s1310 1)
(s1311 1)
(s1312 1)
(s1313 1)
(s1314 1)
(s1315 1)
(s1316 1)
(s1317 1)
(s1318 1)
(s1319 1)
(s1320 1)
(s1321 1)
(s1322 1)
(s1323 1)
(s1329 1)
(s1330 1)
(s1331 1)
(s1332 1)
(s1333 1)
(s1334 1)
(s1335 1)
(s1336 1)
(s1337 1)
(s1338 1)
(s1339 1)
(s1340 1)
(s1341 1)
(s1342 1)
(s1343 1)
(s1344 1)
(s1345 1)
(s1346 1)
(s1347 1)
(s1348 1)
(s1349 1)
(s1350 1)
(s1351 1)
(s1354 1)
(s1355 1)
(s1356 1)
(s1357 1)
(s1358 1)
(s1359 1)
(s1360 1)
(s1361 1)
(s1362 1)
(s1363 1)
(s1364 1)
(s1365 1)
(s1366 1)
(s1367 1)
(s1368 1)
(s1369 1)
(s1370 1)
(s1371 1)
(s1372 1)
(s1373 1)
(s1374 1)
(s1377 1)
(s1378 1)
(s1379 1)
(s1380 1)
(s1381 1)
(s1382 1)
(s1383 1)
(s1384 1)
(s1385 1)
(s1386 1)
(s1387 1)
(s1388 1)
(s1389 1)
(s1390 1)
(s1391 1)
(s1392 1)
(s1393 1)
(s1394 1)
(s1395 1)
(s1398 1)
(s1399 1)
(s1400 1)
(s1401 1)
(s1402 1)
(s1403 1)
(s1404 1)
(s1405 1)
(s1406 1)
(s1407 1)
(s1408 1)
(s1409 1)
(s1410 1)
(s1411 1)
(s1412 1)
(s1413 1)
(s1414 1)
(s1417 1)
(s1418 1)
(s1419 1)
(s1420 1)
(s1421 1)
(s1422 1)
(s1423 1)
(s1424 1)
(s1425 1)
(s1426 1)
(s1427 1)
(s1428 1)
(s1429 1)
(s1430 1)
(s1431 1)
(s1434 1)
(s1435 1)
(s1436 1)
(s1437 1)
(s1438 1)
(s1439 1)
(s1440 1)
(s1441 1)
(s1442 1)
(s1443 1)
(s1444 1)
(s1445 1)
(s1446 1)
(s1449 1)
(s1450 1)
(s1451 1)
(s1452 1)
(s1453 1)
(s1454 1)
(s1455 1)
(s1456 1)
(s1457 1)
(s1458 1)
(s1459 1)
(s1462 1)
(s1463 1)
(s1464 1)
(s1465 1)
(s1466 1)
(s1467 1)
(s1468 1)
(s1469 1)
(s1470 1)
(s1473 1)
(s1474 1)
(s1475 1)
(s1476 1)
(s1477 1)
(s1478 1)
(s1479 1)
(s1482 1)
(s1483 1)
(s1484 1)
(s1485 1)
(s1486 1)
(s1489 1)
(s1490 1)
(s1491 1)
(s1494 1)
(s1512 1)
(s1514 1)
(s1526 1)
(s1529 1)
(s1530 1)
(s1531 1)
(s1534 1)
(s1535 1)
(s1536 1)
(s1537 1)
(s1538 1)
(s1541 1)
(s1542 1)
(s1543 1)
(s1544 1)
(s1545 1)
(s1546 1)
(s1547 1)
(s1550 1)
(s1551 1)
(s1552 1)
(s1553 1)
(s1554 1)
(s1555 1)
(s1556 1)
(s1557 1)
(s1558 1)
(s1561 1)
(s1562 1)
(s1563 1)
(s1564 1)
(s1565 1)
(s1566 1)
(s1567 1)
(s1568 1)
(s1569 1)
(s1570 1)
(s1571 1)
(s1574 1)
(s1575 1)
(s1576 1)
(s1577 1)
(s1578 1)
(s1579 1)
(s1580 1)
(s1581 1)
(s1582 1)
(s1583 1)
(s1584 1)
(s1585 1)
(s1586 1)
(s1589 1)
(s1590 1)
(s1591 1)
(s1592 1)
(s1593 1)
(s1594 1)
(s1595 1)
(s1596 1)
(s1597 1)
(s1598 1)
(s1599 1)
(s1600 1)
(s1601 1)
(s1602 1)
(s1603 1)
(s1606 1)
(s1607 1)
(s1608 1)
(s1609 1)
(s1610 1)
(s1611 1)
(s1612 1)
(s1613 1)
(s1614 1)
(s1615 1)
(s1616 1)
(s1617 1)
(s1618 1)
(s1619 1)
(s1620 1)
(s1621 1)
(s1622 1)
(s1625 1)
(s1626 1)
(s1627 1)
(s1628 1)
(s1629 1)
(s1630 1)
(s1631 1)
(s1632 1)
(s1633 1)
(s1634 1)
(s1635 1)
(s1636 1)
(s1637 1)
(s1638 1)
(s1639 1)
(s1640 1)
(s1641 1)
(s1642 1)
(s1643 1)
(s1646 1)
(s1647 1)
(s1648 1)
(s1649 1)
(s1650 1)
(s1651 1)
(s1652 1)
(s1653 1)
(s1654 1)
(s1655 1)
(s1656 1)
(s1657 1)
(s1658 1)
(s1659 1)
(s1660 1)
(s1661 1)
(s1662 1)
(s1663 1)
(s1664 1)
(s1665 1)
(s1666 1)
(s1669 1)
(s1670 1)
(s1671 1)
(s1672 1)
(s1673 1)
(s1674 1)
(s1675 1)
(s1676 1)
(s1677 1)
(s1678 1)
(s1679 1)
(s1680 1)
(s1681 1)
(s1682 1)
(s1683 1)
(s1684 1)
(s1685 1)
(s1686 1)
(s1687 1)
(s1688 1)
(s1689 1)
(s1690 1)
(s1694 1)
(s1695 1)
(s1696 1)
(s1697 1)
(s1698 1)
(s1699 1)
(s1700 1)
(s1701 1)
(s1702 1)
(s1703 1)
(s1704 1)
(s1705 1)
(s1706 1)
(s1707 1)
(s1708 1)
(s1709 1)
(s1710 1)
(s1711 1)
(s1712 1)
(s1713 1)
(s1714 1)
(s1715 1)
(s1718 1)
(s1719 1)
(s1720 1)
(s1721 1)
(s1722 1)
(s1723 1)
(s1724 1)
(s1725 1)
(s1726 1)
(s1727 1)
(s1728 1)
(s1729 1)
(s1730 1)
(s1731 1)
(s1732 1)
(s1733 1)
(s1734 1)
(s1735 1)
(s1736 1)
(s1737 1)
(s1738 1)
(s1739 1)
(s1745 1)
(s1746 1)
(s1747 1)
(s1748 1)
(s1749 1)
(s1750 1)
(s1751 1)
(s1752 1)
(s1753 1)
(s1754 1)
(s1755 1)
(s1756 1)
(s1757 1)
(s1758 1)
(s1759 1)
(s1760 1)
(s1761 1)
(s1762 1)
(s1763 1)
(s1764 1)
(s1765 1)
(s1768 1)
(s1769 1)
(s1770 1)
(s1771 1)
(s1772 1)
(s1773 1)
(s1774 1)
(s1775 1)
(s1776 1)
(s1777 1)
(s1778 1)
(s1779 1)
(s1780 1)
(s1781 1)
(s1782 1)
(s1783 1)
(s1784 1)
(s1785 1)
(s1786 1)
(s1789 1)
(s1790 1)
(s1791 1)
(s1792 1)
(s1793 1)
(s1794 1)
(s1795 1)
(s1796 1)
(s1797 1)
(s1798 1)
(s1799 1)
(s1800 1)
(s1801 1)
(s1802 1)
(s1803 1)
(s1804 1)
(s1805 1)
(s1808 1)
(s1809 1)
(s1810 1)
(s1811 1)
(s1812 1)
(s1813 1)
(s1814 1)
(s1815 1)
(s1816 1)
(s1817 1)
(s1818 1)
(s1819 1)
(s1820 1)
(s1821 1)
(s1822 1)
(s1825 1)
(s1826 1)
(s1827 1)
(s1828 1)
(s1829 1)
(s1830 1)
(s1831 1)
(s1832 1)
(s1833 1)
(s1834 1)
(s1835 1)
(s1836 1)
(s1837 1)
(s1840 1)
(s1841 1)
(s1842 1)
(s1843 1)
(s1844 1)
(s1845 1)
(s1846 1)
(s1847 1)
(s1848 1)
(s1849 1)
(s1850 1)
(s1853 1)
(s1854 1)
(s1855 1)
(s1856 1)
(s1857 1)
(s1858 1)
(s1859 1)
(s1860 1)
(s1861 1)
(s1864 1)
(s1865 1)
(s1866 1)
(s1867 1)
(s1868 1)
(s1869 1)
(s1870 1)
(s1873 1)
(s1874 1)
(s1875 1)
(s1876 1)
(s1877 1)
(s1880 1)
(s1881 1)
(s1882 1)
(s1885 1)
(s1905 1)
(s1907 1)
(s1921 1)
(s1924 1)
(s1925 1)
(s1926 1)
(s1929 1)
(s1930 1)
(s1931 1)
(s1932 1)
(s1933 1)
(s1936 1)
(s1937 1)
(s1938 1)
(s1939 1)
(s1940 1)
(s1941 1)
(s1942 1)
(s1945 1)
(s1946 1)
(s1947 1)
(s1948 1)
(s1949 1)
(s1950 1)
(s1951 1)
(s1952 1)
(s1953 1)
(s1956 1)
(s1957 1)
(s1958 1)
(s1959 1)
(s1960 1)
(s1961 1)
(s1962 1)
(s1963 1)
(s1964 1)
(s1965 1)
(s1966 1)
(s1969 1)
(s1970 1)
(s1971 1)
(s1972 1)
(s1973 1)
(s1974 1)
(s1975 1)
(s1976 1)
(s1977 1)
(s1978 1)
(s1979 1)
(s1980 1)
(s1981 1)
(s1984 1)
(s1985 1)
(s1986 1)
(s1987 1)
(s1988 1)
(s1989 1)
(s1990 1)
(s1991 1)
(s1992 1)
(s1993 1)
(s1994 1)
(s1995 1)
(s1996 1)
(s1997 1)
(s1998 1)
(s2001 1)
(s2002 1)
(s2003 1)
(s2004 1)
(s2005 1)
(s2006 1)
(s2007 1)
(s2008 1)
(s2009 1)
(s2010 1)
(s2011 1)
(s2012 1)
(s2013 1)
(s2014 1)
(s2015 1)
(s2016 1)
(s2017 1)
(s2020 1)
(s2021 1)
(s2022 1)
(s2023 1)
(s2024 1)
(s2025 1)
(s2026 1)
(s2027 1)
(s2028 1)
(s2029 1)
(s2030 1)
(s2031 1)
(s2032 1)
(s2033 1)
(s2034 1)
(s2035 1)
(s2036 1)
(s2037 1)
(s2038 1)
(s2041 1)
(s2042 1)
(s2043 1)
(s2044 1)
(s2045 1)
(s2046 1)
(s2047 1)
(s2048 1)
(s2049 1)
(s2050 1)
(s2051 1)
(s2052 1)
(s2053 1)
(s2054 1)
(s2055 1)
(s2056 1)
(s2057 1)
(s2058 1)
(s2059 1)
(s2060 1)
(s2064 1)
(s2065 1)
(s2066 1)
(s2067 1)
(s2068 1)
(s2069 1)
(s2070 1)
(s2071 1)
(s2072 1)
(s2073 1)
(s2074 1)
(s2075 1)
(s2076 1)
(s2077 1)
(s2078 1)
(s2079 1)
(s2080 1)
(s2081 1)
(s2082 1)
(s2083 1)
(s2086 1)
(s2087 1)
(s2088 1)
(s2089 1)
(s2090 1)
(s2091 1)
(s2092 1)
(s2093 1)
(s2094 1)
(s2095 1)
(s2096 1)
(s2097 1)
(s2098 1)
(s2099 1)
(s2100 1)
(s2101 1)
(s2102 1)
(s2103 1)
(s2104 1)
(s2105 1)
(s2111 1)
(s2112 1)
(s2113 1)
(s2114 1)
(s2115 1)
(s2116 1)
(s2117 1)
(s2118 1)
(s2119 1)
(s2120 1)
(s2121 1)
(s2122 1)
(s2123 1)
(s2124 1)
(s2125 1)
(s2126 1)
(s2127 1)
(s2128 1)
(s2129 1)
(s2132 1)
(s2133 1)
(s2134 1)
(s2135 1)
(s2136 1)
(s2137 1)
(s2138 1)
(s2139 1)
(s2140 1)
(s2141 1)
(s2142 1)
(s2143 1)
(s2144 1)
(s2145 1)
(s2146 1)
(s2147 1)
(s2148 1)
(s2151 1)
(s2152 1)
(s2153 1)
(s2154 1)
(s2155 1)
(s2156 1)
(s2157 1)
(s2158 1)
(s2159 1)
(s2160 1)
(s2161 1)
(s2162 1)
(s2163 1)
(s2164 1)
(s2165 1)
(s2168 1)
(s2169 1)
(s2170 1)
(s2171 1)
(s2172 1)
(s2173 1)
(s2174 1)
(s2175 1)
(s2176 1)
(s2177 1)
(s2178 1)
(s2179 1)
(s2180 1)
(s2183 1)
(s2184 1)
(s2185 1)
(s2186 1)
(s2187 1)
(s2188 1)
(s2189 1)
(s2190 1)
(s2191 1)
(s2192 1)
(s2193 1)
(s2196 1)
(s2197 1)
(s2198 1)
(s2199 1)
(s2200 1)
(s2201 1)
(s2202 1)
(s2203 1)
(s2204 1)
(s2207 1)
(s2208 1)
(s2209 1)
(s2210 1)
(s2211 1)
(s2212 1)
(s2213 1)
(s2216 1)
(s2217 1)
(s2218 1)
(s2219 1)
(s2220 1)
(s2223 1)
(s2224 1)
(s2225 1)
(s2228 1)
(s2250 1)
(s2252 1)
(s2268 1)
(s2271 1)
(s2272 1)
(s2273 1)
(s2276 1)
(s2277 1)
(s2278 1)
(s2279 1)
(s2280 1)
(s2283 1)
(s2284 1)
(s2285 1)
(s2286 1)
(s2287 1)
(s2288 1)
(s2289 1)
(s2292 1)
(s2293 1)
(s2294 1)
(s2295 1)
(s2296 1)
(s2297 1)
(s2298 1)
(s2299 1)
(s2300 1)
(s2303 1)
(s2304 1)
(s2305 1)
(s2306 1)
(s2307 1)
(s2308 1)
(s2309 1)
(s2310 1)
(s2311 1)
(s2312 1)
(s2313 1)
(s2316 1)
(s2317 1)
(s2318 1)
(s2319 1)
(s2320 1)
(s2321 1)
(s2322 1)
(s2323 1)
(s2324 1)
(s2325 1)
(s2326 1)
(s2327 1)
(s2328 1)
(s2331 1)
(s2332 1)
(s2333 1)
(s2334 1)
(s2335 1)
(s2336 1)
(s2337 1)
(s2338 1)
(s2339 1)
(s2340 1)
(s2341 1)
(s2342 1)
(s2343 1)
(s2344 1)
(s2345 1)
(s2348 1)
(s2349 1)
(s2350 1)
(s2351 1)
(s2352 1)
(s2353 1)
(s2354 1)
(s2355 1)
(s2356 1)
(s2357 1)
(s2358 1)
(s2359 1)
(s2360 1)
(s2361 1)
(s2362 1)
(s2363 1)
(s2364 1)
(s2367 1)
(s2368 1)
(s2369 1)
(s2370 1)
(s2371 1)
(s2372 1)
(s2373 1)
(s2374 1)
(s2375 1)
(s2376 1)
(s2377 1)
(s2378 1)
(s2379 1)
(s2380 1)
(s2381 1)
(s2382 1)
(s2383 1)
(s2384 1)
(s2388 1)
(s2389 1)
(s2390 1)
(s2391 1)
(s2392 1)
(s2393 1)
(s2394 1)
(s2395 1)
(s2396 1)
(s2397 1)
(s2398 1)
(s2399 1)
(s2400 1)
(s2401 1)
(s2402 1)
(s2403 1)
(s2404 1)
(s2405 1)
(s2408 1)
(s2409 1)
(s2410 1)
(s2411 1)
(s2412 1)
(s2413 1)
(s2414 1)
(s2415 1)
(s2416 1)
(s2417 1)
(s2418 1)
(s2419 1)
(s2420 1)
(s2421 1)
(s2422 1)
(s2423 1)
(s2424 1)
(s2425 1)
(s2431 1)
(s2432 1)
(s2433 1)
(s2434 1)
(s2435 1)
(s2436 1)
(s2437 1)
(s2438 1)
(s2439 1)
(s2440 1)
(s2441 1)
(s2442 1)
(s2443 1)
(s2444 1)
(s2445 1)
(s2446 1)
(s2447 1)
(s2450 1)
(s2451 1)
(s2452 1)
(s2453 1)
(s2454 1)
(s2455 1)
(s2456 1)
(s2457 1)
(s2458 1)
(s2459 1)
(s2460 1)
(s2461 1)
(s2462 1)
(s2463 1)
(s2464 1)
(s2467 1)
(s2468 1)
(s2469 1)
(s2470 1)
(s2471 1)
(s2472 1)
(s2473 1)
(s2474 1)
(s2475 1)
(s2476 1)
(s2477 1)
(s2478 1)
(s2479 1)
(s2482 1)
(s2483 1)
(s2484 1)
(s2485 1)
(s2486 1)
(s2487 1)
(s2488 1)
(s2489 1)
(s2490 1)
(s2491 1)
(s2492 1)
(s2495 1)
(s2496 1)
(s2497 1)
(s2498 1)
(s2499 1)
(s2500 1)
(s2501 1)
(s2502 1)
(s2503 1)
(s2506 1)
(s2507 1)
(s2508 1)
(s2509 1)
(s2510 1)
(s2511 1)
(s2512 1)
(s2515 1)
(s2516 1)
(s2517 1)
(s2518 1)
(s2519 1)
(s2522 1)
(s2523 1)
(s2524 1)
(s2527 1)
(s2551 1)
(s2553 1)
(s2571 1)
(s2574 1)
(s2575 1)
(s2576 1)
(s2579 1)
(s2580 1)
(s2581 1)
(s2582 1)
(s2583 1)
(s2586 1)
(s2587 1)
(s2588 1)
(s2589 1)
(s2590 1)
(s2591 1)
(s2592 1)
(s2595 1)
(s2596 1)
(s2597 1)
(s2598 1)
(s2599 1)
(s2600 1)
(s2601 1)
(s2602 1)
(s2603 1)
(s2606 1)
(s2607 1)
(s2608 1)
(s2609 1)
(s2610 1)
(s2611 1)
(s2612 1)
(s2613 1)
(s2614 1)
(s2615 1)
(s2616 1)
(s2619 1)
(s2620 1)
(s2621 1)
(s2622 1)
(s2623 1)
(s2624 1)
(s2625 1)
(s2626 1)
(s2627 1)
(s2628 1)
(s2629 1)
(s2630 1)
(s2631 1)
(s2634 1)
(s2635 1)
(s2636 1)
(s2637 1)
(s2638 1)
(s2639 1)
(s2640 1)
(s2641 1)
(s2642 1)
(s2643 1)
(s2644 1)
(s2645 1)
(s2646 1)
(s2647 1)
(s2648 1)
(s2651 1)
(s2652 1)
(s2653 1)
(s2654 1)
(s2655 1)
(s2656 1)
(s2657 1)
(s2658 1)
(s2659 1)
(s2660 1)
(s2661 1)
(s2662 1)
(s2663 1)
(s2664 1)
(s2665 1)
(s2666 1)
(s2670 1)
(s2671 1)
(s2672 1)
(s2673 1)
(s2674 1)
(s2675 1)
(s2676 1)
(s2677 1)
(s2678 1)
(s2679 1)
(s2680 1)
(s2681 1)
(s2682 1)
(s2683 1)
(s2684 1)
(s2685 1)
(s2688 1)
(s2689 1)
(s2690 1)
(s2691 1)
(s2692 1)
(s2693 1)
(s2694 1)
(s2695 1)
(s2696 1)
(s2697 1)
(s2698 1)
(s2699 1)
(s2700 1)
(s2701 1)
(s2702 1)
(s2703 1)
(s2709 1)
(s2710 1)
(s2711 1)
(s2712 1)
(s2713 1)
(s2714 1)
(s2715 1)
(s2716 1)
(s2717 1)
(s2718 1)
(s2719 1)
(s2720 1)
(s2721 1)
(s2722 1)
(s2723 1)
(s2726 1)
(s2727 1)
(s2728 1)
(s2729 1)
(s2730 1)
(s2731 1)
(s2732 1)
(s2733 1)
(s2734 1)
(s2735 1)
(s2736 1)
(s2737 1)
(s2738 1)
(s2741 1)
(s2742 1)
(s2743 1)
(s2744 1)
(s2745 1)
(s2746 1)
(s2747 1)
(s2748 1)
(s2749 1)
(s2750 1)
(s2751 1)
(s2754 1)
(s2755 1)
(s2756 1)
(s2757 1)
(s2758 1)
(s2759 1)
(s2760 1)
(s2761 1)
(s2762 1)
(s2765 1)
(s2766 1)
(s2767 1)
(s2768 1)
(s2769 1)
(s2770 1)
(s2771 1)
(s2774 1)
(s2775 1)
(s2776 1)
(s2777 1)
(s2778 1)
(s2781 1)
(s2782 1)
(s2783 1)
(s2786 1)
(s2812 1)
(s2814 1)
(s2834 1)
(s2837 1)
(s2838 1)
(s2839 1)
(s2842 1)
(s2843 1)
(s2844 1)
(s2845 1)
(s2846 1)
(s2849 1)
(s2850 1)
(s2851 1)
(s2852 1)
(s2853 1)
(s2854 1)
(s2855 1)
(s2858 1)
(s2859 1)
(s2860 1)
(s2861 1)
(s2862 1)
(s2863 1)
(s2864 1)
(s2865 1)
(s2866 1)
(s2869 1)
(s2870 1)
(s2871 1)
(s2872 1)
(s2873 1)
(s2874 1)
(s2875 1)
(s2876 1)
(s2877 1)
(s2878 1)
(s2879 1)
(s2882 1)
(s2883 1)
(s2884 1)
(s2885 1)
(s2886 1)
(s2887 1)
(s2888 1)
(s2889 1)
(s2890 1)
(s2891 1)
(s2892 1)
(s2893 1)
(s2894 1)
(s2897 1)
(s2898 1)
(s2899 1)
(s2900 1)
(s2901 1)
(s2902 1)
(s2903 1)
(s2904 1)
(s2905 1)
(s2906 1)
(s2907 1)
(s2908 1)
(s2909 1)
(s2910 1)
(s2914 1)
(s2915 1)
(s2916 1)
(s2917 1)
(s2918 1)
(s2919 1)
(s2920 1)
(s2921 1)
(s2922 1)
(s2923 1)
(s2924 1)
(s2925 1)
(s2926 1)
(s2927 1)
(s2930 1)
(s2931 1)
(s2932 1)
(s2933 1)
(s2934 1)
(s2935 1)
(s2936 1)
(s2937 1)
(s2938 1)
(s2939 1)
(s2940 1)
(s2941 1)
(s2942 1)
(s2943 1)
(s2949 1)
(s2950 1)
(s2951 1)
(s2952 1)
(s2953 1)
(s2954 1)
(s2955 1)
(s2956 1)
(s2957 1)
(s2958 1)
(s2959 1)
(s2960 1)
(s2961 1)
(s2964 1)
(s2965 1)
(s2966 1)
(s2967 1)
(s2968 1)
(s2969 1)
(s2970 1)
(s2971 1)
(s2972 1)
(s2973 1)
(s2974 1)
(s2977 1)
(s2978 1)
(s2979 1)
(s2980 1)
(s2981 1)
(s2982 1)
(s2983 1)
(s2984 1)
(s2985 1)
(s2988 1)
(s2989 1)
(s2990 1)
(s2991 1)
(s2992 1)
(s2993 1)
(s2994 1)
(s2997 1)
(s2998 1)
(s2999 1)
(s3000 1)
(s3001 1)
(s3004 1)
(s3005 1)
(s3006 1)
(s3009 1)
(s3037 1)
(s3039 1)
(s3061 1)
(s3064 1)
(s3065 1)
(s3066 1)
(s3069 1)
(s3070 1)
(s3071 1)
(s3072 1)
(s3073 1)
(s3076 1)
(s3077 1)
(s3078 1)
(s3079 1)
(s3080 1)
(s3081 1)
(s3082 1)
(s3085 1)
(s3086 1)
(s3087 1)
(s3088 1)
(s3089 1)
(s3090 1)
(s3091 1)
(s3092 1)
(s3093 1)
(s3096 1)
(s3097 1)
(s3098 1)
(s3099 1)
(s3100 1)
(s3101 1)
(s3102 1)
(s3103 1)
(s3104 1)
(s3105 1)
(s3106 1)
(s3109 1)
(s3110 1)
(s3111 1)
(s3112 1)
(s3113 1)
(s3114 1)
(s3115 1)
(s3116 1)
(s3117 1)
(s3118 1)
(s3119 1)
(s3120 1)
(s3124 1)
(s3125 1)
(s3126 1)
(s3127 1)
(s3128 1)
(s3129 1)
(s3130 1)
(s3131 1)
(s3132 1)
(s3133 1)
(s3134 1)
(s3135 1)
(s3138 1)
(s3139 1)
(s3140 1)
(s3141 1)
(s3142 1)
(s3143 1)
(s3144 1)
(s3145 1)
(s3146 1)
(s3147 1)
(s3148 1)
(s3149 1)
(s3155 1)
(s3156 1)
(s3157 1)
(s3158 1)
(s3159 1)
(s3160 1)
(s3161 1)
(s3162 1)
(s3163 1)
(s3164 1)
(s3165 1)
(s3168 1)
(s3169 1)
(s3170 1)
(s3171 1)
(s3172 1)
(s3173 1)
(s3174 1)
(s3175 1)
(s3176 1)
(s3179 1)
(s3180 1)
(s3181 1)
(s3182 1)
(s3183 1)
(s3184 1)
(s3185 1)
(s3188 1)
(s3189 1)
(s3190 1)
(s3191 1)
(s3192 1)
(s3195 1)
(s3196 1)
(s3197 1)
(s3200 1)
(s3230 1)
(s3232 1)
(s3256 1)
(s3259 1)
(s3260 1)
(s3261 1)
(s3264 1)
(s3265 1)
(s3266 1)
(s3267 1)
(s3268 1)
(s3271 1)
(s3272 1)
(s3273 1)
(s3274 1)
(s3275 1)
(s3276 1)
(s3277 1)
(s3280 1)
(s3281 1)
(s3282 1)
(s3283 1)
(s3284 1)
(s3285 1)
(s3286 1)
(s3287 1)
(s3288 1)
(s3291 1)
(s3292 1)
(s3293 1)
(s3294 1)
(s3295 1)
(s3296 1)
(s3297 1)
(s3298 1)
(s3299 1)
(s3300 1)
(s3304 1)
(s3305 1)
(s3306 1)
(s3307 1)
(s3308 1)
(s3309 1)
(s3310 1)
(s3311 1)
(s3312 1)
(s3313 1)
(s3316 1)
(s3317 1)
(s3318 1)
(s3319 1)
(s3320 1)
(s3321 1)
(s3322 1)
(s3323 1)
(s3324 1)
(s3325 1)
(s3331 1)
(s3332 1)
(s3333 1)
(s3334 1)
(s3335 1)
(s3336 1)
(s3337 1)
(s3338 1)
(s3339 1)
(s3342 1)
(s3343 1)
(s3344 1)
(s3345 1)
(s3346 1)
(s3347 1)
(s3348 1)
(s3351 1)
(s3352 1)
(s3353 1)
(s3354 1)
(s3355 1)
(s3358 1)
(s3359 1)
(s3360 1)
(s3363 1)
(s3395 1)
(s3397 1)
(s3423 1)
(s3426 1)
(s3427 1)
(s3428 1)
(s3431 1)
(s3432 1)
(s3433 1)
(s3434 1)
(s3435 1)
(s3438 1)
(s3439 1)
(s3440 1)
(s3441 1)
(s3442 1)
(s3443 1)
(s3444 1)
(s3448 1)
(s3449 1)
(s3450 1)
(s3451 1)
(s3452 1)
(s3453 1)
(s3454 1)
(s3459 1)
(s3460 1)
(s3461 1)
(s3462 1)
(s3463 1)
(s3464 1)
(s3465 1)
(s3469 1)
(s3470 1)
(s3471 1)
(s3472 1)
(s3473 1)
(s3474 1)
(s3475 1)
(s3481 1)
(s3482 1)
(s3483 1)
(s3484 1)
(s3485 1)
(s3486 1)
(s3487 1)
(s3490 1)
(s3491 1)
(s3492 1)
(s3493 1)
(s3494 1)
(s3497 1)
(s3498 1)
(s3499 1)
(s3502 1)
(s3536 1)
(s3538 1)
(s3566 1)
(s3569 1)
(s3570 1)
(s3571 1)
(s3574 1)
(s3575 1)
(s3576 1)
(s3577 1)
(s3578 1)
(s3582 1)
(s3583 1)
(s3584 1)
(s3585 1)
(s3586 1)
(s3590 1)
(s3591 1)
(s3592 1)
(s3593 1)
(s3594 1)
(s3595 1)
(s3598 1)
(s3599 1)
(s3600 1)
(s3601 1)
(s3602 1)
(s3603 1)
(s3609 1)
(s3610 1)
(s3611 1)
(s3612 1)
(s3613 1)
(s3616 1)
(s3617 1)
(s3618 1)
(s3621 1)
(s3657 1)
(s3659 1)
(s3689 1)
(s3692 1)
(s3693 1)
(s3694 1)
(s3697 1)
(s3698 1)
(s3699 1)
(s3700 1)
(s3704 1)
(s3705 1)
(s3706 1)
(s3707 1)
(s3710 1)
(s3711 1)
(s3712 1)
(s3713 1)
(s3719 1)
(s3720 1)
(s3721 1)
(s3724 1)
(s3762 1)
(s3764 1)
(s3796 1)
(s3799 1)
(s3800 1)
(s3804 1)
(s3805 1)
(s3808 1)
(s3809 1)
(s3815 1)
(s4023 1)
(s4272 1)
(s4274 1)
(s4308 1)
(s4311 1)
(s4312 1)
(s4316 1)
(s4317 1)
(s4323 1)
(s4324 1)
(s4327 1)
(s4365 1)
(s4367 1)
(s4399 1)
(s4402 1)
(s4403 1)
(s4404 1)
(s4407 1)
(s4408 1)
(s4409 1)
(s4410 1)
(s4414 1)
(s4415 1)
(s4416 1)
(s4417 1)
(s4423 1)
(s4424 1)
(s4425 1)
(s4426 1)
(s4429 1)
(s4430 1)
(s4431 1)
(s4434 1)
(s4470 1)
(s4472 1)
(s4502 1)
(s4505 1)
(s4506 1)
(s4507 1)
(s4510 1)
(s4511 1)
(s4512 1)
(s4513 1)
(s4514 1)
(s4517 1)
(s4518 1)
(s4519 1)
(s4520 1)
(s4521 1)
(s4522 1)
(s4526 1)
(s4527 1)
(s4528 1)
(s4529 1)
(s4530 1)
(s4531 1)
(s4537 1)
(s4538 1)
(s4539 1)
(s4540 1)
(s4541 1)
(s4542 1)
(s4545 1)
(s4546 1)
(s4547 1)
(s4548 1)
(s4549 1)
(s4552 1)
(s4553 1)
(s4554 1)
(s4557 1)
(s4591 1)
(s4593 1)
(s4621 1)
(s4624 1)
(s4625 1)
(s4626 1)
(s4629 1)
(s4630 1)
(s4631 1)
(s4632 1)
(s4633 1)
(s4636 1)
(s4637 1)
(s4638 1)
(s4639 1)
(s4640 1)
(s4641 1)
(s4642 1)
(s4645 1)
(s4646 1)
(s4647 1)
(s4648 1)
(s4649 1)
(s4650 1)
(s4651 1)
(s4652 1)
(s4656 1)
(s4657 1)
(s4658 1)
(s4659 1)
(s4660 1)
(s4661 1)
(s4662 1)
(s4663 1)
(s4669 1)
(s4670 1)
(s4671 1)
(s4672 1)
(s4673 1)
(s4674 1)
(s4675 1)
(s4676 1)
(s4679 1)
(s4680 1)
(s4681 1)
(s4682 1)
(s4683 1)
(s4684 1)
(s4685 1)
(s4688 1)
(s4689 1)
(s4690 1)
(s4691 1)
(s4692 1)
(s4695 1)
(s4696 1)
(s4697 1)
(s4700 1)
(s4732 1)
(s4734 1)
(s4760 1)
(s4763 1)
(s4764 1)
(s4765 1)
(s4768 1)
(s4769 1)
(s4770 1)
(s4771 1)
(s4772 1)
(s4775 1)
(s4776 1)
(s4777 1)
(s4778 1)
(s4779 1)
(s4780 1)
(s4781 1)
(s4784 1)
(s4785 1)
(s4786 1)
(s4787 1)
(s4788 1)
(s4789 1)
(s4790 1)
(s4791 1)
(s4792 1)
(s4796 1)
(s4797 1)
(s4798 1)
(s4799 1)
(s4800 1)
(s4801 1)
(s4802 1)
(s4803 1)
(s4804 1)
(s4808 1)
(s4809 1)
(s4810 1)
(s4811 1)
(s4812 1)
(s4813 1)
(s4814 1)
(s4815 1)
(s4816 1)
(s4817 1)
(s4823 1)
(s4824 1)
(s4825 1)
(s4826 1)
(s4827 1)
(s4828 1)
(s4829 1)
(s4830 1)
(s4831 1)
(s4832 1)
(s4835 1)
(s4836 1)
(s4837 1)
(s4838 1)
(s4839 1)
(s4840 1)
(s4841 1)
(s4842 1)
(s4843 1)
(s4846 1)
(s4847 1)
(s4848 1)
(s4849 1)
(s4850 1)
(s4851 1)
(s4852 1)
(s4855 1)
(s4856 1)
(s4857 1)
(s4858 1)
(s4859 1)
(s4862 1)
(s4863 1)
(s4864 1)
(s4867 1)
(s4897 1)
(s4899 1)
(s4923 1)
(s4926 1)
(s4927 1)
(s4928 1)
(s4931 1)
(s4932 1)
(s4933 1)
(s4934 1)
(s4935 1)
(s4938 1)
(s4939 1)
(s4940 1)
(s4941 1)
(s4942 1)
(s4943 1)
(s4944 1)
(s4947 1)
(s4948 1)
(s4949 1)
(s4950 1)
(s4951 1)
(s4952 1)
(s4953 1)
(s4954 1)
(s4955 1)
(s4958 1)
(s4959 1)
(s4960 1)
(s4961 1)
(s4962 1)
(s4963 1)
(s4964 1)
(s4965 1)
(s4966 1)
(s4967 1)
(s4968 1)
(s4971 1)
(s4972 1)
(s4973 1)
(s4974 1)
(s4975 1)
(s4976 1)
(s4977 1)
(s4978 1)
(s4979 1)
(s4980 1)
(s4981 1)
(s4982 1)
(s4986 1)
(s4987 1)
(s4988 1)
(s4989 1)
(s4990 1)
(s4991 1)
(s4992 1)
(s4993 1)
(s4994 1)
(s4995 1)
(s4996 1)
(s4997 1)
(s5004 1)
(s5005 1)
(s5006 1)
(s5007 1)
(s5008 1)
(s5009 1)
(s5010 1)
(s5011 1)
(s5012 1)
(s5013 1)
(s5014 1)
(s5017 1)
(s5018 1)
(s5019 1)
(s5020 1)
(s5021 1)
(s5022 1)
(s5023 1)
(s5024 1)
(s5025 1)
(s5026 1)
(s5027 1)
(s5030 1)
(s5031 1)
(s5032 1)
(s5033 1)
(s5034 1)
(s5035 1)
(s5036 1)
(s5037 1)
(s5038 1)
(s5041 1)
(s5042 1)
(s5043 1)
(s5044 1)
(s5045 1)
(s5046 1)
(s5047 1)
(s5050 1)
(s5051 1)
(s5052 1)
(s5053 1)
(s5054 1)
(s5057 1)
(s5058 1)
(s5059 1)
(s5062 1)
(s5090 1)
(s5092 1)
(s5114 1)
(s5117 1)
(s5118 1)
(s5119 1)
(s5122 1)
(s5123 1)
(s5124 1)
(s5125 1)
(s5126 1)
(s5129 1)
(s5130 1)
(s5131 1)
(s5132 1)
(s5133 1)
(s5134 1)
(s5135 1)
(s5138 1)
(s5139 1)
(s5140 1)
(s5141 1)
(s5142 1)
(s5143 1)
(s5144 1)
(s5145 1)
(s5146 1)
(s5149 1)
(s5150 1)
(s5151 1)
(s5152 1)
(s5153 1)
(s5154 1)
(s5155 1)
(s5156 1)
(s5157 1)
(s5158 1)
(s5159 1)
(s5162 1)
(s5163 1)
(s5164 1)
(s5165 1)
(s5166 1)
(s5167 1)
(s5168 1)
(s5169 1)
(s5170 1)
(s5171 1)
(s5172 1)
(s5173 1)
(s5174 1)
(s5177 1)
(s5178 1)
(s5179 1)
(s5180 1)
(s5181 1)
(s5182 1)
(s5183 1)
(s5184 1)
(s5185 1)
(s5186 1)
(s5187 1)
(s5188 1)
(s5189 1)
(s5190 1)
(s5194 1)
(s5195 1)
(s5196 1)
(s5197 1)
(s5198 1)
(s5199 1)
(s5200 1)
(s5201 1)
(s5202 1)
(s5203 1)
(s5204 1)
(s5205 1)
(s5206 1)
(s5207 1)
(s5213 1)
(s5214 1)
(s5215 1)
(s5216 1)
(s5217 1)
(s5218 1)
(s5219 1)
(s5220 1)
(s5221 1)
(s5222 1)
(s5223 1)
(s5224 1)
(s5225 1)
(s5226 1)
(s5229 1)
(s5230 1)
(s5231 1)
(s5232 1)
(s5233 1)
(s5234 1)
(s5235 1)
(s5236 1)
(s5237 1)
(s5238 1)
(s5239 1)
(s5240 1)
(s5241 1)
(s5244 1)
(s5245 1)
(s5246 1)
(s5247 1)
(s5248 1)
(s5249 1)
(s5250 1)
(s5251 1)
(s5252 1)
(s5253 1)
(s5254 1)
(s5257 1)
(s5258 1)
(s5259 1)
(s5260 1)
(s5261 1)
(s5262 1)
(s5263 1)
(s5264 1)
(s5265 1)
(s5268 1)
(s5269 1)
(s5270 1)
(s5271 1)
(s5272 1)
(s5273 1)
(s5274 1)
(s5277 1)
(s5278 1)
(s5279 1)
(s5280 1)
(s5281 1)
(s5284 1)
(s5285 1)
(s5286 1)
(s5289 1)
(s5315 1)
(s5317 1)
(s5337 1)
(s5340 1)
(s5341 1)
(s5342 1)
(s5345 1)
(s5346 1)
(s5347 1)
(s5348 1)
(s5349 1)
(s5352 1)
(s5353 1)
(s5354 1)
(s5355 1)
(s5356 1)
(s5357 1)
(s5358 1)
(s5361 1)
(s5362 1)
(s5363 1)
(s5364 1)
(s5365 1)
(s5366 1)
(s5367 1)
(s5368 1)
(s5369 1)
(s5372 1)
(s5373 1)
(s5374 1)
(s5375 1)
(s5376 1)
(s5377 1)
(s5378 1)
(s5379 1)
(s5380 1)
(s5381 1)
(s5382 1)
(s5385 1)
(s5386 1)
(s5387 1)
(s5388 1)
(s5389 1)
(s5390 1)
(s5391 1)
(s5392 1)
(s5393 1)
(s5394 1)
(s5395 1)
(s5396 1)
(s5397 1)
(s5400 1)
(s5401 1)
(s5402 1)
(s5403 1)
(s5404 1)
(s5405 1)
(s5406 1)
(s5407 1)
(s5408 1)
(s5409 1)
(s5410 1)
(s5411 1)
(s5412 1)
(s5413 1)
(s5414 1)
(s5417 1)
(s5418 1)
(s5419 1)
(s5420 1)
(s5421 1)
(s5422 1)
(s5423 1)
(s5424 1)
(s5425 1)
(s5426 1)
(s5427 1)
(s5428 1)
(s5429 1)
(s5430 1)
(s5431 1)
(s5432 1)
(s5436 1)
(s5437 1)
(s5438 1)
(s5439 1)
(s5440 1)
(s5441 1)
(s5442 1)
(s5443 1)
(s5444 1)
(s5445 1)
(s5446 1)
(s5447 1)
(s5448 1)
(s5449 1)
(s5450 1)
(s5451 1)
(s5457 1)
(s5458 1)
(s5459 1)
(s5460 1)
(s5461 1)
(s5462 1)
(s5463 1)
(s5464 1)
(s5465 1)
(s5466 1)
(s5467 1)
(s5468 1)
(s5469 1)
(s5470 1)
(s5471 1)
(s5472 1)
(s5475 1)
(s5476 1)
(s5477 1)
(s5478 1)
(s5479 1)
(s5480 1)
(s5481 1)
(s5482 1)
(s5483 1)
(s5484 1)
(s5485 1)
(s5486 1)
(s5487 1)
(s5488 1)
(s5489 1)
(s5492 1)
(s5493 1)
(s5494 1)
(s5495 1)
(s5496 1)
(s5497 1)
(s5498 1)
(s5499 1)
(s5500 1)
(s5501 1)
(s5502 1)
(s5503 1)
(s5504 1)
(s5507 1)
(s5508 1)
(s5509 1)
(s5510 1)
(s5511 1)
(s5512 1)
(s5513 1)
(s5514 1)
(s5515 1)
(s5516 1)
(s5517 1)
(s5520 1)
(s5521 1)
(s5522 1)
(s5523 1)
(s5524 1)
(s5525 1)
(s5526 1)
(s5527 1)
(s5528 1)
(s5531 1)
(s5532 1)
(s5533 1)
(s5534 1)
(s5535 1)
(s5536 1)
(s5537 1)
(s5540 1)
(s5541 1)
(s5542 1)
(s5543 1)
(s5544 1)
(s5547 1)
(s5548 1)
(s5549 1)
(s5552 1)
(s5576 1)
(s5578 1)
(s5596 1)
(s5599 1)
(s5600 1)
(s5601 1)
(s5604 1)
(s5605 1)
(s5606 1)
(s5607 1)
(s5608 1)
(s5611 1)
(s5612 1)
(s5613 1)
(s5614 1)
(s5615 1)
(s5616 1)
(s5617 1)
(s5620 1)
(s5621 1)
(s5622 1)
(s5623 1)
(s5624 1)
(s5625 1)
(s5626 1)
(s5627 1)
(s5628 1)
(s5631 1)
(s5632 1)
(s5633 1)
(s5634 1)
(s5635 1)
(s5636 1)
(s5637 1)
(s5638 1)
(s5639 1)
(s5640 1)
(s5641 1)
(s5644 1)
(s5645 1)
(s5646 1)
(s5647 1)
(s5648 1)
(s5649 1)
(s5650 1)
(s5651 1)
(s5652 1)
(s5653 1)
(s5654 1)
(s5655 1)
(s5656 1)
(s5659 1)
(s5660 1)
(s5661 1)
(s5662 1)
(s5663 1)
(s5664 1)
(s5665 1)
(s5666 1)
(s5667 1)
(s5668 1)
(s5669 1)
(s5670 1)
(s5671 1)
(s5672 1)
(s5673 1)
(s5676 1)
(s5677 1)
(s5678 1)
(s5679 1)
(s5680 1)
(s5681 1)
(s5682 1)
(s5683 1)
(s5684 1)
(s5685 1)
(s5686 1)
(s5687 1)
(s5688 1)
(s5689 1)
(s5690 1)
(s5691 1)
(s5692 1)
(s5696 1)
(s5697 1)
(s5698 1)
(s5699 1)
(s5700 1)
(s5701 1)
(s5702 1)
(s5703 1)
(s5704 1)
(s5705 1)
(s5706 1)
(s5707 1)
(s5708 1)
(s5709 1)
(s5710 1)
(s5711 1)
(s5712 1)
(s5716 1)
(s5717 1)
(s5718 1)
(s5719 1)
(s5720 1)
(s5721 1)
(s5722 1)
(s5723 1)
(s5724 1)
(s5725 1)
(s5726 1)
(s5727 1)
(s5728 1)
(s5729 1)
(s5730 1)
(s5731 1)
(s5732 1)
(s5733 1)
(s5739 1)
(s5740 1)
(s5741 1)
(s5742 1)
(s5743 1)
(s5744 1)
(s5745 1)
(s5746 1)
(s5747 1)
(s5748 1)
(s5749 1)
(s5750 1)
(s5751 1)
(s5752 1)
(s5753 1)
(s5754 1)
(s5755 1)
(s5756 1)
(s5759 1)
(s5760 1)
(s5761 1)
(s5762 1)
(s5763 1)
(s5764 1)
(s5765 1timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5364/24799 variables, and 0 constraints, problems are : Problem set: 0 solved, 5364 unsolved in 90086 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 0/1296 constraints, State Equation: 0/8328 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 0/5364 constraints, Known Traps: 0/0 constraints]
After SMT, in 189135ms problems are : Problem set: 0 solved, 5364 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5364 out of 8328 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8328/8328 places, 17617/17617 transitions.
Applied a total of 0 rules in 855 ms. Remains 8328 /8328 variables (removed 0) and now considering 17617/17617 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 856 ms. Remains : 8328/8328 places, 17617/17617 transitions.
RANDOM walk for 418599 steps (21921 resets) in 120004 ms. (3 steps per ms) remains 5362/5364 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 201 ms. (19 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 196 ms. (20 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 200 ms. (19 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 212 ms. (18 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 169 ms. (23 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 174 ms. (22 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 232 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 178 ms. (22 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 234 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 223 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 203 ms. (19 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 172 ms. (23 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 222 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 216 ms. (18 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 215 ms. (18 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 180 ms. (22 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 200 ms. (19 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 234 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 184 ms. (21 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 233 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 229 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 232 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 181 ms. (22 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 229 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 172 ms. (23 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 228 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 240 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 206 ms. (19 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 235 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 227 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 238 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 189 ms. (21 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 232 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 171 ms. (23 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 223 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 249 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 215 ms. (18 steps per ms) remains 5362/5362 properties
Interrupted probabilistic random walk after 227765 steps, run timeout after 99001 ms. (steps per millisecond=2 ) properties seen :0 out of 5362
Probabilistic random walk after 227765 steps, saw 100710 distinct states, run finished after 99003 ms. (steps per millisecond=2 ) properties seen :0
[2024-06-01 07:22:47] [INFO ] Flow matrix only has 16471 transitions (discarded 1146 similar events)
[2024-06-01 07:22:47] [INFO ] Invariant cache hit.
[2024-06-01 07:22:47] [INFO ] State equation strengthened by 8098 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 5362/24799 variables, and 0 constraints, problems are : Problem set: 0 solved, 5362 unsolved in 105068 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 0/1296 constraints, State Equation: 0/8328 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 5362/5362 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5362 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5362/24799 variables, and 0 constraints, problems are : Problem set: 0 solved, 5362 unsolved in 105071 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 0/1296 constraints, State Equation: 0/8328 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 0/5362 constraints, Known Traps: 0/0 constraints]
After SMT, in 218449ms problems are : Problem set: 0 solved, 5362 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5362 out of 8328 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8328/8328 places, 17617/17617 transitions.
Applied a total of 0 rules in 837 ms. Remains 8328 /8328 variables (removed 0) and now considering 17617/17617 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 838 ms. Remains : 8328/8328 places, 17617/17617 transitions.
RANDOM walk for 421615 steps (22074 resets) in 120004 ms. (3 steps per ms) remains 5361/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 218 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 217 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 208 ms. (19 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 203 ms. (19 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 168 ms. (23 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 191 ms. (20 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 215 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 240 ms. (16 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 209 ms. (19 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 185 ms. (21 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 245 ms. (16 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 220 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 227 ms. (17 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 207 ms. (19 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 205 ms. (19 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 229 ms. (17 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 169 ms. (23 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 216 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 194 ms. (20 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 194 ms. (20 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 191 ms. (20 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 193 ms. (20 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 181 ms. (22 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 240 ms. (16 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 232 ms. (17 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 171 ms. (23 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 222 ms. (17 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 211 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 210 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 214 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 176 ms. (22 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 213 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 218 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 214 ms. (18 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 205 ms. (19 steps per ms) remains 5361/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 203 ms. (19 steps per ms) remains 5361/5361 properties
Interrupted probabilistic random walk after 244865 steps, run timeout after 99001 ms. (steps per millisecond=2 ) properties seen :0 out of 5361
Probabilistic random walk after 244865 steps, saw 108332 distinct states, run finished after 99001 ms. (steps per millisecond=2 ) properties seen :0
[2024-06-01 07:28:39] [INFO ] Flow matrix only has 16471 transitions (discarded 1146 similar events)
[2024-06-01 07:28:39] [INFO ] Invariant cache hit.
[2024-06-01 07:28:39] [INFO ] State equation strengthened by 8098 read => feed constraints.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5361/24799 variables, and 0 constraints, problems are : Problem set: 0 solved, 5361 unsolved in 120082 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 0/1296 constraints, State Equation: 0/8328 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 5361/5361 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5361 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5361/24799 variables, and 0 constraints, problems are : Problem set: 0 solved, 5361 unsolved in 120088 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 0/1296 constraints, State Equation: 0/8328 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 0/5361 constraints, Known Traps: 0/0 constraints]
After SMT, in 248190ms problems are : Problem set: 0 solved, 5361 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5361 out of 8328 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8328/8328 places, 17617/17617 transitions.
Applied a total of 0 rules in 862 ms. Remains 8328 /8328 variables (removed 0) and now considering 17617/17617 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 862 ms. Remains : 8328/8328 places, 17617/17617 transitions.
RANDOM walk for 416607 steps (21812 resets) in 120004 ms. (3 steps per ms) remains 5357/5361 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 183 ms. (21 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 189 ms. (21 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 185 ms. (21 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 183 ms. (21 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 223 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 229 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 186 ms. (21 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 232 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 175 ms. (22 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 251 ms. (15 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 181 ms. (22 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 235 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 184 ms. (21 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 234 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 229 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 208 ms. (19 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 174 ms. (22 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 228 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 196 ms. (20 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 193 ms. (20 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 224 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 233 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 174 ms. (22 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 229 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 235 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 236 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 227 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 239 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 227 ms. (17 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 238 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 197 ms. (20 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 236 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 194 ms. (20 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 235 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 241 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 238 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 187 ms. (21 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 201 ms. (19 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 242 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 246 ms. (16 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 194 ms. (20 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 5357/5357 properties
BEST_FIRST walk for 4004 steps (16 resets) in 249 ms. (16 steps per ms) remains 5357/5357 properties
Interrupted probabilistic random walk after 214768 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :0 out of 5357
Probabilistic random walk after 214768 steps, saw 94948 distinct states, run finished after 96003 ms. (steps per millisecond=2 ) properties seen :0
[2024-06-01 07:34:57] [INFO ] Flow matrix only has 16471 transitions (discarded 1146 similar events)
[2024-06-01 07:34:57] [INFO ] Invariant cache hit.
[2024-06-01 07:34:57] [INFO ] State equation strengthened by 8098 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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C03"
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-S32C03, 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-171654364600098"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C03.tgz
mv MultiCrashLeafsetExtension-PT-S32C03 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;