MCC'2024- Execution of r510-tall-171654364600087

About the Execution of LTSMin+red for MultiCrashLeafsetExtension-PT-S24C12

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
8503.848	1800000.00	4116872.00	1602.10	[undef]	Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r510-tall-171654364600087.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool ltsminxred
Input is MultiCrashLeafsetExtension-PT-S24C12, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r510-tall-171654364600087
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 19 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 19 18:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 20M May 18 16:43 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1717225012859

Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C12
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 06:56:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2024-06-01 06:56:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 06:56:55] [INFO ] Load time of PNML (sax parser for PT used): 933 ms
[2024-06-01 06:56:55] [INFO ] Transformed 20612 places.
[2024-06-01 06:56:55] [INFO ] Transformed 29875 transitions.
[2024-06-01 06:56:55] [INFO ] Parsed PT model containing 20612 places and 29875 transitions and 109334 arcs in 1241 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 20612/20612 places, 29875/29875 transitions.
Reduce places removed 52 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7200 transitions
Trivial Post-agglo rules discarded 7200 transitions
Performed 7200 trivial Post agglomeration. Transition count delta: 7200
Iterating post reduction 0 with 7252 rules applied. Total rules applied 7252 place count 20560 transition count 22675
Reduce places removed 7200 places and 0 transitions.
Iterating post reduction 1 with 7200 rules applied. Total rules applied 14452 place count 13360 transition count 22675
Performed 600 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 600 Pre rules applied. Total rules applied 14452 place count 13360 transition count 22075
Deduced a syphon composed of 600 places in 94 ms
Reduce places removed 600 places and 0 transitions.
Iterating global reduction 2 with 1200 rules applied. Total rules applied 15652 place count 12760 transition count 22075
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 27 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 15702 place count 12735 transition count 22050
Applied a total of 15702 rules in 1770 ms. Remains 12735 /20612 variables (removed 7877) and now considering 22050/29875 (removed 7825) transitions.
[2024-06-01 06:56:57] [INFO ] Flow matrix only has 21450 transitions (discarded 600 similar events)
// Phase 1: matrix 21450 rows 12735 cols
[2024-06-01 06:56:59] [INFO ] Computed 1301 invariants in 2452 ms
[2024-06-01 06:57:33] [INFO ] Performed 8716/12735 implicitness test of which 477 returned IMPLICIT in 30 seconds.
[2024-06-01 06:58:03] [INFO ] Performed 12602/12735 implicitness test of which 628 returned IMPLICIT in 60 seconds.
[2024-06-01 06:58:07] [INFO ] Implicit Places using invariants in 69668 ms returned [4, 7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 330, 366, 400, 432, 462, 490, 516, 540, 562, 582, 600, 616, 656, 662, 677, 693, 711, 731, 753, 777, 803, 831, 861, 893, 927, 962, 996, 1028, 1058, 1086, 1112, 1136, 1158, 1178, 1196, 1212, 1227, 1267, 1273, 1288, 1303, 1319, 1337, 1357, 1379, 1403, 1429, 1457, 1487, 1519, 1552, 1584, 1614, 1642, 1668, 1692, 1714, 1734, 1752, 1768, 1783, 1798, 1838, 1844, 1859, 1874, 1889, 1905, 1923, 1943, 1965, 1989, 2015, 2043, 2073, 2104, 2134, 2162, 2188, 2212, 2234, 2254, 2272, 2288, 2303, 2318, 2333, 2373, 2379, 2394, 2409, 2424, 2439, 2455, 2473, 2493, 2515, 2539, 2565, 2593, 2622, 2650, 2676, 2700, 2722, 2742, 2760, 2776, 2791, 2806, 2821, 2836, 2876, 2882, 2897, 2912, 2927, 2942, 2957, 2973, 2991, 3011, 3033, 3057, 3083, 3110, 3136, 3160, 3182, 3202, 3220, 3236, 3251, 3266, 3281, 3296, 3311, 3351, 3357, 3372, 3387, 3402, 3417, 3432, 3447, 3463, 3481, 3501, 3523, 3547, 3572, 3596, 3618, 3638, 3656, 3672, 3687, 3702, 3717, 3732, 3747, 3762, 3802, 3808, 3823, 3838, 3853, 3868, 3883, 3898, 3913, 3929, 3947, 3967, 3989, 4012, 4034, 4054, 4072, 4088, 4103, 4118, 4133, 4148, 4163, 4178, 4193, 4233, 4239, 4254, 4269, 4284, 4299, 4314, 4329, 4344, 4359, 4375, 4393, 4413, 4434, 4454, 4472, 4488, 4503, 4518, 4533, 4548, 4563, 4578, 4593, 4608, 4648, 4654, 4669, 4684, 4699, 4714, 4729, 4744, 4759, 4774, 4789, 4805, 4823, 4842, 4860, 4876, 4891, 4906, 4921, 4936, 4951, 4966, 4981, 4996, 5011, 5051, 5057, 5072, 5087, 5102, 5117, 5132, 5147, 5162, 5177, 5192, 5207, 5223, 5240, 5256, 5271, 5286, 5301, 5316, 5331, 5346, 5361, 5376, 5391, 5406, 5446, 5452, 5467, 5482, 5497, 5512, 5527, 5542, 5557, 5572, 5587, 5602, 5617, 5632, 5647, 5662, 5677, 5692, 5707, 5722, 5737, 5752, 5767, 5782, 5797, 5837, 5839, 5842, 5857, 5872, 5887, 5902, 5917, 5932, 5947, 5962, 5977, 5992, 6007, 6022, 6037, 6052, 6067, 6082, 6097, 6112, 6127, 6142, 6157, 6172, 6187, 6227, 6233, 6248, 6263, 6278, 6293, 6308, 6323, 6338, 6353, 6368, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6518, 6533, 6548, 6563, 6578, 6618, 6624, 6639, 6654, 6669, 6684, 6699, 6714, 6729, 6744, 6759, 6774, 6789, 6805, 6822, 6838, 6853, 6868, 6883, 6898, 6913, 6928, 6943, 6958, 6973, 7013, 7019, 7034, 7049, 7064, 7079, 7094, 7109, 7124, 7139, 7154, 7169, 7185, 7203, 7222, 7240, 7256, 7271, 7286, 7301, 7316, 7331, 7346, 7361, 7376, 7416, 7422, 7437, 7452, 7467, 7482, 7497, 7512, 7527, 7542, 7557, 7573, 7591, 7611, 7632, 7652, 7670, 7686, 7701, 7716, 7731, 7746, 7761, 7776, 7791, 7831, 7837, 7852, 7867, 7882, 7897, 7912, 7927, 7942, 7957, 7973, 7991, 8011, 8033, 8056, 8078, 8098, 8116, 8132, 8147, 8162, 8177, 8192, 8207, 8222, 8262, 8268, 8283, 8298, 8313, 8328, 8343, 8358, 8373, 8389, 8407, 8427, 8449, 8473, 8498, 8522, 8544, 8564, 8582, 8598, 8613, 8628, 8643, 8658, 8673, 8713, 8719, 8734, 8749, 8764, 8779, 8794, 8809, 8825, 8843, 8863, 8885, 8909, 8935, 8962, 8988, 9012, 9034, 9054, 9072, 9088, 9103, 9118, 9133, 9148, 9188, 9194, 9209, 9224, 9239, 9254, 9269, 9285, 9303, 9323, 9345, 9369, 9395, 9423, 9452, 9480, 9506, 9530, 9552, 9572, 9590, 9606, 9621, 9636, 9651, 9691, 9697, 9712, 9727, 9742, 9757, 9773, 9791, 9811, 9833, 9857, 9883, 9911, 9941, 9972, 10002, 10030, 10056, 10080, 10102, 10122, 10140, 10156, 10171, 10186, 10226, 10232, 10247, 10262, 10277, 10293, 10311, 10331, 10353, 10377, 10403, 10431, 10461, 10493, 10526, 10558, 10588, 10616, 10642, 10666, 10688, 10708, 10726, 10742, 10757, 10797, 10803, 10818, 10833, 10849, 10867, 10887, 10909, 10933, 10959, 10987, 11017, 11049, 11083, 11118, 11152, 11184, 11214, 11242, 11268, 11292, 11314, 11334, 11352, 11368, 11408, 11410, 11413, 11428, 11444, 11462, 11482, 11504, 11528, 11554, 11582, 11612, 11644, 11678, 11714, 11751, 11787, 11821, 11853, 11883, 11911, 11937, 11961, 11983, 12003, 12021, 12062]
[2024-06-01 06:58:07] [INFO ] Actually due to overlaps returned [656, 1267, 1838, 2373, 2876, 3351, 3802, 4233, 4648, 5051, 5446, 5837, 6227, 6618, 7013, 7416, 7831, 8262, 8713, 9188, 9691, 10226, 10797, 11408, 12062, 4, 5839, 11410]
Discarding 28 places :
Implicit Place search using SMT only with invariants took 69728 ms to find 28 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 12707/20612 places, 22050/29875 transitions.
Applied a total of 0 rules in 138 ms. Remains 12707 /12707 variables (removed 0) and now considering 22050/22050 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 71665 ms. Remains : 12707/20612 places, 22050/29875 transitions.
Initial state reduction rules removed 25 formulas.
RANDOM walk for 40000 steps (404 resets) in 6669 ms. (5 steps per ms) remains 20396/22025 properties
BEST_FIRST walk for 124 steps (8 resets) in 34 ms. (3 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 183 ms. (0 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 47 ms. (2 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 70 ms. (1 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 20396/20396 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 20396/20396 properties
Interrupted probabilistic random walk after 6021 steps, run timeout after 6001 ms. (steps per millisecond=1 ) properties seen :730 out of 20396
Probabilistic random walk after 6021 steps, saw 3007 distinct states, run finished after 6007 ms. (steps per millisecond=1 ) properties seen :730
[2024-06-01 06:58:16] [INFO ] Flow matrix only has 21450 transitions (discarded 600 similar events)
// Phase 1: matrix 21450 rows 12707 cols
[2024-06-01 06:58:18] [INFO ] Computed 1273 invariants in 1927 ms
[2024-06-01 06:58:18] [INFO ] State equation strengthened by 9202 read => feed constraints.
SMT process timed out in 51836ms, After SMT, problems are : Problem set: 0 solved, 19666 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 11513 out of 12707 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12707/12707 places, 22050/22050 transitions.
Discarding 270 places :
Symmetric choice reduction at 0 with 270 rule applications. Total rules 270 place count 12437 transition count 21780
Iterating global reduction 0 with 270 rules applied. Total rules applied 540 place count 12437 transition count 21780
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 541 place count 12437 transition count 21779
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 542 place count 12436 transition count 21779
Partial Free-agglomeration rule applied 15 times.
Drop transitions (Partial Free agglomeration) removed 15 transitions
Iterating global reduction 1 with 15 rules applied. Total rules applied 557 place count 12436 transition count 21779
Applied a total of 557 rules in 841 ms. Remains 12436 /12707 variables (removed 271) and now considering 21779/22050 (removed 271) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 844 ms. Remains : 12436/12707 places, 21779/22050 transitions.
RANDOM walk for 719941 steps (7299 resets) in 120011 ms. (5 steps per ms) remains 13228/19666 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 13220/13228 properties
BEST_FIRST walk for 4003 steps (8 resets) in 610 ms. (6 steps per ms) remains 13209/13220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 620 ms. (6 steps per ms) remains 13206/13209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 592 ms. (6 steps per ms) remains 13202/13206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 630 ms. (6 steps per ms) remains 13202/13202 properties
BEST_FIRST walk for 4003 steps (8 resets) in 631 ms. (6 steps per ms) remains 13198/13202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 13192/13198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 615 ms. (6 steps per ms) remains 13190/13192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 604 ms. (6 steps per ms) remains 13187/13190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 625 ms. (6 steps per ms) remains 13185/13187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 638 ms. (6 steps per ms) remains 13181/13185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 13180/13181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 13179/13180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 611 ms. (6 steps per ms) remains 13177/13179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 635 ms. (6 steps per ms) remains 13176/13177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 604 ms. (6 steps per ms) remains 13176/13176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 639 ms. (6 steps per ms) remains 13176/13176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 602 ms. (6 steps per ms) remains 13173/13176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 587 ms. (6 steps per ms) remains 13171/13173 properties
BEST_FIRST walk for 4003 steps (8 resets) in 577 ms. (6 steps per ms) remains 13161/13171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 13143/13161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 554 ms. (7 steps per ms) remains 13127/13143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 634 ms. (6 steps per ms) remains 13113/13127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 587 ms. (6 steps per ms) remains 13099/13113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 13081/13099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 13063/13081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 577 ms. (6 steps per ms) remains 13046/13063 properties
BEST_FIRST walk for 4002 steps (8 resets) in 563 ms. (7 steps per ms) remains 13028/13046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 594 ms. (6 steps per ms) remains 13016/13028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 13003/13016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 616 ms. (6 steps per ms) remains 12992/13003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 12979/12992 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 12969/12979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 624 ms. (6 steps per ms) remains 12957/12969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 633 ms. (6 steps per ms) remains 12948/12957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 12937/12948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 578 ms. (6 steps per ms) remains 12923/12937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 629 ms. (6 steps per ms) remains 12911/12923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 615 ms. (6 steps per ms) remains 12900/12911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 12889/12900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 12881/12889 properties
BEST_FIRST walk for 4004 steps (8 resets) in 599 ms. (6 steps per ms) remains 12869/12881 properties
BEST_FIRST walk for 4002 steps (8 resets) in 601 ms. (6 steps per ms) remains 12861/12869 properties
BEST_FIRST walk for 4003 steps (8 resets) in 502 ms. (7 steps per ms) remains 12855/12861 properties
BEST_FIRST walk for 4004 steps (8 resets) in 609 ms. (6 steps per ms) remains 12849/12855 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 12840/12849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 603 ms. (6 steps per ms) remains 12831/12840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 618 ms. (6 steps per ms) remains 12823/12831 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 12807/12823 properties
BEST_FIRST walk for 4003 steps (8 resets) in 592 ms. (6 steps per ms) remains 12796/12807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 12785/12796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 623 ms. (6 steps per ms) remains 12774/12785 properties
BEST_FIRST walk for 4004 steps (8 resets) in 614 ms. (6 steps per ms) remains 12766/12774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 599 ms. (6 steps per ms) remains 12757/12766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 633 ms. (6 steps per ms) remains 12753/12757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 654 ms. (6 steps per ms) remains 12743/12753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 611 ms. (6 steps per ms) remains 12736/12743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 610 ms. (6 steps per ms) remains 12726/12736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 497 ms. (8 steps per ms) remains 12716/12726 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 12706/12716 properties
BEST_FIRST walk for 4002 steps (8 resets) in 575 ms. (6 steps per ms) remains 12704/12706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 523 ms. (7 steps per ms) remains 12694/12704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 12687/12694 properties
BEST_FIRST walk for 4003 steps (8 resets) in 566 ms. (7 steps per ms) remains 12679/12687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 12669/12679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 12663/12669 properties
BEST_FIRST walk for 4004 steps (8 resets) in 587 ms. (6 steps per ms) remains 12657/12663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 12648/12657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12643/12648 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 12631/12643 properties
BEST_FIRST walk for 4003 steps (8 resets) in 522 ms. (7 steps per ms) remains 12624/12631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 592 ms. (6 steps per ms) remains 12621/12624 properties
BEST_FIRST walk for 4004 steps (8 resets) in 575 ms. (6 steps per ms) remains 12613/12621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 648 ms. (6 steps per ms) remains 12611/12613 properties
BEST_FIRST walk for 4003 steps (8 resets) in 640 ms. (6 steps per ms) remains 12604/12611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 12600/12604 properties
BEST_FIRST walk for 4002 steps (8 resets) in 616 ms. (6 steps per ms) remains 12595/12600 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 12589/12595 properties
BEST_FIRST walk for 4003 steps (8 resets) in 589 ms. (6 steps per ms) remains 12588/12589 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 12586/12588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 554 ms. (7 steps per ms) remains 12581/12586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 567 ms. (7 steps per ms) remains 12580/12581 properties
BEST_FIRST walk for 4003 steps (8 resets) in 570 ms. (7 steps per ms) remains 12578/12580 properties
BEST_FIRST walk for 4003 steps (8 resets) in 515 ms. (7 steps per ms) remains 12572/12578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 12566/12572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12563/12566 properties
BEST_FIRST walk for 4003 steps (8 resets) in 502 ms. (7 steps per ms) remains 12554/12563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 616 ms. (6 steps per ms) remains 12550/12554 properties
BEST_FIRST walk for 4003 steps (8 resets) in 600 ms. (6 steps per ms) remains 12545/12550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 580 ms. (6 steps per ms) remains 12541/12545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 580 ms. (6 steps per ms) remains 12536/12541 properties
BEST_FIRST walk for 4002 steps (8 resets) in 552 ms. (7 steps per ms) remains 12533/12536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 562 ms. (7 steps per ms) remains 12533/12533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 12532/12533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 12527/12532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 636 ms. (6 steps per ms) remains 12523/12527 properties
BEST_FIRST walk for 4003 steps (8 resets) in 541 ms. (7 steps per ms) remains 12517/12523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 568 ms. (7 steps per ms) remains 12514/12517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 561 ms. (7 steps per ms) remains 12511/12514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 12509/12511 properties
BEST_FIRST walk for 4001 steps (8 resets) in 556 ms. (7 steps per ms) remains 12507/12509 properties
BEST_FIRST walk for 4002 steps (8 resets) in 501 ms. (7 steps per ms) remains 12504/12507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 596 ms. (6 steps per ms) remains 12496/12504 properties
BEST_FIRST walk for 4003 steps (8 resets) in 654 ms. (6 steps per ms) remains 12492/12496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 12487/12492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 12484/12487 properties
BEST_FIRST walk for 4004 steps (8 resets) in 599 ms. (6 steps per ms) remains 12482/12484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 554 ms. (7 steps per ms) remains 12477/12482 properties
BEST_FIRST walk for 4003 steps (8 resets) in 545 ms. (7 steps per ms) remains 12475/12477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 12473/12475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 12466/12473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 12460/12466 properties
BEST_FIRST walk for 4002 steps (8 resets) in 589 ms. (6 steps per ms) remains 12458/12460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 12455/12458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 12454/12455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 12453/12454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 510 ms. (7 steps per ms) remains 12452/12453 properties
BEST_FIRST walk for 4003 steps (8 resets) in 590 ms. (6 steps per ms) remains 12450/12452 properties
BEST_FIRST walk for 4003 steps (8 resets) in 495 ms. (8 steps per ms) remains 12448/12450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 598 ms. (6 steps per ms) remains 12445/12448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 12445/12445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 12444/12445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 578 ms. (6 steps per ms) remains 12441/12444 properties
BEST_FIRST walk for 4004 steps (8 resets) in 590 ms. (6 steps per ms) remains 12441/12441 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 12437/12441 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 12435/12437 properties
BEST_FIRST walk for 4003 steps (8 resets) in 613 ms. (6 steps per ms) remains 12435/12435 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 12432/12435 properties
BEST_FIRST walk for 4003 steps (8 resets) in 531 ms. (7 steps per ms) remains 12427/12432 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 12426/12427 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 12425/12426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 546 ms. (7 steps per ms) remains 12424/12425 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 12419/12424 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 12419/12419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 449 ms. (8 steps per ms) remains 12419/12419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 12414/12419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 530 ms. (7 steps per ms) remains 12414/12414 properties
BEST_FIRST walk for 4002 steps (8 resets) in 514 ms. (7 steps per ms) remains 12413/12414 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 12413/12413 properties
BEST_FIRST walk for 4003 steps (8 resets) in 548 ms. (7 steps per ms) remains 12413/12413 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 12412/12413 properties
BEST_FIRST walk for 4003 steps (8 resets) in 448 ms. (8 steps per ms) remains 12411/12412 properties
BEST_FIRST walk for 4004 steps (8 resets) in 508 ms. (7 steps per ms) remains 12410/12411 properties
BEST_FIRST walk for 4003 steps (8 resets) in 509 ms. (7 steps per ms) remains 12410/12410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 583 ms. (6 steps per ms) remains 12409/12410 properties
BEST_FIRST walk for 4003 steps (8 resets) in 584 ms. (6 steps per ms) remains 12408/12409 properties
BEST_FIRST walk for 4004 steps (8 resets) in 585 ms. (6 steps per ms) remains 12404/12408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 12400/12404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 12398/12400 properties
BEST_FIRST walk for 4003 steps (8 resets) in 612 ms. (6 steps per ms) remains 12397/12398 properties
BEST_FIRST walk for 4003 steps (8 resets) in 466 ms. (8 steps per ms) remains 12396/12397 properties
BEST_FIRST walk for 4002 steps (8 resets) in 429 ms. (9 steps per ms) remains 12393/12396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 468 ms. (8 steps per ms) remains 12389/12393 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 12388/12389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 12387/12388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 12384/12387 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 12383/12384 properties
BEST_FIRST walk for 4003 steps (8 resets) in 585 ms. (6 steps per ms) remains 12380/12383 properties
BEST_FIRST walk for 4004 steps (8 resets) in 586 ms. (6 steps per ms) remains 12377/12380 properties
BEST_FIRST walk for 4003 steps (8 resets) in 584 ms. (6 steps per ms) remains 12375/12377 properties
BEST_FIRST walk for 4003 steps (8 resets) in 556 ms. (7 steps per ms) remains 12373/12375 properties
BEST_FIRST walk for 4002 steps (8 resets) in 523 ms. (7 steps per ms) remains 12371/12373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 12369/12371 properties
BEST_FIRST walk for 4002 steps (8 resets) in 564 ms. (7 steps per ms) remains 12368/12369 properties
BEST_FIRST walk for 4002 steps (8 resets) in 570 ms. (7 steps per ms) remains 12365/12368 properties
BEST_FIRST walk for 4002 steps (8 resets) in 489 ms. (8 steps per ms) remains 12364/12365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 554 ms. (7 steps per ms) remains 12364/12364 properties
BEST_FIRST walk for 4003 steps (8 resets) in 527 ms. (7 steps per ms) remains 12364/12364 properties
BEST_FIRST walk for 4004 steps (8 resets) in 599 ms. (6 steps per ms) remains 12363/12364 properties
BEST_FIRST walk for 4003 steps (8 resets) in 540 ms. (7 steps per ms) remains 12359/12363 properties
BEST_FIRST walk for 4003 steps (8 resets) in 514 ms. (7 steps per ms) remains 12358/12359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 594 ms. (6 steps per ms) remains 12358/12358 properties
BEST_FIRST walk for 4004 steps (8 resets) in 630 ms. (6 steps per ms) remains 12354/12358 properties
BEST_FIRST walk for 4003 steps (8 resets) in 570 ms. (7 steps per ms) remains 12352/12354 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 12352/12352 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 12352/12352 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 12351/12352 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 12350/12351 properties
BEST_FIRST walk for 4003 steps (8 resets) in 558 ms. (7 steps per ms) remains 12350/12350 properties
BEST_FIRST walk for 4003 steps (8 resets) in 490 ms. (8 steps per ms) remains 12350/12350 properties
BEST_FIRST walk for 4003 steps (8 resets) in 578 ms. (6 steps per ms) remains 12347/12350 properties
BEST_FIRST walk for 4004 steps (8 resets) in 543 ms. (7 steps per ms) remains 12346/12347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 12346/12346 properties
BEST_FIRST walk for 4003 steps (8 resets) in 438 ms. (9 steps per ms) remains 12346/12346 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 12346/12346 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 12346/12346 properties
BEST_FIRST walk for 4002 steps (8 resets) in 617 ms. (6 steps per ms) remains 12344/12346 properties
BEST_FIRST walk for 4003 steps (8 resets) in 572 ms. (6 steps per ms) remains 12343/12344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 12341/12343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 12339/12341 properties
BEST_FIRST walk for 4003 steps (8 resets) in 555 ms. (7 steps per ms) remains 12339/12339 properties
BEST_FIRST walk for 4001 steps (8 resets) in 592 ms. (6 steps per ms) remains 12338/12339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 12337/12338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 577 ms. (6 steps per ms) remains 12336/12337 properties
BEST_FIRST walk for 4003 steps (8 resets) in 609 ms. (6 steps per ms) remains 12336/12336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 567 ms. (7 steps per ms) remains 12336/12336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 12336/12336 properties
BEST_FIRST walk for 4002 steps (8 resets) in 472 ms. (8 steps per ms) remains 12335/12336 properties
BEST_FIRST walk for 4003 steps (8 resets) in 514 ms. (7 steps per ms) remains 12334/12335 properties
BEST_FIRST walk for 4004 steps (8 resets) in 578 ms. (6 steps per ms) remains 12333/12334 properties
BEST_FIRST walk for 4003 steps (8 resets) in 480 ms. (8 steps per ms) remains 12330/12333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 12330/12330 properties
BEST_FIRST walk for 4003 steps (8 resets) in 438 ms. (9 steps per ms) remains 12330/12330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 12328/12330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 12328/12328 properties
BEST_FIRST walk for 4003 steps (8 resets) in 547 ms. (7 steps per ms) remains 12326/12328 properties
BEST_FIRST walk for 4003 steps (8 resets) in 509 ms. (7 steps per ms) remains 12325/12326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 12321/12325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 12321/12321 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 12318/12321 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 12318/12318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 12315/12318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 486 ms. (8 steps per ms) remains 12315/12315 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12315/12315 properties
BEST_FIRST walk for 4001 steps (8 resets) in 524 ms. (7 steps per ms) remains 12315/12315 properties
BEST_FIRST walk for 4004 steps (8 resets) in 632 ms. (6 steps per ms) remains 12312/12315 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 12312/12312 properties
BEST_FIRST walk for 4003 steps (8 resets) in 520 ms. (7 steps per ms) remains 12310/12312 properties
BEST_FIRST walk for 4003 steps (8 resets) in 493 ms. (8 steps per ms) remains 12309/12310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12308/12309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 12305/12308 properties
BEST_FIRST walk for 4003 steps (8 resets) in 504 ms. (7 steps per ms) remains 12304/12305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 12304/12304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 12304/12304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 12303/12304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 583 ms. (6 steps per ms) remains 12300/12303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 573 ms. (6 steps per ms) remains 12300/12300 properties
BEST_FIRST walk for 4002 steps (8 resets) in 495 ms. (8 steps per ms) remains 12299/12300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 476 ms. (8 steps per ms) remains 12297/12299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 12297/12297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 488 ms. (8 steps per ms) remains 12295/12297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 519 ms. (7 steps per ms) remains 12293/12295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 554 ms. (7 steps per ms) remains 12293/12293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 615 ms. (6 steps per ms) remains 12293/12293 properties
BEST_FIRST walk for 4002 steps (8 resets) in 494 ms. (8 steps per ms) remains 12292/12293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 12292/12292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 12292/12292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 12291/12292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 12290/12291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 502 ms. (7 steps per ms) remains 12290/12290 properties
BEST_FIRST walk for 4002 steps (8 resets) in 586 ms. (6 steps per ms) remains 12290/12290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 12287/12290 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 12286/12287 properties
BEST_FIRST walk for 4003 steps (8 resets) in 491 ms. (8 steps per ms) remains 12286/12286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 576 ms. (6 steps per ms) remains 12286/12286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 476 ms. (8 steps per ms) remains 12286/12286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 581 ms. (6 steps per ms) remains 12283/12286 properties
BEST_FIRST walk for 4002 steps (8 resets) in 591 ms. (6 steps per ms) remains 12283/12283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 12282/12283 properties
BEST_FIRST walk for 4002 steps (8 resets) in 603 ms. (6 steps per ms) remains 12282/12282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 12282/12282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 12282/12282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 12278/12282 properties
BEST_FIRST walk for 4002 steps (8 resets) in 473 ms. (8 steps per ms) remains 12277/12278 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 12275/12277 properties
BEST_FIRST walk for 4002 steps (8 resets) in 555 ms. (7 steps per ms) remains 12275/12275 properties
BEST_FIRST walk for 4002 steps (8 resets) in 508 ms. (7 steps per ms) remains 12272/12275 properties
BEST_FIRST walk for 4003 steps (8 resets) in 501 ms. (7 steps per ms) remains 12272/12272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 12272/12272 properties
BEST_FIRST walk for 4003 steps (8 resets) in 464 ms. (8 steps per ms) remains 12271/12272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 12271/12271 properties
BEST_FIRST walk for 4003 steps (8 resets) in 532 ms. (7 steps per ms) remains 12270/12271 properties
BEST_FIRST walk for 4003 steps (8 resets) in 568 ms. (7 steps per ms) remains 12269/12270 properties
BEST_FIRST walk for 4003 steps (8 resets) in 516 ms. (7 steps per ms) remains 12269/12269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 12269/12269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 563 ms. (7 steps per ms) remains 12267/12269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 12267/12267 properties
BEST_FIRST walk for 4003 steps (8 resets) in 594 ms. (6 steps per ms) remains 12266/12267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 568 ms. (7 steps per ms) remains 12266/12266 properties
BEST_FIRST walk for 4003 steps (8 resets) in 490 ms. (8 steps per ms) remains 12265/12266 properties
BEST_FIRST walk for 4003 steps (8 resets) in 548 ms. (7 steps per ms) remains 12265/12265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 592 ms. (6 steps per ms) remains 12265/12265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 12265/12265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 12265/12265 properties
BEST_FIRST walk for 4002 steps (8 resets) in 582 ms. (6 steps per ms) remains 12265/12265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12265/12265 properties
BEST_FIRST walk for 4003 steps (8 resets) in 656 ms. (6 steps per ms) remains 12265/12265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 12263/12265 properties
BEST_FIRST walk for 4003 steps (8 resets) in 464 ms. (8 steps per ms) remains 12263/12263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 12263/12263 properties
BEST_FIRST walk for 4003 steps (8 resets) in 453 ms. (8 steps per ms) remains 12263/12263 properties
BEST_FIRST walk for 4003 steps (8 resets) in 550 ms. (7 steps per ms) remains 12262/12263 properties
BEST_FIRST walk for 4002 steps (8 resets) in 456 ms. (8 steps per ms) remains 12262/12262 properties
BEST_FIRST walk for 4002 steps (8 resets) in 486 ms. (8 steps per ms) remains 12261/12262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 621 ms. (6 steps per ms) remains 12261/12261 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 12261/12261 properties
BEST_FIRST walk for 4003 steps (8 resets) in 543 ms. (7 steps per ms) remains 12261/12261 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 12261/12261 properties
BEST_FIRST walk for 4003 steps (8 resets) in 490 ms. (8 steps per ms) remains 12261/12261 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 12261/12261 properties
BEST_FIRST walk for 4002 steps (8 resets) in 550 ms. (7 steps per ms) remains 12258/12261 properties
BEST_FIRST walk for 4004 steps (8 resets) in 636 ms. (6 steps per ms) remains 12257/12258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 12257/12257 properties
BEST_FIRST walk for 4003 steps (8 resets) in 614 ms. (6 steps per ms) remains 12257/12257 properties
BEST_FIRST walk for 4002 steps (8 resets) in 539 ms. (7 steps per ms) remains 12257/12257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 643 ms. (6 steps per ms) remains 12257/12257 properties
BEST_FIRST walk for 4003 steps (8 resets) in 441 ms. (9 steps per ms) remains 12257/12257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 12256/12257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 12255/12256 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 12255/12255 properties
BEST_FIRST walk for 4003 steps (8 resets) in 492 ms. (8 steps per ms) remains 12255/12255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 12255/12255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 12255/12255 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 12255/12255 properties
BEST_FIRST walk for 4002 steps (8 resets) in 566 ms. (7 steps per ms) remains 12255/12255 properties
BEST_FIRST walk for 4003 steps (8 resets) in 652 ms. (6 steps per ms) remains 12255/12255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 12254/12255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 12254/12254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 12254/12254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 587 ms. (6 steps per ms) remains 12254/12254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 563 ms. (7 steps per ms) remains 12253/12254 properties
BEST_FIRST walk for 4002 steps (8 resets) in 572 ms. (6 steps per ms) remains 12253/12253 properties
BEST_FIRST walk for 4003 steps (8 resets) in 584 ms. (6 steps per ms) remains 12253/12253 properties
BEST_FIRST walk for 4003 steps (8 resets) in 619 ms. (6 steps per ms) remains 12253/12253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 608 ms. (6 steps per ms) remains 12253/12253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 12253/12253 properties
BEST_FIRST walk for 4003 steps (8 resets) in 547 ms. (7 steps per ms) remains 12252/12253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 12252/12252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 12252/12252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 12252/12252 properties
BEST_FIRST walk for 4003 steps (8 resets) in 559 ms. (7 steps per ms) remains 12252/12252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 12251/12252 properties
BEST_FIRST walk for 4003 steps (8 resets) in 591 ms. (6 steps per ms) remains 12251/12251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 12251/12251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 12251/12251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 12251/12251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12250/12251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 12249/12250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 599 ms. (6 steps per ms) remains 12249/12249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 12249/12249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 12248/12249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 12248/12248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 575 ms. (6 steps per ms) remains 12248/12248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 586 ms. (6 steps per ms) remains 12246/12248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 12246/12246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 12242/12246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 12240/12242 properties
BEST_FIRST walk for 4003 steps (8 resets) in 450 ms. (8 steps per ms) remains 12240/12240 properties
BEST_FIRST walk for 4003 steps (8 resets) in 471 ms. (8 steps per ms) remains 12240/12240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 12240/12240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 12240/12240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 12239/12240 properties
BEST_FIRST walk for 4003 steps (8 resets) in 498 ms. (8 steps per ms) remains 12239/12239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 12239/12239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 563 ms. (7 steps per ms) remains 12238/12239 properties
BEST_FIRST walk for 4002 steps (8 resets) in 613 ms. (6 steps per ms) remains 12237/12238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 518 ms. (7 steps per ms) remains 12235/12237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 585 ms. (6 steps per ms) remains 12235/12235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 12235/12235 properties
BEST_FIRST walk for 4003 steps (8 resets) in 600 ms. (6 steps per ms) remains 12235/12235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 12235/12235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 543 ms. (7 steps per ms) remains 12235/12235 properties
BEST_FIRST walk for 4003 steps (8 resets) in 534 ms. (7 steps per ms) remains 12235/12235 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 12235/12235 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 12235/12235 properties
BEST_FIRST walk for 4003 steps (8 resets) in 610 ms. (6 steps per ms) remains 12233/12235 properties
BEST_FIRST walk for 4003 steps (8 resets) in 544 ms. (7 steps per ms) remains 12232/12233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 556 ms. (7 steps per ms) remains 12232/12232 properties
BEST_FIRST walk for 4003 steps (8 resets) in 421 ms. (9 steps per ms) remains 12232/12232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 561 ms. (7 steps per ms) remains 12232/12232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 12232/12232 properties
BEST_FIRST walk for 4002 steps (8 resets) in 540 ms. (7 steps per ms) remains 12231/12232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 12230/12231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 12230/12230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 12228/12230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 580 ms. (6 steps per ms) remains 12227/12228 properties
BEST_FIRST walk for 4003 steps (8 resets) in 491 ms. (8 steps per ms) remains 12227/12227 properties
BEST_FIRST walk for 4003 steps (8 resets) in 559 ms. (7 steps per ms) remains 12227/12227 properties
BEST_FIRST walk for 4003 steps (8 resets) in 661 ms. (6 steps per ms) remains 12227/12227 properties
BEST_FIRST walk for 4003 steps (8 resets) in 612 ms. (6 steps per ms) remains 12224/12227 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 12224/12224 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 12224/12224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 12224/12224 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 12223/12224 properties
BEST_FIRST walk for 4003 steps (8 resets) in 661 ms. (6 steps per ms) remains 12223/12223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 554 ms. (7 steps per ms) remains 12223/12223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 12223/12223 properties
BEST_FIRST walk for 4003 steps (8 resets) in 592 ms. (6 steps per ms) remains 12222/12223 properties
BEST_FIRST walk for 4003 steps (8 resets) in 487 ms. (8 steps per ms) remains 12221/12222 properties
BEST_FIRST walk for 4002 steps (8 resets) in 488 ms. (8 steps per ms) remains 12221/12221 properties
BEST_FIRST walk for 4003 steps (8 resets) in 563 ms. (7 steps per ms) remains 12221/12221 properties
BEST_FIRST walk for 4003 steps (8 resets) in 493 ms. (8 steps per ms) remains 12220/12221 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 12220/12220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 576 ms. (6 steps per ms) remains 12220/12220 properties
BEST_FIRST walk for 4003 steps (8 resets) in 555 ms. (7 steps per ms) remains 12219/12220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 12219/12219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 12218/12219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 577 ms. (6 steps per ms) remains 12218/12218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 501 ms. (7 steps per ms) remains 12218/12218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 545 ms. (7 steps per ms) remains 12218/12218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 595 ms. (6 steps per ms) remains 12218/12218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 610 ms. (6 steps per ms) remains 12218/12218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 573 ms. (6 steps per ms) remains 12218/12218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 562 ms. (7 steps per ms) remains 12217/12218 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 12214/12217 properties
BEST_FIRST walk for 4003 steps (8 resets) in 614 ms. (6 steps per ms) remains 12214/12214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 580 ms. (6 steps per ms) remains 12214/12214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 12214/12214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 12214/12214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 12214/12214 properties
BEST_FIRST walk for 4003 steps (8 resets) in 478 ms. (8 steps per ms) remains 12212/12214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 12210/12212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4003 steps (8 resets) in 549 ms. (7 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 540 ms. (7 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 579 ms. (6 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 546 ms. (7 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 12210/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 597 ms. (6 steps per ms) remains 12208/12210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 592 ms. (6 steps per ms) remains 12208/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 613 ms. (6 steps per ms) remains 12208/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 605 ms. (6 steps per ms) remains 12208/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 12208/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 12208/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 598 ms. (6 steps per ms) remains 12208/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 610 ms. (6 steps per ms) remains 12208/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 12208/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 12208/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 582 ms. (6 steps per ms) remains 12208/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 613 ms. (6 steps per ms) remains 12207/12208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 12207/12207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 12207/12207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 543 ms. (7 steps per ms) remains 12205/12207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 12205/12205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 12205/12205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 12205/12205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 547 ms. (7 steps per ms) remains 12203/12205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 12203/12203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 12203/12203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 582 ms. (6 steps per ms) remains 12203/12203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 12203/12203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 12203/12203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 12203/12203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 585 ms. (6 steps per ms) remains 12203/12203 properties
BEST_FIRST walk for 4003 steps (8 resets) in 531 ms. (7 steps per ms) remains 12200/12203 properties
BEST_FIRST walk for 4003 steps (8 resets) in 592 ms. (6 steps per ms) remains 12200/12200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 12200/12200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 12200/12200 properties
BEST_FIRST walk for 4003 steps (8 resets) in 581 ms. (6 steps per ms) remains 12200/12200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 12199/12200 properties
BEST_FIRST walk for 4002 steps (8 resets) in 557 ms. (7 steps per ms) remains 12199/12199 properties
BEST_FIRST walk for 4003 steps (8 resets) in 504 ms. (7 steps per ms) remains 12199/12199 properties
BEST_FIRST walk for 4001 steps (8 resets) in 498 ms. (8 steps per ms) remains 12197/12199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 12193/12197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 12192/12193 properties
BEST_FIRST walk for 4003 steps (8 resets) in 566 ms. (7 steps per ms) remains 12192/12192 properties
BEST_FIRST walk for 4003 steps (8 resets) in 575 ms. (6 steps per ms) remains 12192/12192 properties
BEST_FIRST walk for 4003 steps (8 resets) in 457 ms. (8 steps per ms) remains 12191/12192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 12188/12191 properties
BEST_FIRST walk for 4002 steps (8 resets) in 523 ms. (7 steps per ms) remains 12188/12188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 12186/12188 properties
BEST_FIRST walk for 4003 steps (8 resets) in 585 ms. (6 steps per ms) remains 12185/12186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 12185/12185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 12185/12185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 606 ms. (6 steps per ms) remains 12185/12185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 576 ms. (6 steps per ms) remains 12185/12185 properties
BEST_FIRST walk for 4003 steps (8 resets) in 573 ms. (6 steps per ms) remains 12185/12185 properties
BEST_FIRST walk for 4002 steps (8 resets) in 604 ms. (6 steps per ms) remains 12185/12185 properties
BEST_FIRST walk for 4003 steps (8 resets) in 505 ms. (7 steps per ms) remains 12185/12185 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 12183/12185 properties
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 12183/12183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 12182/12183 properties
BEST_FIRST walk for 4003 steps (8 resets) in 467 ms. (8 steps per ms) remains 12182/12182 properties
BEST_FIRST walk for 4003 steps (8 resets) in 601 ms. (6 steps per ms) remains 12182/12182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 630 ms. (6 steps per ms) remains 12182/12182 properties
BEST_FIRST walk for 4003 steps (8 resets) in 544 ms. (7 steps per ms) remains 12182/12182 properties
BEST_FIRST walk for 4003 steps (8 resets) in 518 ms. (7 steps per ms) remains 12179/12182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 525 ms. (7 steps per ms) remains 12179/12179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 12179/12179 properties
BEST_FIRST walk for 4003 steps (8 resets) in 461 ms. (8 steps per ms) remains 12178/12179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 12176/12178 properties
BEST_FIRST walk for 4002 steps (8 resets) in 500 ms. (7 steps per ms) remains 12176/12176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 582 ms. (6 steps per ms) remains 12176/12176 properties
BEST_FIRST walk for 4001 steps (8 resets) in 605 ms. (6 steps per ms) remains 12175/12176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 535 ms. (7 steps per ms) remains 12175/12175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 12175/12175 properties
BEST_FIRST walk for 4003 steps (8 resets) in 548 ms. (7 steps per ms) remains 12175/12175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 12174/12175 properties
BEST_FIRST walk for 4003 steps (8 resets) in 541 ms. (7 steps per ms) remains 12173/12174 properties
BEST_FIRST walk for 4003 steps (8 resets) in 563 ms. (7 steps per ms) remains 12173/12173 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 12173/12173 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 12171/12173 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 12171/12171 properties
BEST_FIRST walk for 4003 steps (8 resets) in 501 ms. (7 steps per ms) remains 12171/12171 properties
BEST_FIRST walk for 4003 steps (8 resets) in 574 ms. (6 steps per ms) remains 12170/12171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 12170/12170 properties
BEST_FIRST walk for 4003 steps (8 resets) in 514 ms. (7 steps per ms) remains 12170/12170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 12170/12170 properties
BEST_FIRST walk for 4003 steps (8 resets) in 581 ms. (6 steps per ms) remains 12170/12170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 655 ms. (6 steps per ms) remains 12170/12170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 547 ms. (7 steps per ms) remains 12169/12170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 12169/12169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 12169/12169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 12168/12169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 592 ms. (6 steps per ms) remains 12168/12168 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 12167/12168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 603 ms. (6 steps per ms) remains 12167/12167 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 12166/12167 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 12166/12166 properties
BEST_FIRST walk for 4003 steps (8 resets) in 595 ms. (6 steps per ms) remains 12166/12166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 12165/12166 properties
BEST_FIRST walk for 4002 steps (8 resets) in 478 ms. (8 steps per ms) remains 12165/12165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 12164/12165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 503 ms. (7 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4003 steps (8 resets) in 543 ms. (7 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4003 steps (8 resets) in 539 ms. (7 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 590 ms. (6 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4002 steps (8 resets) in 501 ms. (7 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4002 steps (8 resets) in 461 ms. (8 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 592 ms. (6 steps per ms) remains 12164/12164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 12163/12164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 642 ms. (6 steps per ms) remains 12163/12163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 12161/12163 properties
BEST_FIRST walk for 4003 steps (8 resets) in 605 ms. (6 steps per ms) remains 12161/12161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 12161/12161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 497 ms. (8 steps per ms) remains 12161/12161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 12161/12161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 12161/12161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 588 ms. (6 steps per ms) remains 12161/12161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 12161/12161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 546 ms. (7 steps per ms) remains 12161/12161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 579 ms. (6 steps per ms) remains 12160/12161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 12160/12160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 12160/12160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 583 ms. (6 steps per ms) remains 12160/12160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 463 ms. (8 steps per ms) remains 12160/12160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 12160/12160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 574 ms. (6 steps per ms) remains 12160/12160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 487 ms. (8 steps per ms) remains 12159/12160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 553 ms. (7 steps per ms) remains 12159/12159 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 12159/12159 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 12159/12159 properties
BEST_FIRST walk for 4003 steps (8 resets) in 581 ms. (6 steps per ms) remains 12159/12159 properties
BEST_FIRST walk for 4002 steps (8 resets) in 560 ms. (7 steps per ms) remains 12157/12159 properties
BEST_FIRST walk for 4002 steps (8 resets) in 542 ms. (7 steps per ms) remains 12156/12157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 614 ms. (6 steps per ms) remains 12156/12156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 12156/12156 properties
BEST_FIRST walk for 4001 steps (8 resets) in 597 ms. (6 steps per ms) remains 12156/12156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 553 ms. (7 steps per ms) remains 12156/12156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 12156/12156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 567 ms. (7 steps per ms) remains 12156/12156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 12154/12156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 12154/12154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 12154/12154 properties
BEST_FIRST walk for 4002 steps (8 resets) in 510 ms. (7 steps per ms) remains 12153/12154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 508 ms. (7 steps per ms) remains 12153/12153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 12153/12153 properties
BEST_FIRST walk for 4003 steps (8 resets) in 499 ms. (8 steps per ms) remains 12153/12153 properties
BEST_FIRST walk for 4003 steps (8 resets) in 474 ms. (8 steps per ms) remains 12153/12153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 12153/12153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 12151/12153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 12151/12151 properties
BEST_FIRST walk for 4003 steps (8 resets) in 518 ms. (7 steps per ms) remains 12150/12151 properties
BEST_FIRST walk for 4003 steps (8 resets) in 560 ms. (7 steps per ms) remains 12149/12150 properties
BEST_FIRST walk for 4003 steps (8 resets) in 572 ms. (6 steps per ms) remains 12147/12149 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4003 steps (8 resets) in 594 ms. (6 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4002 steps (8 resets) in 530 ms. (7 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4002 steps (8 resets) in 582 ms. (6 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4003 steps (8 resets) in 538 ms. (7 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4003 steps (8 resets) in 538 ms. (7 steps per ms) remains 12147/12147 properties
BEST_FIRST walk for 4002 steps (8 resets) in 504 ms. (7 steps per ms) remains 12146/12147 properties
BEST_FIRST walk for 4002 steps (8 resets) in 505 ms. (7 steps per ms) remains 12146/12146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 468 ms. (8 steps per ms) remains 12146/12146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 466 ms. (8 steps per ms) remains 12146/12146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 524 ms. (7 steps per ms) remains 12146/12146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 567 ms. (7 steps per ms) remains 12146/12146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 563 ms. (7 steps per ms) remains 12146/12146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 12146/12146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 540 ms. (7 steps per ms) remains 12146/12146 properties
BEST_FIRST walk for 4002 steps (8 resets) in 603 ms. (6 steps per ms) remains 12144/12146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 497 ms. (8 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4002 steps (8 resets) in 473 ms. (8 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 552 ms. (7 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 431 ms. (9 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 589 ms. (6 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4002 steps (8 resets) in 552 ms. (7 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 531 ms. (7 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 466 ms. (8 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 599 ms. (6 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 605 ms. (6 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 541 ms. (7 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4002 steps (8 resets) in 511 ms. (7 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 467 ms. (8 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 12144/12144 properties
BEST_FIRST walk for 4002 steps (8 resets) in 564 ms. (7 steps per ms) remains 12139/12144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12139/12139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 12138/12139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 558 ms. (7 steps per ms) remains 12137/12138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12134/12137 properties
BEST_FIRST walk for 4002 steps (8 resets) in 499 ms. (8 steps per ms) remains 12133/12134 properties
BEST_FIRST walk for 4003 steps (8 resets) in 601 ms. (6 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 583 ms. (6 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 563 ms. (7 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 523 ms. (7 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 586 ms. (6 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 606 ms. (6 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 12133/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 12132/12133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 12132/12132 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 12132/12132 properties
BEST_FIRST walk for 4004 steps (8 resets) in 508 ms. (7 steps per ms) remains 12130/12132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 12130/12130 properties
BEST_FIRST walk for 4003 steps (8 resets) in 557 ms. (7 steps per ms) remains 12130/12130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 12130/12130 properties
BEST_FIRST walk for 4003 steps (8 resets) in 501 ms. (7 steps per ms) remains 12130/12130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 12130/12130 properties
BEST_FIRST walk for 4003 steps (8 resets) in 655 ms. (6 steps per ms) remains 12130/12130 properties
BEST_FIRST walk for 4002 steps (8 resets) in 598 ms. (6 steps per ms) remains 12129/12130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 12129/12129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 604 ms. (6 steps per ms) remains 12129/12129 properties
BEST_FIRST walk for 4002 steps (8 resets) in 596 ms. (6 steps per ms) remains 12128/12129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 477 ms. (8 steps per ms) remains 12128/12128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 503 ms. (7 steps per ms) remains 12127/12128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 12127/12127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 12126/12127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 578 ms. (6 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 556 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 532 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4002 steps (8 resets) in 539 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4002 steps (8 resets) in 475 ms. (8 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 590 ms. (6 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4002 steps (8 resets) in 608 ms. (6 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 543 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 506 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 507 ms. (7 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 596 ms. (6 steps per ms) remains 12126/12126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 607 ms. (6 steps per ms) remains 12124/12126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 580 ms. (6 steps per ms) remains 12124/12124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 588 ms. (6 steps per ms) remains 12124/12124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 12123/12124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 616 ms. (6 steps per ms) remains 12123/12123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 601 ms. (6 steps per ms) remains 12123/12123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 580 ms. (6 steps per ms) remains 12123/12123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 523 ms. (7 steps per ms) remains 12121/12123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 532 ms. (7 steps per ms) remains 12121/12121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 12121/12121 properties
BEST_FIRST walk for 4003 steps (8 resets) in 471 ms. (8 steps per ms) remains 12120/12121 properties
BEST_FIRST walk for 4003 steps (8 resets) in 555 ms. (7 steps per ms) remains 12120/12120 properties
BEST_FIRST walk for 4003 steps (8 resets) in 464 ms. (8 steps per ms) remains 12119/12120 properties
BEST_FIRST walk for 4003 steps (8 resets) in 602 ms. (6 steps per ms) remains 12119/12119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 12119/12119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 12119/12119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 12119/12119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 12117/12119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 12117/12117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 625 ms. (6 steps per ms) remains 12117/12117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 12117/12117 properties
BEST_FIRST walk for 4002 steps (8 resets) in 617 ms. (6 steps per ms) remains 12116/12117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 618 ms. (6 steps per ms) remains 12116/12116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 12115/12116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 12115/12115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 12115/12115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 12115/12115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 623 ms. (6 steps per ms) remains 12115/12115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 12115/12115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 480 ms. (8 steps per ms) remains 12115/12115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 12115/12115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 578 ms. (6 steps per ms) remains 12115/12115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 586 ms. (6 steps per ms) remains 12114/12115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 12114/12114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 607 ms. (6 steps per ms) remains 12114/12114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 547 ms. (7 steps per ms) remains 12114/12114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 554 ms. (7 steps per ms) remains 12112/12114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 625 ms. (6 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 488 ms. (8 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 506 ms. (7 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 593 ms. (6 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 588 ms. (6 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4002 steps (8 resets) in 557 ms. (7 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4002 steps (8 resets) in 590 ms. (6 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 586 ms. (6 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 603 ms. (6 steps per ms) remains 12112/12112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 609 ms. (6 steps per ms) remains 12111/12112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 648 ms. (6 steps per ms) remains 12111/12111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12111/12111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 586 ms. (6 steps per ms) remains 12111/12111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 650 ms. (6 steps per ms) remains 12111/12111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 507 ms. (7 steps per ms) remains 12111/12111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 598 ms. (6 steps per ms) remains 12111/12111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 12111/12111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 12110/12111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 12110/12110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 12110/12110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 597 ms. (6 steps per ms) remains 12110/12110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 617 ms. (6 steps per ms) remains 12110/12110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 646 ms. (6 steps per ms) remains 12110/12110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 12110/12110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 566 ms. (7 steps per ms) remains 12110/12110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 624 ms. (6 steps per ms) remains 12110/12110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 636 ms. (6 steps per ms) remains 12109/12110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 655 ms. (6 steps per ms) remains 12107/12109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 621 ms. (6 steps per ms) remains 12107/12107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 525 ms. (7 steps per ms) remains 12106/12107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 606 ms. (6 steps per ms) remains 12104/12106 properties
BEST_FIRST walk for 4003 steps (8 resets) in 603 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 649 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 615 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 530 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 623 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 581 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 583 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 539 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 505 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 601 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 650 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 496 ms. (8 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 586 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 619 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 559 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 561 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 609 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 607 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 572 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 504 ms. (7 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 632 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 611 ms. (6 steps per ms) remains 12104/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 12103/12104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 602 ms. (6 steps per ms) remains 12103/12103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 563 ms. (7 steps per ms) remains 12103/12103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 12103/12103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 603 ms. (6 steps per ms) remains 12103/12103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 12103/12103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 12103/12103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 561 ms. (7 steps per ms) remains 12102/12103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 12102/12102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 611 ms. (6 steps per ms) remains 12102/12102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 610 ms. (6 steps per ms) remains 12102/12102 properties
BEST_FIRST walk for 4003 steps (8 resets) in 630 ms. (6 steps per ms) remains 12102/12102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 598 ms. (6 steps per ms) remains 12102/12102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 609 ms. (6 steps per ms) remains 12101/12102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 12101/12101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 631 ms. (6 steps per ms) remains 12101/12101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 615 ms. (6 steps per ms) remains 12101/12101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 610 ms. (6 steps per ms) remains 12101/12101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 617 ms. (6 steps per ms) remains 12101/12101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 12101/12101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 12101/12101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 12101/12101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 491 ms. (8 steps per ms) remains 12101/12101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 647 ms. (6 steps per ms) remains 12101/12101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 12100/12101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 585 ms. (6 steps per ms) remains 12100/12100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 540 ms. (7 steps per ms) remains 12100/12100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 602 ms. (6 steps per ms) remains 12099/12100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 12099/12099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 648 ms. (6 steps per ms) remains 12099/12099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 577 ms. (6 steps per ms) remains 12099/12099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 12099/12099 properties
BEST_FIRST walk for 4003 steps (8 resets) in 519 ms. (7 steps per ms) remains 12098/12099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 577 ms. (6 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 521 ms. (7 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 628 ms. (6 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 585 ms. (6 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 511 ms. (7 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 618 ms. (6 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 555 ms. (7 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 468 ms. (8 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 601 ms. (6 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 599 ms. (6 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 12098/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 508 ms. (7 steps per ms) remains 12097/12098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 583 ms. (6 steps per ms) remains 12097/12097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 12097/12097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 12097/12097 properties
BEST_FIRST walk for 4002 steps (8 resets) in 598 ms. (6 steps per ms) remains 12097/12097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 522 ms. (7 steps per ms) remains 12096/12097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 590 ms. (6 steps per ms) remains 12096/12096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 534 ms. (7 steps per ms) remains 12096/12096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 12096/12096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 586 ms. (6 steps per ms) remains 12096/12096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 485 ms. (8 steps per ms) remains 12095/12096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 573 ms. (6 steps per ms) remains 12095/12095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 12094/12095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 12094/12094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 458 ms. (8 steps per ms) remains 12092/12094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 537 ms. (7 steps per ms) remains 12092/12092 properties
BEST_FIRST walk for 4002 steps (8 resets) in 483 ms. (8 steps per ms) remains 12092/12092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 537 ms. (7 steps per ms) remains 12091/12092 properties
BEST_FIRST walk for 4002 steps (8 resets) in 521 ms. (7 steps per ms) remains 12091/12091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 12091/12091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 406 ms. (9 steps per ms) remains 12091/12091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 12091/12091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 12091/12091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 472 ms. (8 steps per ms) remains 12088/12091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 12088/12088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 12088/12088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 12088/12088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 615 ms. (6 steps per ms) remains 12088/12088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 597 ms. (6 steps per ms) remains 12088/12088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 12088/12088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 12088/12088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 567 ms. (7 steps per ms) remains 12088/12088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 507 ms. (7 steps per ms) remains 12088/12088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 12087/12088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 475 ms. (8 steps per ms) remains 12087/12087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 12087/12087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 12087/12087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 12087/12087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 546 ms. (7 steps per ms) remains 12087/12087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 617 ms. (6 steps per ms) remains 12087/12087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 595 ms. (6 steps per ms) remains 12086/12087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 508 ms. (7 steps per ms) remains 12086/12086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 12085/12086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 608 ms. (6 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 581 ms. (6 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 592 ms. (6 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 539 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 481 ms. (8 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 547 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 494 ms. (8 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 479 ms. (8 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 592 ms. (6 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 627 ms. (6 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4001 steps (8 resets) in 513 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4001 steps (8 resets) in 565 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 532 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 516 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 594 ms. (6 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 576 ms. (6 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 613 ms. (6 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 529 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 535 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4002 steps (8 resets) in 491 ms. (8 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4002 steps (8 resets) in 489 ms. (8 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 463 ms. (8 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 469 ms. (8 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 569 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 559 ms. (7 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 573 ms. (6 steps per ms) remains 12085/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 12084/12085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 12084/12084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 534 ms. (7 steps per ms) remains 12084/12084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 12084/12084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 12084/12084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 12084/12084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 594 ms. (6 steps per ms) remains 12084/12084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 616 ms. (6 steps per ms) remains 12084/12084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 611 ms. (6 steps per ms) remains 12084/12084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 530 ms. (7 steps per ms) remains 12083/12084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 12083/12083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 12083/12083 properties
BEST_FIRST walk for 4001 steps (8 resets) in 590 ms. (6 steps per ms) remains 12083/12083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 12083/12083 properties
BEST_FIRST walk for 4002 steps (8 resets) in 588 ms. (6 steps per ms) remains 12083/12083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 579 ms. (6 steps per ms) remains 12083/12083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 12083/12083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 12083/12083 properties
BEST_FIRST walk for 4003 steps (8 resets) in 431 ms. (9 steps per ms) remains 12083/12083 properties
BEST_FIRST walk for 4001 steps (8 resets) in 468 ms. (8 steps per ms) remains 12083/12083 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 12082/12083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 579 ms. (6 steps per ms) remains 12082/12082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 12082/12082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 12082/12082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 12082/12082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 12082/12082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 12081/12082 properties
BEST_FIRST walk for 4003 steps (8 resets) in 549 ms. (7 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 474 ms. (8 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 550 ms. (7 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 456 ms. (8 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 546 ms. (7 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 434 ms. (9 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 484 ms. (8 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 467 ms. (8 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 494 ms. (8 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 604 ms. (6 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 12081/12081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 12080/12081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 604 ms. (6 steps per ms) remains 12079/12080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 623 ms. (6 steps per ms) remains 12079/12079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 12079/12079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 554 ms. (7 steps per ms) remains 12079/12079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 12079/12079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 12079/12079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 12079/12079 properties
BEST_FIRST walk for 4003 steps (8 resets) in 507 ms. (7 steps per ms) remains 12078/12079 properties
BEST_FIRST walk for 4003 steps (8 resets) in 596 ms. (6 steps per ms) remains 12078/12078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 593 ms. (6 steps per ms) remains 12078/12078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 653 ms. (6 steps per ms) remains 12078/12078 properties
BEST_FIRST walk for 4002 steps (8 resets) in 661 ms. (6 steps per ms) remains 12078/12078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 579 ms. (6 steps per ms) remains 12077/12078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 12077/12077 properties
BEST_FIRST walk for 4003 steps (8 resets) in 539 ms. (7 steps per ms) remains 12077/12077 properties
BEST_FIRST walk for 4003 steps (8 resets) in 542 ms. (7 steps per ms) remains 12076/12077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 12076/12076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 515 ms. (7 steps per ms) remains 12076/12076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 12076/12076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 558 ms. (7 steps per ms) remains 12076/12076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 501 ms. (7 steps per ms) remains 12076/12076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 562 ms. (7 steps per ms) remains 12076/12076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 12075/12076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 12074/12075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 593 ms. (6 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 603 ms. (6 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 623 ms. (6 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 586 ms. (6 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 576 ms. (6 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4001 steps (8 resets) in 517 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 583 ms. (6 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 580 ms. (6 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 548 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 488 ms. (8 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 545 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 517 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 595 ms. (6 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 597 ms. (6 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4002 steps (8 resets) in 548 ms. (7 steps per ms) remains 12074/12074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 543 ms. (7 steps per ms) remains 12073/12074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 539 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 556 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 505 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 563 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 627 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 581 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 577 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 554 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 602 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 594 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 582 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 582 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 533 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 574 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 571 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 622 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 569 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 571 ms. (6 steps per ms) remains 12073/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 12072/12073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 12072/12072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 12072/12072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12071/12072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 612 ms. (6 steps per ms) remains 12071/12071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 12071/12071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 633 ms. (6 steps per ms) remains 12071/12071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 12070/12071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 12070/12070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 12069/12070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 12069/12069 properties
BEST_FIRST walk for 4002 steps (8 resets) in 475 ms. (8 steps per ms) remains 12069/12069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 12069/12069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 546 ms. (7 steps per ms) remains 12069/12069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 507 ms. (7 steps per ms) remains 12069/12069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 12069/12069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 616 ms. (6 steps per ms) remains 12069/12069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 612 ms. (6 steps per ms) remains 12069/12069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 12066/12069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 603 ms. (6 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 563 ms. (7 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 591 ms. (6 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 595 ms. (6 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 518 ms. (7 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 602 ms. (6 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 520 ms. (7 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12066/12066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 513 ms. (7 steps per ms) remains 12065/12066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 12065/12065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 560 ms. (7 steps per ms) remains 12065/12065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 594 ms. (6 steps per ms) remains 12065/12065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 12064/12065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 625 ms. (6 steps per ms) remains 12064/12064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 573 ms. (6 steps per ms) remains 12064/12064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 620 ms. (6 steps per ms) remains 12064/12064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 530 ms. (7 steps per ms) remains 12064/12064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 594 ms. (6 steps per ms) remains 12064/12064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 12064/12064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 579 ms. (6 steps per ms) remains 12064/12064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 586 ms. (6 steps per ms) remains 12064/12064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 12062/12064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 489 ms. (8 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 599 ms. (6 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 623 ms. (6 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 520 ms. (7 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 491 ms. (8 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 582 ms. (6 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 615 ms. (6 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 556 ms. (7 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 582 ms. (6 steps per ms) remains 12062/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 12061/12062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 12061/12061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 559 ms. (7 steps per ms) remains 12060/12061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 12060/12060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 578 ms. (6 steps per ms) remains 12059/12060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 607 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 594 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 613 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 599 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 624 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 589 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 587 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 582 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 594 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 624 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 621 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 622 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12059/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 525 ms. (7 steps per ms) remains 12058/12059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 12058/12058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 12058/12058 properties
BEST_FIRST walk for 4003 steps (8 resets) in 545 ms. (7 steps per ms) remains 12058/12058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 644 ms. (6 steps per ms) remains 12056/12058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4002 steps (8 resets) in 602 ms. (6 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 601 ms. (6 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 593 ms. (6 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4002 steps (8 resets) in 528 ms. (7 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 621 ms. (6 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4002 steps (8 resets) in 527 ms. (7 steps per ms) remains 12056/12056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 12054/12056 properties
BEST_FIRST walk for 4002 steps (8 resets) in 525 ms. (7 steps per ms) remains 12054/12054 properties
BEST_FIRST walk for 4002 steps (8 resets) in 510 ms. (7 steps per ms) remains 12054/12054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 502 ms. (7 steps per ms) remains 12054/12054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 12054/12054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 12054/12054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 12054/12054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 523 ms. (7 steps per ms) remains 12054/12054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 597 ms. (6 steps per ms) remains 12053/12054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 593 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4002 steps (8 resets) in 431 ms. (9 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4002 steps (8 resets) in 440 ms. (9 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 519 ms. (7 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 596 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4002 steps (8 resets) in 565 ms. (7 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 618 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 588 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 586 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4002 steps (8 resets) in 595 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4002 steps (8 resets) in 495 ms. (8 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 640 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 595 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 607 ms. (6 steps per ms) remains 12053/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 630 ms. (6 steps per ms) remains 12049/12053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 638 ms. (6 steps per ms) remains 12049/12049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12049/12049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12047/12049 properties
BEST_FIRST walk for 4002 steps (8 resets) in 573 ms. (6 steps per ms) remains 12047/12047 properties
BEST_FIRST walk for 4002 steps (8 resets) in 585 ms. (6 steps per ms) remains 12047/12047 properties
BEST_FIRST walk for 4002 steps (8 resets) in 502 ms. (7 steps per ms) remains 12047/12047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12047/12047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 577 ms. (6 steps per ms) remains 12047/12047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 598 ms. (6 steps per ms) remains 12045/12047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 12045/12045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 602 ms. (6 steps per ms) remains 12045/12045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 618 ms. (6 steps per ms) remains 12045/12045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 12045/12045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 556 ms. (7 steps per ms) remains 12044/12045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 639 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 597 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4002 steps (8 resets) in 523 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 586 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 440 ms. (9 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 585 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 538 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 592 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 590 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 616 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 567 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 538 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 508 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 580 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 570 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 565 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 560 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 543 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 590 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 573 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 508 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4002 steps (8 resets) in 436 ms. (9 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4002 steps (8 resets) in 587 ms. (6 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 552 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4002 steps (8 resets) in 557 ms. (7 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4002 steps (8 resets) in 486 ms. (8 steps per ms) remains 12044/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 12043/12044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 454 ms. (8 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 555 ms. (7 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4002 steps (8 resets) in 510 ms. (7 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 579 ms. (6 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 589 ms. (6 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 584 ms. (6 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 601 ms. (6 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 549 ms. (7 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4002 steps (8 resets) in 463 ms. (8 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 479 ms. (8 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 528 ms. (7 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 435 ms. (9 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 528 ms. (7 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 475 ms. (8 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 559 ms. (7 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 602 ms. (6 steps per ms) remains 12043/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 539 ms. (7 steps per ms) remains 12042/12043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 582 ms. (6 steps per ms) remains 12042/12042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 573 ms. (6 steps per ms) remains 12042/12042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 12042/12042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 598 ms. (6 steps per ms) remains 12042/12042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 12040/12042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 12040/12040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 12040/12040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 554 ms. (7 steps per ms) remains 12040/12040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 459 ms. (8 steps per ms) remains 12040/12040 properties
BEST_FIRST walk for 4002 steps (8 resets) in 578 ms. (6 steps per ms) remains 12039/12040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 525 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 505 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 595 ms. (6 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 620 ms. (6 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4002 steps (8 resets) in 519 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 566 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 597 ms. (6 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 517 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 566 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 469 ms. (8 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 544 ms. (7 steps per ms) remains 12039/12039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 12038/12039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 645 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4002 steps (8 resets) in 511 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 573 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 643 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 575 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 610 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 523 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 616 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 582 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 550 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4002 steps (8 resets) in 442 ms. (9 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 559 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 536 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 540 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 612 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 468 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4001 steps (8 resets) in 501 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 619 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 575 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 565 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 584 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 619 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 585 ms. (6 steps per ms) remains 12038/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 12038/12038 properties
[2024-06-01 07:03:09] [INFO ] Flow matrix only has 21179 transitions (discarded 600 similar events)
// Phase 1: matrix 21179 rows 12436 cols
[2024-06-01 07:03:11] [INFO ] Computed 1273 invariants in 1880 ms
[2024-06-01 07:03:11] [INFO ] State equation strengthened by 9202 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/7281 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 12038 unsolved
SMT process timed out in 75243ms, After SMT, problems are : Problem set: 0 solved, 12038 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 7281 out of 12436 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12436/12436 places, 21779/21779 transitions.
Discarding 3156 places :
Symmetric choice reduction at 0 with 3156 rule applications. Total rules 3156 place count 9280 transition count 18623
Iterating global reduction 0 with 3156 rules applied. Total rules applied 6312 place count 9280 transition count 18623
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 5 Pre rules applied. Total rules applied 6312 place count 9280 transition count 18618
Deduced a syphon composed of 5 places in 14 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 6322 place count 9275 transition count 18618
Free-agglomeration rule (complex) applied 22 times.
Iterating global reduction 0 with 22 rules applied. Total rules applied 6344 place count 9275 transition count 18596
Reduce places removed 22 places and 0 transitions.
Iterating post reduction 0 with 22 rules applied. Total rules applied 6366 place count 9253 transition count 18596
Partial Free-agglomeration rule applied 99 times.
Drop transitions (Partial Free agglomeration) removed 99 transitions
Iterating global reduction 1 with 99 rules applied. Total rules applied 6465 place count 9253 transition count 18596
Applied a total of 6465 rules in 2660 ms. Remains 9253 /12436 variables (removed 3183) and now considering 18596/21779 (removed 3183) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2660 ms. Remains : 9253/12436 places, 18596/21779 transitions.
RANDOM walk for 719964 steps (8044 resets) in 120004 ms. (5 steps per ms) remains 10976/12038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 455 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 590 ms. (6 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 574 ms. (6 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 575 ms. (6 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 587 ms. (6 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 536 ms. (7 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 501 ms. (7 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 559 ms. (7 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 499 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 485 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 461 ms. (8 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 508 ms. (7 steps per ms) remains 10976/10976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 557 ms. (7 steps per ms) remains 10974/10976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 557 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 379 ms. (10 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 530 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 519 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 577 ms. (6 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 571 ms. (6 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 510 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 520 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4001 steps (8 resets) in 522 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 525 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 440 ms. (9 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 456 ms. (8 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 376 ms. (10 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 534 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 402 ms. (9 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 450 ms. (8 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 448 ms. (8 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 532 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4000 steps (8 resets) in 561 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 497 ms. (8 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 476 ms. (8 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 497 ms. (8 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 488 ms. (8 steps per ms) remains 10974/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 572 ms. (6 steps per ms) remains 10973/10974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 529 ms. (7 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 625 ms. (6 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 553 ms. (7 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 411 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 425 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 535 ms. (7 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 511 ms. (7 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 453 ms. (8 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 574 ms. (6 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 509 ms. (7 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4001 steps (8 resets) in 548 ms. (7 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 502 ms. (7 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 390 ms. (10 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 403 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 441 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 393 ms. (10 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 420 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 405 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 357 ms. (11 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 399 ms. (10 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 475 ms. (8 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 471 ms. (8 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 433 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 362 ms. (11 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 516 ms. (7 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 536 ms. (7 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4000 steps (8 resets) in 403 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 420 ms. (9 steps per ms) remains 10973/10973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 10971/10973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 406 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 428 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 409 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 480 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 375 ms. (10 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4001 steps (8 resets) in 478 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 540 ms. (7 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 379 ms. (10 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 513 ms. (7 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 418 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 431 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 389 ms. (10 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4000 steps (8 resets) in 424 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 540 ms. (7 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 484 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 382 ms. (10 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 603 ms. (6 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4001 steps (8 resets) in 513 ms. (7 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4000 steps (8 resets) in 463 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 409 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 545 ms. (7 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 493 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 442 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 385 ms. (10 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 480 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 410 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 582 ms. (6 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 517 ms. (7 steps per ms) remains 10971/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 10970/10971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 499 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 486 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 415 ms. (9 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 625 ms. (6 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4001 steps (8 resets) in 576 ms. (6 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 520 ms. (7 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 396 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 529 ms. (7 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 562 ms. (7 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4001 steps (8 resets) in 560 ms. (7 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 552 ms. (7 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 401 ms. (9 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 460 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 373 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 363 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 486 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 577 ms. (6 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 488 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 479 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 481 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 346 ms. (11 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 427 ms. (9 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 514 ms. (7 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 389 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4001 steps (8 resets) in 374 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 493 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4001 steps (8 resets) in 493 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 532 ms. (7 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 524 ms. (7 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 445 ms. (8 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 664 ms. (6 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 391 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 10970/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 447 ms. (8 steps per ms) remains 10968/10970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 449 ms. (8 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 611 ms. (6 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4002 steps (8 resets) in 566 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 495 ms. (8 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4002 steps (8 resets) in 394 ms. (10 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4002 steps (8 resets) in 537 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4002 steps (8 resets) in 522 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 389 ms. (10 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4001 steps (8 resets) in 473 ms. (8 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 419 ms. (9 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4002 steps (8 resets) in 375 ms. (10 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4002 steps (8 resets) in 501 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 475 ms. (8 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4002 steps (8 resets) in 641 ms. (6 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 462 ms. (8 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 580 ms. (6 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 558 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 518 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 544 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 535 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4001 steps (8 resets) in 546 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 10968/10968 properties
BEST_FIRST walk for 4002 steps (8 resets) in 516 ms. (7 steps per ms) remains 10966/10968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 374 ms. (10 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4001 steps (8 resets) in 409 ms. (9 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 493 ms. (8 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 582 ms. (6 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 405 ms. (9 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4000 steps (8 resets) in 415 ms. (9 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 553 ms. (7 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 447 ms. (8 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 381 ms. (10 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 537 ms. (7 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 482 ms. (8 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 432 ms. (9 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4001 steps (8 resets) in 527 ms. (7 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10966/10966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10965/10966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 403 ms. (9 steps per ms) remains 10965/10965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 375 ms. (10 steps per ms) remains 10965/10965 properties
BEST_FIRST walk for 4002 steps (8 resets) in 498 ms. (8 steps per ms) remains 10965/10965 properties
BEST_FIRST walk for 4002 steps (8 resets) in 510 ms. (7 steps per ms) remains 10965/10965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10965/10965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 380 ms. (10 steps per ms) remains 10964/10965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 542 ms. (7 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 461 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 440 ms. (9 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 443 ms. (9 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 427 ms. (9 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 483 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 372 ms. (10 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 454 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4001 steps (8 resets) in 517 ms. (7 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 482 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 467 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 496 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 477 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 409 ms. (9 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4001 steps (8 resets) in 508 ms. (7 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 534 ms. (7 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 480 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 478 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 469 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 378 ms. (10 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 504 ms. (7 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 389 ms. (10 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 389 ms. (10 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 384 ms. (10 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 471 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 478 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4001 steps (8 resets) in 371 ms. (10 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 10964/10964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 393 ms. (10 steps per ms) remains 10962/10964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 508 ms. (7 steps per ms) remains 10962/10962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 455 ms. (8 steps per ms) remains 10962/10962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 10961/10962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 389 ms. (10 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 468 ms. (8 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 600 ms. (6 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 352 ms. (11 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 437 ms. (9 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 393 ms. (10 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 525 ms. (7 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 379 ms. (10 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 421 ms. (9 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 531 ms. (7 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 459 ms. (8 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 374 ms. (10 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 504 ms. (7 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 392 ms. (10 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 461 ms. (8 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10961/10961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 494 ms. (8 steps per ms) remains 10960/10961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 402 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 400 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 449 ms. (8 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 483 ms. (8 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 442 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 394 ms. (10 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 380 ms. (10 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 387 ms. (10 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 527 ms. (7 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 350 ms. (11 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 432 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 526 ms. (7 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 429 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 568 ms. (7 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 415 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 403 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 529 ms. (7 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4001 steps (8 resets) in 369 ms. (10 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 543 ms. (7 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 455 ms. (8 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 399 ms. (10 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 384 ms. (10 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 434 ms. (9 steps per ms) remains 10960/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 444 ms. (8 steps per ms) remains 10959/10960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 428 ms. (9 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 435 ms. (9 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 497 ms. (8 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 415 ms. (9 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 449 ms. (8 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 492 ms. (8 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 464 ms. (8 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 395 ms. (10 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 569 ms. (7 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 459 ms. (8 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 497 ms. (8 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 558 ms. (7 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 544 ms. (7 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 397 ms. (10 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 377 ms. (10 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 449 ms. (8 steps per ms) remains 10959/10959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 387 ms. (10 steps per ms) remains 10958/10959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 473 ms. (8 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4001 steps (8 resets) in 448 ms. (8 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 434 ms. (9 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 521 ms. (7 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 352 ms. (11 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 523 ms. (7 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 479 ms. (8 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4002 steps (8 resets) in 565 ms. (7 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4002 steps (8 resets) in 400 ms. (9 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4001 steps (8 resets) in 525 ms. (7 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 499 ms. (8 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 553 ms. (7 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10958/10958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10957/10958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 649 ms. (6 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4002 steps (8 resets) in 538 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 520 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 523 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 556 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 548 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 598 ms. (6 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 576 ms. (6 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 619 ms. (6 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4002 steps (8 resets) in 438 ms. (9 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 416 ms. (9 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 395 ms. (10 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 476 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4001 steps (8 resets) in 569 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 515 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 535 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4002 steps (8 resets) in 349 ms. (11 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4001 steps (8 resets) in 587 ms. (6 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 488 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 499 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 364 ms. (10 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4002 steps (8 resets) in 521 ms. (7 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4002 steps (8 resets) in 454 ms. (8 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 601 ms. (6 steps per ms) remains 10957/10957 properties
BEST_FIRST walk for 4002 steps (8 resets) in 417 ms. (9 steps per ms) remains 10955/10957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 494 ms. (8 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4002 steps (8 resets) in 587 ms. (6 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 430 ms. (9 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 464 ms. (8 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4001 steps (8 resets) in 463 ms. (8 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 510 ms. (7 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4002 steps (8 resets) in 532 ms. (7 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 550 ms. (7 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 410 ms. (9 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4002 steps (8 resets) in 538 ms. (7 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4002 steps (8 resets) in 413 ms. (9 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4002 steps (8 resets) in 489 ms. (8 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4002 steps (8 resets) in 529 ms. (7 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 466 ms. (8 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4000 steps (8 resets) in 547 ms. (7 steps per ms) remains 10955/10955 properties
BEST_FIRST walk for 4002 steps (8 resets) in 400 ms. (9 steps per ms) remains 10953/10955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 532 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 550 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 404 ms. (9 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 441 ms. (9 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 508 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 524 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 365 ms. (10 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 335 ms. (11 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 373 ms. (10 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 467 ms. (8 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 458 ms. (8 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 387 ms. (10 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 374 ms. (10 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 501 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 414 ms. (9 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 492 ms. (8 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 510 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 523 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 456 ms. (8 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 473 ms. (8 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 506 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 445 ms. (8 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 551 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 431 ms. (9 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4001 steps (8 resets) in 563 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 380 ms. (10 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 492 ms. (8 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 390 ms. (10 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 365 ms. (10 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 372 ms. (10 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 546 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 526 ms. (7 steps per ms) remains 10953/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 546 ms. (7 steps per ms) remains 10952/10953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 417 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 521 ms. (7 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 481 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 515 ms. (7 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4001 steps (8 resets) in 536 ms. (7 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 398 ms. (10 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 606 ms. (6 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 539 ms. (7 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 360 ms. (11 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4001 steps (8 resets) in 381 ms. (10 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 467 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 405 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 431 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 427 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 495 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 479 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 499 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 388 ms. (10 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 432 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4001 steps (8 resets) in 404 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 426 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 521 ms. (7 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 364 ms. (10 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 387 ms. (10 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 517 ms. (7 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4001 steps (8 resets) in 467 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 419 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 438 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 504 ms. (7 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 404 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 507 ms. (7 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4001 steps (8 resets) in 461 ms. (8 steps per ms) remains 10952/10952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 387 ms. (10 steps per ms) remains 10952/10952 properties
Interrupted probabilistic random walk after 498494 steps, run timeout after 318002 ms. (steps per millisecond=1 ) properties seen :488 out of 10952
Probabilistic random walk after 498494 steps, saw 225419 distinct states, run finished after 318004 ms. (steps per millisecond=1 ) properties seen :488
[2024-06-01 07:11:31] [INFO ] Flow matrix only has 17974 transitions (discarded 622 similar events)
// Phase 1: matrix 17974 rows 9253 cols
[2024-06-01 07:11:32] [INFO ] Computed 1273 invariants in 1005 ms
[2024-06-01 07:11:32] [INFO ] State equation strengthened by 9202 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/6425 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 10464 unsolved
SMT process timed out in 102854ms, After SMT, problems are : Problem set: 0 solved, 10464 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6425 out of 9253 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9253/9253 places, 18596/18596 transitions.
Discarding 649 places :
Symmetric choice reduction at 0 with 649 rule applications. Total rules 649 place count 8604 transition count 17947
Iterating global reduction 0 with 649 rules applied. Total rules applied 1298 place count 8604 transition count 17947
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1299 place count 8603 transition count 17935
Iterating global reduction 0 with 1 rules applied. Total rules applied 1300 place count 8603 transition count 17935
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 0 with 7 rules applied. Total rules applied 1307 place count 8603 transition count 17928
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 1314 place count 8596 transition count 17928
Partial Free-agglomeration rule applied 29 times.
Drop transitions (Partial Free agglomeration) removed 29 transitions
Iterating global reduction 1 with 29 rules applied. Total rules applied 1343 place count 8596 transition count 17928
Applied a total of 1343 rules in 2055 ms. Remains 8596 /9253 variables (removed 657) and now considering 17928/18596 (removed 668) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2057 ms. Remains : 8596/9253 places, 17928/18596 transitions.
RANDOM walk for 719972 steps (8135 resets) in 120005 ms. (5 steps per ms) remains 9865/10464 properties
BEST_FIRST walk for 4003 steps (8 resets) in 561 ms. (7 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 559 ms. (7 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 547 ms. (7 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 415 ms. (9 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 435 ms. (9 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 468 ms. (8 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4002 steps (8 resets) in 454 ms. (8 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 497 ms. (8 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4002 steps (8 resets) in 513 ms. (7 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4002 steps (8 resets) in 531 ms. (7 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4002 steps (8 resets) in 447 ms. (8 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4001 steps (8 resets) in 487 ms. (8 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 633 ms. (6 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 358 ms. (11 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4002 steps (8 resets) in 507 ms. (7 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 363 ms. (10 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4002 steps (8 resets) in 341 ms. (11 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 469 ms. (8 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 848 ms. (4 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4002 steps (8 resets) in 372 ms. (10 steps per ms) remains 9865/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 9863/9865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 389 ms. (10 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 471 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 414 ms. (9 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 389 ms. (10 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4001 steps (8 resets) in 361 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 348 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 367 ms. (10 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 499 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 476 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 352 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 356 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 358 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4001 steps (8 resets) in 444 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 475 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 481 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 468 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 397 ms. (10 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 385 ms. (10 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 356 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 379 ms. (10 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4000 steps (8 resets) in 470 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 483 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 606 ms. (6 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 453 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 348 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 446 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 368 ms. (10 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 608 ms. (6 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 492 ms. (8 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 359 ms. (11 steps per ms) remains 9863/9863 properties
BEST_FIRST walk for 4003 steps (8 resets) in 426 ms. (9 steps per ms) remains 9863/9863 properties
Interrupted probabilistic random walk after 199308 steps, run timeout after 123001 ms. (steps per millisecond=1 ) properties seen :0 out of 9863
Probabilistic random walk after 199308 steps, saw 90362 distinct states, run finished after 123002 ms. (steps per millisecond=1 ) properties seen :0
[2024-06-01 07:16:01] [INFO ] Flow matrix only has 17306 transitions (discarded 622 similar events)
// Phase 1: matrix 17306 rows 8596 cols
[2024-06-01 07:16:02] [INFO ] Computed 1273 invariants in 821 ms
[2024-06-01 07:16:02] [INFO ] State equation strengthened by 9191 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/6064 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 9863 unsolved
SMT process timed out in 111311ms, After SMT, problems are : Problem set: 0 solved, 9863 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6064 out of 8596 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8596/8596 places, 17928/17928 transitions.
Discarding 273 places :
Symmetric choice reduction at 0 with 273 rule applications. Total rules 273 place count 8323 transition count 17644
Iterating global reduction 0 with 273 rules applied. Total rules applied 546 place count 8323 transition count 17644
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 551 place count 8318 transition count 17584
Iterating global reduction 0 with 5 rules applied. Total rules applied 556 place count 8318 transition count 17584
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 0 with 5 rules applied. Total rules applied 561 place count 8318 transition count 17579
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 566 place count 8313 transition count 17579
Partial Free-agglomeration rule applied 23 times.
Drop transitions (Partial Free agglomeration) removed 23 transitions
Iterating global reduction 1 with 23 rules applied. Total rules applied 589 place count 8313 transition count 17579
Applied a total of 589 rules in 1943 ms. Remains 8313 /8596 variables (removed 283) and now considering 17579/17928 (removed 349) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1943 ms. Remains : 8313/8596 places, 17579/17928 transitions.
RANDOM walk for 115559 steps (1314 resets) in 120006 ms. (0 steps per ms) remains 9518/9863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 618 ms. (6 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4002 steps (8 resets) in 421 ms. (9 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 533 ms. (7 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 489 ms. (8 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 375 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 596 ms. (6 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 496 ms. (8 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 375 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4002 steps (8 resets) in 375 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 415 ms. (9 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4002 steps (8 resets) in 440 ms. (9 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 351 ms. (11 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 318 ms. (12 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4002 steps (8 resets) in 401 ms. (9 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4002 steps (8 resets) in 392 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 437 ms. (9 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4002 steps (8 resets) in 315 ms. (12 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4001 steps (8 resets) in 352 ms. (11 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 412 ms. (9 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 9518/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 347 ms. (11 steps per ms) remains 9516/9518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 503 ms. (7 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 385 ms. (10 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 337 ms. (11 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 339 ms. (11 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 497 ms. (8 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 361 ms. (11 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4001 steps (8 resets) in 442 ms. (9 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 430 ms. (9 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 458 ms. (8 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 332 ms. (12 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 477 ms. (8 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 399 ms. (10 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 336 ms. (11 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 476 ms. (8 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4001 steps (8 resets) in 376 ms. (10 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4000 steps (8 resets) in 578 ms. (6 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 557 ms. (7 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 355 ms. (11 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 467 ms. (8 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 504 ms. (7 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 351 ms. (11 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 332 ms. (12 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 442 ms. (9 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 465 ms. (8 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 328 ms. (12 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4001 steps (8 resets) in 575 ms. (6 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4001 steps (8 resets) in 393 ms. (10 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 350 ms. (11 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4001 steps (8 resets) in 326 ms. (12 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 407 ms. (9 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 9516/9516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 356 ms. (11 steps per ms) remains 9516/9516 properties
Interrupted probabilistic random walk after 223545 steps, run timeout after 126001 ms. (steps per millisecond=1 ) properties seen :0 out of 9516
Probabilistic random walk after 223545 steps, saw 101311 distinct states, run finished after 126002 ms. (steps per millisecond=1 ) properties seen :0
[2024-06-01 07:20:43] [INFO ] Flow matrix only has 16957 transitions (discarded 622 similar events)
// Phase 1: matrix 16957 rows 8313 cols
[2024-06-01 07:20:43] [INFO ] Computed 1273 invariants in 736 ms
[2024-06-01 07:20:43] [INFO ] State equation strengthened by 9125 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/5853 variables, 41/41 constraints. Problems are: Problem set: 0 solved, 9516 unsolved
SMT process timed out in 124657ms, After SMT, problems are : Problem set: 0 solved, 9516 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5853 out of 8313 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8313/8313 places, 17579/17579 transitions.
Discarding 148 places :
Symmetric choice reduction at 0 with 148 rule applications. Total rules 148 place count 8165 transition count 17354
Iterating global reduction 0 with 148 rules applied. Total rules applied 296 place count 8165 transition count 17354
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 301 place count 8160 transition count 17294
Iterating global reduction 0 with 5 rules applied. Total rules applied 306 place count 8160 transition count 17294
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 308 place count 8160 transition count 17292
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 310 place count 8158 transition count 17292
Partial Free-agglomeration rule applied 26 times.
Drop transitions (Partial Free agglomeration) removed 26 transitions
Iterating global reduction 1 with 26 rules applied. Total rules applied 336 place count 8158 transition count 17292
Applied a total of 336 rules in 1895 ms. Remains 8158 /8313 variables (removed 155) and now considering 17292/17579 (removed 287) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1895 ms. Remains : 8158/8313 places, 17292/17579 transitions.
RANDOM walk for 230127 steps (2634 resets) in 120004 ms. (1 steps per ms) remains 9081/9516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 272 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 586 ms. (6 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 270 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 242 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4001 steps (8 resets) in 235 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4001 steps (8 resets) in 239 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4001 steps (8 resets) in 240 ms. (16 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4001 steps (8 resets) in 267 ms. (14 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 261 ms. (15 steps per ms) remains 9081/9081 properties
BEST_FIRST walk for 4001 steps (8 resets) in 253 ms. (15 steps per ms) remains 9081/9081 properties
Interrupted probabilistic random walk after 184044 steps, run timeout after 99002 ms. (steps per millisecond=1 ) properties seen :0 out of 9081
Probabilistic random walk after 184044 steps, saw 83494 distinct states, run finished after 99002 ms. (steps per millisecond=1 ) properties seen :0
[2024-06-01 07:25:02] [INFO ] Flow matrix only has 16670 transitions (discarded 622 similar events)
// Phase 1: matrix 16670 rows 8158 cols
[2024-06-01 07:25:02] [INFO ] Computed 1273 invariants in 708 ms
[2024-06-01 07:25:03] [INFO ] State equation strengthened by 8993 read => feed constraints.

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination 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="MultiCrashLeafsetExtension-PT-S24C12"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool ltsminxred"
echo " Input is MultiCrashLeafsetExtension-PT-S24C12, 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 r510-tall-171654364600087"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C12.tgz
mv MultiCrashLeafsetExtension-PT-S24C12 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.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;