MCC'2024- Execution of r255-tall-171654364600097

About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C03

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
0.000	820363.00	0.00	0.00	[undef]	Cannot compute

Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r255-tall-171654364600097.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 itstools
Input is MultiCrashLeafsetExtension-PT-S32C03, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r255-tall-171654364600097
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 19M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Apr 22 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Apr 22 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 22 14:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K Apr 12 07:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 176K Apr 12 07:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 22 14:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 18M May 18 16:43 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1716630175173

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C03
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202405141337
[2024-05-25 09:42:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-25 09:42:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 09:42:57] [INFO ] Load time of PNML (sax parser for PT used): 927 ms
[2024-05-25 09:42:57] [INFO ] Transformed 15862 places.
[2024-05-25 09:42:57] [INFO ] Transformed 25109 transitions.
[2024-05-25 09:42:57] [INFO ] Parsed PT model containing 15862 places and 25109 transitions and 104566 arcs in 1224 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 15862/15862 places, 25109/25109 transitions.
Reduce places removed 42 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 3168 transitions
Trivial Post-agglo rules discarded 3168 transitions
Performed 3168 trivial Post agglomeration. Transition count delta: 3168
Iterating post reduction 0 with 3210 rules applied. Total rules applied 3210 place count 15820 transition count 21941
Reduce places removed 3168 places and 0 transitions.
Iterating post reduction 1 with 3168 rules applied. Total rules applied 6378 place count 12652 transition count 21941
Performed 198 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 198 Pre rules applied. Total rules applied 6378 place count 12652 transition count 21743
Deduced a syphon composed of 198 places in 75 ms
Reduce places removed 198 places and 0 transitions.
Iterating global reduction 2 with 396 rules applied. Total rules applied 6774 place count 12454 transition count 21743
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 65 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 6840 place count 12421 transition count 21710
Applied a total of 6840 rules in 1608 ms. Remains 12421 /15862 variables (removed 3441) and now considering 21710/25109 (removed 3399) transitions.
[2024-05-25 09:42:59] [INFO ] Flow matrix only has 20654 transitions (discarded 1056 similar events)
// Phase 1: matrix 20654 rows 12421 cols
[2024-05-25 09:43:01] [INFO ] Computed 1361 invariants in 1986 ms
[2024-05-25 09:43:34] [INFO ] Performed 7067/12421 implicitness test of which 695 returned IMPLICIT in 30 seconds.
[2024-05-25 09:44:02] [INFO ] Implicit Places using invariants in 62678 ms returned [4, 7, 14, 23, 34, 47, 62, 79, 98, 119, 142, 167, 194, 223, 254, 287, 322, 358, 393, 426, 457, 486, 513, 538, 561, 582, 601, 618, 633, 646, 657, 666, 673, 686, 692, 698, 705, 714, 725, 738, 753, 770, 789, 810, 833, 858, 885, 914, 945, 978, 1012, 1045, 1076, 1105, 1132, 1157, 1180, 1201, 1220, 1237, 1252, 1265, 1276, 1285, 1292, 1298, 1311, 1317, 1323, 1329, 1336, 1345, 1356, 1369, 1384, 1401, 1420, 1441, 1464, 1489, 1516, 1545, 1576, 1608, 1639, 1668, 1695, 1720, 1743, 1764, 1783, 1800, 1815, 1828, 1839, 1848, 1855, 1861, 1867, 1880, 1886, 1892, 1898, 1904, 1911, 1920, 1931, 1944, 1959, 1976, 1995, 2016, 2039, 2064, 2091, 2120, 2150, 2179, 2206, 2231, 2254, 2275, 2294, 2311, 2326, 2339, 2350, 2359, 2366, 2372, 2378, 2384, 2397, 2403, 2409, 2415, 2421, 2427, 2434, 2443, 2454, 2467, 2482, 2499, 2518, 2539, 2562, 2587, 2614, 2642, 2669, 2694, 2717, 2738, 2757, 2774, 2789, 2802, 2813, 2822, 2829, 2835, 2841, 2847, 2853, 2866, 2872, 2878, 2884, 2890, 2896, 2902, 2909, 2918, 2929, 2942, 2957, 2974, 2993, 3014, 3037, 3062, 3088, 3113, 3136, 3157, 3176, 3193, 3208, 3221, 3232, 3241, 3248, 3254, 3260, 3266, 3272, 3278, 3291, 3297, 3303, 3309, 3315, 3321, 3327, 3333, 3340, 3349, 3360, 3373, 3388, 3405, 3424, 3445, 3468, 3492, 3515, 3536, 3555, 3572, 3587, 3600, 3611, 3620, 3627, 3633, 3639, 3645, 3651, 3657, 3663, 3676, 3682, 3688, 3694, 3700, 3706, 3712, 3718, 3724, 3731, 3740, 3751, 3764, 3779, 3796, 3815, 3836, 3858, 3879, 3898, 3915, 3930, 3943, 3954, 3963, 3970, 3976, 3982, 3988, 3994, 4000, 4006, 4012, 4025, 4031, 4037, 4043, 4049, 4055, 4061, 4067, 4073, 4079, 4086, 4095, 4106, 4119, 4134, 4151, 4170, 4190, 4209, 4226, 4241, 4254, 4265, 4274, 4281, 4287, 4293, 4299, 4305, 4311, 4317, 4323, 4329, 4342, 4348, 4354, 4360, 4366, 4372, 4378, 4384, 4390, 4396, 4402, 4409, 4418, 4429, 4442, 4457, 4474, 4492, 4509, 4524, 4537, 4548, 4557, 4564, 4570, 4576, 4582, 4588, 4594, 4600, 4606, 4612, 4618, 4631, 4637, 4643, 4649, 4655, 4661, 4667, 4673, 4679, 4685, 4691, 4697, 4704, 4713, 4724, 4737, 4752, 4768, 4783, 4796, 4807, 4816, 4823, 4829, 4835, 4841, 4847, 4853, 4859, 4865, 4871, 4877, 4883, 4896, 4902, 4908, 4914, 4920, 4926, 4932, 4938, 4944, 4950, 4956, 4962, 4968, 4975, 4984, 4995, 5008, 5022, 5035, 5046, 5055, 5062, 5068, 5074, 5080, 5086, 5092, 5098, 5104, 5110, 5116, 5122, 5128, 5141, 5147, 5153, 5159, 5165, 5171, 5177, 5183, 5189, 5195, 5201, 5207, 5213, 5219, 5226, 5235, 5246, 5258, 5269, 5278, 5285, 5291, 5297, 5303, 5309, 5315, 5321, 5327, 5333, 5339, 5345, 5351, 5357, 5370, 5376, 5382, 5388, 5394, 5400, 5406, 5412, 5418, 5424, 5430, 5436, 5442, 5448, 5454, 5461, 5470, 5480, 5489, 5496, 5502, 5508, 5514, 5520, 5526, 5532, 5538, 5544, 5550, 5556, 5562, 5568, 5574, 5587, 5593, 5599, 5605, 5611, 5617, 5623, 5629, 5635, 5641, 5647, 5653, 5659, 5665, 5671, 5677, 5684, 5692, 5699, 5705, 5711, 5717, 5723, 5729, 5735, 5741, 5747, 5753, 5759, 5765, 5771, 5777, 5783, 5796, 5802, 5808, 5814, 5820, 5826, 5832, 5838, 5844, 5850, 5856, 5862, 5868, 5874, 5880, 5886, 5892, 5898, 5904, 5910, 5916, 5922, 5928, 5934, 5940, 5946, 5952, 5958, 5964, 5970, 5976, 5982, 5988, 6001, 6003, 6006, 6012, 6018, 6024, 6030, 6036, 6042, 6048, 6054, 6060, 6066, 6072, 6078, 6084, 6090, 6096, 6102, 6108, 6114, 6120, 6126, 6132, 6138, 6144, 6150, 6156, 6162, 6168, 6174, 6180, 6186, 6192, 6205, 6211, 6217, 6223, 6229, 6235, 6241, 6247, 6253, 6259, 6265, 6271, 6277, 6283, 6289, 6295, 6301, 6307, 6313, 6319, 6325, 6331, 6337, 6343, 6349, 6355, 6361, 6367, 6373, 6379, 6385, 6391, 6397, 6410, 6416, 6422, 6428, 6434, 6440, 6446, 6452, 6458, 6464, 6470, 6476, 6482, 6488, 6494, 6500, 6506, 6513, 6521, 6528, 6534, 6540, 6546, 6552, 6558, 6564, 6570, 6576, 6582, 6588, 6594, 6600, 6606, 6619, 6625, 6631, 6637, 6643, 6649, 6655, 6661, 6667, 6673, 6679, 6685, 6691, 6697, 6703, 6709, 6716, 6725, 6735, 6744, 6751, 6757, 6763, 6769, 6775, 6781, 6787, 6793, 6799, 6805, 6811, 6817, 6823, 6836, 6842, 6848, 6854, 6860, 6866, 6872, 6878, 6884, 6890, 6896, 6902, 6908, 6914, 6920, 6927, 6936, 6947, 6959, 6970, 6979, 6986, 6992, 6998, 7004, 7010, 7016, 7022, 7028, 7034, 7040, 7046, 7052, 7065, 7071, 7077, 7083, 7089, 7095, 7101, 7107, 7113, 7119, 7125, 7131, 7137, 7143, 7150, 7159, 7170, 7183, 7197, 7210, 7221, 7230, 7237, 7243, 7249, 7255, 7261, 7267, 7273, 7279, 7285, 7291, 7297, 7310, 7316, 7322, 7328, 7334, 7340, 7346, 7352, 7358, 7364, 7370, 7376, 7382, 7389, 7398, 7409, 7422, 7437, 7453, 7468, 7481, 7492, 7501, 7508, 7514, 7520, 7526, 7532, 7538, 7544, 7550, 7556, 7562, 7575, 7581, 7587, 7593, 7599, 7605, 7611, 7617, 7623, 7629, 7635, 7641, 7648, 7657, 7668, 7681, 7696, 7713, 7731, 7748, 7763, 7776, 7787, 7796, 7803, 7809, 7815, 7821, 7827, 7833, 7839, 7845, 7851, 7864, 7870, 7876, 7882, 7888, 7894, 7900, 7906, 7912, 7918, 7924, 7931, 7940, 7951, 7964, 7979, 7996, 8015, 8035, 8054, 8071, 8086, 8099, 8110, 8119, 8126, 8132, 8138, 8144, 8150, 8156, 8162, 8168, 8181, 8187, 8193, 8199, 8205, 8211, 8217, 8223, 8229, 8235, 8242, 8251, 8262, 8275, 8290, 8307, 8326, 8347, 8369, 8390, 8409, 8426, 8441, 8454, 8465, 8474, 8481, 8487, 8493, 8499, 8505, 8511, 8517, 8530, 8536, 8542, 8548, 8554, 8560, 8566, 8572, 8578, 8585, 8594, 8605, 8618, 8633, 8650, 8669, 8690, 8713, 8737, 8760, 8781, 8800, 8817, 8832, 8845, 8856, 8865, 8872, 8878, 8884, 8890, 8896, 8902, 8915, 8921, 8927, 8933, 8939, 8945, 8951, 8957, 8964, 8973, 8984, 8997, 9012, 9029, 9048, 9069, 9092, 9117, 9143, 9168, 9191, 9212, 9231, 9248, 9263, 9276, 9287, 9296, 9303, 9309, 9315, 9321, 9327, 9340, 9346, 9352, 9358, 9364, 9370, 9376, 9383, 9392, 9403, 9416, 9431, 9448, 9467, 9488, 9511, 9536, 9563, 9591, 9618, 9643, 9666, 9687, 9706, 9723, 9738, 9751, 9762, 9771, 9778, 9784, 9790, 9796, 9809, 9815, 9821, 9827, 9833, 9839, 9846, 9855, 9866, 9879, 9894, 9911, 9930, 9951, 9974, 9999, 10026, 10055, 10085, 10114, 10141, 10166, 10189, 10210, 10229, 10246, 10261, 10274, 10285, 10294, 10301, 10307, 10313, 10326, 10332, 10338, 10344, 10350, 10357, 10366, 10377, 10390, 10405, 10422, 10441, 10462, 10485, 10510, 10537, 10566, 10597, 10629, 10660, 10689, 10716, 10741, 10764, 10785, 10804, 10821, 10836, 10849, 10860, 10869, 10876, 10882, 10895, 10901, 10907, 10913, 10920, 10929, 10940, 10953, 10968, 10985, 11004, 11025, 11048, 11073, 11100, 11129, 11160, 11193, 11227, 11260, 11291, 11320, 11347, 11372, 11395, 11416, 11435, 11452, 11467, 11480, 11491, 11500, 11507, 11520, 11522, 11525, 11531, 11538, 11547, 11558, 11571, 11586, 11603, 11622, 11643, 11666, 11691, 11718, 11747, 11778, 11811, 11846, 11882, 11917, 11950, 11981, 12010, 12037, 12062, 12085, 12106, 12125, 12142, 12157, 12170, 12181, 12190, 12204]
[2024-05-25 09:44:02] [INFO ] Actually due to overlaps returned [686, 1311, 1880, 2397, 2866, 3291, 3676, 4025, 4342, 4631, 4896, 5141, 5370, 5587, 5796, 6001, 6205, 6410, 6619, 6836, 7065, 7310, 7575, 7864, 8181, 8530, 8915, 9340, 9809, 10326, 10895, 11520, 12204, 4, 6003, 11522]
Discarding 36 places :
Implicit Place search using SMT only with invariants took 62789 ms to find 36 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 12385/15862 places, 21710/25109 transitions.
Applied a total of 0 rules in 132 ms. Remains 12385 /12385 variables (removed 0) and now considering 21710/21710 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 64564 ms. Remains : 12385/15862 places, 21710/25109 transitions.
Initial state reduction rules removed 33 formulas.
[2024-05-25 09:44:06] [INFO ] Flatten gal took : 1995 ms
RANDOM walk for 40000 steps (1586 resets) in 11404 ms. (3 steps per ms) remains 20499/21677 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 48 ms. (2 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 73 ms. (1 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 66 ms. (1 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 82 ms. (1 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 23 ms. (5 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 70 ms. (1 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 54 ms. (2 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 39 ms. (3 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 20 ms. (5 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 37 ms. (3 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 25 ms. (4 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 31 ms. (3 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 65 ms. (1 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 20499/20499 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 20499/20499 properties
[2024-05-25 09:44:07] [INFO ] Flatten gal took : 881 ms
[2024-05-25 09:44:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9395763902564281329.gal : 215 ms
[2024-05-25 09:44:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4782599789364443086.prop : 91 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality9395763902564281329.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality4782599789364443086.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality4782599789364443086.prop.
Interrupted probabilistic random walk after 9827 steps, run timeout after 9002 ms. (steps per millisecond=1 ) properties seen :2725 out of 20499
Probabilistic random walk after 9827 steps, saw 4574 distinct states, run finished after 9009 ms. (steps per millisecond=1 ) properties seen :2725
[2024-05-25 09:44:16] [INFO ] Flow matrix only has 20654 transitions (discarded 1056 similar events)
// Phase 1: matrix 20654 rows 12385 cols
[2024-05-25 09:44:18] [INFO ] Computed 1325 invariants in 1694 ms
[2024-05-25 09:44:18] [INFO ] State equation strengthened by 8098 read => feed constraints.
SMT process timed out in 58190ms, After SMT, problems are : Problem set: 0 solved, 17774 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 10471 out of 12385 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12385/12385 places, 21710/21710 transitions.
Discarding 792 places :
Symmetric choice reduction at 0 with 792 rule applications. Total rules 792 place count 11593 transition count 20918
Iterating global reduction 0 with 792 rules applied. Total rules applied 1584 place count 11593 transition count 20918
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1585 place count 11593 transition count 20917
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1586 place count 11592 transition count 20917
Applied a total of 1586 rules in 1093 ms. Remains 11592 /12385 variables (removed 793) and now considering 20917/21710 (removed 793) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1096 ms. Remains : 11592/12385 places, 20917/21710 transitions.
RANDOM walk for 719860 steps (27778 resets) in 120004 ms. (5 steps per ms) remains 15716/17774 properties
BEST_FIRST walk for 4000 steps (16 resets) in 630 ms. (6 steps per ms) remains 15689/15716 properties
BEST_FIRST walk for 4000 steps (16 resets) in 565 ms. (7 steps per ms) remains 15673/15689 properties
BEST_FIRST walk for 4000 steps (16 resets) in 638 ms. (6 steps per ms) remains 15663/15673 properties
BEST_FIRST walk for 4000 steps (16 resets) in 666 ms. (5 steps per ms) remains 15661/15663 properties
BEST_FIRST walk for 4000 steps (16 resets) in 662 ms. (6 steps per ms) remains 15655/15661 properties
BEST_FIRST walk for 4000 steps (16 resets) in 666 ms. (5 steps per ms) remains 15648/15655 properties
BEST_FIRST walk for 4000 steps (16 resets) in 671 ms. (5 steps per ms) remains 15643/15648 properties
BEST_FIRST walk for 4000 steps (16 resets) in 638 ms. (6 steps per ms) remains 15637/15643 properties
BEST_FIRST walk for 4000 steps (16 resets) in 654 ms. (6 steps per ms) remains 15635/15637 properties
BEST_FIRST walk for 4000 steps (16 resets) in 667 ms. (5 steps per ms) remains 15632/15635 properties
BEST_FIRST walk for 4000 steps (16 resets) in 645 ms. (6 steps per ms) remains 15631/15632 properties
BEST_FIRST walk for 4000 steps (16 resets) in 657 ms. (6 steps per ms) remains 15628/15631 properties
BEST_FIRST walk for 4000 steps (16 resets) in 678 ms. (5 steps per ms) remains 15628/15628 properties
BEST_FIRST walk for 4000 steps (16 resets) in 672 ms. (5 steps per ms) remains 15628/15628 properties
BEST_FIRST walk for 4000 steps (16 resets) in 665 ms. (6 steps per ms) remains 15620/15628 properties
BEST_FIRST walk for 4000 steps (16 resets) in 685 ms. (5 steps per ms) remains 15615/15620 properties
BEST_FIRST walk for 4000 steps (16 resets) in 670 ms. (5 steps per ms) remains 15614/15615 properties
BEST_FIRST walk for 4000 steps (16 resets) in 657 ms. (6 steps per ms) remains 15611/15614 properties
BEST_FIRST walk for 4000 steps (16 resets) in 655 ms. (6 steps per ms) remains 15605/15611 properties
BEST_FIRST walk for 4000 steps (16 resets) in 669 ms. (5 steps per ms) remains 15604/15605 properties
BEST_FIRST walk for 4000 steps (16 resets) in 642 ms. (6 steps per ms) remains 15601/15604 properties
BEST_FIRST walk for 4000 steps (16 resets) in 671 ms. (5 steps per ms) remains 15601/15601 properties
BEST_FIRST walk for 4000 steps (16 resets) in 668 ms. (5 steps per ms) remains 15601/15601 properties
BEST_FIRST walk for 4000 steps (16 resets) in 652 ms. (6 steps per ms) remains 15601/15601 properties
BEST_FIRST walk for 4000 steps (16 resets) in 665 ms. (6 steps per ms) remains 15598/15601 properties
BEST_FIRST walk for 4000 steps (16 resets) in 671 ms. (5 steps per ms) remains 15598/15598 properties
BEST_FIRST walk for 4000 steps (16 resets) in 670 ms. (5 steps per ms) remains 15597/15598 properties
BEST_FIRST walk for 4000 steps (16 resets) in 666 ms. (5 steps per ms) remains 15596/15597 properties
BEST_FIRST walk for 4000 steps (16 resets) in 652 ms. (6 steps per ms) remains 15596/15596 properties
BEST_FIRST walk for 4000 steps (16 resets) in 658 ms. (6 steps per ms) remains 15595/15596 properties
BEST_FIRST walk for 4004 steps (14 resets) in 642 ms. (6 steps per ms) remains 15569/15595 properties
BEST_FIRST walk for 4003 steps (15 resets) in 653 ms. (6 steps per ms) remains 15559/15569 properties
BEST_FIRST walk for 4004 steps (12 resets) in 615 ms. (6 steps per ms) remains 15546/15559 properties
BEST_FIRST walk for 4003 steps (12 resets) in 627 ms. (6 steps per ms) remains 15523/15546 properties
BEST_FIRST walk for 4003 steps (15 resets) in 638 ms. (6 steps per ms) remains 15505/15523 properties
BEST_FIRST walk for 4004 steps (12 resets) in 643 ms. (6 steps per ms) remains 15491/15505 properties
BEST_FIRST walk for 4003 steps (12 resets) in 565 ms. (7 steps per ms) remains 15471/15491 properties
BEST_FIRST walk for 4003 steps (12 resets) in 615 ms. (6 steps per ms) remains 15454/15471 properties
BEST_FIRST walk for 4004 steps (12 resets) in 613 ms. (6 steps per ms) remains 15434/15454 properties
BEST_FIRST walk for 4003 steps (14 resets) in 613 ms. (6 steps per ms) remains 15414/15434 properties
BEST_FIRST walk for 4004 steps (12 resets) in 647 ms. (6 steps per ms) remains 15391/15414 properties
BEST_FIRST walk for 4004 steps (12 resets) in 558 ms. (7 steps per ms) remains 15377/15391 properties
BEST_FIRST walk for 4004 steps (13 resets) in 586 ms. (6 steps per ms) remains 15359/15377 properties
BEST_FIRST walk for 4004 steps (12 resets) in 639 ms. (6 steps per ms) remains 15341/15359 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 15327/15341 properties
BEST_FIRST walk for 4004 steps (12 resets) in 612 ms. (6 steps per ms) remains 15306/15327 properties
BEST_FIRST walk for 4004 steps (16 resets) in 617 ms. (6 steps per ms) remains 15286/15306 properties
BEST_FIRST walk for 4004 steps (12 resets) in 652 ms. (6 steps per ms) remains 15267/15286 properties
BEST_FIRST walk for 4004 steps (12 resets) in 600 ms. (6 steps per ms) remains 15256/15267 properties
BEST_FIRST walk for 4004 steps (12 resets) in 625 ms. (6 steps per ms) remains 15246/15256 properties
BEST_FIRST walk for 4004 steps (13 resets) in 618 ms. (6 steps per ms) remains 15236/15246 properties
BEST_FIRST walk for 4003 steps (12 resets) in 621 ms. (6 steps per ms) remains 15224/15236 properties
BEST_FIRST walk for 4004 steps (12 resets) in 594 ms. (6 steps per ms) remains 15206/15224 properties
BEST_FIRST walk for 4004 steps (12 resets) in 552 ms. (7 steps per ms) remains 15195/15206 properties
BEST_FIRST walk for 4004 steps (13 resets) in 645 ms. (6 steps per ms) remains 15183/15195 properties
BEST_FIRST walk for 4002 steps (14 resets) in 611 ms. (6 steps per ms) remains 15173/15183 properties
BEST_FIRST walk for 4004 steps (12 resets) in 637 ms. (6 steps per ms) remains 15154/15173 properties
BEST_FIRST walk for 4004 steps (12 resets) in 610 ms. (6 steps per ms) remains 15145/15154 properties
BEST_FIRST walk for 4004 steps (14 resets) in 660 ms. (6 steps per ms) remains 15131/15145 properties
BEST_FIRST walk for 4004 steps (12 resets) in 576 ms. (6 steps per ms) remains 15115/15131 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 15100/15115 properties
BEST_FIRST walk for 4004 steps (12 resets) in 627 ms. (6 steps per ms) remains 15087/15100 properties
BEST_FIRST walk for 4004 steps (12 resets) in 617 ms. (6 steps per ms) remains 15073/15087 properties
BEST_FIRST walk for 4002 steps (12 resets) in 628 ms. (6 steps per ms) remains 15066/15073 properties
BEST_FIRST walk for 4003 steps (12 resets) in 603 ms. (6 steps per ms) remains 15064/15066 properties
BEST_FIRST walk for 4004 steps (12 resets) in 565 ms. (7 steps per ms) remains 15046/15064 properties
BEST_FIRST walk for 4004 steps (14 resets) in 597 ms. (6 steps per ms) remains 15034/15046 properties
BEST_FIRST walk for 4004 steps (12 resets) in 608 ms. (6 steps per ms) remains 15019/15034 properties
BEST_FIRST walk for 4003 steps (12 resets) in 629 ms. (6 steps per ms) remains 15004/15019 properties
BEST_FIRST walk for 4003 steps (12 resets) in 633 ms. (6 steps per ms) remains 14993/15004 properties
BEST_FIRST walk for 4004 steps (12 resets) in 612 ms. (6 steps per ms) remains 14986/14993 properties
BEST_FIRST walk for 4004 steps (12 resets) in 591 ms. (6 steps per ms) remains 14981/14986 properties
BEST_FIRST walk for 4004 steps (12 resets) in 646 ms. (6 steps per ms) remains 14978/14981 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 14971/14978 properties
BEST_FIRST walk for 4004 steps (12 resets) in 587 ms. (6 steps per ms) remains 14961/14971 properties
BEST_FIRST walk for 4004 steps (12 resets) in 631 ms. (6 steps per ms) remains 14949/14961 properties
BEST_FIRST walk for 4004 steps (12 resets) in 639 ms. (6 steps per ms) remains 14937/14949 properties
BEST_FIRST walk for 4004 steps (12 resets) in 617 ms. (6 steps per ms) remains 14917/14937 properties
BEST_FIRST walk for 4003 steps (14 resets) in 643 ms. (6 steps per ms) remains 14908/14917 properties
BEST_FIRST walk for 4004 steps (16 resets) in 653 ms. (6 steps per ms) remains 14896/14908 properties
BEST_FIRST walk for 4004 steps (12 resets) in 601 ms. (6 steps per ms) remains 14879/14896 properties
BEST_FIRST walk for 4004 steps (12 resets) in 637 ms. (6 steps per ms) remains 14868/14879 properties
BEST_FIRST walk for 4003 steps (12 resets) in 624 ms. (6 steps per ms) remains 14856/14868 properties
BEST_FIRST walk for 4003 steps (12 resets) in 671 ms. (5 steps per ms) remains 14849/14856 properties
BEST_FIRST walk for 4004 steps (13 resets) in 634 ms. (6 steps per ms) remains 14842/14849 properties
BEST_FIRST walk for 4004 steps (12 resets) in 612 ms. (6 steps per ms) remains 14833/14842 properties
BEST_FIRST walk for 4004 steps (12 resets) in 618 ms. (6 steps per ms) remains 14824/14833 properties
BEST_FIRST walk for 4004 steps (13 resets) in 668 ms. (5 steps per ms) remains 14820/14824 properties
BEST_FIRST walk for 4004 steps (12 resets) in 630 ms. (6 steps per ms) remains 14810/14820 properties
BEST_FIRST walk for 4002 steps (12 resets) in 590 ms. (6 steps per ms) remains 14802/14810 properties
BEST_FIRST walk for 4004 steps (12 resets) in 635 ms. (6 steps per ms) remains 14794/14802 properties
BEST_FIRST walk for 4004 steps (12 resets) in 622 ms. (6 steps per ms) remains 14781/14794 properties
BEST_FIRST walk for 4002 steps (12 resets) in 604 ms. (6 steps per ms) remains 14777/14781 properties
BEST_FIRST walk for 4003 steps (12 resets) in 603 ms. (6 steps per ms) remains 14764/14777 properties
BEST_FIRST walk for 4002 steps (14 resets) in 605 ms. (6 steps per ms) remains 14751/14764 properties
BEST_FIRST walk for 4004 steps (12 resets) in 608 ms. (6 steps per ms) remains 14741/14751 properties
BEST_FIRST walk for 4004 steps (13 resets) in 612 ms. (6 steps per ms) remains 14739/14741 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 14724/14739 properties
BEST_FIRST walk for 4004 steps (12 resets) in 542 ms. (7 steps per ms) remains 14714/14724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 612 ms. (6 steps per ms) remains 14709/14714 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 14703/14709 properties
BEST_FIRST walk for 4004 steps (12 resets) in 611 ms. (6 steps per ms) remains 14693/14703 properties
BEST_FIRST walk for 4003 steps (12 resets) in 620 ms. (6 steps per ms) remains 14683/14693 properties
BEST_FIRST walk for 4004 steps (12 resets) in 600 ms. (6 steps per ms) remains 14673/14683 properties
BEST_FIRST walk for 4003 steps (12 resets) in 595 ms. (6 steps per ms) remains 14654/14673 properties
BEST_FIRST walk for 4004 steps (12 resets) in 669 ms. (5 steps per ms) remains 14645/14654 properties
BEST_FIRST walk for 4004 steps (12 resets) in 618 ms. (6 steps per ms) remains 14640/14645 properties
BEST_FIRST walk for 4004 steps (12 resets) in 529 ms. (7 steps per ms) remains 14629/14640 properties
BEST_FIRST walk for 4004 steps (12 resets) in 536 ms. (7 steps per ms) remains 14620/14629 properties
BEST_FIRST walk for 4004 steps (12 resets) in 523 ms. (7 steps per ms) remains 14617/14620 properties
BEST_FIRST walk for 4004 steps (12 resets) in 523 ms. (7 steps per ms) remains 14600/14617 properties
BEST_FIRST walk for 4003 steps (15 resets) in 645 ms. (6 steps per ms) remains 14591/14600 properties
BEST_FIRST walk for 4004 steps (12 resets) in 454 ms. (8 steps per ms) remains 14581/14591 properties
BEST_FIRST walk for 4003 steps (12 resets) in 506 ms. (7 steps per ms) remains 14566/14581 properties
BEST_FIRST walk for 4004 steps (12 resets) in 558 ms. (7 steps per ms) remains 14550/14566 properties
BEST_FIRST walk for 4004 steps (12 resets) in 611 ms. (6 steps per ms) remains 14540/14550 properties
BEST_FIRST walk for 4004 steps (12 resets) in 520 ms. (7 steps per ms) remains 14528/14540 properties
BEST_FIRST walk for 4004 steps (12 resets) in 568 ms. (7 steps per ms) remains 14519/14528 properties
BEST_FIRST walk for 4003 steps (12 resets) in 603 ms. (6 steps per ms) remains 14509/14519 properties
BEST_FIRST walk for 4004 steps (12 resets) in 543 ms. (7 steps per ms) remains 14499/14509 properties
BEST_FIRST walk for 4003 steps (13 resets) in 540 ms. (7 steps per ms) remains 14496/14499 properties
BEST_FIRST walk for 4003 steps (12 resets) in 537 ms. (7 steps per ms) remains 14491/14496 properties
BEST_FIRST walk for 4004 steps (13 resets) in 551 ms. (7 steps per ms) remains 14482/14491 properties
BEST_FIRST walk for 4004 steps (12 resets) in 548 ms. (7 steps per ms) remains 14468/14482 properties
BEST_FIRST walk for 4004 steps (12 resets) in 504 ms. (7 steps per ms) remains 14462/14468 properties
BEST_FIRST walk for 4004 steps (12 resets) in 563 ms. (7 steps per ms) remains 14452/14462 properties
BEST_FIRST walk for 4004 steps (12 resets) in 495 ms. (8 steps per ms) remains 14445/14452 properties
BEST_FIRST walk for 4003 steps (12 resets) in 518 ms. (7 steps per ms) remains 14437/14445 properties
BEST_FIRST walk for 4003 steps (12 resets) in 568 ms. (7 steps per ms) remains 14433/14437 properties
BEST_FIRST walk for 4003 steps (13 resets) in 598 ms. (6 steps per ms) remains 14419/14433 properties
BEST_FIRST walk for 4004 steps (14 resets) in 594 ms. (6 steps per ms) remains 14413/14419 properties
BEST_FIRST walk for 4003 steps (12 resets) in 560 ms. (7 steps per ms) remains 14399/14413 properties
BEST_FIRST walk for 4004 steps (14 resets) in 642 ms. (6 steps per ms) remains 14387/14399 properties
BEST_FIRST walk for 4004 steps (13 resets) in 636 ms. (6 steps per ms) remains 14379/14387 properties
BEST_FIRST walk for 4004 steps (12 resets) in 579 ms. (6 steps per ms) remains 14369/14379 properties
BEST_FIRST walk for 4004 steps (12 resets) in 533 ms. (7 steps per ms) remains 14356/14369 properties
BEST_FIRST walk for 4004 steps (12 resets) in 464 ms. (8 steps per ms) remains 14348/14356 properties
BEST_FIRST walk for 4003 steps (12 resets) in 562 ms. (7 steps per ms) remains 14338/14348 properties
BEST_FIRST walk for 4004 steps (12 resets) in 531 ms. (7 steps per ms) remains 14331/14338 properties
BEST_FIRST walk for 4002 steps (12 resets) in 557 ms. (7 steps per ms) remains 14322/14331 properties
BEST_FIRST walk for 4004 steps (12 resets) in 558 ms. (7 steps per ms) remains 14315/14322 properties
BEST_FIRST walk for 4004 steps (12 resets) in 623 ms. (6 steps per ms) remains 14313/14315 properties
BEST_FIRST walk for 4004 steps (12 resets) in 516 ms. (7 steps per ms) remains 14307/14313 properties
BEST_FIRST walk for 4004 steps (12 resets) in 618 ms. (6 steps per ms) remains 14305/14307 properties
BEST_FIRST walk for 4004 steps (12 resets) in 586 ms. (6 steps per ms) remains 14299/14305 properties
BEST_FIRST walk for 4004 steps (13 resets) in 567 ms. (7 steps per ms) remains 14295/14299 properties
BEST_FIRST walk for 4004 steps (12 resets) in 565 ms. (7 steps per ms) remains 14284/14295 properties
BEST_FIRST walk for 4004 steps (12 resets) in 525 ms. (7 steps per ms) remains 14281/14284 properties
BEST_FIRST walk for 4004 steps (13 resets) in 593 ms. (6 steps per ms) remains 14276/14281 properties
BEST_FIRST walk for 4004 steps (12 resets) in 587 ms. (6 steps per ms) remains 14269/14276 properties
BEST_FIRST walk for 4004 steps (13 resets) in 597 ms. (6 steps per ms) remains 14262/14269 properties
BEST_FIRST walk for 4003 steps (13 resets) in 583 ms. (6 steps per ms) remains 14251/14262 properties
BEST_FIRST walk for 4003 steps (12 resets) in 567 ms. (7 steps per ms) remains 14231/14251 properties
BEST_FIRST walk for 4004 steps (12 resets) in 504 ms. (7 steps per ms) remains 14224/14231 properties
BEST_FIRST walk for 4004 steps (13 resets) in 580 ms. (6 steps per ms) remains 14216/14224 properties
BEST_FIRST walk for 4004 steps (12 resets) in 503 ms. (7 steps per ms) remains 14206/14216 properties
BEST_FIRST walk for 4004 steps (12 resets) in 492 ms. (8 steps per ms) remains 14199/14206 properties
BEST_FIRST walk for 4003 steps (12 resets) in 579 ms. (6 steps per ms) remains 14193/14199 properties
BEST_FIRST walk for 4003 steps (13 resets) in 616 ms. (6 steps per ms) remains 14185/14193 properties
BEST_FIRST walk for 4004 steps (12 resets) in 644 ms. (6 steps per ms) remains 14178/14185 properties
BEST_FIRST walk for 4004 steps (12 resets) in 562 ms. (7 steps per ms) remains 14175/14178 properties
BEST_FIRST walk for 4003 steps (12 resets) in 518 ms. (7 steps per ms) remains 14167/14175 properties
BEST_FIRST walk for 4004 steps (14 resets) in 522 ms. (7 steps per ms) remains 14161/14167 properties
BEST_FIRST walk for 4004 steps (13 resets) in 603 ms. (6 steps per ms) remains 14159/14161 properties
BEST_FIRST walk for 4004 steps (12 resets) in 553 ms. (7 steps per ms) remains 14150/14159 properties
BEST_FIRST walk for 4003 steps (12 resets) in 556 ms. (7 steps per ms) remains 14140/14150 properties
BEST_FIRST walk for 4004 steps (12 resets) in 604 ms. (6 steps per ms) remains 14132/14140 properties
BEST_FIRST walk for 4004 steps (12 resets) in 602 ms. (6 steps per ms) remains 14123/14132 properties
BEST_FIRST walk for 4003 steps (12 resets) in 553 ms. (7 steps per ms) remains 14119/14123 properties
BEST_FIRST walk for 4004 steps (13 resets) in 507 ms. (7 steps per ms) remains 14111/14119 properties
BEST_FIRST walk for 4004 steps (12 resets) in 560 ms. (7 steps per ms) remains 14106/14111 properties
BEST_FIRST walk for 4002 steps (12 resets) in 633 ms. (6 steps per ms) remains 14100/14106 properties
BEST_FIRST walk for 4003 steps (12 resets) in 592 ms. (6 steps per ms) remains 14096/14100 properties
BEST_FIRST walk for 4004 steps (12 resets) in 511 ms. (7 steps per ms) remains 14089/14096 properties
BEST_FIRST walk for 4003 steps (15 resets) in 551 ms. (7 steps per ms) remains 14079/14089 properties
BEST_FIRST walk for 4004 steps (12 resets) in 585 ms. (6 steps per ms) remains 14073/14079 properties
BEST_FIRST walk for 4003 steps (12 resets) in 565 ms. (7 steps per ms) remains 14065/14073 properties
BEST_FIRST walk for 4003 steps (13 resets) in 543 ms. (7 steps per ms) remains 14054/14065 properties
BEST_FIRST walk for 4004 steps (12 resets) in 600 ms. (6 steps per ms) remains 14048/14054 properties
BEST_FIRST walk for 4003 steps (13 resets) in 566 ms. (7 steps per ms) remains 14040/14048 properties
BEST_FIRST walk for 4004 steps (12 resets) in 500 ms. (7 steps per ms) remains 14036/14040 properties
BEST_FIRST walk for 4003 steps (12 resets) in 545 ms. (7 steps per ms) remains 14029/14036 properties
BEST_FIRST walk for 4004 steps (13 resets) in 637 ms. (6 steps per ms) remains 14027/14029 properties
BEST_FIRST walk for 4004 steps (12 resets) in 523 ms. (7 steps per ms) remains 14022/14027 properties
BEST_FIRST walk for 4003 steps (12 resets) in 593 ms. (6 steps per ms) remains 14016/14022 properties
BEST_FIRST walk for 4004 steps (12 resets) in 572 ms. (6 steps per ms) remains 14015/14016 properties
BEST_FIRST walk for 4004 steps (12 resets) in 482 ms. (8 steps per ms) remains 14009/14015 properties
BEST_FIRST walk for 4004 steps (12 resets) in 591 ms. (6 steps per ms) remains 14006/14009 properties
BEST_FIRST walk for 4004 steps (12 resets) in 620 ms. (6 steps per ms) remains 14000/14006 properties
BEST_FIRST walk for 4004 steps (12 resets) in 612 ms. (6 steps per ms) remains 13996/14000 properties
BEST_FIRST walk for 4004 steps (13 resets) in 641 ms. (6 steps per ms) remains 13992/13996 properties
BEST_FIRST walk for 4004 steps (12 resets) in 483 ms. (8 steps per ms) remains 13992/13992 properties
BEST_FIRST walk for 4004 steps (12 resets) in 627 ms. (6 steps per ms) remains 13990/13992 properties
BEST_FIRST walk for 4003 steps (12 resets) in 570 ms. (7 steps per ms) remains 13987/13990 properties
BEST_FIRST walk for 4004 steps (13 resets) in 522 ms. (7 steps per ms) remains 13976/13987 properties
BEST_FIRST walk for 4004 steps (12 resets) in 513 ms. (7 steps per ms) remains 13972/13976 properties
BEST_FIRST walk for 4004 steps (12 resets) in 467 ms. (8 steps per ms) remains 13962/13972 properties
BEST_FIRST walk for 4003 steps (13 resets) in 479 ms. (8 steps per ms) remains 13957/13962 properties
BEST_FIRST walk for 4003 steps (12 resets) in 551 ms. (7 steps per ms) remains 13952/13957 properties
BEST_FIRST walk for 4003 steps (15 resets) in 595 ms. (6 steps per ms) remains 13947/13952 properties
BEST_FIRST walk for 4004 steps (12 resets) in 560 ms. (7 steps per ms) remains 13944/13947 properties
BEST_FIRST walk for 4004 steps (12 resets) in 525 ms. (7 steps per ms) remains 13935/13944 properties
BEST_FIRST walk for 4003 steps (13 resets) in 646 ms. (6 steps per ms) remains 13927/13935 properties
BEST_FIRST walk for 4002 steps (12 resets) in 556 ms. (7 steps per ms) remains 13925/13927 properties
BEST_FIRST walk for 4004 steps (12 resets) in 553 ms. (7 steps per ms) remains 13920/13925 properties
BEST_FIRST walk for 4004 steps (13 resets) in 623 ms. (6 steps per ms) remains 13919/13920 properties
BEST_FIRST walk for 4004 steps (12 resets) in 610 ms. (6 steps per ms) remains 13917/13919 properties
BEST_FIRST walk for 4004 steps (12 resets) in 495 ms. (8 steps per ms) remains 13910/13917 properties
BEST_FIRST walk for 4003 steps (12 resets) in 544 ms. (7 steps per ms) remains 13908/13910 properties
BEST_FIRST walk for 4003 steps (12 resets) in 533 ms. (7 steps per ms) remains 13901/13908 properties
BEST_FIRST walk for 4004 steps (12 resets) in 634 ms. (6 steps per ms) remains 13897/13901 properties
BEST_FIRST walk for 4003 steps (12 resets) in 595 ms. (6 steps per ms) remains 13895/13897 properties
BEST_FIRST walk for 4004 steps (12 resets) in 587 ms. (6 steps per ms) remains 13893/13895 properties
BEST_FIRST walk for 4004 steps (13 resets) in 580 ms. (6 steps per ms) remains 13885/13893 properties
BEST_FIRST walk for 4004 steps (12 resets) in 518 ms. (7 steps per ms) remains 13877/13885 properties
BEST_FIRST walk for 4004 steps (12 resets) in 515 ms. (7 steps per ms) remains 13874/13877 properties
BEST_FIRST walk for 4004 steps (12 resets) in 499 ms. (8 steps per ms) remains 13873/13874 properties
BEST_FIRST walk for 4004 steps (12 resets) in 530 ms. (7 steps per ms) remains 13863/13873 properties
BEST_FIRST walk for 4004 steps (12 resets) in 558 ms. (7 steps per ms) remains 13859/13863 properties
BEST_FIRST walk for 4004 steps (13 resets) in 632 ms. (6 steps per ms) remains 13854/13859 properties
BEST_FIRST walk for 4004 steps (13 resets) in 603 ms. (6 steps per ms) remains 13852/13854 properties
BEST_FIRST walk for 4002 steps (14 resets) in 579 ms. (6 steps per ms) remains 13849/13852 properties
BEST_FIRST walk for 4004 steps (12 resets) in 633 ms. (6 steps per ms) remains 13847/13849 properties
BEST_FIRST walk for 4003 steps (12 resets) in 565 ms. (7 steps per ms) remains 13840/13847 properties
BEST_FIRST walk for 4003 steps (12 resets) in 612 ms. (6 steps per ms) remains 13833/13840 properties
BEST_FIRST walk for 4004 steps (12 resets) in 518 ms. (7 steps per ms) remains 13827/13833 properties
BEST_FIRST walk for 4004 steps (12 resets) in 598 ms. (6 steps per ms) remains 13823/13827 properties
BEST_FIRST walk for 4003 steps (13 resets) in 556 ms. (7 steps per ms) remains 13820/13823 properties
BEST_FIRST walk for 4004 steps (12 resets) in 514 ms. (7 steps per ms) remains 13815/13820 properties
BEST_FIRST walk for 4004 steps (12 resets) in 563 ms. (7 steps per ms) remains 13813/13815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 524 ms. (7 steps per ms) remains 13810/13813 properties
BEST_FIRST walk for 4004 steps (12 resets) in 575 ms. (6 steps per ms) remains 13806/13810 properties
BEST_FIRST walk for 4004 steps (12 resets) in 622 ms. (6 steps per ms) remains 13799/13806 properties
BEST_FIRST walk for 4004 steps (13 resets) in 475 ms. (8 steps per ms) remains 13794/13799 properties
BEST_FIRST walk for 4003 steps (13 resets) in 546 ms. (7 steps per ms) remains 13790/13794 properties
BEST_FIRST walk for 4004 steps (13 resets) in 608 ms. (6 steps per ms) remains 13788/13790 properties
BEST_FIRST walk for 4004 steps (14 resets) in 601 ms. (6 steps per ms) remains 13784/13788 properties
BEST_FIRST walk for 4003 steps (12 resets) in 499 ms. (8 steps per ms) remains 13783/13784 properties
BEST_FIRST walk for 4003 steps (13 resets) in 626 ms. (6 steps per ms) remains 13779/13783 properties
BEST_FIRST walk for 4002 steps (12 resets) in 570 ms. (7 steps per ms) remains 13776/13779 properties
BEST_FIRST walk for 4004 steps (12 resets) in 512 ms. (7 steps per ms) remains 13773/13776 properties
BEST_FIRST walk for 4004 steps (13 resets) in 525 ms. (7 steps per ms) remains 13764/13773 properties
BEST_FIRST walk for 4004 steps (13 resets) in 564 ms. (7 steps per ms) remains 13757/13764 properties
BEST_FIRST walk for 4003 steps (12 resets) in 515 ms. (7 steps per ms) remains 13753/13757 properties
BEST_FIRST walk for 4004 steps (14 resets) in 526 ms. (7 steps per ms) remains 13745/13753 properties
BEST_FIRST walk for 4004 steps (13 resets) in 617 ms. (6 steps per ms) remains 13737/13745 properties
BEST_FIRST walk for 4003 steps (12 resets) in 567 ms. (7 steps per ms) remains 13729/13737 properties
BEST_FIRST walk for 4004 steps (12 resets) in 563 ms. (7 steps per ms) remains 13727/13729 properties
BEST_FIRST walk for 4002 steps (12 resets) in 637 ms. (6 steps per ms) remains 13721/13727 properties
BEST_FIRST walk for 4003 steps (13 resets) in 542 ms. (7 steps per ms) remains 13721/13721 properties
BEST_FIRST walk for 4004 steps (12 resets) in 511 ms. (7 steps per ms) remains 13711/13721 properties
BEST_FIRST walk for 4004 steps (12 resets) in 523 ms. (7 steps per ms) remains 13710/13711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 508 ms. (7 steps per ms) remains 13706/13710 properties
BEST_FIRST walk for 4004 steps (13 resets) in 559 ms. (7 steps per ms) remains 13697/13706 properties
BEST_FIRST walk for 4003 steps (13 resets) in 520 ms. (7 steps per ms) remains 13677/13697 properties
BEST_FIRST walk for 4004 steps (12 resets) in 504 ms. (7 steps per ms) remains 13674/13677 properties
BEST_FIRST walk for 4003 steps (12 resets) in 606 ms. (6 steps per ms) remains 13668/13674 properties
BEST_FIRST walk for 4003 steps (12 resets) in 547 ms. (7 steps per ms) remains 13667/13668 properties
BEST_FIRST walk for 4004 steps (13 resets) in 510 ms. (7 steps per ms) remains 13664/13667 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 13657/13664 properties
BEST_FIRST walk for 4003 steps (13 resets) in 624 ms. (6 steps per ms) remains 13654/13657 properties
BEST_FIRST walk for 4004 steps (12 resets) in 517 ms. (7 steps per ms) remains 13653/13654 properties
BEST_FIRST walk for 4004 steps (12 resets) in 595 ms. (6 steps per ms) remains 13648/13653 properties
BEST_FIRST walk for 4004 steps (13 resets) in 545 ms. (7 steps per ms) remains 13640/13648 properties
BEST_FIRST walk for 4003 steps (13 resets) in 594 ms. (6 steps per ms) remains 13639/13640 properties
BEST_FIRST walk for 4004 steps (12 resets) in 614 ms. (6 steps per ms) remains 13631/13639 properties
BEST_FIRST walk for 4004 steps (12 resets) in 550 ms. (7 steps per ms) remains 13631/13631 properties
BEST_FIRST walk for 4003 steps (12 resets) in 628 ms. (6 steps per ms) remains 13628/13631 properties
BEST_FIRST walk for 4003 steps (12 resets) in 551 ms. (7 steps per ms) remains 13625/13628 properties
BEST_FIRST walk for 4004 steps (12 resets) in 489 ms. (8 steps per ms) remains 13622/13625 properties
BEST_FIRST walk for 4004 steps (12 resets) in 521 ms. (7 steps per ms) remains 13619/13622 properties
BEST_FIRST walk for 4004 steps (12 resets) in 616 ms. (6 steps per ms) remains 13618/13619 properties
BEST_FIRST walk for 4004 steps (13 resets) in 623 ms. (6 steps per ms) remains 13615/13618 properties
BEST_FIRST walk for 4004 steps (12 resets) in 627 ms. (6 steps per ms) remains 13612/13615 properties
BEST_FIRST walk for 4004 steps (12 resets) in 594 ms. (6 steps per ms) remains 13604/13612 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 13601/13604 properties
BEST_FIRST walk for 4004 steps (12 resets) in 569 ms. (7 steps per ms) remains 13599/13601 properties
BEST_FIRST walk for 4003 steps (13 resets) in 618 ms. (6 steps per ms) remains 13596/13599 properties
BEST_FIRST walk for 4004 steps (12 resets) in 592 ms. (6 steps per ms) remains 13596/13596 properties
BEST_FIRST walk for 4004 steps (13 resets) in 567 ms. (7 steps per ms) remains 13589/13596 properties
BEST_FIRST walk for 4003 steps (12 resets) in 605 ms. (6 steps per ms) remains 13589/13589 properties
BEST_FIRST walk for 4004 steps (12 resets) in 637 ms. (6 steps per ms) remains 13585/13589 properties
BEST_FIRST walk for 4003 steps (12 resets) in 651 ms. (6 steps per ms) remains 13582/13585 properties
BEST_FIRST walk for 4004 steps (12 resets) in 604 ms. (6 steps per ms) remains 13581/13582 properties
BEST_FIRST walk for 4004 steps (12 resets) in 625 ms. (6 steps per ms) remains 13579/13581 properties
BEST_FIRST walk for 4003 steps (12 resets) in 597 ms. (6 steps per ms) remains 13577/13579 properties
BEST_FIRST walk for 4003 steps (13 resets) in 603 ms. (6 steps per ms) remains 13575/13577 properties
BEST_FIRST walk for 4004 steps (12 resets) in 652 ms. (6 steps per ms) remains 13573/13575 properties
BEST_FIRST walk for 4004 steps (12 resets) in 584 ms. (6 steps per ms) remains 13573/13573 properties
BEST_FIRST walk for 4004 steps (12 resets) in 582 ms. (6 steps per ms) remains 13571/13573 properties
BEST_FIRST walk for 4004 steps (12 resets) in 617 ms. (6 steps per ms) remains 13571/13571 properties
BEST_FIRST walk for 4002 steps (12 resets) in 602 ms. (6 steps per ms) remains 13566/13571 properties
BEST_FIRST walk for 4004 steps (12 resets) in 548 ms. (7 steps per ms) remains 13564/13566 properties
BEST_FIRST walk for 4004 steps (12 resets) in 502 ms. (7 steps per ms) remains 13562/13564 properties
BEST_FIRST walk for 4003 steps (12 resets) in 601 ms. (6 steps per ms) remains 13561/13562 properties
BEST_FIRST walk for 4004 steps (13 resets) in 559 ms. (7 steps per ms) remains 13558/13561 properties
BEST_FIRST walk for 4003 steps (13 resets) in 516 ms. (7 steps per ms) remains 13557/13558 properties
BEST_FIRST walk for 4004 steps (12 resets) in 611 ms. (6 steps per ms) remains 13555/13557 properties
BEST_FIRST walk for 4004 steps (12 resets) in 568 ms. (7 steps per ms) remains 13555/13555 properties
BEST_FIRST walk for 4004 steps (13 resets) in 572 ms. (6 steps per ms) remains 13551/13555 properties
BEST_FIRST walk for 4002 steps (12 resets) in 592 ms. (6 steps per ms) remains 13545/13551 properties
BEST_FIRST walk for 4004 steps (13 resets) in 522 ms. (7 steps per ms) remains 13543/13545 properties
BEST_FIRST walk for 4004 steps (12 resets) in 577 ms. (6 steps per ms) remains 13540/13543 properties
BEST_FIRST walk for 4004 steps (13 resets) in 557 ms. (7 steps per ms) remains 13536/13540 properties
BEST_FIRST walk for 4003 steps (13 resets) in 652 ms. (6 steps per ms) remains 13536/13536 properties
BEST_FIRST walk for 4004 steps (12 resets) in 609 ms. (6 steps per ms) remains 13533/13536 properties
BEST_FIRST walk for 4004 steps (12 resets) in 629 ms. (6 steps per ms) remains 13533/13533 properties
BEST_FIRST walk for 4003 steps (12 resets) in 583 ms. (6 steps per ms) remains 13527/13533 properties
BEST_FIRST walk for 4004 steps (12 resets) in 574 ms. (6 steps per ms) remains 13526/13527 properties
BEST_FIRST walk for 4004 steps (13 resets) in 578 ms. (6 steps per ms) remains 13524/13526 properties
BEST_FIRST walk for 4004 steps (14 resets) in 593 ms. (6 steps per ms) remains 13524/13524 properties
BEST_FIRST walk for 4003 steps (13 resets) in 622 ms. (6 steps per ms) remains 13524/13524 properties
BEST_FIRST walk for 4004 steps (12 resets) in 568 ms. (7 steps per ms) remains 13520/13524 properties
BEST_FIRST walk for 4004 steps (12 resets) in 543 ms. (7 steps per ms) remains 13514/13520 properties
BEST_FIRST walk for 4003 steps (12 resets) in 506 ms. (7 steps per ms) remains 13509/13514 properties
BEST_FIRST walk for 4004 steps (12 resets) in 589 ms. (6 steps per ms) remains 13507/13509 properties
BEST_FIRST walk for 4001 steps (13 resets) in 563 ms. (7 steps per ms) remains 13504/13507 properties
BEST_FIRST walk for 4004 steps (12 resets) in 602 ms. (6 steps per ms) remains 13499/13504 properties
BEST_FIRST walk for 4003 steps (12 resets) in 529 ms. (7 steps per ms) remains 13497/13499 properties
BEST_FIRST walk for 4004 steps (13 resets) in 628 ms. (6 steps per ms) remains 13497/13497 properties
BEST_FIRST walk for 4004 steps (13 resets) in 635 ms. (6 steps per ms) remains 13493/13497 properties
BEST_FIRST walk for 4004 steps (13 resets) in 537 ms. (7 steps per ms) remains 13493/13493 properties
BEST_FIRST walk for 4004 steps (12 resets) in 621 ms. (6 steps per ms) remains 13493/13493 properties
BEST_FIRST walk for 4003 steps (12 resets) in 586 ms. (6 steps per ms) remains 13489/13493 properties
BEST_FIRST walk for 4004 steps (12 resets) in 567 ms. (7 steps per ms) remains 13486/13489 properties
BEST_FIRST walk for 4003 steps (13 resets) in 632 ms. (6 steps per ms) remains 13485/13486 properties
BEST_FIRST walk for 4004 steps (13 resets) in 558 ms. (7 steps per ms) remains 13485/13485 properties
BEST_FIRST walk for 4004 steps (12 resets) in 560 ms. (7 steps per ms) remains 13483/13485 properties
BEST_FIRST walk for 4004 steps (12 resets) in 546 ms. (7 steps per ms) remains 13478/13483 properties
BEST_FIRST walk for 4004 steps (12 resets) in 600 ms. (6 steps per ms) remains 13478/13478 properties
BEST_FIRST walk for 4004 steps (13 resets) in 597 ms. (6 steps per ms) remains 13473/13478 properties
BEST_FIRST walk for 4004 steps (12 resets) in 522 ms. (7 steps per ms) remains 13471/13473 properties
BEST_FIRST walk for 4002 steps (12 resets) in 537 ms. (7 steps per ms) remains 13470/13471 properties
BEST_FIRST walk for 4004 steps (12 resets) in 537 ms. (7 steps per ms) remains 13469/13470 properties
BEST_FIRST walk for 4004 steps (12 resets) in 608 ms. (6 steps per ms) remains 13468/13469 properties
BEST_FIRST walk for 4003 steps (12 resets) in 556 ms. (7 steps per ms) remains 13463/13468 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 13460/13463 properties
BEST_FIRST walk for 4003 steps (13 resets) in 532 ms. (7 steps per ms) remains 13457/13460 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 13457/13457 properties
BEST_FIRST walk for 4004 steps (12 resets) in 525 ms. (7 steps per ms) remains 13453/13457 properties
BEST_FIRST walk for 4004 steps (12 resets) in 551 ms. (7 steps per ms) remains 13450/13453 properties
BEST_FIRST walk for 4004 steps (13 resets) in 542 ms. (7 steps per ms) remains 13446/13450 properties
BEST_FIRST walk for 4004 steps (12 resets) in 641 ms. (6 steps per ms) remains 13446/13446 properties
BEST_FIRST walk for 4003 steps (13 resets) in 532 ms. (7 steps per ms) remains 13444/13446 properties
BEST_FIRST walk for 4004 steps (12 resets) in 521 ms. (7 steps per ms) remains 13439/13444 properties
BEST_FIRST walk for 4004 steps (13 resets) in 521 ms. (7 steps per ms) remains 13436/13439 properties
BEST_FIRST walk for 4003 steps (13 resets) in 607 ms. (6 steps per ms) remains 13436/13436 properties
BEST_FIRST walk for 4004 steps (12 resets) in 544 ms. (7 steps per ms) remains 13431/13436 properties
BEST_FIRST walk for 4003 steps (12 resets) in 555 ms. (7 steps per ms) remains 13429/13431 properties
BEST_FIRST walk for 4003 steps (12 resets) in 589 ms. (6 steps per ms) remains 13425/13429 properties
BEST_FIRST walk for 4004 steps (13 resets) in 575 ms. (6 steps per ms) remains 13425/13425 properties
BEST_FIRST walk for 4004 steps (12 resets) in 529 ms. (7 steps per ms) remains 13424/13425 properties
BEST_FIRST walk for 4003 steps (12 resets) in 578 ms. (6 steps per ms) remains 13419/13424 properties
BEST_FIRST walk for 4004 steps (12 resets) in 478 ms. (8 steps per ms) remains 13414/13419 properties
BEST_FIRST walk for 4003 steps (12 resets) in 579 ms. (6 steps per ms) remains 13414/13414 properties
BEST_FIRST walk for 4004 steps (13 resets) in 577 ms. (6 steps per ms) remains 13410/13414 properties
BEST_FIRST walk for 4004 steps (12 resets) in 561 ms. (7 steps per ms) remains 13408/13410 properties
BEST_FIRST walk for 4004 steps (12 resets) in 578 ms. (6 steps per ms) remains 13405/13408 properties
BEST_FIRST walk for 4003 steps (13 resets) in 540 ms. (7 steps per ms) remains 13403/13405 properties
BEST_FIRST walk for 4004 steps (12 resets) in 627 ms. (6 steps per ms) remains 13401/13403 properties
BEST_FIRST walk for 4004 steps (12 resets) in 622 ms. (6 steps per ms) remains 13401/13401 properties
BEST_FIRST walk for 4003 steps (12 resets) in 659 ms. (6 steps per ms) remains 13399/13401 properties
BEST_FIRST walk for 4003 steps (16 resets) in 605 ms. (6 steps per ms) remains 13398/13399 properties
BEST_FIRST walk for 4003 steps (12 resets) in 577 ms. (6 steps per ms) remains 13398/13398 properties
BEST_FIRST walk for 4003 steps (13 resets) in 608 ms. (6 steps per ms) remains 13396/13398 properties
BEST_FIRST walk for 4004 steps (12 resets) in 555 ms. (7 steps per ms) remains 13396/13396 properties
BEST_FIRST walk for 4004 steps (13 resets) in 526 ms. (7 steps per ms) remains 13395/13396 properties
BEST_FIRST walk for 4004 steps (12 resets) in 544 ms. (7 steps per ms) remains 13395/13395 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 13392/13395 properties
BEST_FIRST walk for 4004 steps (12 resets) in 556 ms. (7 steps per ms) remains 13392/13392 properties
BEST_FIRST walk for 4004 steps (13 resets) in 545 ms. (7 steps per ms) remains 13392/13392 properties
BEST_FIRST walk for 4003 steps (12 resets) in 529 ms. (7 steps per ms) remains 13391/13392 properties
BEST_FIRST walk for 4004 steps (12 resets) in 629 ms. (6 steps per ms) remains 13384/13391 properties
BEST_FIRST walk for 4003 steps (12 resets) in 520 ms. (7 steps per ms) remains 13384/13384 properties
BEST_FIRST walk for 4004 steps (14 resets) in 645 ms. (6 steps per ms) remains 13381/13384 properties
BEST_FIRST walk for 4004 steps (13 resets) in 496 ms. (8 steps per ms) remains 13380/13381 properties
BEST_FIRST walk for 4003 steps (12 resets) in 619 ms. (6 steps per ms) remains 13377/13380 properties
BEST_FIRST walk for 4003 steps (12 resets) in 527 ms. (7 steps per ms) remains 13377/13377 properties
BEST_FIRST walk for 4004 steps (12 resets) in 546 ms. (7 steps per ms) remains 13375/13377 properties
BEST_FIRST walk for 4003 steps (12 resets) in 580 ms. (6 steps per ms) remains 13375/13375 properties
BEST_FIRST walk for 4004 steps (13 resets) in 571 ms. (7 steps per ms) remains 13372/13375 properties
BEST_FIRST walk for 4004 steps (12 resets) in 547 ms. (7 steps per ms) remains 13370/13372 properties
BEST_FIRST walk for 4004 steps (12 resets) in 607 ms. (6 steps per ms) remains 13370/13370 properties
BEST_FIRST walk for 4002 steps (12 resets) in 577 ms. (6 steps per ms) remains 13364/13370 properties
BEST_FIRST walk for 4004 steps (13 resets) in 573 ms. (6 steps per ms) remains 13362/13364 properties
BEST_FIRST walk for 4003 steps (14 resets) in 631 ms. (6 steps per ms) remains 13359/13362 properties
BEST_FIRST walk for 4003 steps (12 resets) in 633 ms. (6 steps per ms) remains 13359/13359 properties
BEST_FIRST walk for 4003 steps (12 resets) in 560 ms. (7 steps per ms) remains 13356/13359 properties
BEST_FIRST walk for 4004 steps (13 resets) in 574 ms. (6 steps per ms) remains 13356/13356 properties
BEST_FIRST walk for 4004 steps (12 resets) in 619 ms. (6 steps per ms) remains 13356/13356 properties
BEST_FIRST walk for 4004 steps (12 resets) in 566 ms. (7 steps per ms) remains 13356/13356 properties
BEST_FIRST walk for 4004 steps (12 resets) in 570 ms. (7 steps per ms) remains 13356/13356 properties
BEST_FIRST walk for 4003 steps (13 resets) in 618 ms. (6 steps per ms) remains 13354/13356 properties
BEST_FIRST walk for 4004 steps (12 resets) in 569 ms. (7 steps per ms) remains 13353/13354 properties
BEST_FIRST walk for 4004 steps (12 resets) in 569 ms. (7 steps per ms) remains 13351/13353 properties
BEST_FIRST walk for 4003 steps (12 resets) in 645 ms. (6 steps per ms) remains 13351/13351 properties
BEST_FIRST walk for 4004 steps (13 resets) in 648 ms. (6 steps per ms) remains 13347/13351 properties
BEST_FIRST walk for 4004 steps (12 resets) in 550 ms. (7 steps per ms) remains 13347/13347 properties
BEST_FIRST walk for 4003 steps (12 resets) in 628 ms. (6 steps per ms) remains 13345/13347 properties
BEST_FIRST walk for 4004 steps (13 resets) in 605 ms. (6 steps per ms) remains 13341/13345 properties
BEST_FIRST walk for 4003 steps (12 resets) in 544 ms. (7 steps per ms) remains 13339/13341 properties
BEST_FIRST walk for 4003 steps (12 resets) in 641 ms. (6 steps per ms) remains 13337/13339 properties
BEST_FIRST walk for 4004 steps (12 resets) in 570 ms. (7 steps per ms) remains 13337/13337 properties
BEST_FIRST walk for 4004 steps (13 resets) in 615 ms. (6 steps per ms) remains 13335/13337 properties
BEST_FIRST walk for 4003 steps (12 resets) in 625 ms. (6 steps per ms) remains 13335/13335 properties
BEST_FIRST walk for 4004 steps (12 resets) in 593 ms. (6 steps per ms) remains 13332/13335 properties
BEST_FIRST walk for 4004 steps (13 resets) in 653 ms. (6 steps per ms) remains 13328/13332 properties
BEST_FIRST walk for 4003 steps (13 resets) in 603 ms. (6 steps per ms) remains 13328/13328 properties
BEST_FIRST walk for 4004 steps (12 resets) in 566 ms. (7 steps per ms) remains 13328/13328 properties
BEST_FIRST walk for 4004 steps (12 resets) in 623 ms. (6 steps per ms) remains 13328/13328 properties
BEST_FIRST walk for 4004 steps (12 resets) in 654 ms. (6 steps per ms) remains 13328/13328 properties
BEST_FIRST walk for 4004 steps (12 resets) in 578 ms. (6 steps per ms) remains 13327/13328 properties
BEST_FIRST walk for 4004 steps (12 resets) in 620 ms. (6 steps per ms) remains 13326/13327 properties
BEST_FIRST walk for 4004 steps (13 resets) in 653 ms. (6 steps per ms) remains 13324/13326 properties
BEST_FIRST walk for 4004 steps (12 resets) in 608 ms. (6 steps per ms) remains 13324/13324 properties
BEST_FIRST walk for 4004 steps (12 resets) in 572 ms. (6 steps per ms) remains 13322/13324 properties
BEST_FIRST walk for 4004 steps (12 resets) in 548 ms. (7 steps per ms) remains 13321/13322 properties
BEST_FIRST walk for 4003 steps (12 resets) in 596 ms. (6 steps per ms) remains 13321/13321 properties
BEST_FIRST walk for 4003 steps (12 resets) in 629 ms. (6 steps per ms) remains 13319/13321 properties
BEST_FIRST walk for 4004 steps (12 resets) in 597 ms. (6 steps per ms) remains 13317/13319 properties
BEST_FIRST walk for 4004 steps (12 resets) in 612 ms. (6 steps per ms) remains 13315/13317 properties
BEST_FIRST walk for 4003 steps (13 resets) in 566 ms. (7 steps per ms) remains 13315/13315 properties
BEST_FIRST walk for 4004 steps (12 resets) in 641 ms. (6 steps per ms) remains 13315/13315 properties
BEST_FIRST walk for 4004 steps (12 resets) in 647 ms. (6 steps per ms) remains 13315/13315 properties
BEST_FIRST walk for 4004 steps (12 resets) in 557 ms. (7 steps per ms) remains 13308/13315 properties
BEST_FIRST walk for 4002 steps (14 resets) in 588 ms. (6 steps per ms) remains 13307/13308 properties
BEST_FIRST walk for 4004 steps (12 resets) in 580 ms. (6 steps per ms) remains 13304/13307 properties
BEST_FIRST walk for 4004 steps (12 resets) in 542 ms. (7 steps per ms) remains 13303/13304 properties
BEST_FIRST walk for 4003 steps (12 resets) in 619 ms. (6 steps per ms) remains 13301/13303 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 13298/13301 properties
BEST_FIRST walk for 4003 steps (12 resets) in 585 ms. (6 steps per ms) remains 13298/13298 properties
BEST_FIRST walk for 4004 steps (12 resets) in 574 ms. (6 steps per ms) remains 13295/13298 properties
BEST_FIRST walk for 4004 steps (12 resets) in 553 ms. (7 steps per ms) remains 13295/13295 properties
BEST_FIRST walk for 4004 steps (12 resets) in 587 ms. (6 steps per ms) remains 13292/13295 properties
BEST_FIRST walk for 4004 steps (12 resets) in 538 ms. (7 steps per ms) remains 13291/13292 properties
BEST_FIRST walk for 4004 steps (12 resets) in 572 ms. (6 steps per ms) remains 13288/13291 properties
BEST_FIRST walk for 4004 steps (12 resets) in 589 ms. (6 steps per ms) remains 13286/13288 properties
BEST_FIRST walk for 4004 steps (12 resets) in 637 ms. (6 steps per ms) remains 13282/13286 properties
BEST_FIRST walk for 4003 steps (12 resets) in 596 ms. (6 steps per ms) remains 13281/13282 properties
BEST_FIRST walk for 4003 steps (12 resets) in 597 ms. (6 steps per ms) remains 13277/13281 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 13276/13277 properties
BEST_FIRST walk for 4004 steps (12 resets) in 607 ms. (6 steps per ms) remains 13270/13276 properties
BEST_FIRST walk for 4004 steps (15 resets) in 597 ms. (6 steps per ms) remains 13266/13270 properties
BEST_FIRST walk for 4003 steps (12 resets) in 566 ms. (7 steps per ms) remains 13264/13266 properties
BEST_FIRST walk for 4003 steps (12 resets) in 570 ms. (7 steps per ms) remains 13259/13264 properties
BEST_FIRST walk for 4003 steps (12 resets) in 534 ms. (7 steps per ms) remains 13259/13259 properties
BEST_FIRST walk for 4003 steps (12 resets) in 597 ms. (6 steps per ms) remains 13257/13259 properties
BEST_FIRST walk for 4003 steps (12 resets) in 614 ms. (6 steps per ms) remains 13254/13257 properties
BEST_FIRST walk for 4004 steps (13 resets) in 624 ms. (6 steps per ms) remains 13252/13254 properties
BEST_FIRST walk for 4004 steps (12 resets) in 478 ms. (8 steps per ms) remains 13252/13252 properties
BEST_FIRST walk for 4004 steps (13 resets) in 553 ms. (7 steps per ms) remains 13249/13252 properties
BEST_FIRST walk for 4004 steps (12 resets) in 531 ms. (7 steps per ms) remains 13249/13249 properties
BEST_FIRST walk for 4004 steps (12 resets) in 532 ms. (7 steps per ms) remains 13249/13249 properties
BEST_FIRST walk for 4004 steps (12 resets) in 555 ms. (7 steps per ms) remains 13248/13249 properties
BEST_FIRST walk for 4004 steps (12 resets) in 555 ms. (7 steps per ms) remains 13245/13248 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 13245/13245 properties
BEST_FIRST walk for 4003 steps (12 resets) in 564 ms. (7 steps per ms) remains 13245/13245 properties
BEST_FIRST walk for 4004 steps (15 resets) in 628 ms. (6 steps per ms) remains 13243/13245 properties
BEST_FIRST walk for 4004 steps (13 resets) in 586 ms. (6 steps per ms) remains 13241/13243 properties
BEST_FIRST walk for 4004 steps (13 resets) in 575 ms. (6 steps per ms) remains 13241/13241 properties
BEST_FIRST walk for 4003 steps (12 resets) in 627 ms. (6 steps per ms) remains 13241/13241 properties
BEST_FIRST walk for 4004 steps (12 resets) in 539 ms. (7 steps per ms) remains 13238/13241 properties
BEST_FIRST walk for 4003 steps (12 resets) in 574 ms. (6 steps per ms) remains 13238/13238 properties
BEST_FIRST walk for 4003 steps (13 resets) in 553 ms. (7 steps per ms) remains 13238/13238 properties
BEST_FIRST walk for 4004 steps (12 resets) in 560 ms. (7 steps per ms) remains 13236/13238 properties
BEST_FIRST walk for 4004 steps (13 resets) in 522 ms. (7 steps per ms) remains 13235/13236 properties
BEST_FIRST walk for 4004 steps (13 resets) in 598 ms. (6 steps per ms) remains 13235/13235 properties
BEST_FIRST walk for 4004 steps (13 resets) in 574 ms. (6 steps per ms) remains 13229/13235 properties
BEST_FIRST walk for 4003 steps (12 resets) in 546 ms. (7 steps per ms) remains 13229/13229 properties
BEST_FIRST walk for 4003 steps (12 resets) in 606 ms. (6 steps per ms) remains 13226/13229 properties
BEST_FIRST walk for 4004 steps (14 resets) in 584 ms. (6 steps per ms) remains 13220/13226 properties
BEST_FIRST walk for 4003 steps (12 resets) in 557 ms. (7 steps per ms) remains 13218/13220 properties
BEST_FIRST walk for 4004 steps (13 resets) in 630 ms. (6 steps per ms) remains 13217/13218 properties
BEST_FIRST walk for 4004 steps (12 resets) in 534 ms. (7 steps per ms) remains 13217/13217 properties
BEST_FIRST walk for 4004 steps (13 resets) in 634 ms. (6 steps per ms) remains 13217/13217 properties
BEST_FIRST walk for 4004 steps (12 resets) in 569 ms. (7 steps per ms) remains 13217/13217 properties
BEST_FIRST walk for 4004 steps (13 resets) in 613 ms. (6 steps per ms) remains 13212/13217 properties
BEST_FIRST walk for 4004 steps (12 resets) in 547 ms. (7 steps per ms) remains 13212/13212 properties
BEST_FIRST walk for 4004 steps (12 resets) in 613 ms. (6 steps per ms) remains 13208/13212 properties
BEST_FIRST walk for 4004 steps (12 resets) in 601 ms. (6 steps per ms) remains 13208/13208 properties
BEST_FIRST walk for 4003 steps (13 resets) in 519 ms. (7 steps per ms) remains 13208/13208 properties
BEST_FIRST walk for 4004 steps (15 resets) in 547 ms. (7 steps per ms) remains 13204/13208 properties
BEST_FIRST walk for 4004 steps (12 resets) in 598 ms. (6 steps per ms) remains 13204/13204 properties
BEST_FIRST walk for 4004 steps (13 resets) in 573 ms. (6 steps per ms) remains 13204/13204 properties
BEST_FIRST walk for 4004 steps (12 resets) in 582 ms. (6 steps per ms) remains 13204/13204 properties
BEST_FIRST walk for 4004 steps (12 resets) in 544 ms. (7 steps per ms) remains 13203/13204 properties
BEST_FIRST walk for 4004 steps (12 resets) in 574 ms. (6 steps per ms) remains 13200/13203 properties
BEST_FIRST walk for 4004 steps (12 resets) in 467 ms. (8 steps per ms) remains 13200/13200 properties
BEST_FIRST walk for 4004 steps (12 resets) in 487 ms. (8 steps per ms) remains 13198/13200 properties
BEST_FIRST walk for 4004 steps (13 resets) in 579 ms. (6 steps per ms) remains 13197/13198 properties
BEST_FIRST walk for 4004 steps (15 resets) in 558 ms. (7 steps per ms) remains 13196/13197 properties
BEST_FIRST walk for 4003 steps (12 resets) in 504 ms. (7 steps per ms) remains 13196/13196 properties
BEST_FIRST walk for 4004 steps (12 resets) in 550 ms. (7 steps per ms) remains 13196/13196 properties
BEST_FIRST walk for 4004 steps (12 resets) in 475 ms. (8 steps per ms) remains 13196/13196 properties
BEST_FIRST walk for 4003 steps (12 resets) in 544 ms. (7 steps per ms) remains 13194/13196 properties
BEST_FIRST walk for 4004 steps (13 resets) in 555 ms. (7 steps per ms) remains 13194/13194 properties
BEST_FIRST walk for 4004 steps (13 resets) in 510 ms. (7 steps per ms) remains 13193/13194 properties
BEST_FIRST walk for 4004 steps (15 resets) in 542 ms. (7 steps per ms) remains 13191/13193 properties
BEST_FIRST walk for 4004 steps (12 resets) in 613 ms. (6 steps per ms) remains 13191/13191 properties
BEST_FIRST walk for 4004 steps (12 resets) in 504 ms. (7 steps per ms) remains 13190/13191 properties
BEST_FIRST walk for 4004 steps (13 resets) in 597 ms. (6 steps per ms) remains 13190/13190 properties
BEST_FIRST walk for 4004 steps (12 resets) in 628 ms. (6 steps per ms) remains 13190/13190 properties
BEST_FIRST walk for 4004 steps (16 resets) in 642 ms. (6 steps per ms) remains 13184/13190 properties
BEST_FIRST walk for 4003 steps (13 resets) in 502 ms. (7 steps per ms) remains 13179/13184 properties
BEST_FIRST walk for 4003 steps (12 resets) in 570 ms. (7 steps per ms) remains 13178/13179 properties
BEST_FIRST walk for 4002 steps (14 resets) in 536 ms. (7 steps per ms) remains 13178/13178 properties
BEST_FIRST walk for 4003 steps (14 resets) in 560 ms. (7 steps per ms) remains 13174/13178 properties
BEST_FIRST walk for 4000 steps (16 resets) in 627 ms. (6 steps per ms) remains 13174/13174 properties
BEST_FIRST walk for 4000 steps (16 resets) in 654 ms. (6 steps per ms) remains 13169/13174 properties
BEST_FIRST walk for 4000 steps (16 resets) in 639 ms. (6 steps per ms) remains 13165/13169 properties
BEST_FIRST walk for 4000 steps (16 resets) in 638 ms. (6 steps per ms) remains 13165/13165 properties
BEST_FIRST walk for 4000 steps (16 resets) in 583 ms. (6 steps per ms) remains 13161/13165 properties
BEST_FIRST walk for 4000 steps (16 resets) in 638 ms. (6 steps per ms) remains 13161/13161 properties
BEST_FIRST walk for 4000 steps (16 resets) in 663 ms. (6 steps per ms) remains 13161/13161 properties
BEST_FIRST walk for 4000 steps (16 resets) in 608 ms. (6 steps per ms) remains 13160/13161 properties
BEST_FIRST walk for 4000 steps (16 resets) in 662 ms. (6 steps per ms) remains 13160/13160 properties
BEST_FIRST walk for 4000 steps (16 resets) in 650 ms. (6 steps per ms) remains 13159/13160 properties
BEST_FIRST walk for 4000 steps (16 resets) in 632 ms. (6 steps per ms) remains 13159/13159 properties
BEST_FIRST walk for 4000 steps (16 resets) in 640 ms. (6 steps per ms) remains 13158/13159 properties
BEST_FIRST walk for 4000 steps (16 resets) in 657 ms. (6 steps per ms) remains 13158/13158 properties
BEST_FIRST walk for 4000 steps (16 resets) in 653 ms. (6 steps per ms) remains 13155/13158 properties
BEST_FIRST walk for 4000 steps (16 resets) in 658 ms. (6 steps per ms) remains 13155/13155 properties
BEST_FIRST walk for 4000 steps (16 resets) in 656 ms. (6 steps per ms) remains 13155/13155 properties
BEST_FIRST walk for 4000 steps (16 resets) in 664 ms. (6 steps per ms) remains 13154/13155 properties
BEST_FIRST walk for 4000 steps (16 resets) in 658 ms. (6 steps per ms) remains 13154/13154 properties
BEST_FIRST walk for 4000 steps (16 resets) in 644 ms. (6 steps per ms) remains 13154/13154 properties
BEST_FIRST walk for 4000 steps (16 resets) in 646 ms. (6 steps per ms) remains 13154/13154 properties
BEST_FIRST walk for 4000 steps (16 resets) in 634 ms. (6 steps per ms) remains 13154/13154 properties
BEST_FIRST walk for 4000 steps (16 resets) in 652 ms. (6 steps per ms) remains 13154/13154 properties
BEST_FIRST walk for 4000 steps (16 resets) in 671 ms. (5 steps per ms) remains 13154/13154 properties
BEST_FIRST walk for 4000 steps (16 resets) in 644 ms. (6 steps per ms) remains 13154/13154 properties
BEST_FIRST walk for 4000 steps (16 resets) in 665 ms. (6 steps per ms) remains 13154/13154 properties
BEST_FIRST walk for 4000 steps (16 resets) in 647 ms. (6 steps per ms) remains 13154/13154 properties
BEST_FIRST walk for 4000 steps (16 resets) in 646 ms. (6 steps per ms) remains 13152/13154 properties
BEST_FIRST walk for 4000 steps (16 resets) in 665 ms. (6 steps per ms) remains 13152/13152 properties
BEST_FIRST walk for 4000 steps (16 resets) in 658 ms. (6 steps per ms) remains 13152/13152 properties
BEST_FIRST walk for 4003 steps (15 resets) in 618 ms. (6 steps per ms) remains 13151/13152 properties
BEST_FIRST walk for 4004 steps (14 resets) in 624 ms. (6 steps per ms) remains 13151/13151 properties
BEST_FIRST walk for 4004 steps (13 resets) in 584 ms. (6 steps per ms) remains 13151/13151 properties
BEST_FIRST walk for 4004 steps (13 resets) in 567 ms. (7 steps per ms) remains 13150/13151 properties
BEST_FIRST walk for 4003 steps (13 resets) in 580 ms. (6 steps per ms) remains 13150/13150 properties
BEST_FIRST walk for 4003 steps (12 resets) in 602 ms. (6 steps per ms) remains 13149/13150 properties
BEST_FIRST walk for 4003 steps (13 resets) in 647 ms. (6 steps per ms) remains 13145/13149 properties
BEST_FIRST walk for 4004 steps (12 resets) in 577 ms. (6 steps per ms) remains 13145/13145 properties
BEST_FIRST walk for 4003 steps (12 resets) in 594 ms. (6 steps per ms) remains 13143/13145 properties
BEST_FIRST walk for 4004 steps (15 resets) in 642 ms. (6 steps per ms) remains 13143/13143 properties
BEST_FIRST walk for 4004 steps (12 resets) in 565 ms. (7 steps per ms) remains 13141/13143 properties
BEST_FIRST walk for 4003 steps (12 resets) in 632 ms. (6 steps per ms) remains 13140/13141 properties
BEST_FIRST walk for 4004 steps (12 resets) in 637 ms. (6 steps per ms) remains 13140/13140 properties
BEST_FIRST walk for 4003 steps (12 resets) in 556 ms. (7 steps per ms) remains 13137/13140 properties
BEST_FIRST walk for 4004 steps (13 resets) in 634 ms. (6 steps per ms) remains 13137/13137 properties
BEST_FIRST walk for 4004 steps (13 resets) in 579 ms. (6 steps per ms) remains 13131/13137 properties
BEST_FIRST walk for 4002 steps (16 resets) in 618 ms. (6 steps per ms) remains 13130/13131 properties
BEST_FIRST walk for 4004 steps (12 resets) in 633 ms. (6 steps per ms) remains 13127/13130 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 13126/13127 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 13126/13126 properties
BEST_FIRST walk for 4004 steps (12 resets) in 597 ms. (6 steps per ms) remains 13125/13126 properties
BEST_FIRST walk for 4004 steps (12 resets) in 561 ms. (7 steps per ms) remains 13123/13125 properties
BEST_FIRST walk for 4003 steps (12 resets) in 572 ms. (6 steps per ms) remains 13123/13123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 636 ms. (6 steps per ms) remains 13123/13123 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 13120/13123 properties
BEST_FIRST walk for 4004 steps (16 resets) in 619 ms. (6 steps per ms) remains 13115/13120 properties
BEST_FIRST walk for 4003 steps (12 resets) in 588 ms. (6 steps per ms) remains 13115/13115 properties
BEST_FIRST walk for 4004 steps (13 resets) in 574 ms. (6 steps per ms) remains 13113/13115 properties
BEST_FIRST walk for 4003 steps (12 resets) in 598 ms. (6 steps per ms) remains 13112/13113 properties
BEST_FIRST walk for 4003 steps (12 resets) in 547 ms. (7 steps per ms) remains 13110/13112 properties
BEST_FIRST walk for 4004 steps (12 resets) in 626 ms. (6 steps per ms) remains 13109/13110 properties
BEST_FIRST walk for 4004 steps (12 resets) in 575 ms. (6 steps per ms) remains 13109/13109 properties
BEST_FIRST walk for 4004 steps (13 resets) in 532 ms. (7 steps per ms) remains 13109/13109 properties
BEST_FIRST walk for 4004 steps (12 resets) in 628 ms. (6 steps per ms) remains 13109/13109 properties
BEST_FIRST walk for 4003 steps (12 resets) in 564 ms. (7 steps per ms) remains 13108/13109 properties
BEST_FIRST walk for 4004 steps (13 resets) in 627 ms. (6 steps per ms) remains 13107/13108 properties
BEST_FIRST walk for 4004 steps (15 resets) in 638 ms. (6 steps per ms) remains 13103/13107 properties
BEST_FIRST walk for 4004 steps (12 resets) in 617 ms. (6 steps per ms) remains 13103/13103 properties
BEST_FIRST walk for 4004 steps (12 resets) in 625 ms. (6 steps per ms) remains 13101/13103 properties
BEST_FIRST walk for 4003 steps (12 resets) in 623 ms. (6 steps per ms) remains 13101/13101 properties
BEST_FIRST walk for 4004 steps (12 resets) in 560 ms. (7 steps per ms) remains 13098/13101 properties
BEST_FIRST walk for 4004 steps (12 resets) in 576 ms. (6 steps per ms) remains 13098/13098 properties
BEST_FIRST walk for 4004 steps (12 resets) in 579 ms. (6 steps per ms) remains 13098/13098 properties
BEST_FIRST walk for 4004 steps (12 resets) in 532 ms. (7 steps per ms) remains 13097/13098 properties
BEST_FIRST walk for 4003 steps (12 resets) in 606 ms. (6 steps per ms) remains 13097/13097 properties
BEST_FIRST walk for 4004 steps (12 resets) in 529 ms. (7 steps per ms) remains 13095/13097 properties
BEST_FIRST walk for 4002 steps (12 resets) in 633 ms. (6 steps per ms) remains 13095/13095 properties
BEST_FIRST walk for 4004 steps (12 resets) in 614 ms. (6 steps per ms) remains 13095/13095 properties
BEST_FIRST walk for 4004 steps (12 resets) in 611 ms. (6 steps per ms) remains 13092/13095 properties
BEST_FIRST walk for 4003 steps (15 resets) in 596 ms. (6 steps per ms) remains 13090/13092 properties
BEST_FIRST walk for 4004 steps (13 resets) in 594 ms. (6 steps per ms) remains 13089/13090 properties
BEST_FIRST walk for 4004 steps (14 resets) in 591 ms. (6 steps per ms) remains 13087/13089 properties
BEST_FIRST walk for 4003 steps (12 resets) in 581 ms. (6 steps per ms) remains 13087/13087 properties
BEST_FIRST walk for 4004 steps (12 resets) in 517 ms. (7 steps per ms) remains 13087/13087 properties
BEST_FIRST walk for 4004 steps (12 resets) in 543 ms. (7 steps per ms) remains 13086/13087 properties
BEST_FIRST walk for 4003 steps (13 resets) in 501 ms. (7 steps per ms) remains 13086/13086 properties
BEST_FIRST walk for 4004 steps (13 resets) in 613 ms. (6 steps per ms) remains 13086/13086 properties
BEST_FIRST walk for 4003 steps (12 resets) in 568 ms. (7 steps per ms) remains 13086/13086 properties
BEST_FIRST walk for 4002 steps (12 resets) in 605 ms. (6 steps per ms) remains 13086/13086 properties
BEST_FIRST walk for 4004 steps (12 resets) in 578 ms. (6 steps per ms) remains 13084/13086 properties
BEST_FIRST walk for 4004 steps (12 resets) in 563 ms. (7 steps per ms) remains 13084/13084 properties
BEST_FIRST walk for 4004 steps (12 resets) in 519 ms. (7 steps per ms) remains 13084/13084 properties
BEST_FIRST walk for 4004 steps (13 resets) in 622 ms. (6 steps per ms) remains 13082/13084 properties
BEST_FIRST walk for 4004 steps (12 resets) in 509 ms. (7 steps per ms) remains 13082/13082 properties
BEST_FIRST walk for 4004 steps (13 resets) in 594 ms. (6 steps per ms) remains 13078/13082 properties
BEST_FIRST walk for 4003 steps (12 resets) in 552 ms. (7 steps per ms) remains 13078/13078 properties
BEST_FIRST walk for 4003 steps (12 resets) in 542 ms. (7 steps per ms) remains 13077/13078 properties
BEST_FIRST walk for 4004 steps (13 resets) in 528 ms. (7 steps per ms) remains 13077/13077 properties
BEST_FIRST walk for 4004 steps (12 resets) in 585 ms. (6 steps per ms) remains 13076/13077 properties
BEST_FIRST walk for 4004 steps (12 resets) in 553 ms. (7 steps per ms) remains 13076/13076 properties
BEST_FIRST walk for 4004 steps (12 resets) in 521 ms. (7 steps per ms) remains 13071/13076 properties
BEST_FIRST walk for 4004 steps (12 resets) in 582 ms. (6 steps per ms) remains 13071/13071 properties
BEST_FIRST walk for 4004 steps (12 resets) in 621 ms. (6 steps per ms) remains 13067/13071 properties
BEST_FIRST walk for 4004 steps (13 resets) in 634 ms. (6 steps per ms) remains 13067/13067 properties
BEST_FIRST walk for 4003 steps (13 resets) in 633 ms. (6 steps per ms) remains 13067/13067 properties
BEST_FIRST walk for 4004 steps (12 resets) in 520 ms. (7 steps per ms) remains 13067/13067 properties
BEST_FIRST walk for 4004 steps (12 resets) in 493 ms. (8 steps per ms) remains 13067/13067 properties
BEST_FIRST walk for 4004 steps (12 resets) in 514 ms. (7 steps per ms) remains 13067/13067 properties
BEST_FIRST walk for 4003 steps (12 resets) in 566 ms. (7 steps per ms) remains 13067/13067 properties
BEST_FIRST walk for 4004 steps (12 resets) in 529 ms. (7 steps per ms) remains 13067/13067 properties
BEST_FIRST walk for 4003 steps (12 resets) in 533 ms. (7 steps per ms) remains 13066/13067 properties
BEST_FIRST walk for 4004 steps (15 resets) in 621 ms. (6 steps per ms) remains 13065/13066 properties
BEST_FIRST walk for 4004 steps (13 resets) in 566 ms. (7 steps per ms) remains 13065/13065 properties
BEST_FIRST walk for 4004 steps (12 resets) in 544 ms. (7 steps per ms) remains 13065/13065 properties
BEST_FIRST walk for 4003 steps (12 resets) in 628 ms. (6 steps per ms) remains 13063/13065 properties
BEST_FIRST walk for 4002 steps (12 resets) in 569 ms. (7 steps per ms) remains 13062/13063 properties
BEST_FIRST walk for 4004 steps (12 resets) in 618 ms. (6 steps per ms) remains 13062/13062 properties
BEST_FIRST walk for 4004 steps (12 resets) in 582 ms. (6 steps per ms) remains 13058/13062 properties
BEST_FIRST walk for 4003 steps (13 resets) in 616 ms. (6 steps per ms) remains 13058/13058 properties
BEST_FIRST walk for 4004 steps (13 resets) in 578 ms. (6 steps per ms) remains 13054/13058 properties
BEST_FIRST walk for 4003 steps (12 resets) in 626 ms. (6 steps per ms) remains 13054/13054 properties
BEST_FIRST walk for 4003 steps (12 resets) in 595 ms. (6 steps per ms) remains 13053/13054 properties
BEST_FIRST walk for 4004 steps (12 resets) in 615 ms. (6 steps per ms) remains 13053/13053 properties
BEST_FIRST walk for 4004 steps (12 resets) in 641 ms. (6 steps per ms) remains 13052/13053 properties
BEST_FIRST walk for 4004 steps (13 resets) in 615 ms. (6 steps per ms) remains 13052/13052 properties
BEST_FIRST walk for 4004 steps (12 resets) in 534 ms. (7 steps per ms) remains 13050/13052 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 13050/13050 properties
BEST_FIRST walk for 4003 steps (12 resets) in 633 ms. (6 steps per ms) remains 13050/13050 properties
BEST_FIRST walk for 4004 steps (12 resets) in 620 ms. (6 steps per ms) remains 13050/13050 properties
BEST_FIRST walk for 4004 steps (13 resets) in 533 ms. (7 steps per ms) remains 13050/13050 properties
BEST_FIRST walk for 4004 steps (15 resets) in 578 ms. (6 steps per ms) remains 13047/13050 properties
BEST_FIRST walk for 4003 steps (12 resets) in 588 ms. (6 steps per ms) remains 13047/13047 properties
BEST_FIRST walk for 4004 steps (13 resets) in 673 ms. (5 steps per ms) remains 13044/13047 properties
BEST_FIRST walk for 4004 steps (13 resets) in 540 ms. (7 steps per ms) remains 13042/13044 properties
BEST_FIRST walk for 4004 steps (12 resets) in 607 ms. (6 steps per ms) remains 13042/13042 properties
BEST_FIRST walk for 4003 steps (12 resets) in 502 ms. (7 steps per ms) remains 13040/13042 properties
BEST_FIRST walk for 4004 steps (12 resets) in 569 ms. (7 steps per ms) remains 13038/13040 properties
BEST_FIRST walk for 4004 steps (12 resets) in 476 ms. (8 steps per ms) remains 13038/13038 properties
BEST_FIRST walk for 4003 steps (12 resets) in 608 ms. (6 steps per ms) remains 13038/13038 properties
BEST_FIRST walk for 4004 steps (12 resets) in 640 ms. (6 steps per ms) remains 13036/13038 properties
BEST_FIRST walk for 4004 steps (13 resets) in 532 ms. (7 steps per ms) remains 13028/13036 properties
BEST_FIRST walk for 4004 steps (12 resets) in 592 ms. (6 steps per ms) remains 13028/13028 properties
BEST_FIRST walk for 4003 steps (12 resets) in 632 ms. (6 steps per ms) remains 13026/13028 properties
BEST_FIRST walk for 4003 steps (13 resets) in 559 ms. (7 steps per ms) remains 13026/13026 properties
BEST_FIRST walk for 4004 steps (12 resets) in 535 ms. (7 steps per ms) remains 13024/13026 properties
BEST_FIRST walk for 4004 steps (12 resets) in 550 ms. (7 steps per ms) remains 13024/13024 properties
BEST_FIRST walk for 4004 steps (12 resets) in 572 ms. (6 steps per ms) remains 13023/13024 properties
BEST_FIRST walk for 4003 steps (12 resets) in 626 ms. (6 steps per ms) remains 13023/13023 properties
BEST_FIRST walk for 4004 steps (12 resets) in 544 ms. (7 steps per ms) remains 13021/13023 properties
BEST_FIRST walk for 4003 steps (13 resets) in 619 ms. (6 steps per ms) remains 13021/13021 properties
BEST_FIRST walk for 4003 steps (12 resets) in 515 ms. (7 steps per ms) remains 13021/13021 properties
BEST_FIRST walk for 4004 steps (15 resets) in 601 ms. (6 steps per ms) remains 13021/13021 properties
BEST_FIRST walk for 4004 steps (13 resets) in 557 ms. (7 steps per ms) remains 13021/13021 properties
BEST_FIRST walk for 4004 steps (12 resets) in 532 ms. (7 steps per ms) remains 13021/13021 properties
BEST_FIRST walk for 4004 steps (13 resets) in 647 ms. (6 steps per ms) remains 13021/13021 properties
BEST_FIRST walk for 4003 steps (12 resets) in 503 ms. (7 steps per ms) remains 13019/13021 properties
BEST_FIRST walk for 4004 steps (12 resets) in 633 ms. (6 steps per ms) remains 13019/13019 properties
BEST_FIRST walk for 4004 steps (13 resets) in 594 ms. (6 steps per ms) remains 13019/13019 properties
BEST_FIRST walk for 4004 steps (12 resets) in 534 ms. (7 steps per ms) remains 13018/13019 properties
BEST_FIRST walk for 4003 steps (12 resets) in 545 ms. (7 steps per ms) remains 13018/13018 properties
BEST_FIRST walk for 4004 steps (13 resets) in 560 ms. (7 steps per ms) remains 13018/13018 properties
BEST_FIRST walk for 4004 steps (12 resets) in 612 ms. (6 steps per ms) remains 13014/13018 properties
BEST_FIRST walk for 4004 steps (12 resets) in 622 ms. (6 steps per ms) remains 13014/13014 properties
BEST_FIRST walk for 4004 steps (13 resets) in 584 ms. (6 steps per ms) remains 13014/13014 properties
BEST_FIRST walk for 4003 steps (12 resets) in 514 ms. (7 steps per ms) remains 13014/13014 properties
BEST_FIRST walk for 4004 steps (13 resets) in 528 ms. (7 steps per ms) remains 13013/13014 properties
BEST_FIRST walk for 4004 steps (13 resets) in 640 ms. (6 steps per ms) remains 13013/13013 properties
BEST_FIRST walk for 4003 steps (12 resets) in 593 ms. (6 steps per ms) remains 13012/13013 properties
BEST_FIRST walk for 4003 steps (12 resets) in 543 ms. (7 steps per ms) remains 13012/13012 properties
BEST_FIRST walk for 4004 steps (12 resets) in 555 ms. (7 steps per ms) remains 13012/13012 properties
BEST_FIRST walk for 4004 steps (12 resets) in 527 ms. (7 steps per ms) remains 13012/13012 properties
BEST_FIRST walk for 4004 steps (13 resets) in 514 ms. (7 steps per ms) remains 13012/13012 properties
BEST_FIRST walk for 4002 steps (12 resets) in 534 ms. (7 steps per ms) remains 13012/13012 properties
BEST_FIRST walk for 4003 steps (12 resets) in 561 ms. (7 steps per ms) remains 13010/13012 properties
BEST_FIRST walk for 4004 steps (16 resets) in 595 ms. (6 steps per ms) remains 13009/13010 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 13009/13009 properties
BEST_FIRST walk for 4003 steps (14 resets) in 557 ms. (7 steps per ms) remains 13007/13009 properties
BEST_FIRST walk for 4004 steps (13 resets) in 535 ms. (7 steps per ms) remains 13007/13007 properties
BEST_FIRST walk for 4003 steps (12 resets) in 621 ms. (6 steps per ms) remains 13007/13007 properties
BEST_FIRST walk for 4004 steps (12 resets) in 602 ms. (6 steps per ms) remains 13007/13007 properties
BEST_FIRST walk for 4004 steps (12 resets) in 561 ms. (7 steps per ms) remains 13005/13007 properties
BEST_FIRST walk for 4004 steps (12 resets) in 543 ms. (7 steps per ms) remains 13003/13005 properties
BEST_FIRST walk for 4002 steps (12 resets) in 634 ms. (6 steps per ms) remains 13002/13003 properties
BEST_FIRST walk for 4004 steps (13 resets) in 547 ms. (7 steps per ms) remains 13000/13002 properties
BEST_FIRST walk for 4004 steps (13 resets) in 544 ms. (7 steps per ms) remains 13000/13000 properties
BEST_FIRST walk for 4004 steps (12 resets) in 589 ms. (6 steps per ms) remains 12998/13000 properties
BEST_FIRST walk for 4004 steps (12 resets) in 487 ms. (8 steps per ms) remains 12998/12998 properties
BEST_FIRST walk for 4003 steps (12 resets) in 577 ms. (6 steps per ms) remains 12998/12998 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 12998/12998 properties
BEST_FIRST walk for 4003 steps (12 resets) in 576 ms. (6 steps per ms) remains 12998/12998 properties
BEST_FIRST walk for 4004 steps (12 resets) in 511 ms. (7 steps per ms) remains 12997/12998 properties
BEST_FIRST walk for 4004 steps (12 resets) in 598 ms. (6 steps per ms) remains 12996/12997 properties
BEST_FIRST walk for 4004 steps (12 resets) in 577 ms. (6 steps per ms) remains 12994/12996 properties
BEST_FIRST walk for 4004 steps (12 resets) in 535 ms. (7 steps per ms) remains 12994/12994 properties
BEST_FIRST walk for 4004 steps (12 resets) in 523 ms. (7 steps per ms) remains 12994/12994 properties
BEST_FIRST walk for 4003 steps (12 resets) in 592 ms. (6 steps per ms) remains 12994/12994 properties
BEST_FIRST walk for 4003 steps (12 resets) in 523 ms. (7 steps per ms) remains 12992/12994 properties
BEST_FIRST walk for 4004 steps (13 resets) in 637 ms. (6 steps per ms) remains 12992/12992 properties
BEST_FIRST walk for 4004 steps (12 resets) in 541 ms. (7 steps per ms) remains 12992/12992 properties
BEST_FIRST walk for 4002 steps (12 resets) in 569 ms. (7 steps per ms) remains 12992/12992 properties
BEST_FIRST walk for 4004 steps (12 resets) in 531 ms. (7 steps per ms) remains 12992/12992 properties
BEST_FIRST walk for 4004 steps (13 resets) in 571 ms. (7 steps per ms) remains 12990/12992 properties
BEST_FIRST walk for 4004 steps (12 resets) in 645 ms. (6 steps per ms) remains 12990/12990 properties
BEST_FIRST walk for 4004 steps (12 resets) in 626 ms. (6 steps per ms) remains 12988/12990 properties
BEST_FIRST walk for 4003 steps (12 resets) in 611 ms. (6 steps per ms) remains 12988/12988 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 12986/12988 properties
BEST_FIRST walk for 4004 steps (12 resets) in 574 ms. (6 steps per ms) remains 12985/12986 properties
BEST_FIRST walk for 4004 steps (13 resets) in 542 ms. (7 steps per ms) remains 12980/12985 properties
BEST_FIRST walk for 4004 steps (13 resets) in 553 ms. (7 steps per ms) remains 12979/12980 properties
BEST_FIRST walk for 4004 steps (14 resets) in 604 ms. (6 steps per ms) remains 12975/12979 properties
BEST_FIRST walk for 4004 steps (12 resets) in 546 ms. (7 steps per ms) remains 12975/12975 properties
BEST_FIRST walk for 4004 steps (12 resets) in 586 ms. (6 steps per ms) remains 12975/12975 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 12975/12975 properties
BEST_FIRST walk for 4004 steps (12 resets) in 637 ms. (6 steps per ms) remains 12975/12975 properties
BEST_FIRST walk for 4002 steps (12 resets) in 592 ms. (6 steps per ms) remains 12974/12975 properties
BEST_FIRST walk for 4004 steps (12 resets) in 653 ms. (6 steps per ms) remains 12974/12974 properties
BEST_FIRST walk for 4004 steps (12 resets) in 631 ms. (6 steps per ms) remains 12973/12974 properties
BEST_FIRST walk for 4004 steps (12 resets) in 584 ms. (6 steps per ms) remains 12973/12973 properties
BEST_FIRST walk for 4004 steps (12 resets) in 640 ms. (6 steps per ms) remains 12973/12973 properties
BEST_FIRST walk for 4004 steps (12 resets) in 598 ms. (6 steps per ms) remains 12972/12973 properties
BEST_FIRST walk for 4004 steps (12 resets) in 587 ms. (6 steps per ms) remains 12972/12972 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 12972/12972 properties
BEST_FIRST walk for 4004 steps (12 resets) in 619 ms. (6 steps per ms) remains 12972/12972 properties
BEST_FIRST walk for 4003 steps (12 resets) in 627 ms. (6 steps per ms) remains 12972/12972 properties
BEST_FIRST walk for 4003 steps (12 resets) in 619 ms. (6 steps per ms) remains 12971/12972 properties
BEST_FIRST walk for 4004 steps (12 resets) in 623 ms. (6 steps per ms) remains 12971/12971 properties
BEST_FIRST walk for 4004 steps (13 resets) in 662 ms. (6 steps per ms) remains 12971/12971 properties
BEST_FIRST walk for 4003 steps (12 resets) in 675 ms. (5 steps per ms) remains 12971/12971 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 12971/12971 properties
BEST_FIRST walk for 4003 steps (12 resets) in 634 ms. (6 steps per ms) remains 12971/12971 properties
BEST_FIRST walk for 4004 steps (13 resets) in 602 ms. (6 steps per ms) remains 12971/12971 properties
BEST_FIRST walk for 4003 steps (12 resets) in 612 ms. (6 steps per ms) remains 12969/12971 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 12969/12969 properties
BEST_FIRST walk for 4003 steps (12 resets) in 605 ms. (6 steps per ms) remains 12965/12969 properties
BEST_FIRST walk for 4003 steps (12 resets) in 659 ms. (6 steps per ms) remains 12965/12965 properties
BEST_FIRST walk for 4004 steps (12 resets) in 633 ms. (6 steps per ms) remains 12963/12965 properties
BEST_FIRST walk for 4003 steps (12 resets) in 629 ms. (6 steps per ms) remains 12963/12963 properties
BEST_FIRST walk for 4004 steps (14 resets) in 638 ms. (6 steps per ms) remains 12962/12963 properties
BEST_FIRST walk for 4004 steps (12 resets) in 622 ms. (6 steps per ms) remains 12962/12962 properties
BEST_FIRST walk for 4004 steps (12 resets) in 614 ms. (6 steps per ms) remains 12960/12962 properties
BEST_FIRST walk for 4004 steps (14 resets) in 627 ms. (6 steps per ms) remains 12959/12960 properties
BEST_FIRST walk for 4004 steps (12 resets) in 643 ms. (6 steps per ms) remains 12959/12959 properties
BEST_FIRST walk for 4003 steps (12 resets) in 643 ms. (6 steps per ms) remains 12959/12959 properties
BEST_FIRST walk for 4004 steps (13 resets) in 607 ms. (6 steps per ms) remains 12956/12959 properties
BEST_FIRST walk for 4004 steps (13 resets) in 644 ms. (6 steps per ms) remains 12956/12956 properties
BEST_FIRST walk for 4004 steps (12 resets) in 611 ms. (6 steps per ms) remains 12954/12956 properties
BEST_FIRST walk for 4004 steps (12 resets) in 582 ms. (6 steps per ms) remains 12954/12954 properties
BEST_FIRST walk for 4003 steps (12 resets) in 632 ms. (6 steps per ms) remains 12954/12954 properties
BEST_FIRST walk for 4004 steps (12 resets) in 568 ms. (7 steps per ms) remains 12954/12954 properties
BEST_FIRST walk for 4002 steps (13 resets) in 499 ms. (8 steps per ms) remains 12954/12954 properties
BEST_FIRST walk for 4003 steps (12 resets) in 591 ms. (6 steps per ms) remains 12953/12954 properties
BEST_FIRST walk for 4004 steps (12 resets) in 478 ms. (8 steps per ms) remains 12953/12953 properties
BEST_FIRST walk for 4004 steps (12 resets) in 531 ms. (7 steps per ms) remains 12951/12953 properties
BEST_FIRST walk for 4004 steps (12 resets) in 512 ms. (7 steps per ms) remains 12951/12951 properties
BEST_FIRST walk for 4004 steps (12 resets) in 545 ms. (7 steps per ms) remains 12951/12951 properties
BEST_FIRST walk for 4003 steps (12 resets) in 475 ms. (8 steps per ms) remains 12951/12951 properties
BEST_FIRST walk for 4004 steps (12 resets) in 608 ms. (6 steps per ms) remains 12951/12951 properties
BEST_FIRST walk for 4004 steps (12 resets) in 560 ms. (7 steps per ms) remains 12949/12951 properties
BEST_FIRST walk for 4004 steps (12 resets) in 556 ms. (7 steps per ms) remains 12949/12949 properties
BEST_FIRST walk for 4004 steps (12 resets) in 553 ms. (7 steps per ms) remains 12949/12949 properties
BEST_FIRST walk for 4004 steps (12 resets) in 563 ms. (7 steps per ms) remains 12949/12949 properties
BEST_FIRST walk for 4003 steps (12 resets) in 591 ms. (6 steps per ms) remains 12949/12949 properties
BEST_FIRST walk for 4004 steps (12 resets) in 660 ms. (6 steps per ms) remains 12949/12949 properties
BEST_FIRST walk for 4003 steps (12 resets) in 628 ms. (6 steps per ms) remains 12949/12949 properties
BEST_FIRST walk for 4004 steps (12 resets) in 630 ms. (6 steps per ms) remains 12949/12949 properties
BEST_FIRST walk for 4004 steps (12 resets) in 626 ms. (6 steps per ms) remains 12949/12949 properties
BEST_FIRST walk for 4004 steps (12 resets) in 653 ms. (6 steps per ms) remains 12949/12949 properties
BEST_FIRST walk for 4004 steps (12 resets) in 577 ms. (6 steps per ms) remains 12947/12949 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 12947/12947 properties
BEST_FIRST walk for 4004 steps (13 resets) in 651 ms. (6 steps per ms) remains 12947/12947 properties
BEST_FIRST walk for 4004 steps (12 resets) in 625 ms. (6 steps per ms) remains 12945/12947 properties
BEST_FIRST walk for 4004 steps (12 resets) in 582 ms. (6 steps per ms) remains 12944/12945 properties
BEST_FIRST walk for 4003 steps (12 resets) in 653 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4003 steps (12 resets) in 602 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4003 steps (12 resets) in 652 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (16 resets) in 646 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (12 resets) in 599 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (12 resets) in 719 ms. (5 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4003 steps (12 resets) in 595 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (13 resets) in 628 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (12 resets) in 613 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (12 resets) in 598 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4003 steps (12 resets) in 595 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4001 steps (13 resets) in 633 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (12 resets) in 608 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (12 resets) in 534 ms. (7 steps per ms) remains 12944/12944 properties
BEST_FIRST walk for 4004 steps (13 resets) in 598 ms. (6 steps per ms) remains 12943/12944 properties
BEST_FIRST walk for 4004 steps (12 resets) in 579 ms. (6 steps per ms) remains 12943/12943 properties
BEST_FIRST walk for 4003 steps (12 resets) in 519 ms. (7 steps per ms) remains 12943/12943 properties
BEST_FIRST walk for 4004 steps (12 resets) in 581 ms. (6 steps per ms) remains 12943/12943 properties
BEST_FIRST walk for 4004 steps (12 resets) in 574 ms. (6 steps per ms) remains 12941/12943 properties
BEST_FIRST walk for 4004 steps (13 resets) in 578 ms. (6 steps per ms) remains 12941/12941 properties
BEST_FIRST walk for 4004 steps (12 resets) in 494 ms. (8 steps per ms) remains 12941/12941 properties
BEST_FIRST walk for 4004 steps (12 resets) in 580 ms. (6 steps per ms) remains 12941/12941 properties
BEST_FIRST walk for 4003 steps (12 resets) in 597 ms. (6 steps per ms) remains 12939/12941 properties
BEST_FIRST walk for 4003 steps (12 resets) in 556 ms. (7 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4003 steps (12 resets) in 603 ms. (6 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4004 steps (12 resets) in 543 ms. (7 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4003 steps (15 resets) in 643 ms. (6 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4004 steps (12 resets) in 517 ms. (7 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4004 steps (13 resets) in 591 ms. (6 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4004 steps (12 resets) in 577 ms. (6 steps per ms) remains 12937/12939 properties
BEST_FIRST walk for 4004 steps (12 resets) in 517 ms. (7 steps per ms) remains 12937/12937 properties
BEST_FIRST walk for 4004 steps (13 resets) in 594 ms. (6 steps per ms) remains 12937/12937 properties
BEST_FIRST walk for 4004 steps (12 resets) in 590 ms. (6 steps per ms) remains 12936/12937 properties
BEST_FIRST walk for 4003 steps (12 resets) in 546 ms. (7 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4003 steps (12 resets) in 558 ms. (7 steps per ms) remains 12934/12936 properties
BEST_FIRST walk for 4001 steps (12 resets) in 577 ms. (6 steps per ms) remains 12934/12934 properties
BEST_FIRST walk for 4003 steps (12 resets) in 567 ms. (7 steps per ms) remains 12932/12934 properties
BEST_FIRST walk for 4003 steps (12 resets) in 652 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4004 steps (12 resets) in 618 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4003 steps (14 resets) in 611 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4003 steps (12 resets) in 584 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4003 steps (12 resets) in 623 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4004 steps (12 resets) in 611 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4004 steps (12 resets) in 586 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4004 steps (12 resets) in 562 ms. (7 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4004 steps (12 resets) in 633 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4004 steps (13 resets) in 577 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4004 steps (12 resets) in 644 ms. (6 steps per ms) remains 12932/12932 properties
BEST_FIRST walk for 4003 steps (15 resets) in 627 ms. (6 steps per ms) remains 12929/12932 properties
BEST_FIRST walk for 4003 steps (12 resets) in 599 ms. (6 steps per ms) remains 12929/12929 properties
BEST_FIRST walk for 4003 steps (12 resets) in 590 ms. (6 steps per ms) remains 12929/12929 properties
BEST_FIRST walk for 4003 steps (13 resets) in 575 ms. (6 steps per ms) remains 12929/12929 properties
BEST_FIRST walk for 4004 steps (12 resets) in 581 ms. (6 steps per ms) remains 12927/12929 properties
BEST_FIRST walk for 4004 steps (12 resets) in 640 ms. (6 steps per ms) remains 12927/12927 properties
BEST_FIRST walk for 4004 steps (12 resets) in 589 ms. (6 steps per ms) remains 12927/12927 properties
BEST_FIRST walk for 4003 steps (12 resets) in 606 ms. (6 steps per ms) remains 12927/12927 properties
BEST_FIRST walk for 4003 steps (12 resets) in 633 ms. (6 steps per ms) remains 12927/12927 properties
BEST_FIRST walk for 4003 steps (13 resets) in 623 ms. (6 steps per ms) remains 12927/12927 properties
BEST_FIRST walk for 4004 steps (12 resets) in 592 ms. (6 steps per ms) remains 12927/12927 properties
BEST_FIRST walk for 4004 steps (12 resets) in 556 ms. (7 steps per ms) remains 12927/12927 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 12927/12927 properties
BEST_FIRST walk for 4003 steps (12 resets) in 604 ms. (6 steps per ms) remains 12927/12927 properties
BEST_FIRST walk for 4004 steps (12 resets) in 618 ms. (6 steps per ms) remains 12926/12927 properties
BEST_FIRST walk for 4004 steps (12 resets) in 641 ms. (6 steps per ms) remains 12926/12926 properties
BEST_FIRST walk for 4003 steps (12 resets) in 599 ms. (6 steps per ms) remains 12925/12926 properties
BEST_FIRST walk for 4004 steps (12 resets) in 644 ms. (6 steps per ms) remains 12925/12925 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 12923/12925 properties
BEST_FIRST walk for 4003 steps (13 resets) in 634 ms. (6 steps per ms) remains 12923/12923 properties
BEST_FIRST walk for 4003 steps (12 resets) in 630 ms. (6 steps per ms) remains 12922/12923 properties
BEST_FIRST walk for 4002 steps (14 resets) in 630 ms. (6 steps per ms) remains 12922/12922 properties
BEST_FIRST walk for 4004 steps (13 resets) in 603 ms. (6 steps per ms) remains 12917/12922 properties
BEST_FIRST walk for 4004 steps (13 resets) in 630 ms. (6 steps per ms) remains 12917/12917 properties
BEST_FIRST walk for 4004 steps (12 resets) in 555 ms. (7 steps per ms) remains 12917/12917 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 12917/12917 properties
BEST_FIRST walk for 4004 steps (12 resets) in 592 ms. (6 steps per ms) remains 12915/12917 properties
BEST_FIRST walk for 4004 steps (12 resets) in 651 ms. (6 steps per ms) remains 12915/12915 properties
BEST_FIRST walk for 4003 steps (12 resets) in 613 ms. (6 steps per ms) remains 12915/12915 properties
BEST_FIRST walk for 4004 steps (12 resets) in 601 ms. (6 steps per ms) remains 12914/12915 properties
BEST_FIRST walk for 4003 steps (12 resets) in 591 ms. (6 steps per ms) remains 12914/12914 properties
BEST_FIRST walk for 4004 steps (12 resets) in 616 ms. (6 steps per ms) remains 12914/12914 properties
BEST_FIRST walk for 4003 steps (12 resets) in 562 ms. (7 steps per ms) remains 12914/12914 properties
BEST_FIRST walk for 4004 steps (12 resets) in 595 ms. (6 steps per ms) remains 12914/12914 properties
BEST_FIRST walk for 4004 steps (12 resets) in 630 ms. (6 steps per ms) remains 12914/12914 properties
BEST_FIRST walk for 4004 steps (12 resets) in 598 ms. (6 steps per ms) remains 12914/12914 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 12914/12914 properties
BEST_FIRST walk for 4003 steps (12 resets) in 653 ms. (6 steps per ms) remains 12914/12914 properties
BEST_FIRST walk for 4004 steps (13 resets) in 583 ms. (6 steps per ms) remains 12914/12914 properties
BEST_FIRST walk for 4003 steps (12 resets) in 627 ms. (6 steps per ms) remains 12913/12914 properties
BEST_FIRST walk for 4004 steps (15 resets) in 620 ms. (6 steps per ms) remains 12913/12913 properties
BEST_FIRST walk for 4004 steps (12 resets) in 583 ms. (6 steps per ms) remains 12913/12913 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 12911/12913 properties
BEST_FIRST walk for 4003 steps (13 resets) in 608 ms. (6 steps per ms) remains 12911/12911 properties
BEST_FIRST walk for 4004 steps (12 resets) in 599 ms. (6 steps per ms) remains 12911/12911 properties
BEST_FIRST walk for 4004 steps (12 resets) in 593 ms. (6 steps per ms) remains 12911/12911 properties
BEST_FIRST walk for 4004 steps (13 resets) in 611 ms. (6 steps per ms) remains 12911/12911 properties
BEST_FIRST walk for 4004 steps (12 resets) in 641 ms. (6 steps per ms) remains 12911/12911 properties
BEST_FIRST walk for 4004 steps (12 resets) in 610 ms. (6 steps per ms) remains 12911/12911 properties
BEST_FIRST walk for 4004 steps (14 resets) in 633 ms. (6 steps per ms) remains 12911/12911 properties
BEST_FIRST walk for 4004 steps (12 resets) in 601 ms. (6 steps per ms) remains 12910/12911 properties
BEST_FIRST walk for 4004 steps (13 resets) in 531 ms. (7 steps per ms) remains 12910/12910 properties
BEST_FIRST walk for 4004 steps (13 resets) in 596 ms. (6 steps per ms) remains 12908/12910 properties
BEST_FIRST walk for 4003 steps (12 resets) in 630 ms. (6 steps per ms) remains 12908/12908 properties
BEST_FIRST walk for 4004 steps (12 resets) in 567 ms. (7 steps per ms) remains 12908/12908 properties
BEST_FIRST walk for 4003 steps (12 resets) in 579 ms. (6 steps per ms) remains 12908/12908 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 12908/12908 properties
BEST_FIRST walk for 4004 steps (14 resets) in 609 ms. (6 steps per ms) remains 12908/12908 properties
BEST_FIRST walk for 4003 steps (12 resets) in 605 ms. (6 steps per ms) remains 12906/12908 properties
BEST_FIRST walk for 4004 steps (12 resets) in 562 ms. (7 steps per ms) remains 12905/12906 properties
BEST_FIRST walk for 4004 steps (12 resets) in 589 ms. (6 steps per ms) remains 12905/12905 properties
BEST_FIRST walk for 4003 steps (12 resets) in 597 ms. (6 steps per ms) remains 12905/12905 properties
BEST_FIRST walk for 4003 steps (12 resets) in 620 ms. (6 steps per ms) remains 12905/12905 properties
BEST_FIRST walk for 4003 steps (12 resets) in 624 ms. (6 steps per ms) remains 12904/12905 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 12904/12904 properties
BEST_FIRST walk for 4004 steps (12 resets) in 600 ms. (6 steps per ms) remains 12904/12904 properties
BEST_FIRST walk for 4004 steps (12 resets) in 601 ms. (6 steps per ms) remains 12904/12904 properties
BEST_FIRST walk for 4003 steps (12 resets) in 580 ms. (6 steps per ms) remains 12902/12904 properties
BEST_FIRST walk for 4004 steps (12 resets) in 531 ms. (7 steps per ms) remains 12902/12902 properties
BEST_FIRST walk for 4003 steps (12 resets) in 591 ms. (6 steps per ms) remains 12902/12902 properties
BEST_FIRST walk for 4004 steps (12 resets) in 589 ms. (6 steps per ms) remains 12901/12902 properties
BEST_FIRST walk for 4004 steps (12 resets) in 600 ms. (6 steps per ms) remains 12901/12901 properties
BEST_FIRST walk for 4003 steps (15 resets) in 573 ms. (6 steps per ms) remains 12901/12901 properties
BEST_FIRST walk for 4003 steps (13 resets) in 603 ms. (6 steps per ms) remains 12899/12901 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 12897/12899 properties
BEST_FIRST walk for 4004 steps (12 resets) in 558 ms. (7 steps per ms) remains 12897/12897 properties
BEST_FIRST walk for 4004 steps (12 resets) in 468 ms. (8 steps per ms) remains 12895/12897 properties
BEST_FIRST walk for 4004 steps (14 resets) in 567 ms. (7 steps per ms) remains 12894/12895 properties
BEST_FIRST walk for 4003 steps (12 resets) in 526 ms. (7 steps per ms) remains 12894/12894 properties
BEST_FIRST walk for 4004 steps (12 resets) in 522 ms. (7 steps per ms) remains 12894/12894 properties
BEST_FIRST walk for 4004 steps (13 resets) in 563 ms. (7 steps per ms) remains 12892/12894 properties
BEST_FIRST walk for 4004 steps (13 resets) in 559 ms. (7 steps per ms) remains 12892/12892 properties
BEST_FIRST walk for 4004 steps (13 resets) in 566 ms. (7 steps per ms) remains 12892/12892 properties
BEST_FIRST walk for 4004 steps (12 resets) in 515 ms. (7 steps per ms) remains 12892/12892 properties
BEST_FIRST walk for 4004 steps (13 resets) in 565 ms. (7 steps per ms) remains 12892/12892 properties
BEST_FIRST walk for 4003 steps (14 resets) in 582 ms. (6 steps per ms) remains 12892/12892 properties
BEST_FIRST walk for 4004 steps (12 resets) in 547 ms. (7 steps per ms) remains 12892/12892 properties
BEST_FIRST walk for 4002 steps (12 resets) in 552 ms. (7 steps per ms) remains 12892/12892 properties
BEST_FIRST walk for 4004 steps (12 resets) in 599 ms. (6 steps per ms) remains 12892/12892 properties
BEST_FIRST walk for 4003 steps (12 resets) in 541 ms. (7 steps per ms) remains 12892/12892 properties
BEST_FIRST walk for 4004 steps (12 resets) in 523 ms. (7 steps per ms) remains 12891/12892 properties
BEST_FIRST walk for 4004 steps (12 resets) in 579 ms. (6 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4004 steps (12 resets) in 565 ms. (7 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4004 steps (12 resets) in 586 ms. (6 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4004 steps (12 resets) in 503 ms. (7 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4004 steps (12 resets) in 508 ms. (7 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4003 steps (15 resets) in 535 ms. (7 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4004 steps (12 resets) in 545 ms. (7 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4004 steps (12 resets) in 501 ms. (7 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4004 steps (14 resets) in 580 ms. (6 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4003 steps (12 resets) in 502 ms. (7 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4003 steps (12 resets) in 452 ms. (8 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4004 steps (12 resets) in 490 ms. (8 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4004 steps (12 resets) in 637 ms. (6 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4002 steps (12 resets) in 621 ms. (6 steps per ms) remains 12891/12891 properties
BEST_FIRST walk for 4002 steps (14 resets) in 616 ms. (6 steps per ms) remains 12889/12891 properties
BEST_FIRST walk for 4004 steps (12 resets) in 591 ms. (6 steps per ms) remains 12887/12889 properties
BEST_FIRST walk for 4004 steps (12 resets) in 584 ms. (6 steps per ms) remains 12887/12887 properties
BEST_FIRST walk for 4003 steps (12 resets) in 596 ms. (6 steps per ms) remains 12887/12887 properties
BEST_FIRST walk for 4004 steps (12 resets) in 615 ms. (6 steps per ms) remains 12887/12887 properties
BEST_FIRST walk for 4004 steps (12 resets) in 608 ms. (6 steps per ms) remains 12887/12887 properties
BEST_FIRST walk for 4004 steps (12 resets) in 604 ms. (6 steps per ms) remains 12886/12887 properties
BEST_FIRST walk for 4004 steps (16 resets) in 625 ms. (6 steps per ms) remains 12884/12886 properties
BEST_FIRST walk for 4004 steps (12 resets) in 571 ms. (7 steps per ms) remains 12882/12884 properties
BEST_FIRST walk for 4004 steps (12 resets) in 597 ms. (6 steps per ms) remains 12879/12882 properties
BEST_FIRST walk for 4004 steps (13 resets) in 616 ms. (6 steps per ms) remains 12879/12879 properties
BEST_FIRST walk for 4004 steps (13 resets) in 603 ms. (6 steps per ms) remains 12878/12879 properties
BEST_FIRST walk for 4003 steps (16 resets) in 609 ms. (6 steps per ms) remains 12878/12878 properties
BEST_FIRST walk for 4004 steps (12 resets) in 579 ms. (6 steps per ms) remains 12876/12878 properties
BEST_FIRST walk for 4003 steps (13 resets) in 604 ms. (6 steps per ms) remains 12876/12876 properties
BEST_FIRST walk for 4004 steps (15 resets) in 633 ms. (6 steps per ms) remains 12874/12876 properties
BEST_FIRST walk for 4000 steps (16 resets) in 628 ms. (6 steps per ms) remains 12874/12874 properties
BEST_FIRST walk for 4000 steps (16 resets) in 656 ms. (6 steps per ms) remains 12873/12874 properties
BEST_FIRST walk for 4000 steps (16 resets) in 614 ms. (6 steps per ms) remains 12871/12873 properties
BEST_FIRST walk for 4000 steps (16 resets) in 659 ms. (6 steps per ms) remains 12871/12871 properties
BEST_FIRST walk for 4000 steps (16 resets) in 670 ms. (5 steps per ms) remains 12871/12871 properties
BEST_FIRST walk for 4000 steps (16 resets) in 625 ms. (6 steps per ms) remains 12871/12871 properties
BEST_FIRST walk for 4000 steps (16 resets) in 616 ms. (6 steps per ms) remains 12871/12871 properties
BEST_FIRST walk for 4000 steps (16 resets) in 599 ms. (6 steps per ms) remains 12871/12871 properties
BEST_FIRST walk for 4000 steps (16 resets) in 637 ms. (6 steps per ms) remains 12871/12871 properties
BEST_FIRST walk for 4000 steps (16 resets) in 614 ms. (6 steps per ms) remains 12869/12871 properties
BEST_FIRST walk for 4000 steps (16 resets) in 662 ms. (6 steps per ms) remains 12869/12869 properties
BEST_FIRST walk for 4000 steps (16 resets) in 651 ms. (6 steps per ms) remains 12869/12869 properties
BEST_FIRST walk for 4000 steps (16 resets) in 617 ms. (6 steps per ms) remains 12869/12869 properties
BEST_FIRST walk for 4000 steps (16 resets) in 641 ms. (6 steps per ms) remains 12868/12869 properties
BEST_FIRST walk for 4000 steps (16 resets) in 659 ms. (6 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4000 steps (16 resets) in 675 ms. (5 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4000 steps (16 resets) in 652 ms. (6 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4000 steps (16 resets) in 646 ms. (6 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4000 steps (16 resets) in 636 ms. (6 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4000 steps (16 resets) in 656 ms. (6 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4000 steps (16 resets) in 641 ms. (6 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4000 steps (16 resets) in 603 ms. (6 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4000 steps (16 resets) in 632 ms. (6 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4000 steps (16 resets) in 656 ms. (6 steps per ms) remains 12867/12868 properties
BEST_FIRST walk for 4000 steps (16 resets) in 612 ms. (6 steps per ms) remains 12864/12867 properties
BEST_FIRST walk for 4000 steps (16 resets) in 640 ms. (6 steps per ms) remains 12864/12864 properties
BEST_FIRST walk for 4000 steps (16 resets) in 611 ms. (6 steps per ms) remains 12864/12864 properties
BEST_FIRST walk for 4000 steps (16 resets) in 595 ms. (6 steps per ms) remains 12864/12864 properties
BEST_FIRST walk for 4000 steps (16 resets) in 593 ms. (6 steps per ms) remains 12864/12864 properties
BEST_FIRST walk for 4002 steps (15 resets) in 617 ms. (6 steps per ms) remains 12864/12864 properties
BEST_FIRST walk for 4004 steps (16 resets) in 553 ms. (7 steps per ms) remains 12864/12864 properties
BEST_FIRST walk for 4004 steps (12 resets) in 502 ms. (7 steps per ms) remains 12864/12864 properties
BEST_FIRST walk for 4004 steps (12 resets) in 640 ms. (6 steps per ms) remains 12864/12864 properties
BEST_FIRST walk for 4004 steps (14 resets) in 598 ms. (6 steps per ms) remains 12863/12864 properties
BEST_FIRST walk for 4004 steps (12 resets) in 578 ms. (6 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4003 steps (12 resets) in 579 ms. (6 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4004 steps (13 resets) in 649 ms. (6 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4003 steps (12 resets) in 597 ms. (6 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4003 steps (15 resets) in 651 ms. (6 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4003 steps (12 resets) in 618 ms. (6 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4004 steps (13 resets) in 623 ms. (6 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4003 steps (12 resets) in 502 ms. (7 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4004 steps (13 resets) in 597 ms. (6 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4004 steps (12 resets) in 567 ms. (7 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4004 steps (15 resets) in 617 ms. (6 steps per ms) remains 12862/12863 properties
BEST_FIRST walk for 4003 steps (12 resets) in 542 ms. (7 steps per ms) remains 12862/12862 properties
BEST_FIRST walk for 4004 steps (13 resets) in 605 ms. (6 steps per ms) remains 12862/12862 properties
BEST_FIRST walk for 4004 steps (12 resets) in 519 ms. (7 steps per ms) remains 12862/12862 properties
BEST_FIRST walk for 4004 steps (12 resets) in 561 ms. (7 steps per ms) remains 12861/12862 properties
BEST_FIRST walk for 4004 steps (13 resets) in 554 ms. (7 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4003 steps (12 resets) in 581 ms. (6 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4003 steps (12 resets) in 529 ms. (7 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4004 steps (12 resets) in 617 ms. (6 steps per ms) remains 12858/12861 properties
BEST_FIRST walk for 4004 steps (15 resets) in 621 ms. (6 steps per ms) remains 12858/12858 properties
BEST_FIRST walk for 4003 steps (12 resets) in 538 ms. (7 steps per ms) remains 12858/12858 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 12858/12858 properties
BEST_FIRST walk for 4004 steps (12 resets) in 591 ms. (6 steps per ms) remains 12858/12858 properties
BEST_FIRST walk for 4003 steps (13 resets) in 556 ms. (7 steps per ms) remains 12853/12858 properties
BEST_FIRST walk for 4003 steps (13 resets) in 530 ms. (7 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4004 steps (13 resets) in 648 ms. (6 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4004 steps (12 resets) in 522 ms. (7 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4004 steps (12 resets) in 527 ms. (7 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4004 steps (12 resets) in 540 ms. (7 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4002 steps (13 resets) in 648 ms. (6 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4002 steps (13 resets) in 637 ms. (6 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4003 steps (12 resets) in 631 ms. (6 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4003 steps (12 resets) in 542 ms. (7 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4004 steps (12 resets) in 545 ms. (7 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4003 steps (12 resets) in 547 ms. (7 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4004 steps (12 resets) in 570 ms. (7 steps per ms) remains 12853/12853 properties
BEST_FIRST walk for 4003 steps (12 resets) in 654 ms. (6 steps per ms) remains 12851/12853 properties
BEST_FIRST walk for 4004 steps (12 resets) in 556 ms. (7 steps per ms) remains 12851/12851 properties
BEST_FIRST walk for 4004 steps (12 resets) in 547 ms. (7 steps per ms) remains 12851/12851 properties
BEST_FIRST walk for 4003 steps (12 resets) in 522 ms. (7 steps per ms) remains 12849/12851 properties
BEST_FIRST walk for 4004 steps (12 resets) in 578 ms. (6 steps per ms) remains 12849/12849 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 12849/12849 properties
BEST_FIRST walk for 4004 steps (12 resets) in 537 ms. (7 steps per ms) remains 12849/12849 properties
BEST_FIRST walk for 4003 steps (14 resets) in 631 ms. (6 steps per ms) remains 12849/12849 properties
BEST_FIRST walk for 4004 steps (12 resets) in 589 ms. (6 steps per ms) remains 12849/12849 properties
BEST_FIRST walk for 4004 steps (12 resets) in 566 ms. (7 steps per ms) remains 12848/12849 properties
BEST_FIRST walk for 4004 steps (12 resets) in 593 ms. (6 steps per ms) remains 12848/12848 properties
BEST_FIRST walk for 4003 steps (12 resets) in 604 ms. (6 steps per ms) remains 12848/12848 properties
BEST_FIRST walk for 4003 steps (12 resets) in 606 ms. (6 steps per ms) remains 12848/12848 properties
BEST_FIRST walk for 4004 steps (12 resets) in 544 ms. (7 steps per ms) remains 12848/12848 properties
BEST_FIRST walk for 4004 steps (12 resets) in 522 ms. (7 steps per ms) remains 12848/12848 properties
BEST_FIRST walk for 4004 steps (12 resets) in 589 ms. (6 steps per ms) remains 12846/12848 properties
BEST_FIRST walk for 4004 steps (12 resets) in 486 ms. (8 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4004 steps (12 resets) in 616 ms. (6 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4004 steps (12 resets) in 580 ms. (6 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4004 steps (12 resets) in 579 ms. (6 steps per ms) remains 12844/12846 properties
BEST_FIRST walk for 4004 steps (12 resets) in 614 ms. (6 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4004 steps (13 resets) in 637 ms. (6 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4004 steps (14 resets) in 641 ms. (6 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4004 steps (12 resets) in 571 ms. (7 steps per ms) remains 12842/12844 properties
BEST_FIRST walk for 4004 steps (12 resets) in 586 ms. (6 steps per ms) remains 12842/12842 properties
BEST_FIRST walk for 4004 steps (12 resets) in 621 ms. (6 steps per ms) remains 12842/12842 properties
BEST_FIRST walk for 4003 steps (12 resets) in 571 ms. (6 steps per ms) remains 12842/12842 properties
BEST_FIRST walk for 4004 steps (13 resets) in 608 ms. (6 steps per ms) remains 12842/12842 properties
BEST_FIRST walk for 4003 steps (12 resets) in 584 ms. (6 steps per ms) remains 12841/12842 properties
BEST_FIRST walk for 4004 steps (12 resets) in 620 ms. (6 steps per ms) remains 12841/12841 properties
BEST_FIRST walk for 4003 steps (12 resets) in 578 ms. (6 steps per ms) remains 12841/12841 properties
BEST_FIRST walk for 4004 steps (13 resets) in 661 ms. (6 steps per ms) remains 12841/12841 properties
BEST_FIRST walk for 4003 steps (12 resets) in 616 ms. (6 steps per ms) remains 12840/12841 properties
BEST_FIRST walk for 4004 steps (12 resets) in 518 ms. (7 steps per ms) remains 12840/12840 properties
BEST_FIRST walk for 4004 steps (12 resets) in 615 ms. (6 steps per ms) remains 12839/12840 properties
BEST_FIRST walk for 4004 steps (13 resets) in 614 ms. (6 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (12 resets) in 563 ms. (7 steps per ms) remains 12837/12839 properties
BEST_FIRST walk for 4004 steps (12 resets) in 653 ms. (6 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4004 steps (12 resets) in 550 ms. (7 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4004 steps (14 resets) in 595 ms. (6 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4004 steps (12 resets) in 615 ms. (6 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4004 steps (14 resets) in 586 ms. (6 steps per ms) remains 12836/12837 properties
BEST_FIRST walk for 4004 steps (12 resets) in 527 ms. (7 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4002 steps (12 resets) in 590 ms. (6 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4004 steps (12 resets) in 578 ms. (6 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4004 steps (12 resets) in 560 ms. (7 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4004 steps (12 resets) in 517 ms. (7 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4003 steps (12 resets) in 542 ms. (7 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4003 steps (13 resets) in 538 ms. (7 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4004 steps (12 resets) in 641 ms. (6 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4003 steps (12 resets) in 622 ms. (6 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4003 steps (12 resets) in 493 ms. (8 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4004 steps (12 resets) in 632 ms. (6 steps per ms) remains 12834/12836 properties
BEST_FIRST walk for 4004 steps (12 resets) in 539 ms. (7 steps per ms) remains 12830/12834 properties
BEST_FIRST walk for 4003 steps (13 resets) in 623 ms. (6 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (12 resets) in 642 ms. (6 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4003 steps (12 resets) in 584 ms. (6 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4003 steps (13 resets) in 619 ms. (6 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (14 resets) in 619 ms. (6 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (12 resets) in 648 ms. (6 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4002 steps (12 resets) in 549 ms. (7 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (13 resets) in 536 ms. (7 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (12 resets) in 630 ms. (6 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (13 resets) in 540 ms. (7 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4003 steps (12 resets) in 548 ms. (7 steps per ms) remains 12828/12830 properties
BEST_FIRST walk for 4004 steps (12 resets) in 616 ms. (6 steps per ms) remains 12828/12828 properties
BEST_FIRST walk for 4004 steps (13 resets) in 573 ms. (6 steps per ms) remains 12828/12828 properties
BEST_FIRST walk for 4004 steps (13 resets) in 633 ms. (6 steps per ms) remains 12828/12828 properties
BEST_FIRST walk for 4004 steps (12 resets) in 567 ms. (7 steps per ms) remains 12825/12828 properties
BEST_FIRST walk for 4004 steps (12 resets) in 633 ms. (6 steps per ms) remains 12825/12825 properties
BEST_FIRST walk for 4003 steps (12 resets) in 592 ms. (6 steps per ms) remains 12825/12825 properties
BEST_FIRST walk for 4004 steps (12 resets) in 553 ms. (7 steps per ms) remains 12825/12825 properties
BEST_FIRST walk for 4003 steps (14 resets) in 630 ms. (6 steps per ms) remains 12825/12825 properties
BEST_FIRST walk for 4004 steps (13 resets) in 547 ms. (7 steps per ms) remains 12825/12825 properties
BEST_FIRST walk for 4004 steps (12 resets) in 631 ms. (6 steps per ms) remains 12825/12825 properties
BEST_FIRST walk for 4004 steps (13 resets) in 640 ms. (6 steps per ms) remains 12823/12825 properties
BEST_FIRST walk for 4003 steps (12 resets) in 564 ms. (7 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4004 steps (12 resets) in 626 ms. (6 steps per ms) remains 12822/12823 properties
BEST_FIRST walk for 4003 steps (15 resets) in 597 ms. (6 steps per ms) remains 12822/12822 properties
BEST_FIRST walk for 4004 steps (13 resets) in 653 ms. (6 steps per ms) remains 12822/12822 properties
BEST_FIRST walk for 4003 steps (12 resets) in 586 ms. (6 steps per ms) remains 12822/12822 properties
BEST_FIRST walk for 4004 steps (12 resets) in 553 ms. (7 steps per ms) remains 12822/12822 properties
BEST_FIRST walk for 4003 steps (13 resets) in 570 ms. (7 steps per ms) remains 12820/12822 properties
BEST_FIRST walk for 4004 steps (13 resets) in 602 ms. (6 steps per ms) remains 12820/12820 properties
BEST_FIRST walk for 4004 steps (13 resets) in 583 ms. (6 steps per ms) remains 12819/12820 properties
BEST_FIRST walk for 4004 steps (12 resets) in 634 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4003 steps (12 resets) in 606 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 559 ms. (7 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4003 steps (12 resets) in 631 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (13 resets) in 578 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 639 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (13 resets) in 594 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4003 steps (12 resets) in 583 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 625 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 589 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (13 resets) in 593 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 610 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4003 steps (12 resets) in 547 ms. (7 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 537 ms. (7 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 638 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (13 resets) in 538 ms. (7 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 607 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 592 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 584 ms. (6 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (12 resets) in 584 ms. (6 steps per ms) remains 12817/12819 properties
BEST_FIRST walk for 4004 steps (13 resets) in 565 ms. (7 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (12 resets) in 599 ms. (6 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (13 resets) in 562 ms. (7 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (12 resets) in 564 ms. (7 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (12 resets) in 575 ms. (6 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (12 resets) in 494 ms. (8 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (12 resets) in 570 ms. (7 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (12 resets) in 562 ms. (7 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4003 steps (12 resets) in 586 ms. (6 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4003 steps (12 resets) in 644 ms. (6 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4002 steps (12 resets) in 584 ms. (6 steps per ms) remains 12815/12817 properties
BEST_FIRST walk for 4004 steps (13 resets) in 578 ms. (6 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4003 steps (12 resets) in 593 ms. (6 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 600 ms. (6 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 636 ms. (6 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 536 ms. (7 steps per ms) remains 12813/12815 properties
BEST_FIRST walk for 4004 steps (12 resets) in 641 ms. (6 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (13 resets) in 619 ms. (6 steps per ms) remains 12811/12813 properties
BEST_FIRST walk for 4004 steps (12 resets) in 569 ms. (7 steps per ms) remains 12811/12811 properties
BEST_FIRST walk for 4004 steps (12 resets) in 520 ms. (7 steps per ms) remains 12809/12811 properties
BEST_FIRST walk for 4003 steps (13 resets) in 566 ms. (7 steps per ms) remains 12809/12809 properties
BEST_FIRST walk for 4003 steps (12 resets) in 572 ms. (6 steps per ms) remains 12809/12809 properties
BEST_FIRST walk for 4004 steps (12 resets) in 601 ms. (6 steps per ms) remains 12809/12809 properties
BEST_FIRST walk for 4004 steps (12 resets) in 520 ms. (7 steps per ms) remains 12809/12809 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 12809/12809 properties
BEST_FIRST walk for 4004 steps (13 resets) in 552 ms. (7 steps per ms) remains 12809/12809 properties
BEST_FIRST walk for 4004 steps (12 resets) in 509 ms. (7 steps per ms) remains 12808/12809 properties
BEST_FIRST walk for 4003 steps (12 resets) in 609 ms. (6 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (12 resets) in 565 ms. (7 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (12 resets) in 555 ms. (7 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4002 steps (12 resets) in 533 ms. (7 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (12 resets) in 599 ms. (6 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4003 steps (12 resets) in 529 ms. (7 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (12 resets) in 542 ms. (7 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (12 resets) in 502 ms. (7 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (13 resets) in 613 ms. (6 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (12 resets) in 536 ms. (7 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (13 resets) in 500 ms. (7 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (12 resets) in 495 ms. (8 steps per ms) remains 12807/12808 properties
BEST_FIRST walk for 4003 steps (13 resets) in 636 ms. (6 steps per ms) remains 12807/12807 properties
BEST_FIRST walk for 4004 steps (12 resets) in 544 ms. (7 steps per ms) remains 12807/12807 properties
BEST_FIRST walk for 4004 steps (12 resets) in 585 ms. (6 steps per ms) remains 12806/12807 properties
BEST_FIRST walk for 4004 steps (12 resets) in 575 ms. (6 steps per ms) remains 12806/12806 properties
BEST_FIRST walk for 4003 steps (12 resets) in 586 ms. (6 steps per ms) remains 12806/12806 properties
BEST_FIRST walk for 4004 steps (12 resets) in 528 ms. (7 steps per ms) remains 12804/12806 properties
BEST_FIRST walk for 4003 steps (12 resets) in 527 ms. (7 steps per ms) remains 12804/12804 properties
BEST_FIRST walk for 4004 steps (13 resets) in 532 ms. (7 steps per ms) remains 12804/12804 properties
BEST_FIRST walk for 4003 steps (13 resets) in 593 ms. (6 steps per ms) remains 12804/12804 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 12804/12804 properties
BEST_FIRST walk for 4004 steps (12 resets) in 570 ms. (7 steps per ms) remains 12804/12804 properties
BEST_FIRST walk for 4003 steps (13 resets) in 570 ms. (7 steps per ms) remains 12804/12804 properties
BEST_FIRST walk for 4003 steps (13 resets) in 609 ms. (6 steps per ms) remains 12804/12804 properties
BEST_FIRST walk for 4004 steps (12 resets) in 625 ms. (6 steps per ms) remains 12804/12804 properties
BEST_FIRST walk for 4003 steps (13 resets) in 529 ms. (7 steps per ms) remains 12802/12804 properties
BEST_FIRST walk for 4004 steps (13 resets) in 539 ms. (7 steps per ms) remains 12802/12802 properties
BEST_FIRST walk for 4003 steps (12 resets) in 542 ms. (7 steps per ms) remains 12802/12802 properties
BEST_FIRST walk for 4003 steps (12 resets) in 498 ms. (8 steps per ms) remains 12802/12802 properties
BEST_FIRST walk for 4003 steps (12 resets) in 483 ms. (8 steps per ms) remains 12802/12802 properties
BEST_FIRST walk for 4004 steps (12 resets) in 454 ms. (8 steps per ms) remains 12801/12802 properties
BEST_FIRST walk for 4004 steps (13 resets) in 584 ms. (6 steps per ms) remains 12801/12801 properties
BEST_FIRST walk for 4004 steps (12 resets) in 598 ms. (6 steps per ms) remains 12799/12801 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4004 steps (12 resets) in 517 ms. (7 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4003 steps (12 resets) in 506 ms. (7 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4004 steps (12 resets) in 599 ms. (6 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4003 steps (14 resets) in 587 ms. (6 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4004 steps (14 resets) in 535 ms. (7 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4004 steps (12 resets) in 591 ms. (6 steps per ms) remains 12797/12799 properties
BEST_FIRST walk for 4003 steps (12 resets) in 510 ms. (7 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (12 resets) in 496 ms. (8 steps per ms) remains 12795/12797 properties
BEST_FIRST walk for 4003 steps (12 resets) in 504 ms. (7 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (12 resets) in 497 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (12 resets) in 471 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (13 resets) in 643 ms. (6 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (12 resets) in 599 ms. (6 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (13 resets) in 476 ms. (8 steps per ms) remains 12793/12795 properties
BEST_FIRST walk for 4004 steps (12 resets) in 562 ms. (7 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 520 ms. (7 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 510 ms. (7 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (13 resets) in 586 ms. (6 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (12 resets) in 605 ms. (6 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (12 resets) in 474 ms. (8 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (12 resets) in 604 ms. (6 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 500 ms. (7 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 540 ms. (7 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 466 ms. (8 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 559 ms. (7 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 555 ms. (7 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (14 resets) in 551 ms. (7 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (12 resets) in 587 ms. (6 steps per ms) remains 12792/12793 properties
BEST_FIRST walk for 4004 steps (12 resets) in 466 ms. (8 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4003 steps (12 resets) in 533 ms. (7 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (12 resets) in 551 ms. (7 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (12 resets) in 614 ms. (6 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (12 resets) in 463 ms. (8 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (14 resets) in 548 ms. (7 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (13 resets) in 605 ms. (6 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (12 resets) in 569 ms. (7 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (13 resets) in 558 ms. (7 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (13 resets) in 541 ms. (7 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (12 resets) in 544 ms. (7 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (13 resets) in 533 ms. (7 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (12 resets) in 481 ms. (8 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4002 steps (12 resets) in 581 ms. (6 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (12 resets) in 506 ms. (7 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (12 resets) in 487 ms. (8 steps per ms) remains 12792/12792 properties
BEST_FIRST walk for 4004 steps (12 resets) in 578 ms. (6 steps per ms) remains 12790/12792 properties
BEST_FIRST walk for 4004 steps (12 resets) in 552 ms. (7 steps per ms) remains 12790/12790 properties
BEST_FIRST walk for 4004 steps (12 resets) in 580 ms. (6 steps per ms) remains 12790/12790 properties
BEST_FIRST walk for 4002 steps (15 resets) in 603 ms. (6 steps per ms) remains 12790/12790 properties
BEST_FIRST walk for 4003 steps (12 resets) in 503 ms. (7 steps per ms) remains 12786/12790 properties
BEST_FIRST walk for 4004 steps (13 resets) in 562 ms. (7 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4002 steps (12 resets) in 470 ms. (8 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4004 steps (12 resets) in 520 ms. (7 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4004 steps (13 resets) in 574 ms. (6 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4003 steps (12 resets) in 569 ms. (7 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4003 steps (12 resets) in 554 ms. (7 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4004 steps (12 resets) in 467 ms. (8 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4004 steps (12 resets) in 424 ms. (9 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4003 steps (12 resets) in 504 ms. (7 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4003 steps (12 resets) in 619 ms. (6 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4003 steps (13 resets) in 602 ms. (6 steps per ms) remains 12785/12786 properties
BEST_FIRST walk for 4004 steps (13 resets) in 523 ms. (7 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4004 steps (12 resets) in 627 ms. (6 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4004 steps (12 resets) in 538 ms. (7 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4004 steps (13 resets) in 558 ms. (7 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4003 steps (12 resets) in 625 ms. (6 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4004 steps (12 resets) in 593 ms. (6 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4002 steps (13 resets) in 618 ms. (6 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4004 steps (12 resets) in 585 ms. (6 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4004 steps (12 resets) in 567 ms. (7 steps per ms) remains 12783/12785 properties
BEST_FIRST walk for 4004 steps (12 resets) in 562 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (12 resets) in 585 ms. (6 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4003 steps (12 resets) in 651 ms. (6 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (12 resets) in 578 ms. (6 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (12 resets) in 632 ms. (6 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (12 resets) in 583 ms. (6 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (13 resets) in 598 ms. (6 steps per ms) remains 12782/12783 properties
BEST_FIRST walk for 4003 steps (12 resets) in 631 ms. (6 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (12 resets) in 590 ms. (6 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (13 resets) in 605 ms. (6 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4003 steps (12 resets) in 481 ms. (8 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (13 resets) in 569 ms. (7 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (12 resets) in 509 ms. (7 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (15 resets) in 532 ms. (7 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (12 resets) in 519 ms. (7 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (12 resets) in 565 ms. (7 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (13 resets) in 577 ms. (6 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (12 resets) in 532 ms. (7 steps per ms) remains 12780/12782 properties
BEST_FIRST walk for 4004 steps (13 resets) in 574 ms. (6 steps per ms) remains 12780/12780 properties
BEST_FIRST walk for 4004 steps (13 resets) in 574 ms. (6 steps per ms) remains 12780/12780 properties
BEST_FIRST walk for 4003 steps (12 resets) in 573 ms. (6 steps per ms) remains 12780/12780 properties
BEST_FIRST walk for 4004 steps (13 resets) in 532 ms. (7 steps per ms) remains 12780/12780 properties
BEST_FIRST walk for 4004 steps (12 resets) in 559 ms. (7 steps per ms) remains 12780/12780 properties
BEST_FIRST walk for 4004 steps (12 resets) in 567 ms. (7 steps per ms) remains 12780/12780 properties
BEST_FIRST walk for 4004 steps (12 resets) in 608 ms. (6 steps per ms) remains 12780/12780 properties
BEST_FIRST walk for 4002 steps (12 resets) in 556 ms. (7 steps per ms) remains 12777/12780 properties
BEST_FIRST walk for 4004 steps (13 resets) in 525 ms. (7 steps per ms) remains 12777/12777 properties
BEST_FIRST walk for 4004 steps (14 resets) in 602 ms. (6 steps per ms) remains 12776/12777 properties
BEST_FIRST walk for 4003 steps (15 resets) in 635 ms. (6 steps per ms) remains 12776/12776 properties
BEST_FIRST walk for 4004 steps (12 resets) in 558 ms. (7 steps per ms) remains 12776/12776 properties
BEST_FIRST walk for 4004 steps (12 resets) in 532 ms. (7 steps per ms) remains 12774/12776 properties
BEST_FIRST walk for 4004 steps (12 resets) in 507 ms. (7 steps per ms) remains 12774/12774 properties
BEST_FIRST walk for 4004 steps (12 resets) in 516 ms. (7 steps per ms) remains 12772/12774 properties
BEST_FIRST walk for 4004 steps (12 resets) in 550 ms. (7 steps per ms) remains 12772/12772 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 12772/12772 properties
BEST_FIRST walk for 4004 steps (12 resets) in 581 ms. (6 steps per ms) remains 12772/12772 properties
BEST_FIRST walk for 4004 steps (12 resets) in 503 ms. (7 steps per ms) remains 12772/12772 properties
BEST_FIRST walk for 4003 steps (12 resets) in 576 ms. (6 steps per ms) remains 12772/12772 properties
BEST_FIRST walk for 4003 steps (12 resets) in 566 ms. (7 steps per ms) remains 12771/12772 properties
BEST_FIRST walk for 4003 steps (13 resets) in 525 ms. (7 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4004 steps (12 resets) in 479 ms. (8 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4004 steps (16 resets) in 541 ms. (7 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4003 steps (12 resets) in 547 ms. (7 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4003 steps (12 resets) in 570 ms. (7 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4004 steps (13 resets) in 494 ms. (8 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4003 steps (12 resets) in 643 ms. (6 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4004 steps (12 resets) in 604 ms. (6 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4004 steps (12 resets) in 564 ms. (7 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4004 steps (12 resets) in 478 ms. (8 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4004 steps (13 resets) in 587 ms. (6 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4003 steps (12 resets) in 531 ms. (7 steps per ms) remains 12770/12771 properties
BEST_FIRST walk for 4004 steps (15 resets) in 632 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4003 steps (12 resets) in 603 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4002 steps (12 resets) in 563 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 519 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4003 steps (12 resets) in 528 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 550 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 595 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 572 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (14 resets) in 545 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 514 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (13 resets) in 535 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (13 resets) in 578 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 532 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (13 resets) in 532 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 553 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (16 resets) in 596 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4003 steps (12 resets) in 592 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (13 resets) in 601 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (13 resets) in 610 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (15 resets) in 625 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (12 resets) in 522 ms. (7 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4003 steps (13 resets) in 640 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (15 resets) in 630 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4000 steps (16 resets) in 646 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4000 steps (16 resets) in 629 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4000 steps (16 resets) in 641 ms. (6 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4000 steps (16 resets) in 645 ms. (6 steps per ms) remains 12768/12770 properties
BEST_FIRST walk for 4000 steps (16 resets) in 668 ms. (5 steps per ms) remains 12768/12768 properties
BEST_FIRST walk for 4000 steps (16 resets) in 644 ms. (6 steps per ms) remains 12768/12768 properties
BEST_FIRST walk for 4000 steps (16 resets) in 638 ms. (6 steps per ms) remains 12768/12768 properties
BEST_FIRST walk for 4000 steps (16 resets) in 650 ms. (6 steps per ms) remains 12768/12768 properties
BEST_FIRST walk for 4000 steps (16 resets) in 629 ms. (6 steps per ms) remains 12768/12768 properties
BEST_FIRST walk for 4000 steps (16 resets) in 665 ms. (6 steps per ms) remains 12768/12768 properties
BEST_FIRST walk for 4000 steps (16 resets) in 624 ms. (6 steps per ms) remains 12766/12768 properties
BEST_FIRST walk for 4000 steps (16 resets) in 656 ms. (6 steps per ms) remains 12766/12766 properties
BEST_FIRST walk for 4000 steps (16 resets) in 656 ms. (6 steps per ms) remains 12766/12766 properties
BEST_FIRST walk for 4000 steps (16 resets) in 638 ms. (6 steps per ms) remains 12766/12766 properties
BEST_FIRST walk for 4000 steps (16 resets) in 665 ms. (6 steps per ms) remains 12766/12766 properties
BEST_FIRST walk for 4000 steps (16 resets) in 639 ms. (6 steps per ms) remains 12766/12766 properties
BEST_FIRST walk for 4000 steps (16 resets) in 657 ms. (6 steps per ms) remains 12763/12766 properties
BEST_FIRST walk for 4000 steps (16 resets) in 682 ms. (5 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 631 ms. (6 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 661 ms. (6 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 621 ms. (6 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 669 ms. (5 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 670 ms. (5 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 657 ms. (6 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 664 ms. (6 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 632 ms. (6 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 674 ms. (5 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 656 ms. (6 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 630 ms. (6 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4000 steps (16 resets) in 668 ms. (5 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4003 steps (14 resets) in 634 ms. (6 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4003 steps (16 resets) in 536 ms. (7 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4004 steps (13 resets) in 657 ms. (6 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 12761/12763 properties
BEST_FIRST walk for 4004 steps (15 resets) in 644 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (13 resets) in 660 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (13 resets) in 599 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (14 resets) in 630 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (13 resets) in 653 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (16 resets) in 603 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (12 resets) in 562 ms. (7 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (12 resets) in 612 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4003 steps (12 resets) in 598 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (12 resets) in 618 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4003 steps (12 resets) in 611 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (14 resets) in 586 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4003 steps (13 resets) in 615 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (12 resets) in 576 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (12 resets) in 581 ms. (6 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (12 resets) in 559 ms. (7 steps per ms) remains 12759/12761 properties
BEST_FIRST walk for 4003 steps (12 resets) in 630 ms. (6 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 487 ms. (8 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 505 ms. (7 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 543 ms. (7 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4004 steps (15 resets) in 590 ms. (6 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4003 steps (12 resets) in 586 ms. (6 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 583 ms. (6 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4004 steps (12 resets) in 573 ms. (6 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4003 steps (12 resets) in 640 ms. (6 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4004 steps (13 resets) in 597 ms. (6 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4004 steps (13 resets) in 625 ms. (6 steps per ms) remains 12757/12759 properties
BEST_FIRST walk for 4004 steps (13 resets) in 596 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4002 steps (13 resets) in 657 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 601 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 616 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (15 resets) in 555 ms. (7 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4002 steps (12 resets) in 536 ms. (7 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (13 resets) in 624 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (13 resets) in 648 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (12 resets) in 641 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 639 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 641 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (14 resets) in 590 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (13 resets) in 615 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 620 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (13 resets) in 659 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (12 resets) in 574 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (15 resets) in 614 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 665 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 635 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 628 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 635 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 595 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 598 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 627 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (13 resets) in 608 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (12 resets) in 615 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 560 ms. (7 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 628 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (13 resets) in 646 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 570 ms. (7 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (15 resets) in 645 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 620 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 629 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 601 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (12 resets) in 578 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (12 resets) in 601 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (12 resets) in 604 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (12 resets) in 587 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 646 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4003 steps (12 resets) in 595 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 552 ms. (7 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (13 resets) in 568 ms. (7 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 620 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (13 resets) in 592 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (13 resets) in 619 ms. (6 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (12 resets) in 612 ms. (6 steps per ms) remains 12755/12757 properties
BEST_FIRST walk for 4004 steps (15 resets) in 611 ms. (6 steps per ms) remains 12754/12755 properties
BEST_FIRST walk for 4004 steps (12 resets) in 567 ms. (7 steps per ms) remains 12754/12754 properties
BEST_FIRST walk for 4003 steps (12 resets) in 579 ms. (6 steps per ms) remains 12754/12754 properties
BEST_FIRST walk for 4003 steps (12 resets) in 563 ms. (7 steps per ms) remains 12754/12754 properties
BEST_FIRST walk for 4004 steps (12 resets) in 578 ms. (6 steps per ms) remains 12754/12754 properties
BEST_FIRST walk for 4004 steps (13 resets) in 612 ms. (6 steps per ms) remains 12752/12754 properties
BEST_FIRST walk for 4004 steps (12 resets) in 609 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (12 resets) in 554 ms. (7 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (13 resets) in 576 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (12 resets) in 547 ms. (7 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (12 resets) in 576 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4003 steps (12 resets) in 615 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (13 resets) in 585 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4003 steps (13 resets) in 549 ms. (7 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (13 resets) in 567 ms. (7 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (12 resets) in 546 ms. (7 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (12 resets) in 611 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (12 resets) in 519 ms. (7 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4003 steps (13 resets) in 617 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (15 resets) in 631 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4002 steps (12 resets) in 561 ms. (7 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4002 steps (12 resets) in 601 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (12 resets) in 597 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (12 resets) in 633 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4003 steps (12 resets) in 610 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4003 steps (12 resets) in 659 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (12 resets) in 577 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4003 steps (12 resets) in 581 ms. (6 steps per ms) remains 12752/12752 properties
BEST_FIRST walk for 4004 steps (13 resets) in 621 ms. (6 steps per ms) remains 12751/12752 properties
BEST_FIRST walk for 4003 steps (12 resets) in 602 ms. (6 steps per ms) remains 12751/12751 properties
BEST_FIRST walk for 4003 steps (12 resets) in 591 ms. (6 steps per ms) remains 12749/12751 properties
BEST_FIRST walk for 4004 steps (12 resets) in 593 ms. (6 steps per ms) remains 12749/12749 properties
BEST_FIRST walk for 4004 steps (12 resets) in 543 ms. (7 steps per ms) remains 12749/12749 properties
BEST_FIRST walk for 4004 steps (12 resets) in 539 ms. (7 steps per ms) remains 12749/12749 properties
BEST_FIRST walk for 4004 steps (12 resets) in 591 ms. (6 steps per ms) remains 12748/12749 properties
BEST_FIRST walk for 4003 steps (12 resets) in 630 ms. (6 steps per ms) remains 12748/12748 properties
BEST_FIRST walk for 4004 steps (12 resets) in 593 ms. (6 steps per ms) remains 12747/12748 properties
BEST_FIRST walk for 4004 steps (12 resets) in 566 ms. (7 steps per ms) remains 12747/12747 properties
BEST_FIRST walk for 4004 steps (13 resets) in 582 ms. (6 steps per ms) remains 12747/12747 properties
BEST_FIRST walk for 4004 steps (12 resets) in 534 ms. (7 steps per ms) remains 12745/12747 properties
BEST_FIRST walk for 4004 steps (13 resets) in 574 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (13 resets) in 586 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 616 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4003 steps (12 resets) in 610 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 585 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 620 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 597 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (13 resets) in 623 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 600 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4003 steps (12 resets) in 662 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4003 steps (12 resets) in 618 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 639 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4003 steps (12 resets) in 618 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 570 ms. (7 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 591 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 533 ms. (7 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 584 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 623 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 502 ms. (7 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 528 ms. (7 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 558 ms. (7 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4003 steps (12 resets) in 615 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4003 steps (12 resets) in 539 ms. (7 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 546 ms. (7 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4003 steps (12 resets) in 590 ms. (6 steps per ms) remains 12745/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 590 ms. (6 steps per ms) remains 12743/12745 properties
BEST_FIRST walk for 4004 steps (12 resets) in 508 ms. (7 steps per ms) remains 12743/12743 properties
BEST_FIRST walk for 4003 steps (12 resets) in 549 ms. (7 steps per ms) remains 12743/12743 properties
BEST_FIRST walk for 4004 steps (12 resets) in 491 ms. (8 steps per ms) remains 12743/12743 properties
BEST_FIRST walk for 4004 steps (12 resets) in 584 ms. (6 steps per ms) remains 12743/12743 properties
BEST_FIRST walk for 4004 steps (14 resets) in 617 ms. (6 steps per ms) remains 12743/12743 properties
BEST_FIRST walk for 4004 steps (12 resets) in 562 ms. (7 steps per ms) remains 12743/12743 properties
BEST_FIRST walk for 4003 steps (12 resets) in 516 ms. (7 steps per ms) remains 12742/12743 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4004 steps (12 resets) in 634 ms. (6 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4003 steps (13 resets) in 628 ms. (6 steps per ms) remains 12741/12742 properties
BEST_FIRST walk for 4004 steps (13 resets) in 590 ms. (6 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4003 steps (12 resets) in 585 ms. (6 steps per ms) remains 12739/12741 properties
BEST_FIRST walk for 4004 steps (12 resets) in 529 ms. (7 steps per ms) remains 12739/12739 properties
BEST_FIRST walk for 4002 steps (12 resets) in 605 ms. (6 steps per ms) remains 12738/12739 properties
BEST_FIRST walk for 4004 steps (13 resets) in 659 ms. (6 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4003 steps (13 resets) in 572 ms. (6 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4003 steps (12 resets) in 600 ms. (6 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (12 resets) in 547 ms. (7 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4002 steps (12 resets) in 625 ms. (6 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (12 resets) in 620 ms. (6 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (12 resets) in 521 ms. (7 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (13 resets) in 613 ms. (6 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (13 resets) in 584 ms. (6 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (12 resets) in 624 ms. (6 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (13 resets) in 655 ms. (6 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4003 steps (12 resets) in 622 ms. (6 steps per ms) remains 12737/12738 properties
BEST_FIRST walk for 4004 steps (13 resets) in 615 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4004 steps (12 resets) in 623 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4004 steps (12 resets) in 612 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4003 steps (13 resets) in 598 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4004 steps (12 resets) in 583 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4003 steps (12 resets) in 601 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4003 steps (13 resets) in 620 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4003 steps (12 resets) in 583 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4002 steps (13 resets) in 629 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4004 steps (12 resets) in 567 ms. (7 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4003 steps (13 resets) in 613 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4003 steps (15 resets) in 621 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4004 steps (12 resets) in 588 ms. (6 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4004 steps (13 resets) in 584 ms. (6 steps per ms) remains 12735/12737 properties
BEST_FIRST walk for 4004 steps (12 resets) in 575 ms. (6 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4004 steps (13 resets) in 563 ms. (7 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4004 steps (12 resets) in 572 ms. (6 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4004 steps (13 resets) in 644 ms. (6 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4003 steps (12 resets) in 632 ms. (6 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4004 steps (13 resets) in 564 ms. (7 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4004 steps (12 resets) in 649 ms. (6 steps per ms) remains 12734/12735 properties
BEST_FIRST walk for 4004 steps (12 resets) in 636 ms. (6 steps per ms) remains 12734/12734 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 12734/12734 properties
BEST_FIRST walk for 4002 steps (12 resets) in 567 ms. (7 steps per ms) remains 12734/12734 properties
BEST_FIRST walk for 4004 steps (13 resets) in 556 ms. (7 steps per ms) remains 12732/12734 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 12732/12732 properties
BEST_FIRST walk for 4003 steps (12 resets) in 602 ms. (6 steps per ms) remains 12730/12732 properties
BEST_FIRST walk for 4004 steps (12 resets) in 546 ms. (7 steps per ms) remains 12730/12730 properties
BEST_FIRST walk for 4002 steps (12 resets) in 519 ms. (7 steps per ms) remains 12730/12730 properties
BEST_FIRST walk for 4003 steps (12 resets) in 563 ms. (7 steps per ms) remains 12730/12730 properties
BEST_FIRST walk for 4004 steps (13 resets) in 562 ms. (7 steps per ms) remains 12730/12730 properties
BEST_FIRST walk for 4003 steps (14 resets) in 574 ms. (6 steps per ms) remains 12730/12730 properties
BEST_FIRST walk for 4003 steps (12 resets) in 576 ms. (6 steps per ms) remains 12728/12730 properties
BEST_FIRST walk for 4004 steps (13 resets) in 636 ms. (6 steps per ms) remains 12728/12728 properties
BEST_FIRST walk for 4004 steps (12 resets) in 597 ms. (6 steps per ms) remains 12728/12728 properties
BEST_FIRST walk for 4003 steps (12 resets) in 544 ms. (7 steps per ms) remains 12728/12728 properties
BEST_FIRST walk for 4004 steps (12 resets) in 605 ms. (6 steps per ms) remains 12728/12728 properties
BEST_FIRST walk for 4003 steps (12 resets) in 583 ms. (6 steps per ms) remains 12727/12728 properties
BEST_FIRST walk for 4004 steps (12 resets) in 642 ms. (6 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (13 resets) in 477 ms. (8 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (12 resets) in 492 ms. (8 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (13 resets) in 584 ms. (6 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4003 steps (12 resets) in 591 ms. (6 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (12 resets) in 549 ms. (7 steps per ms) remains 12726/12727 properties
BEST_FIRST walk for 4003 steps (12 resets) in 559 ms. (7 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (12 resets) in 511 ms. (7 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (12 resets) in 552 ms. (7 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (12 resets) in 488 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (12 resets) in 596 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (12 resets) in 586 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4003 steps (12 resets) in 580 ms. (6 steps per ms) remains 12724/12726 properties
BEST_FIRST walk for 4004 steps (12 resets) in 579 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (13 resets) in 526 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 625 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 571 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 571 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 555 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 632 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 637 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 628 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 513 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 570 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 543 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 543 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (13 resets) in 564 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 488 ms. (8 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4003 steps (12 resets) in 598 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (15 resets) in 574 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 599 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 511 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4003 steps (12 resets) in 524 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 593 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 528 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (13 resets) in 624 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (13 resets) in 573 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 578 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4003 steps (12 resets) in 566 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 551 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4003 steps (12 resets) in 535 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4003 steps (12 resets) in 572 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (13 resets) in 536 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 513 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (14 resets) in 600 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (13 resets) in 622 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 547 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (13 resets) in 547 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 517 ms. (7 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 594 ms. (6 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (12 resets) in 521 ms. (7 steps per ms) remains 12723/12724 properties
BEST_FIRST walk for 4004 steps (13 resets) in 603 ms. (6 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4003 steps (12 resets) in 512 ms. (7 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4004 steps (13 resets) in 536 ms. (7 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4003 steps (12 resets) in 544 ms. (7 steps per ms) remains 12722/12723 properties
BEST_FIRST walk for 4004 steps (12 resets) in 563 ms. (7 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (14 resets) in 548 ms. (7 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4003 steps (15 resets) in 574 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (12 resets) in 500 ms. (7 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (13 resets) in 557 ms. (7 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (12 resets) in 563 ms. (7 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (12 resets) in 556 ms. (7 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4003 steps (12 resets) in 599 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (13 resets) in 588 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (12 resets) in 584 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (13 resets) in 603 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (13 resets) in 574 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (12 resets) in 528 ms. (7 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (16 resets) in 646 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (12 resets) in 566 ms. (7 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (12 resets) in 595 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4003 steps (12 resets) in 608 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (12 resets) in 611 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4003 steps (12 resets) in 644 ms. (6 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (13 resets) in 534 ms. (7 steps per ms) remains 12720/12722 properties
BEST_FIRST walk for 4004 steps (12 resets) in 573 ms. (6 steps per ms) remains 12720/12720 properties
BEST_FIRST walk for 4004 steps (12 resets) in 636 ms. (6 steps per ms) remains 12718/12720 properties
BEST_FIRST walk for 4003 steps (15 resets) in 663 ms. (6 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4003 steps (12 resets) in 622 ms. (6 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4003 steps (13 resets) in 554 ms. (7 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4004 steps (12 resets) in 541 ms. (7 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4004 steps (12 resets) in 506 ms. (7 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4004 steps (12 resets) in 638 ms. (6 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4002 steps (12 resets) in 550 ms. (7 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4004 steps (14 resets) in 578 ms. (6 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4004 steps (12 resets) in 614 ms. (6 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4004 steps (12 resets) in 519 ms. (7 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4002 steps (13 resets) in 581 ms. (6 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4003 steps (12 resets) in 649 ms. (6 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4003 steps (15 resets) in 601 ms. (6 steps per ms) remains 12717/12718 properties
BEST_FIRST walk for 4004 steps (13 resets) in 558 ms. (7 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (12 resets) in 535 ms. (7 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (16 resets) in 612 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 647 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 654 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 626 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 651 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 630 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 593 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 666 ms. (5 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 665 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 610 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 664 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 646 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 665 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 667 ms. (5 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 657 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 659 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 628 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 633 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 615 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 605 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 590 ms. (6 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 667 ms. (5 steps per ms) remains 12715/12717 properties
BEST_FIRST walk for 4000 steps (16 resets) in 666 ms. (5 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4000 steps (16 resets) in 675 ms. (5 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4000 steps (16 resets) in 659 ms. (6 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4000 steps (16 resets) in 651 ms. (6 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4000 steps (16 resets) in 599 ms. (6 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4000 steps (16 resets) in 654 ms. (6 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4000 steps (16 resets) in 631 ms. (6 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4000 steps (16 resets) in 649 ms. (6 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4003 steps (14 resets) in 619 ms. (6 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4004 steps (15 resets) in 610 ms. (6 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4003 steps (12 resets) in 546 ms. (7 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 556 ms. (7 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4004 steps (15 resets) in 625 ms. (6 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 569 ms. (7 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 525 ms. (7 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4004 steps (13 resets) in 554 ms. (7 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4004 steps (13 resets) in 565 ms. (7 steps per ms) remains 12715/12715 properties
BEST_FIRST walk for 4004 steps (16 resets) in 594 ms. (6 steps per ms) remains 12714/12715 properties
BEST_FIRST walk for 4004 steps (12 resets) in 591 ms. (6 steps per ms) remains 12714/12714 properties
BEST_FIRST walk for 4004 steps (13 resets) in 647 ms. (6 steps per ms) remains 12714/12714 properties
BEST_FIRST walk for 4004 steps (12 resets) in 544 ms. (7 steps per ms) remains 12714/12714 properties
BEST_FIRST walk for 4004 steps (12 resets) in 594 ms. (6 steps per ms) remains 12714/12714 properties
BEST_FIRST walk for 4004 steps (12 resets) in 576 ms. (6 steps per ms) remains 12714/12714 properties
BEST_FIRST walk for 4004 steps (12 resets) in 548 ms. (7 steps per ms) remains 12714/12714 properties
BEST_FIRST walk for 4004 steps (16 resets) in 620 ms. (6 steps per ms) remains 12712/12714 properties
BEST_FIRST walk for 4004 steps (12 resets) in 566 ms. (7 steps per ms) remains 12712/12712 properties
BEST_FIRST walk for 4004 steps (12 resets) in 589 ms. (6 steps per ms) remains 12711/12712 properties
BEST_FIRST walk for 4004 steps (12 resets) in 460 ms. (8 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 525 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (14 resets) in 577 ms. (6 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4003 steps (12 resets) in 588 ms. (6 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4002 steps (12 resets) in 514 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4003 steps (12 resets) in 607 ms. (6 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4002 steps (13 resets) in 588 ms. (6 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 551 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4003 steps (13 resets) in 549 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 537 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4003 steps (12 resets) in 565 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 511 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 539 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4003 steps (12 resets) in 532 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4003 steps (13 resets) in 570 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4002 steps (12 resets) in 580 ms. (6 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4002 steps (12 resets) in 492 ms. (8 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (15 resets) in 548 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4003 steps (13 resets) in 529 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 546 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 549 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (13 resets) in 607 ms. (6 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4003 steps (12 resets) in 472 ms. (8 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 501 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 543 ms. (7 steps per ms) remains 12711/12711 properties
BEST_FIRST walk for 4004 steps (12 resets) in 598 ms. (6 steps per ms) remains 12707/12711 properties
BEST_FIRST walk for 4003 steps (12 resets) in 508 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 607 ms. (6 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4003 steps (12 resets) in 562 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 642 ms. (6 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (15 resets) in 570 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 574 ms. (6 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 590 ms. (6 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4002 steps (13 resets) in 579 ms. (6 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (13 resets) in 535 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 547 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4002 steps (12 resets) in 502 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4003 steps (12 resets) in 592 ms. (6 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4002 steps (13 resets) in 562 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4002 steps (13 resets) in 636 ms. (6 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 617 ms. (6 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (13 resets) in 544 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (13 resets) in 546 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (13 resets) in 519 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4003 steps (12 resets) in 567 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (15 resets) in 561 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 545 ms. (7 steps per ms) remains 12707/12707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 576 ms. (6 steps per ms) remains 12705/12707 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 618 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 591 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 540 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (13 resets) in 563 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 530 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 484 ms. (8 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (13 resets) in 569 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 533 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 561 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 609 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 518 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 564 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 554 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (15 resets) in 532 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 547 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (13 resets) in 590 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 558 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 603 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 557 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 525 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 577 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 612 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 563 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 548 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 477 ms. (8 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 563 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 497 ms. (8 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 534 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (14 resets) in 562 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (13 resets) in 513 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 552 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 532 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 533 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 550 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 560 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4002 steps (12 resets) in 631 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 612 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (13 resets) in 612 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (13 resets) in 638 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 507 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 561 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (14 resets) in 598 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 584 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 580 ms. (6 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 565 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4004 steps (12 resets) in 536 ms. (7 steps per ms) remains 12705/12705 properties
BEST_FIRST walk for 4003 steps (12 resets) in 612 ms. (6 steps per ms) remains 12705/12705 properties
[2024-05-25 09:50:46] [INFO ] Flow matrix only has 19861 transitions (discarded 1056 similar events)
// Phase 1: matrix 19861 rows 11592 cols
[2024-05-25 09:50:47] [INFO ] Computed 1325 invariants in 1377 ms
[2024-05-25 09:50:48] [INFO ] State equation strengthened by 8098 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/6583 variables, 58/58 constraints. Problems are: Problem set: 0 solved, 12705 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6583/31453 variables, and 58 constraints, problems are : Problem set: 0 solved, 12705 unsolved in 45518 ms.
Refiners :[Positive P Invariants (semi-flows): 58/63 constraints, Generalized P Invariants (flows): 0/1262 constraints, State Equation: 0/11592 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 12705/12705 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12705 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6583 variables, 58/58 constraints. Problems are: Problem set: 0 solved, 12705 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6583/31453 variables, and 58 constraints, problems are : Problem set: 0 solved, 12705 unsolved in 45224 ms.
Refiners :[Positive P Invariants (semi-flows): 58/63 constraints, Generalized P Invariants (flows): 0/1262 constraints, State Equation: 0/11592 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 0/12705 constraints, Known Traps: 0/0 constraints]
After SMT, in 129418ms problems are : Problem set: 0 solved, 12705 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6583 out of 11592 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11592/11592 places, 20917/20917 transitions.
Discarding 2154 places :
Symmetric choice reduction at 0 with 2154 rule applications. Total rules 2154 place count 9438 transition count 18763
Iterating global reduction 0 with 2154 rules applied. Total rules applied 4308 place count 9438 transition count 18763
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 4 Pre rules applied. Total rules applied 4308 place count 9438 transition count 18759
Deduced a syphon composed of 4 places in 15 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 4316 place count 9434 transition count 18759
Discarding 961 places :
Symmetric choice reduction at 0 with 961 rule applications. Total rules 5277 place count 8473 transition count 15876
Iterating global reduction 0 with 961 rules applied. Total rules applied 6238 place count 8473 transition count 15876
Free-agglomeration rule (complex) applied 30 times.
Iterating global reduction 0 with 30 rules applied. Total rules applied 6268 place count 8473 transition count 15846
Reduce places removed 30 places and 0 transitions.
Iterating post reduction 0 with 30 rules applied. Total rules applied 6298 place count 8443 transition count 15846
Partial Free-agglomeration rule applied 49 times.
Drop transitions (Partial Free agglomeration) removed 49 transitions
Iterating global reduction 1 with 49 rules applied. Total rules applied 6347 place count 8443 transition count 15846
Applied a total of 6347 rules in 3272 ms. Remains 8443 /11592 variables (removed 3149) and now considering 15846/20917 (removed 5071) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3272 ms. Remains : 8443/11592 places, 15846/20917 transitions.
RANDOM walk for 719978 steps (32501 resets) in 120009 ms. (5 steps per ms) remains 12678/12705 properties
BEST_FIRST walk for 4004 steps (16 resets) in 479 ms. (8 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 578 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 570 ms. (7 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 522 ms. (7 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 564 ms. (7 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 595 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 652 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 595 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 617 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 623 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 567 ms. (7 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 628 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 574 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 602 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 622 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 578 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 632 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 627 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 623 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 607 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 569 ms. (7 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 630 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 606 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 557 ms. (7 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 562 ms. (7 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 593 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 576 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 641 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 581 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (15 resets) in 465 ms. (8 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (15 resets) in 496 ms. (8 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (13 resets) in 618 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (13 resets) in 448 ms. (8 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (15 resets) in 539 ms. (7 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (12 resets) in 405 ms. (9 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (13 resets) in 525 ms. (7 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (14 resets) in 535 ms. (7 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4004 steps (12 resets) in 606 ms. (6 steps per ms) remains 12678/12678 properties
BEST_FIRST walk for 4001 steps (16 resets) in 551 ms. (7 steps per ms) remains 12676/12678 properties
BEST_FIRST walk for 4004 steps (13 resets) in 534 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 443 ms. (9 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 526 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 536 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (14 resets) in 458 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 481 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (14 resets) in 630 ms. (6 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 467 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 448 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 447 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 526 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 557 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (14 resets) in 414 ms. (9 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 400 ms. (9 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 521 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (15 resets) in 518 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (14 resets) in 590 ms. (6 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 471 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 495 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 416 ms. (9 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 485 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 527 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 542 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 465 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 434 ms. (9 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 512 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4003 steps (16 resets) in 507 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 431 ms. (9 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 607 ms. (6 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 593 ms. (6 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 532 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (14 resets) in 554 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 529 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 480 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 536 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 540 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 484 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 589 ms. (6 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 554 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4002 steps (16 resets) in 586 ms. (6 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 570 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 583 ms. (6 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 584 ms. (6 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 412 ms. (9 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 477 ms. (8 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 424 ms. (9 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (14 resets) in 610 ms. (6 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 507 ms. (7 steps per ms) remains 12676/12676 properties
BEST_FIRST walk for 4004 steps (13 resets) in 453 ms. (8 steps per ms) remains 12676/12676 properties
Detected timeout of ITS tools.
[2024-05-25 09:54:09] [INFO ] Flatten gal took : 1162 ms
[2024-05-25 09:54:09] [INFO ] Applying decomposition
[2024-05-25 09:54:09] [INFO ] Flatten gal took : 783 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph4551815718299242326.txt' '-o' '/tmp/graph4551815718299242326.bin' '-w' '/tmp/graph4551815718299242326.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph4551815718299242326.bin' '-l' '-1' '-v' '-w' '/tmp/graph4551815718299242326.weights' '-q' '0' '-e' '0.001'
[2024-05-25 09:54:13] [INFO ] Decomposing Gal with order
[2024-05-25 09:54:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 09:54:28] [INFO ] Removed a total of 18159 redundant transitions.
[2024-05-25 09:54:29] [INFO ] Flatten gal took : 8055 ms
[2024-05-25 09:54:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 8862 labels/synchronizations in 2904 ms.
[2024-05-25 09:54:36] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5746289758979527635.gal : 443 ms
[2024-05-25 09:54:36] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18238887053870745936.prop : 100 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality5746289758979527635.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality18238887053870745936.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality18238887053870745936.prop.
SDD proceeding with computation,12676 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,12676 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,12676 properties remain. new max is 16
SDD size :6 after 9
SDD proceeding with computation,12676 properties remain. new max is 32
SDD size :9 after 16
SDD proceeding with computation,12676 properties remain. new max is 64
SDD size :16 after 20
SDD proceeding with computation,12676 properties remain. new max is 128
SDD size :20 after 22
SDD proceeding with computation,12676 properties remain. new max is 256
SDD size :22 after 29
Interrupted probabilistic random walk after 142731 steps, run timeout after 129001 ms. (steps per millisecond=1 ) properties seen :14 out of 12676
Probabilistic random walk after 142731 steps, saw 65034 distinct states, run finished after 129003 ms. (steps per millisecond=1 ) properties seen :14
[2024-05-25 09:55:52] [INFO ] Flow matrix only has 14760 transitions (discarded 1086 similar events)
// Phase 1: matrix 14760 rows 8443 cols
SDD proceeding with computation,12676 properties remain. new max is 512
SDD size :29 after 30
[2024-05-25 09:55:53] [INFO ] Computed 1325 invariants in 772 ms
[2024-05-25 09:55:53] [INFO ] State equation strengthened by 6176 read => feed constraints.
SDD proceeding with computation,12676 properties remain. new max is 1024
SDD size :30 after 31
SDD proceeding with computation,12676 properties remain. new max is 2048
SDD size :31 after 53

BK_STOP 1716630995536

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ 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//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800

Sequence of Actions to be Executed by the VM

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

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

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C03.tgz
mv MultiCrashLeafsetExtension-PT-S32C03 execution
cd execution
if [ "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 ;