About the Execution of 2024-gold for ErlangenMainframeV0-PT-1302
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15678.920 | 1800000.00 | 2959351.00 | 4852.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r266-tall-174931350400257.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool gold2024
Input is ErlangenMainframeV0-PT-1302, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r266-tall-174931350400257
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 79M
-rw-r--r-- 1 mcc users 6.6K Jun 6 09:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Jun 6 09:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Jun 6 09:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Jun 6 09:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Jun 6 12:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Jun 6 12:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jun 6 12:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 6 12:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 5 20:08 NewModel
-rw-r--r-- 1 mcc users 13K Jun 6 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Jun 6 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Jun 6 09:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 6 09:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Jun 6 12:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Jun 6 12:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 5 20:08 equiv_col
-rw-r--r-- 1 mcc users 5 Jun 5 20:08 instance
-rw-r--r-- 1 mcc users 6 Jun 5 20:08 iscolored
-rw-r--r-- 1 mcc users 79M Jun 5 20:08 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 QuasiLiveness
=== Now, execution of the tool begins
BK_START 1749323243544
Invoking MCC driver with
BK_TOOL=gold2024
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ErlangenMainframeV0-PT-1302
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2025-06-07 19:07:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2025-06-07 19:07:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-07 19:07:28] [INFO ] Load time of PNML (sax parser for PT used): 2936 ms
[2025-06-07 19:07:28] [INFO ] Transformed 297 places.
[2025-06-07 19:07:28] [INFO ] Transformed 55594 transitions.
[2025-06-07 19:07:28] [INFO ] Found NUPN structural information;
[2025-06-07 19:07:28] [INFO ] Parsed PT model containing 297 places and 55594 transitions and 1622818 arcs in 3466 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 297/297 places, 55594/55594 transitions.
Graph (trivial) has 234 edges and 297 vertex of which 6 / 297 are part of one of the 3 SCC in 15 ms
Free SCC test removed 3 places
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 96 transitions
Trivial Post-agglo rules discarded 96 transitions
Performed 96 trivial Post agglomeration. Transition count delta: 96
Iterating post reduction 0 with 96 rules applied. Total rules applied 97 place count 294 transition count 55495
Reduce places removed 96 places and 0 transitions.
Iterating post reduction 1 with 96 rules applied. Total rules applied 193 place count 198 transition count 55495
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 193 place count 198 transition count 55492
Deduced a syphon composed of 3 places in 125 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 199 place count 195 transition count 55492
Performed 104 Post agglomeration using F-continuation condition.Transition count delta: 104
Deduced a syphon composed of 104 places in 27 ms
Reduce places removed 104 places and 0 transitions.
Iterating global reduction 2 with 208 rules applied. Total rules applied 407 place count 91 transition count 55388
Applied a total of 407 rules in 20280 ms. Remains 91 /297 variables (removed 206) and now considering 55388/55594 (removed 206) transitions.
[2025-06-07 19:07:48] [INFO ] Flow matrix only has 36939 transitions (discarded 18449 similar events)
// Phase 1: matrix 36939 rows 91 cols
[2025-06-07 19:07:49] [INFO ] Computed 32 invariants in 729 ms
[2025-06-07 19:08:20] [INFO ] Performed 49/91 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-07 19:08:48] [INFO ] Implicit Places using invariants in 59188 ms returned [77]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 59369 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 90/297 places, 55388/55594 transitions.
Applied a total of 0 rules in 537 ms. Remains 90 /90 variables (removed 0) and now considering 55388/55388 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 80227 ms. Remains : 90/297 places, 55388/55594 transitions.
Discarding 40 transitions out of 55388. Remains 55348
Initial state reduction rules removed 1 formulas.
RANDOM walk for 40000 steps (8 resets) in 26722 ms. (1 steps per ms) remains 55259/55347 properties
BEST_FIRST walk for 120 steps (4 resets) in 108 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 86 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 106 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 102 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 122 ms. (0 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 104 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 96 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 96 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 99 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 100 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 94 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 97 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 96 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 107 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 97 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 99 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 101 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 100 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 104 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 100 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 96 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 102 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 95 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 99 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 100 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 96 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 103 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 107 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 100 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 90 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 96 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 100 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 100 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 95 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 100 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 95 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 99 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 96 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 96 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 100 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 90 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 98 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 109 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 78 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 88 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 84 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 88 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 92 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 88 ms. (1 steps per ms) remains 55259/55259 properties
BEST_FIRST walk for 120 steps (4 resets) in 88 ms. (1 steps per ms) remains 55259/55259 properties
Interrupted probabilistic random walk after 6449 steps, run timeout after 24010 ms. (steps per millisecond=0 ) properties seen :10 out of 55259
Probabilistic random walk after 6449 steps, saw 4338 distinct states, run finished after 24021 ms. (steps per millisecond=0 ) properties seen :10
[2025-06-07 19:13:55] [INFO ] Flow matrix only has 36939 transitions (discarded 18449 similar events)
// Phase 1: matrix 36939 rows 90 cols
[2025-06-07 19:13:56] [INFO ] Computed 31 invariants in 595 ms
[2025-06-07 19:13:57] [INFO ] State equation strengthened by 18452 read => feed constraints.
SMT process timed out in 1050937ms, After SMT, problems are : Problem set: 0 solved, 55249 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 59 out of 90 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 90/90 places, 55388/55388 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 90 transition count 55385
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 5 place count 88 transition count 55368
Iterating global reduction 1 with 2 rules applied. Total rules applied 7 place count 88 transition count 55368
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 9 place count 88 transition count 55366
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -16
Deduced a syphon composed of 2 places in 17 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 13 place count 86 transition count 55382
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 14 place count 86 transition count 55381
Free-agglomeration rule applied 5 times.
Iterating global reduction 3 with 5 rules applied. Total rules applied 19 place count 86 transition count 55376
Reduce places removed 5 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 3 with 23 rules applied. Total rules applied 42 place count 81 transition count 55358
Applied a total of 42 rules in 5082 ms. Remains 81 /90 variables (removed 9) and now considering 55358/55388 (removed 30) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5088 ms. Remains : 81/90 places, 55358/55388 transitions.
RANDOM walk for 135124 steps (0 resets) in 120005 ms. (1 steps per ms) remains 54898/55249 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 54893/54898 properties
BEST_FIRST walk for 4002 steps (8 resets) in 689 ms. (5 steps per ms) remains 54890/54893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 54886/54890 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 54883/54886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 54877/54883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 54872/54877 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 54867/54872 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 54865/54867 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 54862/54865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 54857/54862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 714 ms. (5 steps per ms) remains 54853/54857 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 54849/54853 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 54843/54849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 721 ms. (5 steps per ms) remains 54838/54843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 54833/54838 properties
BEST_FIRST walk for 4003 steps (8 resets) in 717 ms. (5 steps per ms) remains 54829/54833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 725 ms. (5 steps per ms) remains 54826/54829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 54822/54826 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 54815/54822 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 54812/54815 properties
BEST_FIRST walk for 4002 steps (8 resets) in 687 ms. (5 steps per ms) remains 54808/54812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 54803/54808 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 54802/54803 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 54796/54802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 54790/54796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 54783/54790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 54781/54783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 54776/54781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 801 ms. (4 steps per ms) remains 54772/54776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 54770/54772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 54766/54770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 711 ms. (5 steps per ms) remains 54764/54766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 54761/54764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 54757/54761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 54753/54757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 54748/54753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 54744/54748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 54744/54744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 54742/54744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 54739/54742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 54738/54739 properties
BEST_FIRST walk for 4002 steps (8 resets) in 691 ms. (5 steps per ms) remains 54735/54738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 54730/54735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 54725/54730 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 54721/54725 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 54717/54721 properties
BEST_FIRST walk for 4002 steps (8 resets) in 678 ms. (5 steps per ms) remains 54713/54717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 54709/54713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 54705/54709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 802 ms. (4 steps per ms) remains 54704/54705 properties
BEST_FIRST walk for 4004 steps (8 resets) in 818 ms. (4 steps per ms) remains 54699/54704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 54694/54699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 54688/54694 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 54687/54688 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 54682/54687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 54675/54682 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 54672/54675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 54665/54672 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 54662/54665 properties
BEST_FIRST walk for 4002 steps (8 resets) in 694 ms. (5 steps per ms) remains 54658/54662 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 54653/54658 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 54650/54653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 54648/54650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 54643/54648 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 54638/54643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 54630/54638 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 54629/54630 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 54625/54629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 54617/54625 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 54613/54617 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 54610/54613 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 54608/54610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 54602/54608 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 54595/54602 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 54592/54595 properties
BEST_FIRST walk for 4003 steps (8 resets) in 726 ms. (5 steps per ms) remains 54588/54592 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 54583/54588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 54581/54583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 54578/54581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 54573/54578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 54567/54573 properties
BEST_FIRST walk for 4002 steps (8 resets) in 694 ms. (5 steps per ms) remains 54563/54567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 54558/54563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 54555/54558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 54553/54555 properties
BEST_FIRST walk for 4002 steps (8 resets) in 712 ms. (5 steps per ms) remains 54550/54553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 54544/54550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 54539/54544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 54537/54539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 54531/54537 properties
BEST_FIRST walk for 4002 steps (8 resets) in 714 ms. (5 steps per ms) remains 54527/54531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 54523/54527 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 54520/54523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 54515/54520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 54512/54515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 54507/54512 properties
BEST_FIRST walk for 4002 steps (8 resets) in 694 ms. (5 steps per ms) remains 54505/54507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 54501/54505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 54499/54501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 54495/54499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 54494/54495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 54490/54494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 54486/54490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 54481/54486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 54477/54481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 54473/54477 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 54471/54473 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 54469/54471 properties
BEST_FIRST walk for 4002 steps (8 resets) in 689 ms. (5 steps per ms) remains 54469/54469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 54466/54469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 54463/54466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 54460/54463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 54456/54460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 54450/54456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 54447/54450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 54446/54447 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 54441/54446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 712 ms. (5 steps per ms) remains 54437/54441 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 54432/54437 properties
BEST_FIRST walk for 4002 steps (8 resets) in 921 ms. (4 steps per ms) remains 54428/54432 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 54427/54428 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 54425/54427 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 54422/54425 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 54419/54422 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 54414/54419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 714 ms. (5 steps per ms) remains 54408/54414 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 54404/54408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 54399/54404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 54396/54399 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 54390/54396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 54388/54390 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 54383/54388 properties
BEST_FIRST walk for 4002 steps (8 resets) in 686 ms. (5 steps per ms) remains 54379/54383 properties
BEST_FIRST walk for 4003 steps (8 resets) in 709 ms. (5 steps per ms) remains 54374/54379 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 54369/54374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 54366/54369 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 54363/54366 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 54358/54363 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 54355/54358 properties
BEST_FIRST walk for 4003 steps (8 resets) in 724 ms. (5 steps per ms) remains 54352/54355 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 54349/54352 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 54344/54349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 54340/54344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 54336/54340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 54331/54336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 54328/54331 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 54323/54328 properties
BEST_FIRST walk for 4002 steps (8 resets) in 697 ms. (5 steps per ms) remains 54318/54323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 54316/54318 properties
BEST_FIRST walk for 4002 steps (8 resets) in 687 ms. (5 steps per ms) remains 54309/54316 properties
BEST_FIRST walk for 4002 steps (8 resets) in 709 ms. (5 steps per ms) remains 54305/54309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 54300/54305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 54297/54300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 54291/54297 properties
BEST_FIRST walk for 4001 steps (8 resets) in 715 ms. (5 steps per ms) remains 54290/54291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 54286/54290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 54284/54286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 54280/54284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 54277/54280 properties
BEST_FIRST walk for 4001 steps (8 resets) in 711 ms. (5 steps per ms) remains 54272/54277 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 54270/54272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 54266/54270 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 54262/54266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 54260/54262 properties
BEST_FIRST walk for 4002 steps (8 resets) in 698 ms. (5 steps per ms) remains 54258/54260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 743 ms. (5 steps per ms) remains 54255/54258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 54252/54255 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 54248/54252 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 54245/54248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 54242/54245 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 54240/54242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 54237/54240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 54233/54237 properties
BEST_FIRST walk for 4003 steps (8 resets) in 675 ms. (5 steps per ms) remains 54230/54233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 54225/54230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 54222/54225 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 54217/54222 properties
BEST_FIRST walk for 4003 steps (8 resets) in 708 ms. (5 steps per ms) remains 54212/54217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 54210/54212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 54207/54210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 54200/54207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 54197/54200 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 54192/54197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 54190/54192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 54185/54190 properties
BEST_FIRST walk for 4002 steps (8 resets) in 704 ms. (5 steps per ms) remains 54182/54185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 54177/54182 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 54171/54177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 54169/54171 properties
BEST_FIRST walk for 4003 steps (8 resets) in 675 ms. (5 steps per ms) remains 54169/54169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 54165/54169 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 54160/54165 properties
BEST_FIRST walk for 4002 steps (8 resets) in 702 ms. (5 steps per ms) remains 54154/54160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 54150/54154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 54147/54150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 54143/54147 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 54141/54143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 54139/54141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 712 ms. (5 steps per ms) remains 54133/54139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 54130/54133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 54125/54130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 54122/54125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 54119/54122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 54113/54119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 54110/54113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 54105/54110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 54102/54105 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 54098/54102 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 54096/54098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 54093/54096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 819 ms. (4 steps per ms) remains 54088/54093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 54084/54088 properties
BEST_FIRST walk for 4002 steps (8 resets) in 703 ms. (5 steps per ms) remains 54079/54084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 54076/54079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 54073/54076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 54068/54073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 54066/54068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 707 ms. (5 steps per ms) remains 54061/54066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 54056/54061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 54055/54056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 54049/54055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 54048/54049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 54044/54048 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 54042/54044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 54040/54042 properties
BEST_FIRST walk for 4002 steps (8 resets) in 685 ms. (5 steps per ms) remains 54038/54040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 54032/54038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 54027/54032 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 54021/54027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 54017/54021 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 54012/54017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 54008/54012 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 54004/54008 properties
BEST_FIRST walk for 4001 steps (8 resets) in 679 ms. (5 steps per ms) remains 53998/54004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 53995/53998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 53993/53995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 53989/53993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 53988/53989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 53984/53988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 53981/53984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 53975/53981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 53971/53975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 53965/53971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 53961/53965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 53957/53961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 53953/53957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 713 ms. (5 steps per ms) remains 53950/53953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 53947/53950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 53945/53947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 706 ms. (5 steps per ms) remains 53943/53945 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 53939/53943 properties
BEST_FIRST walk for 4002 steps (8 resets) in 673 ms. (5 steps per ms) remains 53937/53939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 53936/53937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 53932/53936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 53926/53932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 53923/53926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 53919/53923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 53917/53919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 53915/53917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 53910/53915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 53908/53910 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 53905/53908 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 53903/53905 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 53897/53903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 53895/53897 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 53891/53895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 53888/53891 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 53884/53888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 53882/53884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 53877/53882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 710 ms. (5 steps per ms) remains 53875/53877 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 53871/53875 properties
BEST_FIRST walk for 4003 steps (8 resets) in 708 ms. (5 steps per ms) remains 53867/53871 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 53864/53867 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 53863/53864 properties
BEST_FIRST walk for 4004 steps (8 resets) in 714 ms. (5 steps per ms) remains 53859/53863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 53854/53859 properties
BEST_FIRST walk for 4002 steps (8 resets) in 697 ms. (5 steps per ms) remains 53853/53854 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 53850/53853 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53847/53850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 53843/53847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 53841/53843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 53837/53841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 53835/53837 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 53830/53835 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 53826/53830 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 53822/53826 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 53819/53822 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 53818/53819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53814/53818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 53811/53814 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 53807/53811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 53801/53807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 53797/53801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 53791/53797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 53789/53791 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 53785/53789 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 53783/53785 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 53780/53783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53775/53780 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 53772/53775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 826 ms. (4 steps per ms) remains 53769/53772 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 53765/53769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 53764/53765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 53760/53764 properties
BEST_FIRST walk for 4002 steps (8 resets) in 694 ms. (5 steps per ms) remains 53757/53760 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 53753/53757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 53748/53753 properties
BEST_FIRST walk for 4002 steps (8 resets) in 698 ms. (5 steps per ms) remains 53744/53748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 53740/53744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 53737/53740 properties
BEST_FIRST walk for 4002 steps (8 resets) in 683 ms. (5 steps per ms) remains 53734/53737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 53731/53734 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 53730/53731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 706 ms. (5 steps per ms) remains 53728/53730 properties
BEST_FIRST walk for 4002 steps (8 resets) in 680 ms. (5 steps per ms) remains 53727/53728 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 53722/53727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 53716/53722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 53712/53716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53711/53712 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 53708/53711 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 53704/53708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 707 ms. (5 steps per ms) remains 53701/53704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 53699/53701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 706 ms. (5 steps per ms) remains 53696/53699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 53695/53696 properties
BEST_FIRST walk for 4002 steps (8 resets) in 682 ms. (5 steps per ms) remains 53694/53695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 53690/53694 properties
BEST_FIRST walk for 4002 steps (8 resets) in 706 ms. (5 steps per ms) remains 53684/53690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 53681/53684 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 53679/53681 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 53676/53679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 53672/53676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 53667/53672 properties
BEST_FIRST walk for 4001 steps (8 resets) in 693 ms. (5 steps per ms) remains 53665/53667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 53659/53665 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 53658/53659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 53654/53658 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 53651/53654 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 53648/53651 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 53643/53648 properties
BEST_FIRST walk for 4004 steps (8 resets) in 707 ms. (5 steps per ms) remains 53642/53643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 53638/53642 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 53632/53638 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 53628/53632 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 53625/53628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53622/53625 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 53617/53622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 53614/53617 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 53613/53614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53611/53613 properties
BEST_FIRST walk for 4002 steps (8 resets) in 686 ms. (5 steps per ms) remains 53607/53611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 53605/53607 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 53597/53605 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 53596/53597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 53591/53596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 718 ms. (5 steps per ms) remains 53587/53591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 53584/53587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 53579/53584 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 53577/53579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 53574/53577 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 53570/53574 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 53566/53570 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 53564/53566 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 53559/53564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 53555/53559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 53551/53555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 53547/53551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 53543/53547 properties
BEST_FIRST walk for 4002 steps (8 resets) in 687 ms. (5 steps per ms) remains 53536/53543 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 53530/53536 properties
BEST_FIRST walk for 4001 steps (8 resets) in 687 ms. (5 steps per ms) remains 53525/53530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 53523/53525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 53520/53523 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 53516/53520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 53512/53516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 53510/53512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 53504/53510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 53500/53504 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 53494/53500 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 53491/53494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 53489/53491 properties
BEST_FIRST walk for 4002 steps (8 resets) in 697 ms. (5 steps per ms) remains 53486/53489 properties
BEST_FIRST walk for 4002 steps (8 resets) in 682 ms. (5 steps per ms) remains 53483/53486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53479/53483 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 53477/53479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 53473/53477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 53470/53473 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 53467/53470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 53466/53467 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 53463/53466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 53460/53463 properties
BEST_FIRST walk for 4002 steps (8 resets) in 694 ms. (5 steps per ms) remains 53457/53460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 53455/53457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 53450/53455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 53448/53450 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 53446/53448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 53443/53446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 713 ms. (5 steps per ms) remains 53442/53443 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 53438/53442 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 53434/53438 properties
BEST_FIRST walk for 4002 steps (8 resets) in 708 ms. (5 steps per ms) remains 53429/53434 properties
BEST_FIRST walk for 4002 steps (8 resets) in 708 ms. (5 steps per ms) remains 53424/53429 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 53423/53424 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 53421/53423 properties
BEST_FIRST walk for 4002 steps (8 resets) in 694 ms. (5 steps per ms) remains 53418/53421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 53414/53418 properties
BEST_FIRST walk for 4003 steps (8 resets) in 712 ms. (5 steps per ms) remains 53411/53414 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 53408/53411 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 53404/53408 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 53398/53404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 53395/53398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 53392/53395 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 53389/53392 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 53385/53389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 53381/53385 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 53377/53381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 53374/53377 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 53372/53374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 53366/53372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 53364/53366 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 53360/53364 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 53355/53360 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 53348/53355 properties
BEST_FIRST walk for 4001 steps (8 resets) in 676 ms. (5 steps per ms) remains 53342/53348 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 53338/53342 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 53334/53338 properties
BEST_FIRST walk for 4002 steps (8 resets) in 683 ms. (5 steps per ms) remains 53331/53334 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 53326/53331 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 53321/53326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 53319/53321 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 53314/53319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 53311/53314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 53309/53311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 53304/53309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 53300/53304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 53293/53300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 53289/53293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 53287/53289 properties
BEST_FIRST walk for 4002 steps (8 resets) in 695 ms. (5 steps per ms) remains 53282/53287 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 53279/53282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 53275/53279 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 53273/53275 properties
BEST_FIRST walk for 4003 steps (8 resets) in 710 ms. (5 steps per ms) remains 53268/53273 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 53265/53268 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 53261/53265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 53257/53261 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 53255/53257 properties
BEST_FIRST walk for 4002 steps (8 resets) in 700 ms. (5 steps per ms) remains 53254/53255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53249/53254 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 53245/53249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 53241/53245 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 53238/53241 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 53234/53238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 709 ms. (5 steps per ms) remains 53231/53234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 707 ms. (5 steps per ms) remains 53227/53231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 53223/53227 properties
BEST_FIRST walk for 4003 steps (8 resets) in 675 ms. (5 steps per ms) remains 53218/53223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 53215/53218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 53213/53215 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 53207/53213 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53202/53207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 53197/53202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 53197/53197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 53193/53197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 53187/53193 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 53182/53187 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 53177/53182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 53174/53177 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 53168/53174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 53167/53168 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 53164/53167 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 53162/53164 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 53158/53162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 53151/53158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 53149/53151 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 53145/53149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53142/53145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 53140/53142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 711 ms. (5 steps per ms) remains 53138/53140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 53136/53138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 53132/53136 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 53129/53132 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 53126/53129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 53122/53126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 53115/53122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 53111/53115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 53110/53111 properties
BEST_FIRST walk for 4002 steps (8 resets) in 687 ms. (5 steps per ms) remains 53107/53110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 53107/53107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 53105/53107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 53101/53105 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 53100/53101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 53096/53100 properties
BEST_FIRST walk for 4003 steps (8 resets) in 717 ms. (5 steps per ms) remains 53093/53096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 53091/53093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 53089/53091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 53085/53089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 53082/53085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 53079/53082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 53078/53079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 53075/53078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 53073/53075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 53068/53073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 53065/53068 properties
BEST_FIRST walk for 4002 steps (8 resets) in 703 ms. (5 steps per ms) remains 53063/53065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 53060/53063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 53059/53060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 53059/53059 properties
BEST_FIRST walk for 4002 steps (8 resets) in 704 ms. (5 steps per ms) remains 53056/53059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 710 ms. (5 steps per ms) remains 53055/53056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 53051/53055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 53046/53051 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 53041/53046 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 53039/53041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 53037/53039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 53035/53037 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 53032/53035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 53030/53032 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 53029/53030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 53028/53029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 53025/53028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 53022/53025 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 53020/53022 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 53019/53020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 53017/53019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 53013/53017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 53007/53013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 53004/53007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 53002/53004 properties
BEST_FIRST walk for 4002 steps (8 resets) in 686 ms. (5 steps per ms) remains 52999/53002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 52996/52999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 52992/52996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 52987/52992 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 52983/52987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 52981/52983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 52978/52981 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 52975/52978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 52971/52975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 52968/52971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 52964/52968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 52961/52964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 52959/52961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 686 ms. (5 steps per ms) remains 52954/52959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 52953/52954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 52948/52953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 52942/52948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 52942/52942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 52938/52942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 52935/52938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 708 ms. (5 steps per ms) remains 52930/52935 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 52928/52930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 52924/52928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 52921/52924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 52917/52921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 52915/52917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 52913/52915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 52911/52913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 52905/52911 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 52900/52905 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 52894/52900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 52891/52894 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 52888/52891 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 52884/52888 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 52880/52884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 52877/52880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 52874/52877 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 52867/52874 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 52864/52867 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 52861/52864 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 52858/52861 properties
BEST_FIRST walk for 4003 steps (8 resets) in 677 ms. (5 steps per ms) remains 52854/52858 properties
BEST_FIRST walk for 4002 steps (8 resets) in 694 ms. (5 steps per ms) remains 52850/52854 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 52846/52850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 52843/52846 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 52838/52843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 52832/52838 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 52828/52832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 52822/52828 properties
BEST_FIRST walk for 4002 steps (8 resets) in 694 ms. (5 steps per ms) remains 52819/52822 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 52818/52819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 52813/52818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 52809/52813 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 52805/52809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 52802/52805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 52800/52802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 52797/52800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 52794/52797 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 52792/52794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 52791/52792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 52788/52791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 52782/52788 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 52777/52782 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 52772/52777 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 52767/52772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 52764/52767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 52762/52764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 52758/52762 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 52754/52758 properties
BEST_FIRST walk for 4002 steps (8 resets) in 706 ms. (5 steps per ms) remains 52749/52754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 689 ms. (5 steps per ms) remains 52747/52749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 52747/52747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 52743/52747 properties
BEST_FIRST walk for 4002 steps (8 resets) in 687 ms. (5 steps per ms) remains 52740/52743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 52736/52740 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 52732/52736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 696 ms. (5 steps per ms) remains 52729/52732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 52727/52729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 52724/52727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 713 ms. (5 steps per ms) remains 52720/52724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 52718/52720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 52717/52718 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 52714/52717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 52711/52714 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 52706/52711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 52703/52706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 52698/52703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 52694/52698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 52691/52694 properties
BEST_FIRST walk for 4002 steps (8 resets) in 684 ms. (5 steps per ms) remains 52688/52691 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 52685/52688 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 52681/52685 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 52678/52681 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 52676/52678 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 52671/52676 properties
BEST_FIRST walk for 4002 steps (8 resets) in 696 ms. (5 steps per ms) remains 52666/52671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 52660/52666 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 52657/52660 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 52655/52657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 52652/52655 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 52648/52652 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 52645/52648 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 52642/52645 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 52637/52642 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 52635/52637 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 52632/52635 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 52629/52632 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 52624/52629 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 52621/52624 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 52619/52621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 52616/52619 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 52613/52616 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 52609/52613 properties
BEST_FIRST walk for 4002 steps (8 resets) in 700 ms. (5 steps per ms) remains 52607/52609 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 52602/52607 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 52597/52602 properties
BEST_FIRST walk for 4002 steps (8 resets) in 680 ms. (5 steps per ms) remains 52593/52597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 52590/52593 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 52584/52590 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 52583/52584 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 52578/52583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 52571/52578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 52569/52571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 52566/52569 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 52561/52566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 52556/52561 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 52554/52556 properties
BEST_FIRST walk for 4002 steps (8 resets) in 694 ms. (5 steps per ms) remains 52551/52554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 52550/52551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 52547/52550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 714 ms. (5 steps per ms) remains 52545/52547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 52542/52545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 681 ms. (5 steps per ms) remains 52539/52542 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 52537/52539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 52531/52537 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 52528/52531 properties
BEST_FIRST walk for 4002 steps (8 resets) in 701 ms. (5 steps per ms) remains 52526/52528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 52520/52526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 52516/52520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 52515/52516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 52510/52515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 52506/52510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 52501/52506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 52499/52501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 52497/52499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 52491/52497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 52487/52491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 52485/52487 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 52483/52485 properties
BEST_FIRST walk for 4002 steps (8 resets) in 703 ms. (5 steps per ms) remains 52480/52483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 52476/52480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 52469/52476 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 52467/52469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 52461/52467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 52460/52461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 52458/52460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 52453/52458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 52451/52453 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 52449/52451 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 52447/52449 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 52442/52447 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 52438/52442 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 52433/52438 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 52430/52433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 52429/52430 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 52427/52429 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 52425/52427 properties
BEST_FIRST walk for 4001 steps (8 resets) in 686 ms. (5 steps per ms) remains 52420/52425 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 52419/52420 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 52416/52419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 52412/52416 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 52407/52412 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 52406/52407 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 52401/52406 properties
BEST_FIRST walk for 4001 steps (8 resets) in 687 ms. (5 steps per ms) remains 52400/52401 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 52395/52400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 52392/52395 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 52390/52392 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 52389/52390 properties
BEST_FIRST walk for 4002 steps (8 resets) in 703 ms. (5 steps per ms) remains 52388/52389 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 52383/52388 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 52379/52383 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 52376/52379 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 52373/52376 properties
BEST_FIRST walk for 4003 steps (8 resets) in 715 ms. (5 steps per ms) remains 52368/52373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 52366/52368 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 52362/52366 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 52358/52362 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 52354/52358 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 52351/52354 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 52348/52351 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 52345/52348 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 52340/52345 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 52339/52340 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 52336/52339 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 52331/52336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 52328/52331 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 52323/52328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 52320/52323 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 52317/52320 properties
BEST_FIRST walk for 4002 steps (8 resets) in 679 ms. (5 steps per ms) remains 52314/52317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 52312/52314 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 52312/52312 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 52311/52312 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 52308/52311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 706 ms. (5 steps per ms) remains 52305/52308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 52301/52305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 52299/52301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 52295/52299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 52292/52295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 52287/52292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 52283/52287 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 52280/52283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 52277/52280 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 52274/52277 properties
BEST_FIRST walk for 4001 steps (8 resets) in 707 ms. (5 steps per ms) remains 52271/52274 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 52267/52271 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 52261/52267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 52260/52261 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 52257/52260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 52254/52257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 52250/52254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 52246/52250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 52242/52246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 52238/52242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 52238/52238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 52238/52238 properties
BEST_FIRST walk for 4002 steps (8 resets) in 695 ms. (5 steps per ms) remains 52233/52238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 52232/52233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 52228/52232 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 52225/52228 properties
BEST_FIRST walk for 4002 steps (8 resets) in 702 ms. (5 steps per ms) remains 52222/52225 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 52216/52222 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 52212/52216 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 52207/52212 properties
BEST_FIRST walk for 4002 steps (8 resets) in 687 ms. (5 steps per ms) remains 52206/52207 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 52204/52206 properties
BEST_FIRST walk for 4003 steps (8 resets) in 717 ms. (5 steps per ms) remains 52198/52204 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 52194/52198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 52190/52194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 52187/52190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 52185/52187 properties
BEST_FIRST walk for 4002 steps (8 resets) in 697 ms. (5 steps per ms) remains 52181/52185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 52179/52181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 52177/52179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 52170/52177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 52166/52170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 52164/52166 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 52162/52164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 52160/52162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 52154/52160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 714 ms. (5 steps per ms) remains 52152/52154 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 52149/52152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 52145/52149 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 52142/52145 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 52138/52142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 52134/52138 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 52132/52134 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 52129/52132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 52124/52129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 52122/52124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 52119/52122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 52113/52119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 52113/52113 properties
BEST_FIRST walk for 4002 steps (8 resets) in 705 ms. (5 steps per ms) remains 52107/52113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 52102/52107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 52097/52102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 52095/52097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 52093/52095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 52091/52093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 52089/52091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 52088/52089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 52081/52088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 716 ms. (5 steps per ms) remains 52078/52081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 52075/52078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 52073/52075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 52070/52073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 52068/52070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 52063/52068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 52059/52063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 52053/52059 properties
BEST_FIRST walk for 4002 steps (8 resets) in 710 ms. (5 steps per ms) remains 52049/52053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 52047/52049 properties
BEST_FIRST walk for 4002 steps (8 resets) in 689 ms. (5 steps per ms) remains 52043/52047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 52039/52043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 52036/52039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 52036/52036 properties
BEST_FIRST walk for 4002 steps (8 resets) in 686 ms. (5 steps per ms) remains 52034/52036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 52029/52034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 52026/52029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 706 ms. (5 steps per ms) remains 52021/52026 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 52015/52021 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 52014/52015 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 52011/52014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 52008/52011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 52006/52008 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 52002/52006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 51999/52002 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 51994/51999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 51992/51994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 51989/51992 properties
BEST_FIRST walk for 4002 steps (8 resets) in 684 ms. (5 steps per ms) remains 51983/51989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 51981/51983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 51977/51981 properties
BEST_FIRST walk for 4002 steps (8 resets) in 684 ms. (5 steps per ms) remains 51973/51977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 51969/51973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 51967/51969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 51964/51967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 51962/51964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 51957/51962 properties
BEST_FIRST walk for 4002 steps (8 resets) in 683 ms. (5 steps per ms) remains 51952/51957 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 51950/51952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 51947/51950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 710 ms. (5 steps per ms) remains 51946/51947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 51941/51946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 51936/51941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 51932/51936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 51926/51932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 51923/51926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 51921/51923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 51917/51921 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 51914/51917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 51909/51914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 51905/51909 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 51902/51905 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 51901/51902 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 51896/51901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 51892/51896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 51889/51892 properties
BEST_FIRST walk for 4002 steps (8 resets) in 703 ms. (5 steps per ms) remains 51885/51889 properties
BEST_FIRST walk for 4002 steps (8 resets) in 696 ms. (5 steps per ms) remains 51881/51885 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 51876/51881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 51873/51876 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 51871/51873 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 51867/51871 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 51866/51867 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 51864/51866 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 51859/51864 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 51857/51859 properties
BEST_FIRST walk for 4003 steps (8 resets) in 677 ms. (5 steps per ms) remains 51853/51857 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 51851/51853 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 51848/51851 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 51847/51848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 51845/51847 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 51842/51845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 51840/51842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 51838/51840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 51836/51838 properties
BEST_FIRST walk for 4002 steps (8 resets) in 686 ms. (5 steps per ms) remains 51832/51836 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 51828/51832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51825/51828 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 51819/51825 properties
BEST_FIRST walk for 4003 steps (8 resets) in 715 ms. (5 steps per ms) remains 51813/51819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 51808/51813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 51806/51808 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 51802/51806 properties
BEST_FIRST walk for 4003 steps (8 resets) in 677 ms. (5 steps per ms) remains 51801/51802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 51797/51801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 51793/51797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 51789/51793 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 51785/51789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 51780/51785 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 51776/51780 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 51770/51776 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 51767/51770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 51763/51767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 51762/51763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 51758/51762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 51757/51758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 51751/51757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 51748/51751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 51744/51748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 51743/51744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 51738/51743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 51734/51738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 51729/51734 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 51727/51729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 51726/51727 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 51724/51726 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 51718/51724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 51714/51718 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 51711/51714 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 51708/51711 properties
BEST_FIRST walk for 4001 steps (8 resets) in 701 ms. (5 steps per ms) remains 51707/51708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 51705/51707 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 51698/51705 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 51694/51698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 51689/51694 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 51686/51689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 51683/51686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 51679/51683 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 51677/51679 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 51674/51677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 712 ms. (5 steps per ms) remains 51670/51674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 51663/51670 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 51661/51663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 51658/51661 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51653/51658 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 51650/51653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 51647/51650 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 51641/51647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 51637/51641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 51634/51637 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 51631/51634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 51630/51631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 51627/51630 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 51622/51627 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 51619/51622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 51615/51619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51611/51615 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 51608/51611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 51602/51608 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 51599/51602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 51596/51599 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 51590/51596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51587/51590 properties
BEST_FIRST walk for 4002 steps (8 resets) in 702 ms. (5 steps per ms) remains 51586/51587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 51582/51586 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 51581/51582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 51577/51581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 51573/51577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 51570/51573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 51565/51570 properties
BEST_FIRST walk for 4003 steps (8 resets) in 709 ms. (5 steps per ms) remains 51562/51565 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 51558/51562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 51556/51558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 51552/51556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 51549/51552 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 51546/51549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 51542/51546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 712 ms. (5 steps per ms) remains 51541/51542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 51537/51541 properties
BEST_FIRST walk for 4002 steps (8 resets) in 705 ms. (5 steps per ms) remains 51534/51537 properties
BEST_FIRST walk for 4002 steps (8 resets) in 682 ms. (5 steps per ms) remains 51531/51534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 51528/51531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 707 ms. (5 steps per ms) remains 51526/51528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 51524/51526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 51520/51524 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 51518/51520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 51516/51518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 51511/51516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 51509/51511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 51509/51509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 51506/51509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 51504/51506 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 51502/51504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 51499/51502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 51496/51499 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 51492/51496 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 51489/51492 properties
BEST_FIRST walk for 4002 steps (8 resets) in 696 ms. (5 steps per ms) remains 51484/51489 properties
BEST_FIRST walk for 4002 steps (8 resets) in 698 ms. (5 steps per ms) remains 51481/51484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 51478/51481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 51474/51478 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 51473/51474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 51470/51473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 51466/51470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 51464/51466 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 51462/51464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 51459/51462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 51457/51459 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 51452/51457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 51448/51452 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 51446/51448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 51442/51446 properties
BEST_FIRST walk for 4002 steps (8 resets) in 676 ms. (5 steps per ms) remains 51441/51442 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 51438/51441 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51434/51438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 51432/51434 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 51427/51432 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 51426/51427 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 51423/51426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51422/51423 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 51419/51422 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51415/51419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 51411/51415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 51410/51411 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 51406/51410 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 51402/51406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 51402/51402 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 51397/51402 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 51396/51397 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 51395/51396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 51393/51395 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 51389/51393 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 51385/51389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 51383/51385 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 51382/51383 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 51381/51382 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 51379/51381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 51378/51379 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 51376/51378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 51374/51376 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 51372/51374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 51366/51372 properties
BEST_FIRST walk for 4002 steps (8 resets) in 689 ms. (5 steps per ms) remains 51363/51366 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 51360/51363 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 51358/51360 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 51355/51358 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 51351/51355 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 51348/51351 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 51345/51348 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 51344/51345 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 51342/51344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 51337/51342 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 51333/51337 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 51333/51333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 51330/51333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 51326/51330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 51321/51326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 51320/51321 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 51316/51320 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 51312/51316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 51312/51312 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 51310/51312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 51307/51310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 51304/51307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 51302/51304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 51298/51302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 716 ms. (5 steps per ms) remains 51297/51298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 720 ms. (5 steps per ms) remains 51295/51297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 51291/51295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 51289/51291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 51285/51289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 51283/51285 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 51280/51283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51279/51280 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 51278/51279 properties
BEST_FIRST walk for 4002 steps (8 resets) in 683 ms. (5 steps per ms) remains 51275/51278 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 51273/51275 properties
BEST_FIRST walk for 4002 steps (8 resets) in 685 ms. (5 steps per ms) remains 51267/51273 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 51261/51267 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 51259/51261 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 51258/51259 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 51255/51258 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 51251/51255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 51248/51251 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 51246/51248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 51243/51246 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 51239/51243 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 51237/51239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 51235/51237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 51232/51235 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 51230/51232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 51227/51230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 51224/51227 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 51221/51224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51219/51221 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 51214/51219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 51211/51214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 51205/51211 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 51202/51205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 51199/51202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 51197/51199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51196/51197 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 51194/51196 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 51190/51194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 51188/51190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 51186/51188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 51183/51186 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 51181/51183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 51179/51181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 51174/51179 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 51171/51174 properties
BEST_FIRST walk for 4002 steps (8 resets) in 697 ms. (5 steps per ms) remains 51167/51171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 51163/51167 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 51160/51163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 51158/51160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 51154/51158 properties
BEST_FIRST walk for 4003 steps (8 resets) in 677 ms. (5 steps per ms) remains 51150/51154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 51148/51150 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 51144/51148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 51141/51144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 51136/51141 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 51133/51136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 51133/51133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 51126/51133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 51122/51126 properties
BEST_FIRST walk for 4002 steps (8 resets) in 691 ms. (5 steps per ms) remains 51120/51122 properties
BEST_FIRST walk for 4002 steps (8 resets) in 701 ms. (5 steps per ms) remains 51116/51120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 51115/51116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 51112/51115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 51109/51112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 51108/51109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 51103/51108 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 51100/51103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 51097/51100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 51096/51097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 51093/51096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 51088/51093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 51085/51088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 51082/51085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 51080/51082 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 51077/51080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 51073/51077 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 51066/51073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 51065/51066 properties
BEST_FIRST walk for 4002 steps (8 resets) in 683 ms. (5 steps per ms) remains 51065/51065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 714 ms. (5 steps per ms) remains 51062/51065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 51060/51062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 51057/51060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 51056/51057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 51051/51056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 51047/51051 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 51046/51047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 51043/51046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 51041/51043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 51040/51041 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 51036/51040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 51033/51036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 51026/51033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 51024/51026 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 51022/51024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 51020/51022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 51018/51020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 51018/51018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 51016/51018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 51014/51016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 51012/51014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 51009/51012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 51007/51009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 51003/51007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50999/51003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 50998/50999 properties
BEST_FIRST walk for 4002 steps (8 resets) in 695 ms. (5 steps per ms) remains 50994/50998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 50988/50994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50987/50988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 50984/50987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 50982/50984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 50977/50982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 50975/50977 properties
BEST_FIRST walk for 4002 steps (8 resets) in 702 ms. (5 steps per ms) remains 50972/50975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 50969/50972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 50967/50969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 50965/50967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50960/50965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 50957/50960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50953/50957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 50950/50953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 50946/50950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 50945/50946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 50942/50945 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 50938/50942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 50934/50938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 50928/50934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 50923/50928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 50920/50923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 50919/50920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 50917/50919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 50914/50917 properties
BEST_FIRST walk for 4002 steps (8 resets) in 691 ms. (5 steps per ms) remains 50910/50914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 50908/50910 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 50906/50908 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 50904/50906 properties
BEST_FIRST walk for 4002 steps (8 resets) in 684 ms. (5 steps per ms) remains 50902/50904 properties
BEST_FIRST walk for 4003 steps (8 resets) in 710 ms. (5 steps per ms) remains 50900/50902 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 50897/50900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 50894/50897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 50892/50894 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 50886/50892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 50881/50886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 685 ms. (5 steps per ms) remains 50880/50881 properties
BEST_FIRST walk for 4002 steps (8 resets) in 685 ms. (5 steps per ms) remains 50875/50880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 50870/50875 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 50869/50870 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 50866/50869 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 50863/50866 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 50862/50863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 50861/50862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 50860/50861 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 50858/50860 properties
BEST_FIRST walk for 4002 steps (8 resets) in 681 ms. (5 steps per ms) remains 50853/50858 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 50849/50853 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 50846/50849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 50846/50846 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 50842/50846 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50838/50842 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 50837/50838 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50833/50837 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 50832/50833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 50831/50832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 712 ms. (5 steps per ms) remains 50828/50831 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 50827/50828 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 50825/50827 properties
BEST_FIRST walk for 4002 steps (8 resets) in 686 ms. (5 steps per ms) remains 50823/50825 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 50820/50823 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 50814/50820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 50812/50814 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 50807/50812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 50806/50807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50803/50806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50797/50803 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 50793/50797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 50789/50793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 50783/50789 properties
BEST_FIRST walk for 4002 steps (8 resets) in 689 ms. (5 steps per ms) remains 50781/50783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 50777/50781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 50776/50777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50771/50776 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 50770/50771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 50767/50770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 681 ms. (5 steps per ms) remains 50764/50767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 50762/50764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 50759/50762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 50756/50759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 50754/50756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 50750/50754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 50747/50750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 50745/50747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 50743/50745 properties
BEST_FIRST walk for 4002 steps (8 resets) in 676 ms. (5 steps per ms) remains 50741/50743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 50739/50741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 50734/50739 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 50731/50734 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 50730/50731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 50725/50730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 50724/50725 properties
BEST_FIRST walk for 4002 steps (8 resets) in 682 ms. (5 steps per ms) remains 50723/50724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 50720/50723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 50717/50720 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 50716/50717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 50715/50716 properties
BEST_FIRST walk for 4002 steps (8 resets) in 701 ms. (5 steps per ms) remains 50713/50715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 50711/50713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50708/50711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 50704/50708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 50701/50704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 50699/50701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 50694/50699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 50691/50694 properties
BEST_FIRST walk for 4000 steps (8 resets) in 685 ms. (5 steps per ms) remains 50691/50691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 50689/50691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 50689/50689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 50686/50689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 50683/50686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 50681/50683 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 50676/50681 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 50673/50676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 50669/50673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 50665/50669 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 50663/50665 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 50659/50663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 50657/50659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50654/50657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 50652/50654 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 50646/50652 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 50639/50646 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 50638/50639 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 50633/50638 properties
BEST_FIRST walk for 4002 steps (8 resets) in 685 ms. (5 steps per ms) remains 50630/50633 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 50625/50630 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 50622/50625 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 50618/50622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 50615/50618 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 50612/50615 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 50609/50612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 50606/50609 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 50604/50606 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 50602/50604 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 50598/50602 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 50597/50598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 50595/50597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 694 ms. (5 steps per ms) remains 50594/50595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 50589/50594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 50585/50589 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50579/50585 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 50574/50579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50571/50574 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 50568/50571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50564/50568 properties
BEST_FIRST walk for 4001 steps (8 resets) in 679 ms. (5 steps per ms) remains 50562/50564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 50558/50562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50554/50558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50549/50554 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 50545/50549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 50541/50545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 50538/50541 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 50537/50538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 50532/50537 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 50532/50532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 50526/50532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 50524/50526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 50522/50524 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 50519/50522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 50515/50519 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 50512/50515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 50508/50512 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 50503/50508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 50502/50503 properties
BEST_FIRST walk for 4003 steps (8 resets) in 676 ms. (5 steps per ms) remains 50498/50502 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 50496/50498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50493/50496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 50491/50493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 50490/50491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50485/50490 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 50481/50485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 50479/50481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 675 ms. (5 steps per ms) remains 50472/50479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 50468/50472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 50465/50468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 50461/50465 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 50461/50461 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 50458/50461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 50455/50458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 50455/50455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 50455/50455 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 50452/50455 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 50450/50452 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50447/50450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 50444/50447 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 50441/50444 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 50436/50441 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 50430/50436 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 50426/50430 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 50422/50426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 50419/50422 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 50416/50419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 50410/50416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 50407/50410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 50404/50407 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 50401/50404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 50397/50401 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 50395/50397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50390/50395 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 50387/50390 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 50382/50387 properties
BEST_FIRST walk for 4002 steps (8 resets) in 680 ms. (5 steps per ms) remains 50379/50382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 50376/50379 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 50372/50376 properties
BEST_FIRST walk for 4002 steps (8 resets) in 700 ms. (5 steps per ms) remains 50371/50372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50368/50371 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 50367/50368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 50366/50367 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 50363/50366 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50361/50363 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 50357/50361 properties
BEST_FIRST walk for 4003 steps (8 resets) in 711 ms. (5 steps per ms) remains 50353/50357 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 50353/50353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 50350/50353 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 50348/50350 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 50344/50348 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 50340/50344 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 50337/50340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50334/50337 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 50330/50334 properties
BEST_FIRST walk for 4003 steps (8 resets) in 675 ms. (5 steps per ms) remains 50329/50330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 50327/50329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 50326/50327 properties
BEST_FIRST walk for 4003 steps (8 resets) in 677 ms. (5 steps per ms) remains 50325/50326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 722 ms. (5 steps per ms) remains 50320/50325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 50316/50320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 50313/50316 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 50313/50313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 50311/50313 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 50306/50311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 50306/50306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 50305/50306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50301/50305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 718 ms. (5 steps per ms) remains 50297/50301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 50294/50297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 50294/50294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 50293/50294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 50291/50293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 50288/50291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 50285/50288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 50281/50285 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 50276/50281 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 50271/50276 properties
BEST_FIRST walk for 4003 steps (8 resets) in 713 ms. (5 steps per ms) remains 50268/50271 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 50266/50268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 50264/50266 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 50262/50264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50258/50262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 50257/50258 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 50256/50257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 50254/50256 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 50254/50254 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 50251/50254 properties
BEST_FIRST walk for 4002 steps (8 resets) in 696 ms. (5 steps per ms) remains 50249/50251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50247/50249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50245/50247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 50242/50245 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 50238/50242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 50236/50238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 709 ms. (5 steps per ms) remains 50235/50236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 50233/50235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50230/50233 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 50227/50230 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 50226/50227 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 50223/50226 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 50218/50223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 50216/50218 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 50215/50216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 717 ms. (5 steps per ms) remains 50212/50215 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50212/50212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 50210/50212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 50209/50210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 50207/50209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 684 ms. (5 steps per ms) remains 50205/50207 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 50205/50205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 50201/50205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 50196/50201 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 50193/50196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 50191/50193 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 50188/50191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 50183/50188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50179/50183 properties
BEST_FIRST walk for 4003 steps (8 resets) in 708 ms. (5 steps per ms) remains 50177/50179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50176/50177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 706 ms. (5 steps per ms) remains 50172/50176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 50170/50172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 50167/50170 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 50164/50167 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 50162/50164 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 50161/50162 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 50160/50161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 50158/50160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50156/50158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 50152/50156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 50151/50152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 50148/50151 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 50145/50148 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 50140/50145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 50137/50140 properties
BEST_FIRST walk for 4002 steps (8 resets) in 686 ms. (5 steps per ms) remains 50133/50137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 50129/50133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 50127/50129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 50125/50127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 50123/50125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 708 ms. (5 steps per ms) remains 50121/50123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50119/50121 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 50116/50119 properties
BEST_FIRST walk for 4002 steps (8 resets) in 695 ms. (5 steps per ms) remains 50114/50116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 50111/50114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50108/50111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 50106/50108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 50101/50106 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 50099/50101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 50098/50099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 50095/50098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 50092/50095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 50091/50092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 50086/50091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 50082/50086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 50078/50082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 50072/50078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 50067/50072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 50065/50067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 50063/50065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 50059/50063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 50055/50059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 712 ms. (5 steps per ms) remains 50052/50055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 50047/50052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 50042/50047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 50040/50042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 50039/50040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 50035/50039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 50031/50035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 50027/50031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 50023/50027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 50021/50023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 50018/50021 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 50015/50018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 50011/50015 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 50009/50011 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 50004/50009 properties
BEST_FIRST walk for 4001 steps (8 resets) in 696 ms. (5 steps per ms) remains 49999/50004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49999/49999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 49997/49999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 49994/49997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49992/49994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 49988/49992 properties
BEST_FIRST walk for 4002 steps (8 resets) in 703 ms. (5 steps per ms) remains 49986/49988 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 49980/49986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 49977/49980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 49974/49977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 675 ms. (5 steps per ms) remains 49971/49974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 49967/49971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 49964/49967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 49962/49964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 700 ms. (5 steps per ms) remains 49959/49962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 49955/49959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 709 ms. (5 steps per ms) remains 49953/49955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 49949/49953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 49948/49949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 49945/49948 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 49941/49945 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 49937/49941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 49933/49937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 49927/49933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 49925/49927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49922/49925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 49920/49922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 49915/49920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 49912/49915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 49912/49912 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 49908/49912 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 49905/49908 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49905/49905 properties
BEST_FIRST walk for 4002 steps (8 resets) in 687 ms. (5 steps per ms) remains 49902/49905 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 49901/49902 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 49900/49901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 49897/49900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49894/49897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 49893/49894 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 49892/49893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 49889/49892 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49886/49889 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49886/49886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 49885/49886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 49882/49885 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 49879/49882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 49876/49879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 49874/49876 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 49873/49874 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 49870/49873 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 49868/49870 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 49864/49868 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 49861/49864 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 49858/49861 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 49857/49858 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 49853/49857 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 49852/49853 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 49849/49852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 49844/49849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 49842/49844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 49839/49842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 49838/49839 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 49836/49838 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 49832/49836 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 49828/49832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 49826/49828 properties
BEST_FIRST walk for 4002 steps (8 resets) in 700 ms. (5 steps per ms) remains 49823/49826 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 49820/49823 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 49814/49820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 49813/49814 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 49809/49813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 49807/49809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 49802/49807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 49798/49802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49796/49798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 49792/49796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 49791/49792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 49790/49791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 49786/49790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 49783/49786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 49781/49783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 49778/49781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 49775/49778 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49771/49775 properties
BEST_FIRST walk for 4002 steps (8 resets) in 686 ms. (5 steps per ms) remains 49768/49771 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 49765/49768 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 49763/49765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49758/49763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 49752/49758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 49749/49752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 677 ms. (5 steps per ms) remains 49748/49749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 49746/49748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 49742/49746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 49739/49742 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 49737/49739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 49734/49737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49733/49734 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 49728/49733 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 49724/49728 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49721/49724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 49717/49721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49711/49717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 49706/49711 properties
BEST_FIRST walk for 4002 steps (8 resets) in 696 ms. (5 steps per ms) remains 49701/49706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 49696/49701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 49693/49696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49690/49693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 49686/49690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49684/49686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 49682/49684 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 49679/49682 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49676/49679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 49673/49676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 49673/49673 properties
BEST_FIRST walk for 4002 steps (8 resets) in 696 ms. (5 steps per ms) remains 49670/49673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 49667/49670 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 49664/49667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 49661/49664 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 49658/49661 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 49654/49658 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 49652/49654 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 49649/49652 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 49647/49649 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 49643/49647 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 49640/49643 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 49637/49640 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 49634/49637 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 49630/49634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 693 ms. (5 steps per ms) remains 49629/49630 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 49625/49629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 49622/49625 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 49618/49622 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 49613/49618 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49610/49613 properties
BEST_FIRST walk for 4003 steps (8 resets) in 712 ms. (5 steps per ms) remains 49607/49610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 49603/49607 properties
BEST_FIRST walk for 4004 steps (8 resets) in 706 ms. (5 steps per ms) remains 49600/49603 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49597/49600 properties
BEST_FIRST walk for 4002 steps (8 resets) in 686 ms. (5 steps per ms) remains 49595/49597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 49594/49595 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 49593/49594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 49590/49593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 49588/49590 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 49585/49588 properties
BEST_FIRST walk for 4001 steps (8 resets) in 704 ms. (5 steps per ms) remains 49583/49585 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 49580/49583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 49576/49580 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 49573/49576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 49570/49573 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 49568/49570 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 49562/49568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 49560/49562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 49557/49560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 49552/49557 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 49550/49552 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 49546/49550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 49543/49546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 49540/49543 properties
BEST_FIRST walk for 4002 steps (8 resets) in 704 ms. (5 steps per ms) remains 49537/49540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 49532/49537 properties
BEST_FIRST walk for 4002 steps (8 resets) in 700 ms. (5 steps per ms) remains 49529/49532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 49527/49529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 49525/49527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 49521/49525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 49516/49521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 49513/49516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 49511/49513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49507/49511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49504/49507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 49500/49504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 49497/49500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 49494/49497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 49493/49494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 49492/49493 properties
BEST_FIRST walk for 4002 steps (8 resets) in 696 ms. (5 steps per ms) remains 49488/49492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 49488/49488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 49485/49488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49482/49485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 49479/49482 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 49477/49479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 49473/49477 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 49472/49473 properties
BEST_FIRST walk for 4002 steps (8 resets) in 682 ms. (5 steps per ms) remains 49470/49472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 49469/49470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 49468/49469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 49466/49468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 49464/49466 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 49462/49464 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 49459/49462 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 49457/49459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 49455/49457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 49451/49455 properties
BEST_FIRST walk for 4002 steps (8 resets) in 687 ms. (5 steps per ms) remains 49448/49451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49447/49448 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 49444/49447 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 49442/49444 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49439/49442 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49435/49439 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 49433/49435 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49432/49433 properties
BEST_FIRST walk for 4001 steps (8 resets) in 690 ms. (5 steps per ms) remains 49427/49432 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 49425/49427 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 49423/49425 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 49420/49423 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 49416/49420 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 49415/49416 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 49412/49415 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 49408/49412 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 49406/49408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49405/49406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 49401/49405 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 49399/49401 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 49397/49399 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 49394/49397 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 49391/49394 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 49387/49391 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 49383/49387 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 49379/49383 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 49374/49379 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 49373/49374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 49371/49373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 49367/49371 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49366/49367 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 49364/49366 properties
BEST_FIRST walk for 4002 steps (8 resets) in 700 ms. (5 steps per ms) remains 49360/49364 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 49357/49360 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 49353/49357 properties
BEST_FIRST walk for 4002 steps (8 resets) in 697 ms. (5 steps per ms) remains 49351/49353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49350/49351 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 49349/49350 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 49347/49349 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 49344/49347 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 49341/49344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 49339/49341 properties
BEST_FIRST walk for 4002 steps (8 resets) in 700 ms. (5 steps per ms) remains 49336/49339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 49334/49336 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 49331/49334 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 49329/49331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 49327/49329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 49326/49327 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 49323/49326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 49321/49323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 49318/49321 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 49315/49318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 49312/49315 properties
BEST_FIRST walk for 4003 steps (8 resets) in 681 ms. (5 steps per ms) remains 49311/49312 properties
BEST_FIRST walk for 4002 steps (8 resets) in 680 ms. (5 steps per ms) remains 49308/49311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49303/49308 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 49301/49303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 49300/49301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 706 ms. (5 steps per ms) remains 49298/49300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 49296/49298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 49293/49296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 49291/49293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 49290/49291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 49287/49290 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 49284/49287 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 49281/49284 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 49279/49281 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 49277/49279 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 49273/49277 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 49271/49273 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 49270/49271 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 49269/49270 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 49267/49269 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 49263/49267 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 49261/49263 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 49259/49261 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 49255/49259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 49253/49255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49250/49253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 49249/49250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 49248/49249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 49244/49248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 49242/49244 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 49240/49242 properties
BEST_FIRST walk for 4003 steps (8 resets) in 708 ms. (5 steps per ms) remains 49237/49240 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 49235/49237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 49233/49235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 49230/49233 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 49228/49230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 49225/49228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49219/49225 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 49217/49219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 49214/49217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49210/49214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 49204/49210 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 49201/49204 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 49199/49201 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49198/49199 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 49197/49198 properties
BEST_FIRST walk for 4002 steps (8 resets) in 698 ms. (5 steps per ms) remains 49193/49197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 49191/49193 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 49188/49191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 49186/49188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 49182/49186 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 49179/49182 properties
BEST_FIRST walk for 4002 steps (8 resets) in 695 ms. (5 steps per ms) remains 49174/49179 properties
BEST_FIRST walk for 4002 steps (8 resets) in 691 ms. (5 steps per ms) remains 49170/49174 properties
BEST_FIRST walk for 4002 steps (8 resets) in 684 ms. (5 steps per ms) remains 49167/49170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 49166/49167 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 49165/49166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 49163/49165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 49158/49163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 49156/49158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 49154/49156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 679 ms. (5 steps per ms) remains 49152/49154 properties
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -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="ErlangenMainframeV0-PT-1302"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2024"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool gold2024"
echo " Input is ErlangenMainframeV0-PT-1302, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r266-tall-174931350400257"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV0-PT-1302.tgz
mv ErlangenMainframeV0-PT-1302 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;